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