This documentation is automatically generated by online-judge-tools/verification-helper
// verification-helper: PROBLEM http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_1_B
#include <bits/stdc++.h>
using namespace std;
#define call_from_test
#include "../../datastructure/weightedunionfind.cpp"
#undef call_from_test
int main(){
cin.tie(0);
ios::sync_with_stdio(0);
int n,q;
cin>>n>>q;
WeightedUnionFind<int> wuf(n);
for(int i=0;i<q;i++){
int t,x,y,z;
cin>>t>>x>>y;
if(t){
if(wuf.same(x,y)) cout<<wuf.diff(x,y)<<"\n";
else cout<<"?\n";
}else{
cin>>z;
wuf.unite(x,y,z);
}
}
cout<<flush;
return 0;
}
#line 1 "test/aoj/DSL_1_B.test.cpp"
// verification-helper: PROBLEM http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_1_B
#include <bits/stdc++.h>
using namespace std;
#define call_from_test
#line 1 "datastructure/weightedunionfind.cpp"
#line 3 "datastructure/weightedunionfind.cpp"
using namespace std;
#endif
//BEGIN CUT HERE
template <typename T>
struct WeightedUnionFind{
vector<int> rs,ps;
vector<T> ws;
WeightedUnionFind(int n):rs(n,1),ps(n),ws(n,T(0)){
iota(ps.begin(),ps.end(),0);
}
int find(int x){
if(x==ps[x]) return x;
int t=find(ps[x]);
ws[x]+=ws[ps[x]];
return ps[x]=t;
}
T weight(int x){
find(x);
return ws[x];
}
bool same(int x,int y){
return find(x)==find(y);
}
void unite(int x,int y,T w){
w+=weight(x);
w-=weight(y);
x=find(x);y=find(y);
if(x==y) return;
if(rs[x]<rs[y]) swap(x,y),w=-w;
rs[x]+=rs[y];
ps[y]=x;
ws[y]=w;
}
T diff(int x,int y){
return weight(y)-weight(x);
}
};
//END CUT HERE
#ifndef call_from_test
signed main(){
return 0;
}
#endif
#line 8 "test/aoj/DSL_1_B.test.cpp"
#undef call_from_test
int main(){
cin.tie(0);
ios::sync_with_stdio(0);
int n,q;
cin>>n>>q;
WeightedUnionFind<int> wuf(n);
for(int i=0;i<q;i++){
int t,x,y,z;
cin>>t>>x>>y;
if(t){
if(wuf.same(x,y)) cout<<wuf.diff(x,y)<<"\n";
else cout<<"?\n";
}else{
cin>>z;
wuf.unite(x,y,z);
}
}
cout<<flush;
return 0;
}