def get_i() #空白区切の入力を数値(整数)の配列で返す
  return gets.chomp.split(" ").map(&:to_i)
end
def get_f() #空白区切の入力を数値(実数)の配列で返す
  return gets.chomp.split(" ").map(&:to_f)
end
def get() #空白区切の入力を文字列の配列で返す
  return gets.chomp.split(" ")
end
def get_nsp() #入力されたものを一文字ずつに区切った文字列の配列で返す
  return gets.chomp.split("")
end
def yn_judge(bool,y="Yes",n="No") #boolに真偽を投げることで、trueならy、falseならnの値を出力する
  return bool ? y : n 
end
def array(size,n=1,init=nil) #nに配列の次元数、sizeに配列の大きさ、initに初期値を投げることでその配列を返す
  if n==1
    return Array.new(size){init}
  else
    return Array.new(n).map{Array.new(size){init}}
  end
end

class WUFT
  attr_accessor:node,:rank,:weight
  def initialize(n)
    @node=Array.new(n){|i| i}
    @rank=array(n,1,0)
    @weight=array(n,1,0)
  end

  def find(x)
    return x if @node[x]==x
    y=find(@node[x])
    @weight[x]+=@weight[@node[x]]
    @node[x]=y
    return y
  end

  def union(x,y,z)
    rx=find(x)
    ry=find(y)
    if @rank[rx]<@rank[ry]
      @node[rx]=ry
      @weight[rx]=z-@weight[x]+@weight[y]
    else
      @node[ry]=rx
      @weight[ry]=-z-@weight[y]+@weight[x]
      @rank[rx]+=1 if @rank[rx]==@rank[ry]
    end 
  end

  def diff(x,y)
    return @weight[x]-@weight[y]
  end

  def same?(x,y)
    return find(x)==find(y)
  end
end


n,q=get_i
wuft=WUFT.new(n)
q.times do
  que=get_i
  if que[0].zero?
    wuft.union(que[1],que[2],que[3])
  else
    if wuft.same?(que[1],que[2])
      puts wuft.diff(que[1],que[2])
    else
      puts "?"
    end
  end
end
