add64 31..25=0b1100000 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 sub64 31..25=0b1100001 rs2 rs1 14..12=0b001 rd 6..0=0b1110111