morphism ff3 
"0->021
 1->031
 2->012
 3->013":
promote FF3 ff3:
eval test3 "?msd_3 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF3[u]=FF3[v]":

morphism ff5 
"0->01321
 1->01231
 2->02031
 3->02321":
promote FF5 ff5:
eval test5 "?msd_5 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF5[u]=FF5[v]":

morphism ff6
 "0->013121
 1->013031
 2->013231
 3->012131":
promote FF6 ff6:
eval test6 "?msd_6 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF6[u]=FF6[v]":


morphism ff7 
"0->0123021
 1->0123121
 2->0120321
 3->0121321":
promote FF7 ff7:
eval test7 "?msd_7 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF7[u]=FF7[v]":

morphism ff10 
"0->0120131021
 1->0120231021
 2->0120301021
 3->0120312021":
promote FF10 ff10:
eval test10 "?msd_10 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF10[u]=FF10[v]":

morphism ff11 
"0->01201020121
 1->01202120121
 2->02010212021":
promote FF11 ff11:
eval test11 "?msd_11 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF11[u]=FF11[v]":

morphism ff12 
"0->012021201021
 1->012010212021
 2->012102120121":
promote FF12 ff12:
eval test12 "?msd_12 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF12[u]=FF12[v]":

morphism ff14  
"0->01201023201021
 1->01201030201021
 2->01201031201021
 3->01201020301021":
promote FF14 ff14:
eval test14 "?msd_14 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF14[u]=FF14[v]":

morphism ff15  
"0->012010230201021
 1->012010231201021
 2->012010203201021
 3->012010213201021":
promote FF15 ff15:
eval test15 "?msd_15 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF15[u]=FF15[v]":

morphism ff20 
"0->01201020120210201021
 1->01201021201210201021
 2->01201020121021201021":
promote FF20 ff20:
eval test20 "?msd_20 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF20[u]=FF20[v]":

morphism ff21 
"0->012010201230210201021
 1->012010201231210201021
 2->012010201203210201021
 3->012010201213210201021":
promote FF21 ff21:
eval test21 "?msd_21 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF21[u]=FF21[v]":

morphism ff22 
"0->0120102012030210201021
 1->0120102012130210201021
 2->0120102012320210201021
 3->0120102012301210201021":
promote FF22 ff22:
eval test22 "?msd_22 ~Ei,n (n>0) & Au,v (u>=i & u<i+n & v=u+n) => FF22[u]=FF22[v]":