#include #include #include using namespace atcoder; using mint = modint1000000007; using namespace std; #define rep(i,n) for (int i = 0; i < (n); ++i) #define Inf 1000000002 int main(){ vector x(3); rep(i,3)cin>>x[i]; sort(x.begin(),x.end()); vector A(2,0),B(2,0); A[0] = 1; B[1] = 1; while(A.back()> ans; if(x[0]==x[2]){ ans.emplace_back(1,x[0]); rep(i,A.size()){ long long t = x[0] - A[i]; if(t<=0)break; if(i<=1)continue; if(t%B[i]!=0)continue; ans.emplace_back(1,t/B[i]); } } else{ if(x[0]==x[1])swap(x[1],x[2]); rep(i,A.size()){ for(int j=i+1;j