#include <stdio.h>

namespace beet{
  
  template<typename T>
  void swap(T &a,T &b){
    T x=a;
    a=b;
    b=x;
  }

  const int MAX = 1e5+10;
  struct UnionFind{
    int r[MAX],p[MAX],w[MAX];
    UnionFind(int n){
      for(int i=0;i<n;i++){
        r[i]=1;
        p[i]=i;
        w[i]=0;
      }    
    }
    int find(int x){
      if(p[x]==x){
        return x;
      }
      int t=find(p[x]);
      w[x]+=w[p[x]];
      return p[x]=t;
    }
    int same(int x,int y){
      return find(x)==find(y);
    }
    int weight(int x){
      find(x);
      return w[x];
    }
    void unite(int x,int y,int d){
      d+=weight(x);
      d-=weight(y);
      x=find(x);y=find(y);
      if(x==y) return;
      if(r[x]<r[y]) swap(x,y),d=-d;
      r[x]+=r[y];
      p[y]=x;
      w[y]=d;
    }
    int diff(int x,int y){
      return weight(y)-weight(x);
    }
  };
}
using namespace beet;

int main(){
  int n,q;
  scanf("%d %d",&n,&q);
  UnionFind uf(n);
  while(q--){
    int t,x,y;
    scanf("%d %d %d",&t,&x,&y);
    if(t==0){
      int z;
      scanf("%d",&z);
      uf.unite(x,y,z);
    }    
    if(t==1){
      if(uf.same(x,y)){
        printf("%d\n",uf.diff(x,y));
      }else{
        puts("?");
      }
    }
  }  
  return 0;
}

