#include using namespace std; using Int = long long; template inline void chmin(T1 &a,T2 b){if(a>b) a=b;} template inline void chmax(T1 &a,T2 b){if(a vector compress(vector v){ sort(v.begin(),v.end()); v.erase(unique(v.begin(),v.end()),v.end()); return v; } template map dict(const vector &v){ map res; for(Int i=0;i<(Int)v.size();i++) res[v[i]]=i; return res; } //INSERT ABOVE HERE signed main(){ string s,t; getline(cin,s); getline(cin,t); if(t.find(" ")!=string::npos){ cout<<"\"assert\""< vs; vs.emplace_back(x+y); vs.emplace_back(y+z); vs.emplace_back(z+x); vs=compress(vs); reverse(vs.begin(),vs.end()); cout<