newstore(store(0,0,0,0,0,0)).
update(u,U,store(_,V,W,X,Y,Z),store(U,V,W,X,Y,Z)).
update(v,V,store(U,_,W,X,Y,Z),store(U,V,W,X,Y,Z)).
update(w,W,store(U,V,_,X,Y,Z),store(U,V,W,X,Y,Z)).
update(x,X,store(U,V,W,_,Y,Z),store(U,V,W,X,Y,Z)).
update(y,Y,store(U,V,W,X,_,Z),store(U,V,W,X,Y,Z)).
update(z,Z,store(U,V,W,X,Y,_),store(U,V,W,X,Y,Z)).
access(u,U,store(U,_,_,_,_,_)).
access(v,V,store(_,V,_,_,_,_)).
access(w,W,store(_,_,W,_,_,_)).
access(x,X,store(_,_,_,X,_,_)).
access(y,Y,store(_,_,_,_,Y,_)).
access(z,Z,store(_,_,_,_,_,Z)).