great_ne(z1,ii1).
great_ne(ff1,i1).
great_ne(cc1,f1).
great_ne(kk1,w1).
great_ne(jj1,aa1).
great_ne(u1,f1).
great_ne(p1,hh1).
great_ne(ee1,i1).
great_ne(ee1,ii1).
great_ne(cc1,ff1).
great_ne(jj1,k1).
great_ne(k1,x1).
great_ne(bb1,m1).
great_ne(ff1,c1).
great_ne(bb1,k1).
great_ne(p1,a1).
great_ne(hh1,m1).
great_ne(m1,y1).
great_ne(kk1,y1).
great_ne(bb1,b1).
great_ne(k1,c1).
great_ne(hh1,dd1).
great_ne(p1,h1).
great_ne(kk1,dd1).
great_ne(u1,bb1).
great_ne(u1,c1).
great_ne(aa1,bb1).
great_ne(p1,ff1).
great_ne(aa1,hh1).
great_ne(k1,b1).
great_ne(aa1,k1).
great_ne(q1,m1).
great_ne(t1,ee1).
great_ne(cc1,k1).
great_ne(q1,x1).
great_ne(q1,aa1).
great_ne(v1,b1).
great_ne(jj1,ee1).
great_ne(dd1,v1).
great_ne(jj1,ff1).
great_ne(bb1,i1).
great_ne(kk1,b1).
great_ne(p1,dd1).
great_ne(t1,u1).
great_ne(z1,ee1).
great_ne(z1,hh1).
great_ne(t1,dd1).
great_ne(x1,v1).
great_ne(x1,ii1).
great_ne(aa1,y1).
great_ne(v1,w1).
great_ne(w1,a1).
great_ne(cc1,u1).
great_ne(q1,ii1).
great_ne(p1,b1).
great_ne(ii1,f1).
great_ne(aa1,f1).
great_ne(ii1,c1).
great_ne(t1,hh1).
great_ne(jj1,f1).
great_ne(ee1,hh1).
great_ne(cc1,jj1).
great_ne(u1,x1).
great_ne(q1,i1).
great_ne(bb1,c1).
great_ne(cc1,hh1).
great_ne(z1,h1).
great_ne(hh1,i1).
great_ne(hh1,f1).
great_ne(t1,jj1).
great_ne(m1,i1).
great_ne(jj1,m1).
great_ne(p1,i1).
great_ne(cc1,w1).
great_ne(z1,bb1).
great_ne(aa1,w1).
great_ne(jj1,dd1).
great_ne(u1,jj1).
great_ne(v1,h1).
great_ne(u1,b1).
great_ne(cc1,bb1).
great_ne(dd1,c1).
great_ne(p1,x1).
great_ne(t1,a1).
great_ne(bb1,x1).
great_ne(u1,y1).
great_ne(k1,a1).
great_ne(ee1,k1).
great_ne(q1,bb1).
great_ne(z1,t1).
great_ne(jj1,w1).
great_ne(dd1,m1).
great_ne(cc1,b1).
great_ne(bb1,a1).
great_ne(hh1,bb1).
great_ne(hh1,c1).
great_ne(p1,kk1).
great_ne(z1,c1).
great_ne(b1,ff1).
great_ne(v1,y1).
great_ne(jj1,bb1).
great_ne(q1,ee1).
great_ne(cc1,a1).
great_ne(z1,w1).
great_ne(kk1,f1).
great_ne(t1,ff1).
great_ne(hh1,ff1).
great_ne(b1,i1).
great_ne(w1,ff1).
great_ne(t1,k1).
great_ne(f1,i1).
great_ne(z1,cc1).
great_ne(y1,b1).
great_ne(w1,f1).
great_ne(aa1,ee1).
great_ne(dd1,bb1).
great_ne(f1,a1).
great_ne(kk1,v1).
great_ne(x1,i1).
great_ne(x1,h1).
great_ne(jj1,ii1).
great_ne(u1,kk1).
great_ne(dd1,f1).
great_ne(aa1,h1).
great_ne(k1,f1).
great_ne(ee1,bb1).
great_ne(ii1,y1).
great_ne(m1,c1).
great_ne(m1,ii1).
great_ne(v1,f1).
great_ne(dd1,ff1).
great_ne(cc1,i1).
great_ne(q1,dd1).
great_ne(u1,m1).
great_ne(w1,i1).
great_ne(cc1,h1).
great_ne(z1,f1).
great_ne(ee1,dd1).
great_ne(aa1,m1).
great_ne(ee1,h1).
great_ne(x1,w1).
great_ne(cc1,kk1).
great_ne(aa1,ii1).
great_ne(q1,k1).
great_ne(u1,dd1).
great_ne(t1,kk1).
great_ne(jj1,a1).
great_ne(u1,v1).
great_ne(p1,jj1).
great_ne(cc1,ii1).
great_ne(hh1,ii1).
great_ne(p1,ee1).
great_ne(q1,y1).
great_ne(y1,w1).
great_ne(aa1,i1).
great_ne(v1,ff1).
great_ne(bb1,h1).
great_ne(ii1,w1).
great_ne(dd1,b1).
great_ne(aa1,v1).
great_ne(p1,v1).
great_ne(u1,ff1).
great_ne(bb1,ff1).
great_ne(jj1,i1).
great_ne(t1,i1).
great_ne(jj1,kk1).
great_ne(q1,b1).
great_ne(v1,c1).
great_ne(f1,c1).
great_ne(b1,a1).
great_ne(u1,w1).
great_ne(jj1,hh1).
great_ne(u1,i1).
great_ne(q1,t1).
great_ne(aa1,dd1).
great_ne(ii1,a1).
great_ne(y1,i1).
great_ne(p1,bb1).
great_ne(aa1,kk1).
great_ne(dd1,ii1).
great_ne(t1,v1).
great_ne(z1,jj1).
great_ne(cc1,c1).
great_ne(z1,v1).
great_ne(z1,x1).
great_ne(w1,h1).
great_ne(dd1,y1).
great_ne(jj1,b1).
great_ne(z1,aa1).
great_ne(kk1,ii1).
great_ne(q1,v1).
great_ne(cc1,x1).
great_ne(cc1,y1).
great_ne(jj1,y1).
great_ne(y1,a1).
great_ne(m1,v1).
great_ne(z1,y1).
great_ne(q1,ff1).
great_ne(w1,b1).
great_ne(q1,f1).
great_ne(u1,h1).
great_ne(k1,w1).
great_ne(z1,a1).
great_ne(hh1,b1).
great_ne(q1,p1).
great_ne(f1,h1).
great_ne(v1,a1).
great_ne(dd1,a1).
great_ne(z1,b1).
great_ne(hh1,a1).
great_ne(t1,y1).
great_ne(cc1,t1).
great_ne(b1,h1).
great_ne(m1,w1).
great_ne(p1,c1).
great_ne(ee1,f1).
great_ne(x1,c1).
great_ne(hh1,w1).
great_ne(q1,c1).
great_ne(ee1,c1).
great_ne(kk1,c1).
great_ne(v1,i1).
great_ne(m1,a1).
great_ne(ee1,y1).
great_ne(dd1,k1).
great_ne(p1,u1).
great_ne(q1,kk1).
great_ne(jj1,c1).
great_ne(y1,f1).
great_ne(ff1,h1).
great_ne(t1,m1).
great_ne(dd1,w1).
great_ne(t1,w1).
great_ne(dd1,h1).
great_ne(ff1,b1).
great_ne(b1,bb1).
great_ne(i1,dd1).
great_ne(u1,t1).
great_ne(ii1,u1).
great_ne(dd1,ee1).
great_ne(ee1,q1).
great_ne(dd1,z1).
great_ne(w1,jj1).
great_ne(ii1,hh1).
great_ne(x1,u1).
great_ne(f1,ee1).
great_ne(a1,t1).
great_ne(i1,cc1).
great_ne(v1,ee1).
great_ne(h1,w1).
great_ne(ff1,q1).
great_ne(dd1,kk1).
great_ne(k1,t1).
great_ne(i1,jj1).
great_ne(b1,y1).
great_ne(h1,u1).
great_ne(h1,ee1).
great_ne(x1,dd1).
great_ne(b1,z1).
great_ne(bb1,u1).
great_ne(b1,ee1).
great_ne(ff1,cc1).
great_ne(bb1,hh1).
great_ne(x1,p1).
great_ne(u1,z1).
great_ne(k1,q1).
great_ne(ff1,ee1).
great_ne(h1,q1).
great_ne(a1,f1).
great_ne(jj1,p1).
great_ne(hh1,jj1).
great_ne(b1,jj1).
great_ne(m1,kk1).
great_ne(c1,w1).
great_ne(h1,ii1).
great_ne(y1,cc1).
great_ne(aa1,jj1).
great_ne(y1,v1).
great_ne(hh1,u1).
great_ne(ff1,f1).
great_ne(bb1,aa1).
great_ne(ee1,jj1).
great_ne(h1,ff1).
great_ne(ii1,p1).
great_ne(y1,aa1).
great_ne(ff1,u1).
great_ne(hh1,kk1).
great_ne(m1,u1).
great_ne(b1,hh1).
great_ne(y1,kk1).
great_ne(v1,p1).
great_ne(x1,hh1).
great_ne(i1,bb1).
great_ne(f1,ii1).
great_ne(w1,p1).
great_ne(i1,y1).
great_ne(c1,k1).
great_ne(w1,x1).
great_ne(f1,t1).
great_ne(v1,q1).
great_ne(i1,x1).
great_ne(w1,t1).
great_ne(y1,t1).
great_ne(h1,m1).
great_ne(a1,z1).
great_ne(t1,p1).
great_ne(dd1,q1).
great_ne(h1,bb1).
great_ne(bb1,jj1).
great_ne(a1,cc1).
great_ne(aa1,p1).
great_ne(v1,t1).
great_ne(a1,hh1).
