KaneAI - World’s First E2E Software Testing Agent.Book a Demo Join TestMu Conference

How to use shift_right method in hypothesis

Best Python code snippet using hypothesis

MIPS2HBF.py

Source:MIPS2HBF.py

1"""2List of MIPS instructions, and their corresponding HBF code that performs the MIPS action.3"""4instructions = {5	'BEQ': '(copy_over1)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(xor)(equate0)${<(copy_over1)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(advance_behind_flag11)}$<',6	'BGEZ': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(neg_flag)(on_flag15)(if_flag5)${(off_flag15)}$(if_flag15)${>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(advance_behind_flag11)<}$(off_flag15)<',7	'BGEZAL': '>(on_flag3)(go_back_to_flag11)(dist_to_flag7)(goto_flag3)(off_flag3)>(set31)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(inc)(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(neg_flag)(on_flag15)(if_flag5)${(off_flag15)}$(if_flag15)${>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(advance_behind_flag11)<}$(off_flag15)<',8	'BGTZ': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(dec)(neg_flag)(on_flag15)(if_flag5)${(off_flag15)}$(if_flag15)${>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(advance_behind_flag11)<}$(off_flag15)<',9	'BLEZ': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(neg_flag)(if_flag5)${>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(advance_behind_flag11)<}$(equate0)${>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(advance_behind_flag11)<}$<',10	'BLTZ': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(neg_flag)(if_flag5)${>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(advance_behind_flag11)<}$<',11	'BLTZAL': '>(on_flag3)(go_back_to_flag11)(dist_to_flag7)(goto_flag3)(off_flag3)>(set31)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(inc)(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(neg_flag)(if_flag5)${>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(advance_behind_flag11)<}$<',12	'BNE': '(copy_over1)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(xor){<(copy_over1)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(advance_behind_flag11)}<',13	'AND': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(and)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',14	'ANDI': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(and)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',15	'OR': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(or)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',16	'ORI': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(or)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',17	'SUB': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(sub)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',18	'XOR': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(xor)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',19	'XORI': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(xor)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',20	'JAL': '>(on_flag3)(go_back_to_flag11)(dist_to_flag7)(goto_flag3)(off_flag3)>(set31)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(copy_over1)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)-(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag11)(off_flag11)(go_back_to_flag7)(on_flag11)(goto_flag18)(off_flag18)(advance_behind_flag11)<',21	'LB': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(add)(on_flag18)(goto_flag9)(on_flag13)(go_back_to_flag18)(shift_left)(advance_flag13)(off_flag18)(on_flag18)(goto_flag13)(copy_behind_to_flag18)(off_flag13)(go_back_to_flag18)(off_flag18)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',22	'LUI': '(copy_over1)>(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',23	'LW': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(add)(on_flag18)(goto_flag9)(on_flag13)(go_back_to_flag18)(shift_left)(advance_flag13)(off_flag18)(on_flag18)(goto_flag13)(copy_behind_to_flag18)(go_back_to_flag18)(copy_over1)>(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(shift_left)(goto_flag13) >> (copy_behind_to_flag18)<(off_flag13)(go_back_to_flag18)(off_flag18)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(add)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',24	'MFLO': '(copy_over2)>(set32)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)>(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',25	'MULT': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(mult)>(set32)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',26	'SB': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(add)(on_flag18)(goto_flag9)(on_flag13)(go_back_to_flag18)(shift_left)(advance_flag13)(off_flag18)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(copy_to_flag13)(goto_flag13)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(off_flag13)(go_back_to_flag8)',27	'SLL': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)>(set1)<(off_flag15)(equate0)${(on_flag15)}$(while_not_flag15)<(shift_left)>(sub)(equate0)${(on_flag15)}$(end_while_not_flag15)(off_flag15)<<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',28	'SLLV': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(set1)<(off_flag15)(equate0)${(on_flag15)}$(while_not_flag15)<(shift_left)>(sub)(equate0)${(on_flag15)}$(end_while_not_flag15)(off_flag15)<<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',29	'SLT': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<(sub)(neg_flag)(zero)(if_flag5)${(inc)}$<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',30	'SLTI': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(sub)(neg_flag)(zero)(if_flag5)${(inc)}$<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',31	'SRL': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)>(set1)<(off_flag15)(equate0)${(on_flag15)}$(while_not_flag15)<(shift_right)>(sub)(equate0)${(on_flag15)}$(end_while_not_flag15)(off_flag15)<<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',32	'SRLV': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(set1)<(off_flag15)(equate0)${(on_flag15)}$(while_not_flag15)<(shift_right)>(sub)(equate0)${(on_flag15)}$(end_while_not_flag15)(off_flag15)<<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',33	'SW': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<(add)(on_flag18)(goto_flag9)(on_flag13)(go_back_to_flag18)(shift_left)(advance_flag13)(off_flag18)<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(copy_to_flag13)(goto_flag13)(off_flag13)(copy_over2)>>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)<<(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(go_back_to_flag8)',34	'SRA': '(copy_over1)(copy_over2)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(neg_flag)(if_flag5)${(not)}$>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)>(set1)<(off_flag15)(equate0)${(on_flag15)}$(while_not_flag15)<(shift_right)>(sub)(equate0)${(on_flag15)}$(end_while_not_flag15)(off_flag15)<<(copy_over2)>>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)<(if_flag5)${(not)}$(copy_behind_to_flag17)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)<',35	'JR': '(copy_over1)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)(advance_behind_flag17)(off_flag18)(on_flag18)(go_back_to_flag17)(copy_to_flag18)(goto_flag18)(off_flag18)(on_flag18)(go_back_to_flag17)(off_flag17)(goto_flag18)(off_flag18)(go_back_to_flag11)(off_flag11)(go_back_to_flag7)(on_flag11)(goto_flag14)(advance_behind_flag11)<',36	'ADD': '(copy_over1)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(copy_over1)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(copy_over1)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)<<(copy_over3)>>>>(zero)(setb11111)<(and)(copy_back_over3)<<<>(copy_over2)>>(and)(copy_back_over2)<<>(copy_over1)>(and)(copy_back_over1)<>(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)<(advance_behind_flag17)(go_back_to_flag17)(copy_to_flag18)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<<>(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)<(advance_behind_flag17)(go_back_to_flag17)(copy_to_flag18)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<>(add)(copy_back_over1)<<(on_flag18)(advance_behind_flag17)>(copy_behind_to_flag17)(go_back_to_flag17)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<',37	'JMP': '(copy_over1)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)-(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(on_flag18)(go_back_to_flag11)(off_flag11)(go_back_to_flag7)(on_flag11)(goto_flag18)(off_flag18)(advance_behind_flag11)<',38	'ADDI': '(copy_over1)>(copy_over1)>(copy_over1)<(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(save15)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[[-](up)+(up)+(up)+(up)+(up)+(up)+(up)+(up)+(up)+(up)+(up)+(up)+(up)+(up)+(up)+(up)+(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)[-]](down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(load15)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)>(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)<(advance_behind_flag17)(go_back_to_flag17)(copy_to_flag18)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<>(copy_back_over1)<<(add)<(on_flag18)(advance_behind_flag17)>(copy_behind_to_flag17)(go_back_to_flag17)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<',39	'ADDU': '(copy_over1)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(copy_over1)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(copy_over1)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)<<(copy_over3)>>>>(zero)(setb11111)<(and)(copy_back_over3)<<<>(copy_over2)>>(and)(copy_back_over2)<<>(copy_over1)>(and)(copy_back_over1)<>(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)<(advance_behind_flag17)(go_back_to_flag17)(copy_to_flag18)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<<>(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)<(advance_behind_flag17)(go_back_to_flag17)(copy_to_flag18)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<>(add)(copy_back_over1)<<(on_flag18)(advance_behind_flag17)>(copy_behind_to_flag17)(go_back_to_flag17)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<',40	'ADDIU': '(copy_over1)>(copy_over1)>(copy_over1)<(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)>(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)>(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(shift_right)(up)(up)(up)(up)(up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)[-](up)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)(down)>(on_flag18)(go_back_to_flag6)(on_flag17)(goto_flag18)<(advance_behind_flag17)(go_back_to_flag17)(copy_to_flag18)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<>(copy_back_over1)<<(add)<(on_flag18)(advance_behind_flag17)>(copy_behind_to_flag17)(go_back_to_flag17)(off_flag17)(go_back_to_flag6)(on_flag17)(goto_flag18)(off_flag18)<'...

board.py

Source:board.py

...26        for num in self.numbers:27            numbers.append(num.__str__())28        return f"{numbers}"2930    def shift_right(self, input):31        return input + self.width_shift / 23233    def triangle_is_not_empty(self, tri_number):34        return len(self.board_list[tri_number - 1]) > 03536    def triangle_is_not_full(self, tri_number):37        return len(self.board_list[tri_number - 1]) < 53839    # first circle center for each triangle40    def get_triangle_cicle_center(self):41        triangle_cicle_center = {}42        for i in range(1, 13):43            if i > 6:44                triangle_cicle_center[i] = (self.shift_right(75) + 50 * (i - 1) + 50, 575)    45            else:46                triangle_cicle_center[i] = (self.shift_right(75) + 50 * (i - 1), 575)47        48        for i in range (24, 12, -1):49            if i < 19:50                triangle_cicle_center[i] = (self.shift_right(75) + 50 * (24 - i) + 50, 75)51            else:52                triangle_cicle_center[i] = (self.shift_right(75) + 50 * (24 - i), 75)53             54        return triangle_cicle_center     55           56    def draw_background(self, surface):57        surface.fill(BACKGROUND_COLOR)5859    def draw_rectangles(self, surface):60        self.draw_background(surface)61        # left border62        pygame.draw.rect(surface, GRAY, (0, 0, self.shift_right(50), HEIGHT))63        # right border64        pygame.draw.rect(surface, GRAY, (self.shift_right(700), 0, self.shift_right(50), HEIGHT))65        # middle border66        pygame.draw.rect(surface, GRAY, (self.shift_right(350), 0, 50, HEIGHT))67        # top border68        pygame.draw.rect(surface, GRAY, (0, 0, WIDTH, 50))69        # bottom border70        pygame.draw.rect(surface, GRAY, (0, 600, WIDTH, 50))7172        # middle line73        pygame.draw.line(surface, BLACK, (WIDTH/2, 0),(WIDTH/2, HEIGHT))7475    def creat_numbers(self, surface):76        # bottom row numbers77        for i in range(1,7):78            number = Number(i)79            width_padding, height_padding = self.get_paddings(number)80            x_number, y_number = self.shift_right(50 + width_padding + 50 * (i - 1)), 600 + height_padding81            number.set_cords(x_number, y_number)          82            self.numbers.append(number)83    84        85        for i in range(7,13):86            number = Number(i)87            width_padding, height_padding = self.get_paddings(number)88            x_number, y_number = self.shift_right(400 + width_padding + 50 * (i - 7)), 600 + height_padding89            number.set_cords(x_number, y_number)  90            self.numbers.append(number)9192        93        # top row numbers94        for i in range(13,19):95            number = Number(i)96            width_padding, height_padding = self.get_paddings(number)97            x_number, y_number = self.shift_right(400 + width_padding + 50 * (18 - i)), height_padding98            number.set_cords(x_number, y_number)99            self.numbers.append(number)100101        102        for i in range(19,25):103            number = Number(i)104            width_padding, height_padding = self.get_paddings(number)105            x_number, y_number = self.shift_right(50 + width_padding + 50 * (24 - i)), height_padding106            number.set_cords(x_number, y_number)107            self.numbers.append(number)    108109    def draw_triangle(self, surface):110        for i in range(1,7):111            if i % 2 == 0:112                color = TAN113            else:114                color = DARK_ORANGE3115116            # down triangles117            pygame.gfxdraw.aapolygon(surface, [(self.shift_right(i*50) , 600), (self.shift_right((i+1)*50) , 600), (self.shift_right(75 + (i-1)*50), 350)], color)118          119            pygame.gfxdraw.aapolygon(surface, [(self.shift_right((i+7)*50), 600), (self.shift_right((i+8)*50), 600), (self.shift_right(425 + (i-1)*50), 350)], color)120121            122            pygame.gfxdraw.filled_polygon(surface, [(self.shift_right(i*50) , 600), (self.shift_right((i+1)*50) , 600), (self.shift_right(75 + (i-1)*50) , 350)], color)123          124            pygame.gfxdraw.filled_polygon(surface, [(self.shift_right((i+7)*50) , 600), (self.shift_right((i+8)*50) , 600), (self.shift_right(425 + (i-1)*50), 350)], color)125            126127        for i in range(6,0,-1):128129            if i % 2 == 0:130                color = DARK_ORANGE3131            else:132                color = TAN133                134            # top triangles135            pygame.gfxdraw.aapolygon(surface, [(self.shift_right(i*50), 50), (self.shift_right((i+1)*50), 50), (self.shift_right(75 + (i-1)*50), 300)], color)136          137            pygame.gfxdraw.aapolygon(surface, [(self.shift_right((i+7)*50), 50), (self.shift_right((i+8)*50), 50), (self.shift_right(425 + (i-1)*50), 300)], color)138139            # filled top triangles140            pygame.gfxdraw.filled_polygon(surface, [(self.shift_right(i*50), 50), (self.shift_right((i+1)*50), 50), (self.shift_right(75 + (i-1)*50), 300)], color)141          142            pygame.gfxdraw.filled_polygon(surface, [(self.shift_right((i+7)*50), 50), (self.shift_right((i+8)*50), 50), (self.shift_right(425 + (i-1)*50), 300)], color)143144    def create_pieces_list(self):145        # Set up white pieces146        # Line 1147        for i in range(5):148            piece = Piece(WHITE, 25, (self.shift_right(75), 575 - i * 50))149            self.board_list[0].append(piece)150        # Line 12151        for i in range(2):152            piece = Piece(WHITE, 25, (self.shift_right(675), 575 - i * 50))153            self.board_list[11].append(piece)154        # Line 18155        for i in range(5):156            piece = Piece(WHITE, 25, (self.shift_right(425), 75 + i * 50))157            self.board_list[17].append(piece)158        # line 20159        for i in range(3):160            piece = Piece(WHITE, 25, (self.shift_right(275), 75 + i * 50))161            self.board_list[19].append(piece)162163        # Set up black pieces164        # line 5165        for i in range(3):166            piece = Piece(BLACK, 25, (self.shift_right(275), 575 - i * 50))167            self.board_list[4].append(piece)168        # line 7169        for i in range(5):170            piece = Piece(BLACK, 25, (self.shift_right(425), 575 - i * 50))171            self.board_list[6].append(piece)172        # line 13173        for i in range(2):174            piece = Piece(BLACK, 25, (self.shift_right(675), 75 + i * 50))175            self.board_list[12].append(piece)176        # line 24177        for i in range(5):178            piece = Piece(BLACK, 25, (self.shift_right(75), 75 + i * 50))179            self.board_list[23].append(piece)180181    182    # maybe I can rework and clean this function183    def move(self, current_tri_number, dest_tri_number):184        if current_tri_number is not None and dest_tri_number is not None:185            if self.triangle_is_not_empty(current_tri_number) and self.triangle_is_not_full(dest_tri_number):186                piece = self.board_list[current_tri_number-1].pop()187                if dest_tri_number < 13:188                    des_x = self.triangle_cicle_center[dest_tri_number][0]189                    dest_y = self.triangle_cicle_center[dest_tri_number][1] - len(self.board_list[dest_tri_number - 1]) * 50190                else:191                    des_x = self.triangle_cicle_center[dest_tri_number][0]192                    dest_y = self.triangle_cicle_center[dest_tri_number][1] + len(self.board_list[dest_tri_number - 1]) * 50
...

model.py

Source:model.py

1import pygame2import sys3from matrix import Matrix4class Cellular_Automaton_Model:5    def __init__(self, rule, time=10):6        # TODO Add von Neumann rules.7        """Editable"""8        birth, survival = rule9        self.birth = list(birth)10        self.survival = list(survival)11        self.delta_time = time12        """Non Editable"""13        self.model_name = "B" + birth + "/S" + survival14        self.grid = Matrix()15        self.generation = 016        pygame.display.set_caption("Cellular Automata Model " + self.model_name)17    def driver(self):18        """19        Driver Code for the program.20        """21        run = False22        while True:23            pygame.time.delay(10)24            for event in pygame.event.get():25                if event.type == pygame.QUIT or (26                    event.type == pygame.KEYDOWN and event.key == pygame.K_q27                ):28                    pygame.quit()29                    sys.exit()30                if event.type == pygame.KEYDOWN and event.key == pygame.K_SPACE:31                    run = True32                    pygame.display.set_caption(33                        "Cellular Automata Model " + self.model_name34                    )35                if event.type == pygame.MOUSEBUTTONDOWN:36                    # TODO Fix toggle in square color.(Lines aren't redrawn.)37                    pos = pygame.mouse.get_pos()38                    self.grid.manual_update(pos)39                while run:40                    pygame.time.wait(self.delta_time)41                    for event in pygame.event.get():42                        if event.type == pygame.KEYDOWN and event.key == pygame.K_SPACE:43                            run = False44                            pygame.display.set_caption(45                                f"Paused: Generation = {self.generation} | "46                                f"Population = {self.grid.get_population(self.generation)}"47                            )48                    self.grid.increment_time_step(self.birth, self.survival)49                    self.generation += 150    def Gosper_Glider_Gun(self):51        """52        Works with height=1000, width=1000, rows=50, columns=50.53        """54        shift_down = 6055        shift_right = 14056        self.grid.manual_update((31 + shift_right, 412 + shift_down))57        self.grid.manual_update((55 + shift_right, 411 + shift_down))58        self.grid.manual_update((56 + shift_right, 431 + shift_down))59        self.grid.manual_update((33 + shift_right, 432 + shift_down))60        self.grid.manual_update((227 + shift_right, 410 + shift_down))61        self.grid.manual_update((253 + shift_right, 389 + shift_down))62        self.grid.manual_update((273 + shift_right, 371 + shift_down))63        self.grid.manual_update((292 + shift_right, 371 + shift_down))64        self.grid.manual_update((234 + shift_right, 430 + shift_down))65        self.grid.manual_update((231 + shift_right, 452 + shift_down))66        self.grid.manual_update((249 + shift_right, 471 + shift_down))67        self.grid.manual_update((270 + shift_right, 488 + shift_down))68        self.grid.manual_update((288 + shift_right, 489 + shift_down))69        self.grid.manual_update((331 + shift_right, 392 + shift_down))70        self.grid.manual_update((349 + shift_right, 409 + shift_down))71        self.grid.manual_update((351 + shift_right, 428 + shift_down))72        self.grid.manual_update((374 + shift_right, 429 + shift_down))73        self.grid.manual_update((354 + shift_right, 446 + shift_down))74        self.grid.manual_update((336 + shift_right, 475 + shift_down))75        self.grid.manual_update((314 + shift_right, 429 + shift_down))76        self.grid.manual_update((430 + shift_right, 412 + shift_down))77        self.grid.manual_update((451 + shift_right, 412 + shift_down))78        self.grid.manual_update((452 + shift_right, 391 + shift_down))79        self.grid.manual_update((431 + shift_right, 388 + shift_down))80        self.grid.manual_update((433 + shift_right, 366 + shift_down))81        self.grid.manual_update((451 + shift_right, 369 + shift_down))82        self.grid.manual_update((473 + shift_right, 348 + shift_down))83        self.grid.manual_update((469 + shift_right, 432 + shift_down))84        self.grid.manual_update((514 + shift_right, 331 + shift_down))85        self.grid.manual_update((511 + shift_right, 354 + shift_down))86        self.grid.manual_update((507 + shift_right, 428 + shift_down))87        self.grid.manual_update((508 + shift_right, 449 + shift_down))88        self.grid.manual_update((704 + shift_right, 372 + shift_down))89        self.grid.manual_update((732 + shift_right, 373 + shift_down))90        self.grid.manual_update((734 + shift_right, 385 + shift_down))...

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.