vv = {v1, v2, v3, v4, v12, v13, v23, v14, v24, v34, v123, v124, v134, v234}
 
vv11 = {0, 0, 0, 0, 3/4, 0, 0, 0, 0, 0, 3/4, 3/4, 3/4, 3/4}

hvv11 = {1/8, 1/8, 1/8, 1/8, 7/8, 1/2, 1/2, 1/2, 1/2, 1/8, 7/8, 7/8, 7/8, 7/8}
 
vv12 = {0, 0, 0, 0, 1/2, 0, 0, 0, 0, 0, 1/2, 1/2, 1/2, 1/2}
  
hvv12 = {1/4, 1/4, 1/4, 1/4, 3/4, 1/2, 1/2, 1/2, 1/2, 1/4, 3/4, 3/4, 3/4, 3/4}
  
vv13 = {0, 0, 0, 0, 1/3, 0, 0, 0, 0, 0, 1/3, 1/3, 1/3, 1/3}
 
hvv13 = {1/3, 1/3, 1/3, 1/3, 2/3, 1/2, 1/2, 1/2, 1/2, 1/3, 2/3, 2/3, 2/3, 2/3}
  
sv1 = {5/16, 5/16, 3/16, 3/16}
 
sv2 = {7/24, 7/24, 5/24, 5/24}
 
sv3 = {5/18, 5/18, 2/9, 2/9}
 
nuke1 = {1/3, 1/3, 1/6, 1/6}
 
nuke2 = {1/3, 1/3, 1/6, 1/6}
 
nuke3 = {5/18, 5/18, 2/9, 2/9}

memo = {all,cases,Harsanyi,nuke,was,same,and,in,weakest,coals,cases,nuke,and,
     shapval,were,same}