Print["Loading Data..."]

g1=Graph[C1[3], C2[3], OV[1, 2, 4], Dashed[3, 14], C2[6], OV[15, 5, 7], 
  Dashed[6, 9], C1[9], OV[7, 8, 10], Dashed[9, 12], C3[12], OV[10, 11, 13], 
  C1[12], OV[4, 16, 17], Dashed[6, 18], Dashed[14, 18], Dashed[14, 18], 
  OV[15, 16, 17]]
g2=Graph[C1[3], C2[3], OV[1, 2, 4], Dashed[3, 18], C2[6], OV[9, 5, 7], C1[6], 
  OV[14, 10, 11], Dashed[6, 12], Dashed[8, 12], Dashed[8, 12], 
  OV[9, 10, 11], OV[19, 15, 16], Dashed[8, 17], Dashed[13, 17], 
  Dashed[13, 17], OV[14, 15, 16], OV[4, 20, 21], Dashed[13, 22], 
  Dashed[18, 22], Dashed[18, 22], OV[19, 20, 21]]
g=Graph[C1[36], C1[37], C1[38], C1[39], C1[40], C2[35], C2[38], C2[40], 
  C2[39], C3[36], Dashed[35, 37], Dashed[36, 37], Dashed[27, 35], 
  Dashed[32, 38], Dashed[34, 40], Dashed[33, 39], Dashed[27, 32], 
  Dashed[27, 32], Dashed[30, 34], Dashed[30, 34], Dashed[31, 33], 
  Dashed[31, 33], Dashed[28, 29], Dashed[28, 29], Dashed[29, 31], 
  Dashed[28, 30], OV[13, 17, 18], OV[23, 24, 26], OV[23, 24, 25], 
  OV[19, 20, 26], OV[21, 22, 25], OV[14, 17, 18], OV[16, 21, 22], 
  OV[15, 19, 20], OV[6, 11, 13], OV[1, 10, 12], OV[2, 11, 12], OV[3, 7, 14], 
  OV[4, 9, 16], OV[5, 8, 15]]
t12=Graph[C1[2], C2[1]]
t11=Graph[C1[2], C1[1]]
t[1,2]=Graph[C1[2], C2[1]]
t[1,3]=Graph[C1[2], C3[1]]
t[2,3]=Graph[C2[2], C3[1]]

NameList = {
  Graph[C1[2], C2[1]] -> Chord[C1,C2],
  Graph[C1[5], C2[6], Dashed[5,6], Dashed[5,6], OV[1,3,4], OV[2,3,4]]
    -> Jump1Chord[C1,C2],
  Graph[C1[8], C2[9], Dashed[8,10], Dashed[8,10], Dashed[9,11], 
    Dashed[9,11], Dashed[10,11], OV[1,3,4], OV[2,5,6], OV[3,4,7], OV[5,6,7]]
    -> Jump2Chord[C1,C2],
  Graph[C1[11], C2[12], Dashed[11,13], Dashed[11,13], Dashed[12,16], 
    Dashed[12,16], Dashed[15,16], Dashed[13,14], Dashed[14,15], 
    Dashed[14,15], OV[1,3,4], OV[2,5,6], OV[3,4,8], OV[8,9,10], 
    OV[7,9,10], OV[5,6,7]] -> Jump3Chord[C1,C2],
  Graph[C1[12], C2[17], C2[15], C2[16], Dashed[12,13], Dashed[12,13], 
    Dashed[16,17], Dashed[15,17], Dashed[14,16], Dashed[14,15], 
    Dashed[13,14], OV[1,5,6], OV[5,6,11], OV[9,10,11], 
    OV[3,8,10], OV[4,7,9], OV[2,7,8]] -> Jump1Wheel[C1,C2,C2,C2],
  Graph[C1[17], C1[15], C1[16], C2[12], Dashed[12,16], Dashed[12,15],
    Dashed[13,17], Dashed[13,17], Dashed[14,16], Dashed[14,15], Dashed[13,14],
    OV[4,5,6], OV[7,8,11], OV[9,10,11], OV[2,6,10], OV[3,5,9], OV[1,7,8]]
    -> Jump1Wheel[C1,C1,C1,C2],
  Graph[C1[14], C2[15], Dashed[14,17], Dashed[14,16], Dashed[15,21],
    Dashed[15,20], Dashed[16,20], Dashed[17,19], Dashed[17,18], Dashed[16,19],
    Dashed[19,21], Dashed[18,21], Dashed[18,20], OV[1,3,4], OV[2,5,6],
    OV[4,7,10], OV[3,8,9], OV[9,12,13], OV[8,10,11], OV[6,7,13], OV[5,11,12]]
    -> FunnyDeg5[C1,C2],
  Graph[C1[14], C2[15], Dashed[14,16], Dashed[14,16], Dashed[15,21],
    Dashed[15,21], Dashed[18,21], Dashed[16,17], Dashed[18, 19],
    Dashed[18,19], Dashed[17,20], Dashed[17,20], Dashed[19,20],
    OV[1,3,4], OV[2,5,6], OV[3,4,8], OV[8,11,12], OV[7,9,10], OV[9,10,13],
    OV[11,12,13], OV[5,6,7]] -> Jump4Chord[C1,C2],
  Graph[C1[6], C1[7], C2[7], C2[6], Dashed[6,7], OV[1,4,5], OV[2,3,5]] ->
    Tree[C1,C2,C1,C2],
  Graph[C1[11], C1[12], C2[10], C2[9], Dashed[11,12], Dashed[10,12],
    Dashed[9,11], Dashed[9,10], OV[4,7,8], OV[3,6,8], OV[1,5,7], OV[2,5,6]]
    -> Wheel[C1,C1,C2,C2],
  Graph[C1[11], C1[12], C2[12], C2[11], Dashed[10, 12], Dashed[9, 11], 
    Dashed[9, 10], Dashed[9, 10], OV[6, 7, 8], OV[5, 7, 8], OV[1, 4, 6], 
    OV[2, 3, 5]] -> Jump1Tree[C1,C2,C1,C2],
  Graph[C1[11], C1[13], C1[12], C2[10], C2[13], C2[12], Dashed[10, 11], 
    Dashed[10, 12], Dashed[11, 13], OV[4, 7, 8], OV[1, 7, 9], OV[3, 6, 8],
    OV[2, 5, 9]] -> Tree[C1,C2,C1,C2,C1,C2],
  Graph[C1[12], C1[13], C1[11], C1[10], C2[13], C2[12], Dashed[11, 13], 
    Dashed[10, 12], Dashed[10, 11], OV[4, 8, 9], OV[3, 7, 9], OV[1, 6, 8],
    OV[2, 5, 7]] -> Tree[C1,C2,C1,C1,C1,C2],
  Graph[C1[12], C1[13], C2[13], C2[12], C2[11], C2[10], Dashed[11, 13], 
    Dashed[10, 12], Dashed[10, 11], OV[6, 8, 9], OV[5, 7, 9], OV[1, 4, 8],
    OV[2, 3, 7]] -> Tree[C1,C2,C2,C2,C1,C2],
  Graph[C1[16], C1[17], C2[14], C2[15], Dashed[14, 15], Dashed[13, 17], 
    Dashed[12, 17], Dashed[13, 16], Dashed[12, 16], Dashed[13, 15], 
    Dashed[12, 14], OV[7, 9, 11], OV[6, 8, 10], OV[3, 5, 11], OV[4, 5, 10],
    OV[1, 8, 9], OV[2, 6, 7]] -> Funny1Deg5[C1,C1,C2,C2],
  Graph[C1[16], C1[17], C2[15], C2[14], Dashed[14, 15], Dashed[12, 17], 
    Dashed[12, 17], Dashed[13, 16], Dashed[13, 16], Dashed[13, 15], 
    Dashed[12, 14], OV[6, 7, 11], OV[8, 9, 10], OV[4, 5, 11], OV[3, 5, 10],
    OV[1, 8, 9], OV[2, 6, 7]] -> Funny2Deg5[C1,C1,C2,C2],
  Graph[C1[17], C1[15], C1[16], C2[12], 
    Dashed[12, 13], Dashed[12, 13], Dashed[16, 17], Dashed[15, 17], 
    Dashed[14, 16], Dashed[14, 15], Dashed[13, 14], OV[4, 5, 6], 
    OV[5, 6, 11], OV[9, 10, 11], OV[2, 8, 10], OV[3, 7, 9], OV[1, 7, 8]]
    -> Jump1Wheel[C1,C1,C1,C2],
  Graph[C1[17], C1[16], C2[15], C2[14], Dashed[15, 16], Dashed[14, 15], 
    Dashed[13, 17], Dashed[13, 17], Dashed[12, 16], Dashed[12, 14], 
    Dashed[12, 13], OV[9, 10, 11], OV[7, 8, 11], OV[4, 6, 10], OV[3, 5, 6],
    OV[2, 5, 9], OV[1, 7, 8]] -> Funny3Deg5[C1,C1,C2,C2],
  Graph[C1[2], C1[1]] -> Chord[C1,C1],
    Graph[C1[5], C1[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], OV[2, 3, 4]]
    -> JumpChord[C1,C1],
  Graph[C1[9], C1[12], C1[10], C1[11], Dashed[9, 11], 
    Dashed[9, 10], Dashed[11, 12], Dashed[10, 12], OV[1, 5, 6], 
    OV[3, 6, 8], OV[4, 5, 7], OV[2, 7, 8]] -> Wheel[C1,C1,C1,C1],
  Graph[C1[15], C1[16], Dashed[11, 16], Dashed[11, 16], Dashed[12, 15], 
    Dashed[12, 15], Dashed[12, 14], Dashed[11, 13], Dashed[13, 14], 
    Dashed[13, 14], OV[3, 4, 8], OV[5, 6, 7], OV[8, 9, 10], OV[7, 9, 10],
    OV[1, 5, 6], OV[2, 3, 4]] -> Jump3Chord[C1,C1],
  Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]] -> YGraph[C1,C2,C3],
  Graph[C1[15], C1[16], Dashed[15, 16], Dashed[14, 16], Dashed[13, 15],
    Dashed[11, 12], Dashed[11, 14], Dashed[12, 14], Dashed[12, 13],
    Dashed[11, 13], OV[6, 7, 10], OV[6, 8, 9], OV[5, 9, 10], OV[4, 7, 8],
    OV[1, 3, 5], OV[2, 3, 4]] -> Simplex[C1,C1],
  Graph[C1[8], C1[9], C1[10], C2[8], C3[9], Dashed[8, 10], Dashed[9, 10],
    OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]] -> Tree[C1,C2,C1,C1,C3],
  Graph[C1[8], C2[8], C2[9], C2[10], C3[9], Dashed[8, 10], Dashed[9, 10],
    OV[1, 2, 6], OV[3, 5, 7], OV[4, 6, 7]] -> Tree[C1,C2,C2,C2,C3],
  Graph[C1[8], C2[9], C2[10], C3[8], C3[10], Dashed[8, 9], Dashed[9, 10],
    OV[1, 4, 6], OV[2, 6, 7], OV[3, 5, 7]] -> Tree[C1,C3,C2,C2,C3],
  Graph[C1[8], C2[9], C3[8], C3[9], C3[10], Dashed[8, 10], Dashed[9, 10],
    OV[1, 3, 6], OV[2, 4, 7], OV[5, 6, 7]] -> Tree[C1,C3,C3,C2,C3],
  Graph[C1[9], C1[10], C2[8], C2[10], C3[9], Dashed[8, 9], Dashed[8, 10],
    OV[3, 6, 7], OV[1, 5, 6], OV[2, 4, 7]] -> Tree[C1,C3,C2,C1,C2],
  Graph[C1[9], C1[10], C2[9], C3[8], C3[10], Dashed[8, 9], Dashed[8, 10],
    OV[4, 6, 7], OV[1, 3, 6], OV[2, 5, 7]] -> Tree[C1,C2,C3,C1,C3]
}

$MissingNames={}
BasisForType[C1 + C2 + C3 + OV] = {
  YGraph[C1,C2,C3] -> Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]
}
BasisForType[3 C1 + C2 + C3 + 3 OV] = {
  Tree[C1, C2, C1, C1, C3] -> Graph[C1[8], C1[9], C1[10], C2[8], C3[9],
    Dashed[8, 10], Dashed[9, 10], OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]]
}
BasisForType[2 C1 + 2 C2 + C3 + 3 OV] = {
  Tree[C1,C3,C2,C1,C2] -> Graph[C1[9], C1[10], C2[8], C2[10], C3[9],
    Dashed[8, 9], Dashed[8, 10], OV[3, 6, 7], OV[1, 5, 6], OV[2, 4, 7]]
}
BasisForType[2 C1 + C2 + C3 + 4 OV] = {
  Wheel[C1,C1,C2,C3] -> Graph[C1[11], C1[12], C2[10], C3[9], Dashed[11,12],
    Dashed[10,12], Dashed[9,11], Dashed[9,10], OV[4,7,8], OV[3,6,8],
    OV[1,5,7], OV[2,5,6]],
  Wheel[C1,C2,C1,C3] -> Graph[C1[11], C2[12], C1[10], C3[9], Dashed[11,12],
    Dashed[10,12], Dashed[9,11], Dashed[9,10], OV[4,7,8], OV[3,6,8],
    OV[1,5,7], OV[2,5,6]]
}
BasisForType[C1 + C2 + C3 + 5 OV] = {
  Jump2YGraph[C1,C2,C3] -> Graph[C1[10], C2[11], C3[11], Dashed[10, 13],
    Dashed[10, 12], Dashed[11, 12], Dashed[13, 14], Dashed[13, 14],
    Dashed[12, 14], OV[1, 4, 5], OV[2, 3, 6], OV[5, 6, 9], OV[4, 7, 8],
    OV[7, 8, 9]]
} 
BasisForType[5 C1 + C2 + C3 + 5 OV] = {
  Tree[C2,C1,C1,C1,C1,C1,C3] -> Graph[C2[3], C1[3], OV[1, 2, 4],
    Dashed[3, 6], C1[6], OV[4, 5, 7], Dashed[6, 9], C1[9], OV[7, 8, 10],
    Dashed[9, 12], C1[12], OV[10, 11, 13], Dashed[12, 15], C1[15],
    OV[13, 14, 16], C3[15]]
}
BasisForType[4 C1 + 2 C2 + C3 + 5 OV] = {
  Tree[C2, C1, C3, C1, C1, C1, C2] -> Graph[C2[3], C1[3], OV[1, 2, 4],
    Dashed[3, 6], C1[6], OV[4, 5, 7], Dashed[6, 9], C1[9], OV[7, 8, 10],
    Dashed[9, 12], C1[12], OV[10, 11, 13], Dashed[12, 15], C3[15],
    OV[13, 14, 16], C2[15]], 
  Tree[C2,C1,C1,C1,C1,C3,C2] -> Graph[C2[3], C1[3], OV[1, 2, 4],
    Dashed[3, 6], C3[6], OV[4, 5, 7], Dashed[6, 9], C1[9], OV[7, 8, 10],
    Dashed[9, 12], C1[12], OV[10, 11, 13], Dashed[12, 15], C1[15],
    OV[13, 14, 16], C2[15]]
}
BasisForType[3 C1 + 2 C2 + 2 C3 + 5 OV] = {
  Tree[C1, C2, C1, C2, C3, C3, C1] -> Graph[C1[3], C2[3], OV[1, 2, 4],
    Dashed[3, 6], C1[6], OV[4, 5, 7], Dashed[6, 9], C2[9], OV[7, 8, 10],
    Dashed[9, 12], C3[12], OV[10, 11, 13], Dashed[12, 15], C3[15],
    OV[13, 14, 16], C1[15]], 
  Tree[C1, C2, C1, C3, C2, C3, C1] -> Graph[C1[3], C2[3], OV[1, 2, 4],
    Dashed[3, 6], C1[6], OV[4, 5, 7], Dashed[6, 9], C3[9], OV[7, 8, 10],
    Dashed[9, 12], C2[12], OV[10, 11, 13], Dashed[12, 15], C3[15],
    OV[13, 14, 16], C1[15]], 
  Tree[C1, C2, C1, C3, C3, C2, C1] -> Graph[C1[3], C2[3], OV[1, 2, 4],
    Dashed[3, 6], C1[6], OV[4, 5, 7], Dashed[6, 9], C3[9], OV[7, 8, 10],
    Dashed[9, 12], C3[12], OV[10, 11, 13], Dashed[12, 15], C2[15],
    OV[13, 14, 16], C1[15]], 
  Tree[C1, C2, C3, C1, C2, C3, C1] -> Graph[C1[3], C2[3], OV[1, 2, 4],
    Dashed[3, 6], C3[6], OV[4, 5, 7], Dashed[6, 9], C1[9], OV[7, 8, 10],
    Dashed[9, 12], C2[12], OV[10, 11, 13], Dashed[12, 15], C3[15],
    OV[13, 14, 16], C1[15]]
}
BasisForType[3 C1 + 3 C2 + C3 + 5 OV] = {
  Tree[C1, C2, C1, C2, C2, C3, C1] -> Graph[C1[3], C2[3], OV[1, 2, 4],
    Dashed[3, 6], C1[6], OV[4, 5, 7], Dashed[6, 9], C2[9], OV[7, 8, 10],
    Dashed[9, 12], C2[12], OV[10, 11, 13], Dashed[12, 15], C3[15],
    OV[13, 14, 16], C1[15]], 
  Tree[C1, C2, C1, C2, C3, C2, C1] -> Graph[C1[3], C2[3], OV[1, 2, 4],
    Dashed[3, 6], C1[6], OV[4, 5, 7], Dashed[6, 9], C2[9], OV[7, 8, 10],
    Dashed[9, 12], C3[12], OV[10, 11, 13], Dashed[12, 15], C2[15],
    OV[13, 14, 16], C1[15]], 
  Tree[C1, C2, C1, C3, C2, C2, C1] -> Graph[C1[3], C2[3], OV[1, 2, 4],
    Dashed[3, 6], C1[6], OV[4, 5, 7], Dashed[6, 9], C3[9], OV[7, 8, 10],
    Dashed[9, 12], C2[12], OV[10, 11, 13], Dashed[12, 15], C2[15],
    OV[13, 14, 16], C1[15]]
}
BasisForType[4 C1 + C2 + C3 + 6 OV] = {
  Wheel[C1, C1, C1, C1, C2, C3] -> Graph[C1[3], Dashed[3, 6], OV[1, 17, 2],
    C1[6], Dashed[6, 9], OV[4, 2, 5], C1[9], Dashed[9, 12], OV[7, 5, 8],
    C1[12], Dashed[12, 15], OV[10, 8, 11], C2[15], Dashed[15, 18],
    OV[13, 11, 14], C3[18], Dashed[3, 18], OV[16, 14, 17]], 
  Wheel[C1, C1, C1, C2, C1, C3] -> Graph[C1[3], Dashed[3, 6], OV[1, 17, 2],
    C1[6], Dashed[6, 9], OV[4, 2, 5], C1[9], Dashed[9, 12], OV[7, 5, 8],
    C2[12], Dashed[12, 15], OV[10, 8, 11], C1[15], Dashed[15, 18],
    OV[13, 11, 14], C3[18], Dashed[3, 18], OV[16, 14, 17]], 
  Wheel[C1, C1, C2, C1, C1, C3] -> Graph[C1[3], Dashed[3, 6], OV[1, 17, 2],
    C1[6], Dashed[6, 9], OV[4, 2, 5], C2[9], Dashed[9, 12], OV[7, 5, 8],
    C1[12], Dashed[12, 15], OV[10, 8, 11], C1[15], Dashed[15, 18],
    OV[13, 11, 14], C3[18], Dashed[3, 18], OV[16, 14, 17]]
}
BasisForType[3 C1 + 2 C2 + C3 + 6 OV] = {
  Wheel[C1, C1, C1, C2, C2, C3] -> Graph[C1[3], Dashed[3, 6], OV[1, 17, 2],
    C1[6], Dashed[6, 9], OV[4, 2, 5], C1[9], Dashed[9, 12], OV[7, 5, 8],
    C2[12], Dashed[12, 15], OV[10, 8, 11], C2[15], Dashed[15, 18],
    OV[13, 11, 14], C3[18], Dashed[3, 18], OV[16, 14, 17]], 
  Wheel[C1, C1, C1, C2, C3, C2] -> Graph[C1[3], Dashed[3, 6], OV[1, 17, 2],
    C1[6], Dashed[6, 9], OV[4, 2, 5], C1[9], Dashed[9, 12], OV[7, 5, 8],
    C2[12], Dashed[12, 15], OV[10, 8, 11], C3[15], Dashed[15, 18],
    OV[13, 11, 14], C2[18], Dashed[3, 18], OV[16, 14, 17]], 
  Wheel[C1, C1, C2, C1, C2, C3] -> Graph[C1[3], Dashed[3, 6], OV[1, 17, 2],
    C1[6], Dashed[6, 9], OV[4, 2, 5], C2[9], Dashed[9, 12], OV[7, 5, 8],
    C1[12], Dashed[12, 15], OV[10, 8, 11], C2[15], Dashed[15, 18],
    OV[13, 11, 14], C3[18], Dashed[3, 18], OV[16, 14, 17]], 
  Wheel[C1, C1, C2, C1, C3, C2] -> Graph[C1[3], Dashed[3, 6], OV[1, 17, 2],
    C1[6], Dashed[6, 9], OV[4, 2, 5], C2[9], Dashed[9, 12], OV[7, 5, 8],
    C1[12], Dashed[12, 15], OV[10, 8, 11], C3[15], Dashed[15, 18],
    OV[13, 11, 14], C2[18], Dashed[3, 18], OV[16, 14, 17]], 
  Wheel[C1, C1, C2, C2, C1, C3] -> Graph[C1[3], Dashed[3, 6], OV[1, 17, 2],
    C1[6], Dashed[6, 9], OV[4, 2, 5], C2[9], Dashed[9, 12], OV[7, 5, 8],
    C2[12], Dashed[12, 15], OV[10, 8, 11], C1[15], Dashed[15, 18],
    OV[13, 11, 14], C3[18], Dashed[3, 18], OV[16, 14, 17]], 
  Wheel[C1, C2, C1, C2, C1, C3] -> Graph[C1[3], Dashed[3, 6], OV[1, 17, 2],
    C2[6], Dashed[6, 9], OV[4, 2, 5], C1[9], Dashed[9, 12], OV[7, 5, 8],
    C2[12], Dashed[12, 15], OV[10, 8, 11], C1[15], Dashed[15, 18],
    OV[13, 11, 14], C3[18], Dashed[3, 18], OV[16, 14, 17]]
}
BasisForType[2 C1 + 2 C2 + 2 C3 + 6 OV] = {
   Wheel[C1, C1, C2, C2, C3, C3] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C1[6], Dashed[6, 9], 
     OV[4, 2, 5], C2[9], Dashed[9, 12], OV[7, 5, 8], C2[12], Dashed[12, 15], 
     OV[10, 8, 11], C3[15], Dashed[15, 18], OV[13, 11, 14], C3[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C1, C2, C3, C2, C3] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C1[6], Dashed[6, 9], 
     OV[4, 2, 5], C2[9], Dashed[9, 12], OV[7, 5, 8], C3[12], Dashed[12, 15], 
     OV[10, 8, 11], C2[15], Dashed[15, 18], OV[13, 11, 14], C3[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C1, C2, C3, C3, C2] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C1[6], Dashed[6, 9], 
     OV[4, 2, 5], C2[9], Dashed[9, 12], OV[7, 5, 8], C3[12], Dashed[12, 15], 
     OV[10, 8, 11], C3[15], Dashed[15, 18], OV[13, 11, 14], C2[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C1, C3, C2, C2, C3] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C1[6], Dashed[6, 9], 
     OV[4, 2, 5], C3[9], Dashed[9, 12], OV[7, 5, 8], C2[12], Dashed[12, 15], 
     OV[10, 8, 11], C2[15], Dashed[15, 18], OV[13, 11, 14], C3[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C2, C1, C2, C3, C3] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C2[6], Dashed[6, 9], 
     OV[4, 2, 5], C1[9], Dashed[9, 12], OV[7, 5, 8], C2[12], Dashed[12, 15], 
     OV[10, 8, 11], C3[15], Dashed[15, 18], OV[13, 11, 14], C3[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C2, C1, C3, C2, C3] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C2[6], Dashed[6, 9], 
     OV[4, 2, 5], C1[9], Dashed[9, 12], OV[7, 5, 8], C3[12], Dashed[12, 15], 
     OV[10, 8, 11], C2[15], Dashed[15, 18], OV[13, 11, 14], C3[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C2, C2, C1, C3, C3] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C2[6], Dashed[6, 9], 
     OV[4, 2, 5], C2[9], Dashed[9, 12], OV[7, 5, 8], C1[12], Dashed[12, 15], 
     OV[10, 8, 11], C3[15], Dashed[15, 18], OV[13, 11, 14], C3[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C2, C2, C3, C1, C3] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C2[6], Dashed[6, 9], 
     OV[4, 2, 5], C2[9], Dashed[9, 12], OV[7, 5, 8], C3[12], Dashed[12, 15], 
     OV[10, 8, 11], C1[15], Dashed[15, 18], OV[13, 11, 14], C3[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C2, C3, C1, C2, C3] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C2[6], Dashed[6, 9], 
     OV[4, 2, 5], C3[9], Dashed[9, 12], OV[7, 5, 8], C1[12], Dashed[12, 15], 
     OV[10, 8, 11], C2[15], Dashed[15, 18], OV[13, 11, 14], C3[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C2, C3, C1, C3, C2] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C2[6], Dashed[6, 9], 
     OV[4, 2, 5], C3[9], Dashed[9, 12], OV[7, 5, 8], C1[12], Dashed[12, 15], 
     OV[10, 8, 11], C3[15], Dashed[15, 18], OV[13, 11, 14], C2[18], 
     Dashed[3, 18], OV[16, 14, 17]], 
   Wheel[C1, C2, C3, C2, C1, C3] -> 
    Graph[C1[3], Dashed[3, 6], OV[1, 17, 2], C2[6], Dashed[6, 9], 
     OV[4, 2, 5], C3[9], Dashed[9, 12], OV[7, 5, 8], C2[12], Dashed[12, 15], 
     OV[10, 8, 11], C1[15], Dashed[15, 18], OV[13, 11, 14], C3[18], 
     Dashed[3, 18], OV[16, 14, 17]]
}

Phi[1] = 1

Phi[2] = 1 + p[t[1, 3], t[2, 3]]/24 - p[t[2, 3], t[1, 3]]/24

Phi[3] = 1 + p[t[1, 3], t[2, 3]]/24 - p[t[2, 3], t[1, 3]]/24

Phi[4] = 1 + p[t[1, 3], t[2, 3]]/24 - p[t[2, 3], t[1, 3]]/24 - 
   p[t[1, 3], t[1, 3], t[1, 3], t[2, 3]]/1440 + 
   p[t[1, 3], t[1, 3], t[2, 3], t[1, 3]]/480 + 
   (7*p[t[1, 3], t[1, 3], t[2, 3], t[2, 3]])/5760 - 
   p[t[1, 3], t[2, 3], t[1, 3], t[1, 3]]/480 - 
   p[t[1, 3], t[2, 3], t[1, 3], t[2, 3]]/640 - 
   p[t[1, 3], t[2, 3], t[2, 3], t[1, 3]]/1152 - 
   (7*p[t[1, 3], t[2, 3], t[2, 3], t[2, 3]])/5760 + 
   p[t[2, 3], t[1, 3], t[1, 3], t[1, 3]]/1440 - 
   p[t[2, 3], t[1, 3], t[1, 3], t[2, 3]]/1152 + 
   (19*p[t[2, 3], t[1, 3], t[2, 3], t[1, 3]])/5760 + 
   (7*p[t[2, 3], t[1, 3], t[2, 3], t[2, 3]])/1920 - 
   (7*p[t[2, 3], t[2, 3], t[1, 3], t[1, 3]])/5760 - 
   (7*p[t[2, 3], t[2, 3], t[1, 3], t[2, 3]])/1920 + 
   (7*p[t[2, 3], t[2, 3], t[2, 3], t[1, 3]])/5760

Phi4=1 + Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]/24 + 
  Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]^2/1152 + 
  Graph[C1[8], C1[9], C1[10], C2[8], C3[9], Dashed[8, 10], Dashed[9, 10], 
    OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]]/1440 - 
  (7*Graph[C1[9], C1[10], C2[8], C2[10], C3[8], Dashed[8, 9], 
      Dashed[9, 10], OV[3, 5, 6], OV[1, 6, 7], OV[2, 4, 7]])/5760 + 
  Graph[C1[9], C1[10], C3[8], C3[10], C2[8], Dashed[8, 9], Dashed[9, 10], 
    OV[3, 5, 6], OV[1, 6, 7], OV[2, 4, 7]]/5760 - 
  (7*Graph[C2[8], C2[9], C2[10], C1[8], C3[9], Dashed[8, 10], 
      Dashed[9, 10], OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]])/5760 - 
  (7*Graph[C2[9], C2[10], C3[8], C3[10], C1[8], Dashed[8, 9], 
      Dashed[9, 10], OV[3, 5, 6], OV[1, 6, 7], OV[2, 4, 7]])/5760 + 
  Graph[C3[8], C3[9], C3[10], C1[8], C2[9], Dashed[8, 10], Dashed[9, 10], 
    OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]]/1440 - 
  Graph[C1[11], C1[12], C2[9], C3[11], Dashed[9, 10], Dashed[9, 10], 
    Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[5, 6, 7], OV[1, 4, 8], 
    OV[2, 7, 8]]/9216 + Graph[C1[12], C1[11], C2[9], C3[10], Dashed[9, 10], 
    Dashed[9, 11], Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], 
    OV[4, 5, 7], OV[2, 6, 8], OV[1, 7, 8]]/4608 - 
  Graph[C2[11], C2[12], C1[9], C3[11], Dashed[9, 10], Dashed[9, 10], 
    Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[5, 6, 7], OV[1, 4, 8], 
    OV[2, 7, 8]]/9216 + Graph[C2[12], C2[11], C1[9], C3[10], Dashed[9, 10], 
    Dashed[9, 11], Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], 
    OV[4, 5, 7], OV[2, 6, 8], OV[1, 7, 8]]/4608 - 
  Graph[C3[11], C3[12], C1[9], C2[11], Dashed[9, 10], Dashed[9, 10], 
    Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[5, 6, 7], OV[1, 4, 8], 
    OV[2, 7, 8]]/9216 + Graph[C3[12], C3[11], C1[9], C2[10], Dashed[9, 10], 
    Dashed[9, 11], Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], 
    OV[4, 5, 7], OV[2, 6, 8], OV[1, 7, 8]]/4608 - 
  Graph[C1[10], C2[11], C3[11], Dashed[10, 13], Dashed[10, 13], 
    Dashed[11, 12], Dashed[13, 14], Dashed[12, 14], Dashed[12, 14], 
    OV[1, 4, 5], OV[2, 3, 6], OV[6, 8, 9], OV[4, 5, 7], OV[7, 8, 9]]/18432

Phi[5] = 1 + p[t[1, 3], t[2, 3]]/24 - p[t[2, 3], t[1, 3]]/24 - 
   p[t[1, 3], t[1, 3], t[1, 3], t[2, 3]]/1440 + 
   p[t[1, 3], t[1, 3], t[2, 3], t[1, 3]]/480 + 
   (7*p[t[1, 3], t[1, 3], t[2, 3], t[2, 3]])/5760 - 
   p[t[1, 3], t[2, 3], t[1, 3], t[1, 3]]/480 - 
   p[t[1, 3], t[2, 3], t[1, 3], t[2, 3]]/640 - 
   p[t[1, 3], t[2, 3], t[2, 3], t[1, 3]]/1152 - 
   (7*p[t[1, 3], t[2, 3], t[2, 3], t[2, 3]])/5760 + 
   p[t[2, 3], t[1, 3], t[1, 3], t[1, 3]]/1440 - 
   p[t[2, 3], t[1, 3], t[1, 3], t[2, 3]]/1152 + 
   (19*p[t[2, 3], t[1, 3], t[2, 3], t[1, 3]])/5760 + 
   (7*p[t[2, 3], t[1, 3], t[2, 3], t[2, 3]])/1920 - 
   (7*p[t[2, 3], t[2, 3], t[1, 3], t[1, 3]])/5760 - 
   (7*p[t[2, 3], t[2, 3], t[1, 3], t[2, 3]])/1920 + 
   (7*p[t[2, 3], t[2, 3], t[2, 3], t[1, 3]])/5760

Phi[6] = 1 + p[t[1, 3], t[2, 3]]/24 - p[t[2, 3], t[1, 3]]/24 - 
   p[t[1, 3], t[1, 3], t[1, 3], t[2, 3]]/1440 + 
   p[t[1, 3], t[1, 3], t[2, 3], t[1, 3]]/480 + 
   (7*p[t[1, 3], t[1, 3], t[2, 3], t[2, 3]])/5760 - 
   p[t[1, 3], t[2, 3], t[1, 3], t[1, 3]]/480 - 
   p[t[1, 3], t[2, 3], t[1, 3], t[2, 3]]/640 - 
   p[t[1, 3], t[2, 3], t[2, 3], t[1, 3]]/1152 - 
   (7*p[t[1, 3], t[2, 3], t[2, 3], t[2, 3]])/5760 + 
   p[t[2, 3], t[1, 3], t[1, 3], t[1, 3]]/1440 - 
   p[t[2, 3], t[1, 3], t[1, 3], t[2, 3]]/1152 + 
   (19*p[t[2, 3], t[1, 3], t[2, 3], t[1, 3]])/5760 + 
   (7*p[t[2, 3], t[1, 3], t[2, 3], t[2, 3]])/1920 - 
   (7*p[t[2, 3], t[2, 3], t[1, 3], t[1, 3]])/5760 - 
   (7*p[t[2, 3], t[2, 3], t[1, 3], t[2, 3]])/1920 + 
   (7*p[t[2, 3], t[2, 3], t[2, 3], t[1, 3]])/5760 + 
   p[t[1, 3], t[1, 3], t[1, 3], t[1, 3], t[1, 3], t[2, 3]]/60480 - 
   p[t[1, 3], t[1, 3], t[1, 3], t[1, 3], t[2, 3], t[1, 3]]/12096 - 
   (13*p[t[1, 3], t[1, 3], t[1, 3], t[1, 3], t[2, 3], t[2, 3]])/241920 + 
   p[t[1, 3], t[1, 3], t[1, 3], t[2, 3], t[1, 3], t[1, 3]]/6048 + 
   (19*p[t[1, 3], t[1, 3], t[1, 3], t[2, 3], t[1, 3], t[2, 3]])/145152 + 
   (61*p[t[1, 3], t[1, 3], t[1, 3], t[2, 3], t[2, 3], t[1, 3]])/725760 + 
   (83*p[t[1, 3], t[1, 3], t[1, 3], t[2, 3], t[2, 3], t[2, 3]])/967680 - 
   p[t[1, 3], t[1, 3], t[2, 3], t[1, 3], t[1, 3], t[1, 3]]/6048 - 
   (17*p[t[1, 3], t[1, 3], t[2, 3], t[1, 3], t[1, 3], t[2, 3]])/241920 - 
   (61*p[t[1, 3], t[1, 3], t[2, 3], t[1, 3], t[2, 3], t[1, 3]])/241920 - 
   (89*p[t[1, 3], t[1, 3], t[2, 3], t[1, 3], t[2, 3], t[2, 3]])/414720 + 
   (71*p[t[1, 3], t[1, 3], t[2, 3], t[2, 3], t[1, 3], t[2, 3]])/967680 - 
   (337*p[t[1, 3], t[1, 3], t[2, 3], t[2, 3], t[2, 3], t[1, 3]])/2903040 - 
   (31*p[t[1, 3], t[1, 3], t[2, 3], t[2, 3], t[2, 3], t[2, 3]])/483840 + 
   p[t[1, 3], t[2, 3], t[1, 3], t[1, 3], t[1, 3], t[1, 3]]/12096 + 
   (13*p[t[1, 3], t[2, 3], t[1, 3], t[1, 3], t[1, 3], t[2, 3]])/725760 + 
   p[t[1, 3], t[2, 3], t[1, 3], t[1, 3], t[2, 3], t[1, 3]]/11520 + 
   (37*p[t[1, 3], t[2, 3], t[1, 3], t[1, 3], t[2, 3], t[2, 3]])/580608 + 
   p[t[1, 3], t[2, 3], t[1, 3], t[2, 3], t[1, 3], t[1, 3]]/6048 + 
   (79*p[t[1, 3], t[2, 3], t[1, 3], t[2, 3], t[1, 3], t[2, 3]])/967680 + 
   (71*p[t[1, 3], t[2, 3], t[1, 3], t[2, 3], t[2, 3], t[1, 3]])/322560 + 
   (73*p[t[1, 3], t[2, 3], t[1, 3], t[2, 3], t[2, 3], t[2, 3]])/483840 - 
   p[t[1, 3], t[2, 3], t[2, 3], t[1, 3], t[1, 3], t[1, 3]]/18144 - 
   (53*p[t[1, 3], t[2, 3], t[2, 3], t[1, 3], t[1, 3], t[2, 3]])/967680 - 
   (23*p[t[1, 3], t[2, 3], t[2, 3], t[1, 3], t[2, 3], t[1, 3]])/193536 - 
   (11*p[t[1, 3], t[2, 3], t[2, 3], t[1, 3], t[2, 3], t[2, 3]])/161280 + 
   (19*p[t[1, 3], t[2, 3], t[2, 3], t[2, 3], t[1, 3], t[1, 3]])/290304 - 
   p[t[1, 3], t[2, 3], t[2, 3], t[2, 3], t[1, 3], t[2, 3]]/193536 + 
   (7*p[t[1, 3], t[2, 3], t[2, 3], t[2, 3], t[2, 3], t[1, 3]])/138240 + 
   (31*p[t[1, 3], t[2, 3], t[2, 3], t[2, 3], t[2, 3], t[2, 3]])/967680 - 
   p[t[2, 3], t[1, 3], t[1, 3], t[1, 3], t[1, 3], t[1, 3]]/60480 + 
   p[t[2, 3], t[1, 3], t[1, 3], t[1, 3], t[1, 3], t[2, 3]]/34560 - 
   (97*p[t[2, 3], t[1, 3], t[1, 3], t[1, 3], t[2, 3], t[1, 3]])/725760 - 
   (103*p[t[2, 3], t[1, 3], t[1, 3], t[1, 3], t[2, 3], t[2, 3]])/967680 + 
   (19*p[t[2, 3], t[1, 3], t[1, 3], t[2, 3], t[1, 3], t[1, 3]])/120960 + 
   (583*p[t[2, 3], t[1, 3], t[1, 3], t[2, 3], t[1, 3], t[2, 3]])/2903040 + 
   (53*p[t[2, 3], t[1, 3], t[1, 3], t[2, 3], t[2, 3], t[1, 3]])/967680 + 
   (17*p[t[2, 3], t[1, 3], t[1, 3], t[2, 3], t[2, 3], t[2, 3]])/161280 - 
   (29*p[t[2, 3], t[1, 3], t[2, 3], t[1, 3], t[1, 3], t[1, 3]])/181440 - 
   (289*p[t[2, 3], t[1, 3], t[2, 3], t[1, 3], t[1, 3], t[2, 3]])/2903040 - 
   (55*p[t[2, 3], t[1, 3], t[2, 3], t[1, 3], t[2, 3], t[1, 3]])/193536 - 
   (17*p[t[2, 3], t[1, 3], t[2, 3], t[1, 3], t[2, 3], t[2, 3]])/53760 - 
   (11*p[t[2, 3], t[1, 3], t[2, 3], t[2, 3], t[1, 3], t[1, 3]])/483840 + 
   (7*p[t[2, 3], t[1, 3], t[2, 3], t[2, 3], t[1, 3], t[2, 3]])/46080 - 
   (191*p[t[2, 3], t[1, 3], t[2, 3], t[2, 3], t[2, 3], t[1, 3]])/967680 - 
   (31*p[t[2, 3], t[1, 3], t[2, 3], t[2, 3], t[2, 3], t[2, 3]])/193536 + 
   (13*p[t[2, 3], t[2, 3], t[1, 3], t[1, 3], t[1, 3], t[1, 3]])/241920 + 
   p[t[2, 3], t[2, 3], t[1, 3], t[1, 3], t[1, 3], t[2, 3]]/17920 - 
   (19*p[t[2, 3], t[2, 3], t[1, 3], t[1, 3], t[2, 3], t[1, 3]])/1451520 + 
   (89*p[t[2, 3], t[2, 3], t[1, 3], t[2, 3], t[1, 3], t[1, 3]])/414720 + 
   (53*p[t[2, 3], t[2, 3], t[1, 3], t[2, 3], t[1, 3], t[2, 3]])/322560 + 
   (71*p[t[2, 3], t[2, 3], t[1, 3], t[2, 3], t[2, 3], t[1, 3]])/322560 + 
   (31*p[t[2, 3], t[2, 3], t[1, 3], t[2, 3], t[2, 3], t[2, 3]])/96768 - 
   (83*p[t[2, 3], t[2, 3], t[2, 3], t[1, 3], t[1, 3], t[1, 3]])/967680 - 
   (53*p[t[2, 3], t[2, 3], t[2, 3], t[1, 3], t[1, 3], t[2, 3]])/967680 - 
   (13*p[t[2, 3], t[2, 3], t[2, 3], t[1, 3], t[2, 3], t[1, 3]])/64512 - 
   (31*p[t[2, 3], t[2, 3], t[2, 3], t[1, 3], t[2, 3], t[2, 3]])/96768 + 
   (31*p[t[2, 3], t[2, 3], t[2, 3], t[2, 3], t[1, 3], t[1, 3]])/483840 + 
   (31*p[t[2, 3], t[2, 3], t[2, 3], t[2, 3], t[1, 3], t[2, 3]])/193536 - 
   (31*p[t[2, 3], t[2, 3], t[2, 3], t[2, 3], t[2, 3], t[1, 3]])/967680;

Phi6= 1 + Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]/24 + 
  Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]^2/1152 + 
  Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]^3/82944 + 
  Graph[C1[8], C1[9], C1[10], C2[8], C3[9], Dashed[8, 10], Dashed[9, 10], 
    OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]]/1440 + 
  (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C1[8], C1[9], C1[10], C2[8], C3[9], Dashed[8, 10], 
      Dashed[9, 10], OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]])/34560 - 
  (7*Graph[C1[9], C1[10], C2[8], C2[10], C3[8], Dashed[8, 9], 
      Dashed[9, 10], OV[3, 5, 6], OV[1, 6, 7], OV[2, 4, 7]])/5760 - 
  (7*Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C1[9], C1[10], C2[8], C2[10], C3[8], Dashed[8, 9], 
      Dashed[9, 10], OV[3, 5, 6], OV[1, 6, 7], OV[2, 4, 7]])/138240 + 
  Graph[C1[9], C1[10], C3[8], C3[10], C2[8], Dashed[8, 9], Dashed[9, 10], 
    OV[3, 5, 6], OV[1, 6, 7], OV[2, 4, 7]]/5760 + 
  (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C1[9], C1[10], C3[8], C3[10], C2[8], Dashed[8, 9], 
      Dashed[9, 10], OV[3, 5, 6], OV[1, 6, 7], OV[2, 4, 7]])/138240 - 
  (7*Graph[C2[8], C2[9], C2[10], C1[8], C3[9], Dashed[8, 10], 
      Dashed[9, 10], OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]])/5760 - 
  (7*Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C2[8], C2[9], C2[10], C1[8], C3[9], Dashed[8, 10], 
      Dashed[9, 10], OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]])/138240 - 
  (7*Graph[C2[9], C2[10], C3[8], C3[10], C1[8], Dashed[8, 9], 
      Dashed[9, 10], OV[3, 5, 6], OV[1, 6, 7], OV[2, 4, 7]])/5760 - 
  (7*Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C2[9], C2[10], C3[8], C3[10], C1[8], Dashed[8, 9], 
      Dashed[9, 10], OV[3, 5, 6], OV[1, 6, 7], OV[2, 4, 7]])/138240 + 
  Graph[C3[8], C3[9], C3[10], C1[8], C2[9], Dashed[8, 10], Dashed[9, 10], 
    OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]]/1440 + 
  (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C3[8], C3[9], C3[10], C1[8], C2[9], Dashed[8, 10], 
      Dashed[9, 10], OV[1, 4, 6], OV[2, 5, 7], OV[3, 6, 7]])/34560 - 
  Graph[C1[11], C1[12], C2[9], C3[11], Dashed[9, 10], Dashed[9, 10], 
    Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[5, 6, 7], OV[1, 4, 8], 
    OV[2, 7, 8]]/9216 - (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C1[11], C1[12], C2[9], C3[11], Dashed[9, 10], Dashed[9, 10], 
      Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[5, 6, 7], 
      OV[1, 4, 8], OV[2, 7, 8]])/221184 + 
  Graph[C1[12], C1[11], C2[9], C3[10], Dashed[9, 10], Dashed[9, 11], 
    Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[4, 5, 7], OV[2, 6, 8], 
    OV[1, 7, 8]]/4608 + (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C1[12], C1[11], C2[9], C3[10], Dashed[9, 10], Dashed[9, 11], 
      Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[4, 5, 7], 
      OV[2, 6, 8], OV[1, 7, 8]])/110592 - 
  Graph[C2[11], C2[12], C1[9], C3[11], Dashed[9, 10], Dashed[9, 10], 
    Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[5, 6, 7], OV[1, 4, 8], 
    OV[2, 7, 8]]/9216 - (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C2[11], C2[12], C1[9], C3[11], Dashed[9, 10], Dashed[9, 10], 
      Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[5, 6, 7], 
      OV[1, 4, 8], OV[2, 7, 8]])/221184 + 
  Graph[C2[12], C2[11], C1[9], C3[10], Dashed[9, 10], Dashed[9, 11], 
    Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[4, 5, 7], OV[2, 6, 8], 
    OV[1, 7, 8]]/4608 + (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C2[12], C2[11], C1[9], C3[10], Dashed[9, 10], Dashed[9, 11], 
      Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[4, 5, 7], 
      OV[2, 6, 8], OV[1, 7, 8]])/110592 - 
  Graph[C3[11], C3[12], C1[9], C2[11], Dashed[9, 10], Dashed[9, 10], 
    Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[5, 6, 7], OV[1, 4, 8], 
    OV[2, 7, 8]]/9216 - (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C3[11], C3[12], C1[9], C2[11], Dashed[9, 10], Dashed[9, 10], 
      Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[5, 6, 7], 
      OV[1, 4, 8], OV[2, 7, 8]])/221184 + 
  Graph[C3[12], C3[11], C1[9], C2[10], Dashed[9, 10], Dashed[9, 11], 
    Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[4, 5, 7], OV[2, 6, 8], 
    OV[1, 7, 8]]/4608 + (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C3[12], C3[11], C1[9], C2[10], Dashed[9, 10], Dashed[9, 11], 
      Dashed[10, 12], Dashed[11, 12], OV[3, 5, 6], OV[4, 5, 7], 
      OV[2, 6, 8], OV[1, 7, 8]])/110592 - 
  Graph[C1[10], C2[11], C3[11], Dashed[10, 13], Dashed[10, 13], 
    Dashed[11, 12], Dashed[13, 14], Dashed[12, 14], Dashed[12, 14], 
    OV[1, 4, 5], OV[2, 3, 6], OV[6, 8, 9], OV[4, 5, 7], OV[7, 8, 9]]/18432 - 
  (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
     Graph[C1[10], C2[11], C3[11], Dashed[10, 13], Dashed[10, 13], 
      Dashed[11, 12], Dashed[13, 14], Dashed[12, 14], Dashed[12, 14], 
      OV[1, 4, 5], OV[2, 3, 6], OV[6, 8, 9], OV[4, 5, 7], OV[7, 8, 9]])/
   442368 + Graph[C1[12], C1[13], C1[15], C1[16], C1[14], C2[12], C3[13], 
    Dashed[12, 15], Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], 
    OV[1, 6, 8], OV[2, 7, 9], OV[5, 9, 11], OV[3, 8, 10], OV[4, 10, 11]]/
   60480 + (11*Graph[C1[13], C1[14], C1[16], C1[15], C2[16], C2[15], 
      C3[13], Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], 
      Dashed[14, 16], OV[8, 9, 10], OV[1, 7, 8], OV[2, 9, 11], 
      OV[4, 6, 10], OV[3, 5, 11]])/290304 - 
  (17*Graph[C1[13], C1[14], C1[16], C1[15], C3[16], C3[15], C2[13], 
      Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[14, 16], 
      OV[8, 9, 10], OV[1, 7, 8], OV[2, 9, 11], OV[4, 6, 10], OV[3, 5, 11]])/
   1451520 + (13*Graph[C1[13], C1[16], C1[15], C1[14], C2[12], C2[16], 
      C3[13], Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], 
      Dashed[14, 15], OV[5, 8, 9], OV[1, 7, 10], OV[4, 9, 11], 
      OV[3, 10, 11], OV[2, 6, 8]])/241920 - 
  Graph[C1[13], C1[16], C1[15], C1[14], C3[12], C3[16], C2[13], 
    Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], Dashed[14, 15], 
    OV[5, 8, 9], OV[1, 7, 10], OV[4, 9, 11], OV[3, 10, 11], OV[2, 6, 8]]/
   80640 + (41*Graph[C1[14], C1[15], C1[16], C2[13], C2[16], C3[12], 
      C3[15], Dashed[12, 13], Dashed[12, 14], Dashed[13, 16], 
      Dashed[14, 15], OV[6, 8, 9], OV[4, 8, 10], OV[1, 9, 11], 
      OV[2, 7, 11], OV[3, 5, 10]])/967680 - 
  (527*Graph[C1[14], C1[16], C1[15], C2[13], C2[16], C2[15], C3[12], 
      Dashed[12, 13], Dashed[12, 15], Dashed[13, 14], Dashed[14, 16], 
      OV[7, 8, 9], OV[4, 8, 10], OV[1, 10, 11], OV[3, 6, 9], OV[2, 5, 11]])/
   5806080 - (31*Graph[C1[14], C1[16], C1[15], C2[13], C2[16], C2[15], 
      C3[13], Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], 
      Dashed[14, 16], OV[8, 9, 10], OV[4, 7, 8], OV[1, 9, 11], 
      OV[3, 6, 10], OV[2, 5, 11]])/725760 + 
  (199*Graph[C1[14], C1[16], C1[15], C3[13], C3[16], C3[15], C2[12], 
      Dashed[12, 13], Dashed[12, 15], Dashed[13, 14], Dashed[14, 16], 
      OV[7, 8, 9], OV[4, 8, 10], OV[1, 10, 11], OV[3, 6, 9], OV[2, 5, 11]])/
   5806080 + Graph[C1[14], C1[16], C1[15], C3[13], C3[16], C3[15], C2[13], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[14, 16], 
    OV[8, 9, 10], OV[4, 7, 8], OV[1, 9, 11], OV[3, 6, 10], OV[2, 5, 11]]/
   725760 - (83*Graph[C1[16], C1[15], C1[14], C2[12], C2[13], C2[16], 
      C3[12], Dashed[12, 13], Dashed[13, 14], Dashed[15, 16], 
      Dashed[14, 15], OV[4, 7, 8], OV[5, 8, 9], OV[3, 9, 11], 
      OV[2, 10, 11], OV[1, 6, 10]])/967680 - 
  (17*Graph[C1[16], C1[15], C1[14], C2[12], C2[13], C3[13], C3[16], 
      Dashed[12, 13], Dashed[12, 14], Dashed[15, 16], Dashed[14, 15], 
      OV[4, 8, 9], OV[5, 6, 8], OV[3, 9, 11], OV[2, 10, 11], OV[1, 7, 10]])/
   322560 - (431*Graph[C1[16], C1[15], C1[14], C2[12], C2[13], C3[13], 
      C3[16], Dashed[12, 15], Dashed[12, 14], Dashed[13, 14], 
      Dashed[15, 16], OV[4, 8, 9], OV[5, 6, 10], OV[3, 9, 10], 
      OV[2, 8, 11], OV[1, 7, 11]])/5806080 + 
  (23*Graph[C1[16], C1[15], C1[14], C2[13], C2[16], C3[12], C3[13], 
      Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], Dashed[14, 15], 
      OV[6, 8, 9], OV[4, 7, 10], OV[3, 9, 11], OV[2, 10, 11], OV[1, 5, 8]])/
   580608 + (23*Graph[C1[16], C1[15], C1[14], C3[12], C3[13], C3[16], 
      C2[12], Dashed[12, 13], Dashed[13, 14], Dashed[15, 16], 
      Dashed[14, 15], OV[4, 7, 8], OV[5, 8, 9], OV[3, 9, 11], 
      OV[2, 10, 11], OV[1, 6, 10]])/967680 - 
  (31*Graph[C2[12], C2[13], C2[15], C2[16], C2[14], C1[12], C3[13], 
      Dashed[12, 15], Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], 
      OV[1, 6, 8], OV[2, 7, 9], OV[5, 9, 11], OV[3, 8, 10], OV[4, 10, 11]])/
   967680 - (31*Graph[C2[13], C2[14], C2[16], C2[15], C1[16], C1[15], 
      C3[13], Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], 
      Dashed[14, 16], OV[8, 9, 10], OV[1, 7, 8], OV[2, 9, 11], 
      OV[4, 6, 10], OV[3, 5, 11]])/645120 + 
  (31*Graph[C2[13], C2[14], C2[16], C2[15], C3[16], C3[15], C1[13], 
      Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[14, 16], 
      OV[8, 9, 10], OV[1, 7, 8], OV[2, 9, 11], OV[4, 6, 10], OV[3, 5, 11]])/
   645120 - (31*Graph[C2[13], C2[16], C2[15], C2[14], C1[12], C1[16], 
      C3[13], Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], 
      Dashed[14, 15], OV[5, 8, 9], OV[1, 7, 10], OV[4, 9, 11], 
      OV[3, 10, 11], OV[2, 6, 8]])/483840 + 
  (31*Graph[C2[13], C2[16], C2[15], C2[14], C3[12], C3[16], C1[13], 
      Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], Dashed[14, 15], 
      OV[5, 8, 9], OV[1, 7, 10], OV[4, 9, 11], OV[3, 10, 11], OV[2, 6, 8]])/
   483840 - Graph[C2[14], C2[15], C2[16], C1[13], C1[16], C3[12], C3[15], 
    Dashed[12, 13], Dashed[12, 14], Dashed[13, 16], Dashed[14, 15], 
    OV[6, 8, 9], OV[4, 8, 10], OV[1, 9, 11], OV[2, 7, 11], OV[3, 5, 10]]/
   483840 - (157*Graph[C2[14], C2[16], C2[15], C3[13], C3[16], C3[15], 
      C1[12], Dashed[12, 13], Dashed[12, 15], Dashed[13, 14], 
      Dashed[14, 16], OV[7, 8, 9], OV[4, 8, 10], OV[1, 10, 11], 
      OV[3, 6, 9], OV[2, 5, 11]])/1935360 - 
  (31*Graph[C2[14], C2[16], C2[15], C3[13], C3[16], C3[15], C1[13], 
      Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[14, 16], 
      OV[8, 9, 10], OV[4, 7, 8], OV[1, 9, 11], OV[3, 6, 10], OV[2, 5, 11]])/
   725760 - Graph[C2[16], C2[15], C2[14], C1[12], C1[13], C3[13], C3[16], 
    Dashed[12, 13], Dashed[12, 14], Dashed[15, 16], Dashed[14, 15], 
    OV[4, 8, 9], OV[5, 6, 8], OV[3, 9, 11], OV[2, 10, 11], OV[1, 7, 10]]/
   53760 - Graph[C2[16], C2[15], C2[14], C1[12], C1[13], C3[13], C3[16], 
    Dashed[12, 15], Dashed[12, 14], Dashed[13, 14], Dashed[15, 16], 
    OV[4, 8, 9], OV[5, 6, 10], OV[3, 9, 10], OV[2, 8, 11], OV[1, 7, 11]]/
   35840 - (23*Graph[C2[16], C2[15], C2[14], C1[13], C1[16], C3[12], 
      C3[13], Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], 
      Dashed[14, 15], OV[6, 8, 9], OV[4, 7, 10], OV[3, 9, 11], 
      OV[2, 10, 11], OV[1, 5, 8]])/387072 - 
  (83*Graph[C2[16], C2[15], C2[14], C3[12], C3[13], C3[16], C1[12], 
      Dashed[12, 13], Dashed[13, 14], Dashed[15, 16], Dashed[14, 15], 
      OV[4, 7, 8], OV[5, 8, 9], OV[3, 9, 11], OV[2, 10, 11], OV[1, 6, 10]])/
   967680 + Graph[C3[12], C3[13], C3[15], C3[16], C3[14], C1[12], C2[13], 
    Dashed[12, 15], Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], 
    OV[1, 6, 8], OV[2, 7, 9], OV[5, 9, 11], OV[3, 8, 10], OV[4, 10, 11]]/
   60480 + (17*Graph[C3[13], C3[14], C3[16], C3[15], C1[16], C1[15], 
      C2[13], Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], 
      Dashed[14, 16], OV[8, 9, 10], OV[1, 7, 8], OV[2, 9, 11], 
      OV[4, 6, 10], OV[3, 5, 11]])/1451520 - 
  (11*Graph[C3[13], C3[14], C3[16], C3[15], C2[16], C2[15], C1[13], 
      Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[14, 16], 
      OV[8, 9, 10], OV[1, 7, 8], OV[2, 9, 11], OV[4, 6, 10], OV[3, 5, 11]])/
   290304 + Graph[C3[13], C3[16], C3[15], C3[14], C1[12], C1[16], C2[13], 
    Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], Dashed[14, 15], 
    OV[5, 8, 9], OV[1, 7, 10], OV[4, 9, 11], OV[3, 10, 11], OV[2, 6, 8]]/
   80640 - (13*Graph[C3[13], C3[16], C3[15], C3[14], C2[12], C2[16], 
      C1[13], Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], 
      Dashed[14, 15], OV[5, 8, 9], OV[1, 7, 10], OV[4, 9, 11], 
      OV[3, 10, 11], OV[2, 6, 8]])/241920 + 
  (41*Graph[C3[14], C3[15], C3[16], C1[13], C1[16], C2[12], C2[15], 
      Dashed[12, 13], Dashed[12, 14], Dashed[13, 16], Dashed[14, 15], 
      OV[6, 8, 9], OV[4, 8, 10], OV[1, 9, 11], OV[2, 7, 11], OV[3, 5, 10]])/
   967680 - (17*Graph[C3[16], C3[15], C3[14], C1[12], C1[13], C2[13], 
      C2[16], Dashed[12, 13], Dashed[12, 14], Dashed[15, 16], 
      Dashed[14, 15], OV[4, 8, 9], OV[5, 6, 8], OV[3, 9, 11], 
      OV[2, 10, 11], OV[1, 7, 10]])/322560 - 
  (487*Graph[C3[16], C3[15], C3[14], C1[12], C1[13], C2[13], C2[16], 
      Dashed[12, 15], Dashed[12, 14], Dashed[13, 14], Dashed[15, 16], 
      OV[4, 8, 9], OV[5, 6, 10], OV[3, 9, 10], OV[2, 8, 11], OV[1, 7, 11]])/
   5806080 + (143*Graph[C3[16], C3[15], C3[14], C1[13], C1[16], C2[12], 
      C2[13], Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], 
      Dashed[14, 15], OV[6, 8, 9], OV[4, 7, 10], OV[3, 9, 11], 
      OV[2, 10, 11], OV[1, 5, 8]])/2903040 - 
  Graph[C1[15], C1[16], C1[17], C1[18], C2[13], C3[15], Dashed[13, 18], 
    Dashed[13, 17], Dashed[14, 16], Dashed[14, 18], Dashed[14, 17], 
    Dashed[15, 16], OV[5, 7, 8], OV[9, 10, 11], OV[1, 6, 12], OV[2, 9, 12], 
    OV[3, 8, 11], OV[4, 7, 10]]/92160 + 
  Graph[C1[15], C1[17], C1[18], C1[16], C2[13], C3[15], Dashed[13, 14], 
    Dashed[13, 14], Dashed[14, 16], Dashed[15, 17], Dashed[17, 18], 
    Dashed[16, 18], OV[5, 7, 8], OV[7, 8, 9], OV[1, 6, 10], OV[4, 9, 12], 
    OV[2, 10, 11], OV[3, 11, 12]]/276480 + 
  Graph[C1[16], C1[15], C1[18], C1[17], C2[13], C3[14], Dashed[13, 14], 
    Dashed[13, 15], Dashed[14, 16], Dashed[16, 18], Dashed[15, 17], 
    Dashed[17, 18], OV[5, 7, 8], OV[6, 7, 9], OV[2, 8, 11], OV[1, 9, 10], 
    OV[4, 11, 12], OV[3, 10, 12]]/138240 + 
  (19*Graph[C1[16], C1[17], C1[18], C2[14], C2[15], C3[14], Dashed[13, 15], 
      Dashed[13, 18], Dashed[13, 17], Dashed[14, 15], Dashed[16, 18], 
      Dashed[16, 17], OV[7, 8, 9], OV[4, 6, 10], OV[5, 7, 10], 
      OV[1, 11, 12], OV[2, 9, 12], OV[3, 8, 11]])/3317760 + 
  Graph[C1[16], C1[17], C1[18], C2[18], C2[17], C3[13], Dashed[13, 15], 
    Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], Dashed[15, 18], 
    Dashed[14, 17], OV[6, 7, 8], OV[8, 10, 12], OV[7, 9, 11], OV[1, 9, 10], 
    OV[2, 5, 12], OV[3, 4, 11]]/829440 + 
  (13*Graph[C1[16], C1[17], C1[18], C3[14], C3[15], C2[14], Dashed[13, 15], 
      Dashed[13, 18], Dashed[13, 17], Dashed[14, 15], Dashed[16, 18], 
      Dashed[16, 17], OV[7, 8, 9], OV[4, 6, 10], OV[5, 7, 10], 
      OV[1, 11, 12], OV[2, 9, 12], OV[3, 8, 11]])/3317760 + 
  (7*Graph[C1[16], C1[17], C1[18], C3[18], C3[17], C2[13], Dashed[13, 15], 
      Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], Dashed[15, 18], 
      Dashed[14, 17], OV[6, 7, 8], OV[8, 10, 12], OV[7, 9, 11], 
      OV[1, 9, 10], OV[2, 5, 12], OV[3, 4, 11]])/829440 - 
  Graph[C1[16], C1[18], C1[17], C2[18], C2[17], C3[13], Dashed[13, 15], 
    Dashed[13, 15], Dashed[16, 17], Dashed[14, 16], Dashed[14, 18], 
    Dashed[14, 15], OV[6, 7, 8], OV[10, 11, 12], OV[7, 8, 12], 
    OV[1, 9, 10], OV[3, 5, 9], OV[2, 4, 11]]/1105920 + 
  Graph[C1[16], C1[18], C1[17], C3[18], C3[17], C2[13], Dashed[13, 15], 
    Dashed[13, 15], Dashed[16, 17], Dashed[14, 16], Dashed[14, 18], 
    Dashed[14, 15], OV[6, 7, 8], OV[10, 11, 12], OV[7, 8, 12], 
    OV[1, 9, 10], OV[3, 5, 9], OV[2, 4, 11]]/1105920 + 
  Graph[C1[17], C1[18], C2[16], C2[15], C3[14], C3[13], Dashed[17, 18], 
    Dashed[15, 16], Dashed[14, 18], Dashed[13, 17], Dashed[14, 16], 
    Dashed[13, 15], OV[6, 10, 12], OV[5, 9, 11], OV[4, 8, 12], 
    OV[3, 8, 11], OV[1, 7, 10], OV[2, 7, 9]]/36864 - 
  (19*Graph[C1[17], C1[18], C2[16], C2[15], C3[14], C3[18], Dashed[13, 14], 
      Dashed[13, 14], Dashed[13, 15], Dashed[16, 17], Dashed[15, 17], 
      Dashed[16, 18], OV[7, 8, 9], OV[5, 7, 8], OV[4, 9, 11], 
      OV[3, 10, 12], OV[1, 10, 11], OV[2, 6, 12]])/1105920 - 
  (61*Graph[C1[17], C1[18], C2[16], C2[15], C3[14], C3[18], Dashed[13, 14], 
      Dashed[13, 14], Dashed[13, 15], Dashed[17, 18], Dashed[16, 17], 
      Dashed[15, 16], OV[7, 8, 9], OV[5, 7, 8], OV[4, 9, 12], 
      OV[3, 11, 12], OV[1, 10, 11], OV[2, 6, 10]])/6635520 + 
  Graph[C1[17], C1[18], C2[16], C2[15], C3[14], C3[18], Dashed[13, 14], 
    Dashed[13, 17], Dashed[13, 15], Dashed[14, 16], Dashed[17, 18], 
    Dashed[15, 16], OV[7, 8, 9], OV[5, 7, 10], OV[4, 9, 12], OV[3, 10, 12], 
    OV[1, 8, 11], OV[2, 6, 11]]/221184 - 
  (5*Graph[C1[17], C1[18], C2[16], C2[15], C3[14], C3[18], Dashed[13, 14], 
      Dashed[13, 17], Dashed[13, 15], Dashed[14, 18], Dashed[16, 17], 
      Dashed[15, 16], OV[7, 8, 9], OV[5, 7, 10], OV[4, 9, 12], 
      OV[3, 11, 12], OV[1, 8, 11], OV[2, 6, 10]])/221184 - 
  (13*Graph[C1[17], C1[18], C2[16], C2[15], C3[18], C3[17], Dashed[15, 16], 
      Dashed[14, 18], Dashed[13, 17], Dashed[14, 16], Dashed[13, 15], 
      Dashed[13, 14], OV[9, 11, 12], OV[8, 10, 12], OV[4, 7, 11], 
      OV[3, 7, 10], OV[1, 6, 9], OV[2, 5, 8]])/829440 + 
  (13*Graph[C1[17], C1[18], C2[16], C2[18], C3[14], C3[15], Dashed[13, 16], 
      Dashed[13, 15], Dashed[13, 14], Dashed[16, 18], Dashed[15, 17], 
      Dashed[14, 17], OV[7, 8, 9], OV[5, 9, 12], OV[6, 8, 11], 
      OV[3, 7, 10], OV[1, 11, 12], OV[2, 4, 10]])/1658880 - 
  (11*Graph[C1[17], C1[18], C2[16], C2[18], C3[15], C3[14], Dashed[13, 16], 
      Dashed[13, 15], Dashed[13, 15], Dashed[16, 17], Dashed[14, 17], 
      Dashed[14, 18], OV[7, 8, 9], OV[6, 11, 12], OV[5, 8, 9], 
      OV[3, 7, 10], OV[1, 10, 11], OV[2, 4, 12]])/3317760 + 
  (29*Graph[C1[17], C1[18], C2[16], C2[18], C3[15], C3[17], Dashed[16, 18], 
      Dashed[14, 15], Dashed[14, 15], Dashed[13, 16], Dashed[13, 17], 
      Dashed[13, 14], OV[10, 11, 12], OV[8, 9, 12], OV[5, 8, 9], 
      OV[3, 7, 10], OV[1, 6, 11], OV[2, 4, 7]])/2211840 - 
  Graph[C1[17], C1[18], C2[18], C2[17], C3[15], C3[16], Dashed[14, 18], 
    Dashed[13, 17], Dashed[14, 16], Dashed[14, 15], Dashed[13, 16], 
    Dashed[13, 15], OV[8, 11, 12], OV[7, 9, 10], OV[5, 10, 12], 
    OV[6, 9, 11], OV[1, 4, 8], OV[2, 3, 7]]/414720 + 
  (11*Graph[C1[18], C1[16], C1[17], C2[15], C2[14], C3[13], Dashed[13, 15], 
      Dashed[13, 14], Dashed[17, 18], Dashed[16, 18], Dashed[15, 17], 
      Dashed[14, 16], OV[6, 7, 8], OV[5, 8, 12], OV[4, 7, 11], 
      OV[2, 10, 12], OV[3, 9, 11], OV[1, 9, 10]])/552960 + 
  Graph[C1[18], C1[16], C1[17], C3[15], C3[14], C2[13], Dashed[13, 15], 
    Dashed[13, 14], Dashed[17, 18], Dashed[16, 18], Dashed[15, 17], 
    Dashed[14, 16], OV[6, 7, 8], OV[5, 8, 12], OV[4, 7, 11], OV[2, 10, 12], 
    OV[3, 9, 11], OV[1, 9, 10]]/110592 - 
  (19*Graph[C1[18], C1[17], C1[16], C2[15], C2[18], C3[13], Dashed[13, 14], 
      Dashed[13, 14], Dashed[14, 16], Dashed[15, 18], Dashed[15, 17], 
      Dashed[16, 17], OV[6, 7, 8], OV[7, 8, 9], OV[4, 10, 11], 
      OV[3, 9, 12], OV[2, 11, 12], OV[1, 5, 10]])/3317760 - 
  (7*Graph[C1[18], C1[17], C1[16], C2[15], C2[18], C3[13], Dashed[13, 14], 
      Dashed[13, 16], Dashed[14, 15], Dashed[14, 17], Dashed[15, 16], 
      Dashed[17, 18], OV[6, 7, 8], OV[7, 9, 10], OV[4, 9, 11], 
      OV[3, 8, 11], OV[2, 10, 12], OV[1, 5, 12]])/276480 - 
  (13*Graph[C1[18], C1[17], C1[16], C3[15], C3[18], C2[13], Dashed[13, 14], 
      Dashed[13, 14], Dashed[14, 16], Dashed[15, 18], Dashed[15, 17], 
      Dashed[16, 17], OV[6, 7, 8], OV[7, 8, 9], OV[4, 10, 11], 
      OV[3, 9, 12], OV[2, 11, 12], OV[1, 5, 10]])/3317760 - 
  Graph[C1[18], C1[17], C1[16], C3[15], C3[18], C2[13], Dashed[13, 14], 
    Dashed[13, 16], Dashed[14, 15], Dashed[14, 17], Dashed[15, 16], 
    Dashed[17, 18], OV[6, 7, 8], OV[7, 9, 10], OV[4, 9, 11], OV[3, 8, 11], 
    OV[2, 10, 12], OV[1, 5, 12]]/276480 + 
  (17*Graph[C1[18], C1[17], C2[15], C2[16], C3[14], C3[16], Dashed[13, 14], 
      Dashed[13, 15], Dashed[13, 17], Dashed[14, 18], Dashed[15, 16], 
      Dashed[17, 18], OV[7, 8, 9], OV[5, 7, 10], OV[3, 8, 11], 
      OV[4, 6, 11], OV[2, 9, 12], OV[1, 10, 12]])/1658880 - 
  (7*Graph[C2[15], C2[16], C2[17], C2[18], C1[13], C3[15], Dashed[13, 18], 
      Dashed[13, 17], Dashed[14, 16], Dashed[14, 18], Dashed[14, 17], 
      Dashed[15, 16], OV[5, 7, 8], OV[9, 10, 11], OV[1, 6, 12], 
      OV[2, 9, 12], OV[3, 8, 11], OV[4, 7, 10]])/368640 + 
  (7*Graph[C2[15], C2[17], C2[18], C2[16], C1[13], C3[15], Dashed[13, 14], 
      Dashed[13, 14], Dashed[14, 16], Dashed[15, 17], Dashed[17, 18], 
      Dashed[16, 18], OV[5, 7, 8], OV[7, 8, 9], OV[1, 6, 10], OV[4, 9, 12], 
      OV[2, 10, 11], OV[3, 11, 12]])/1105920 + 
  (7*Graph[C2[16], C2[15], C2[18], C2[17], C1[13], C3[14], Dashed[13, 14], 
      Dashed[13, 15], Dashed[14, 16], Dashed[16, 18], Dashed[15, 17], 
      Dashed[17, 18], OV[5, 7, 8], OV[6, 7, 9], OV[2, 8, 11], OV[1, 9, 10], 
      OV[4, 11, 12], OV[3, 10, 12]])/552960 + 
  (7*Graph[C2[16], C2[17], C2[18], C1[14], C1[15], C3[14], Dashed[13, 15], 
      Dashed[13, 18], Dashed[13, 17], Dashed[14, 15], Dashed[16, 18], 
      Dashed[16, 17], OV[7, 8, 9], OV[4, 6, 10], OV[5, 7, 10], 
      OV[1, 11, 12], OV[2, 9, 12], OV[3, 8, 11]])/829440 + 
  (7*Graph[C2[16], C2[17], C2[18], C1[18], C1[17], C3[13], Dashed[13, 15], 
      Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], Dashed[15, 18], 
      Dashed[14, 17], OV[6, 7, 8], OV[8, 10, 12], OV[7, 9, 11], 
      OV[1, 9, 10], OV[2, 5, 12], OV[3, 4, 11]])/829440 + 
  (7*Graph[C2[16], C2[17], C2[18], C3[14], C3[15], C1[14], Dashed[13, 15], 
      Dashed[13, 18], Dashed[13, 17], Dashed[14, 15], Dashed[16, 18], 
      Dashed[16, 17], OV[7, 8, 9], OV[4, 6, 10], OV[5, 7, 10], 
      OV[1, 11, 12], OV[2, 9, 12], OV[3, 8, 11]])/829440 + 
  (7*Graph[C2[16], C2[17], C2[18], C3[18], C3[17], C1[13], Dashed[13, 15], 
      Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], Dashed[15, 18], 
      Dashed[14, 17], OV[6, 7, 8], OV[8, 10, 12], OV[7, 9, 11], 
      OV[1, 9, 10], OV[2, 5, 12], OV[3, 4, 11]])/829440 + 
  (7*Graph[C2[18], C2[16], C2[17], C1[15], C1[14], C3[13], Dashed[13, 15], 
      Dashed[13, 14], Dashed[17, 18], Dashed[16, 18], Dashed[15, 17], 
      Dashed[14, 16], OV[6, 7, 8], OV[5, 8, 12], OV[4, 7, 11], 
      OV[2, 10, 12], OV[3, 9, 11], OV[1, 9, 10]])/276480 + 
  (7*Graph[C2[18], C2[16], C2[17], C3[15], C3[14], C1[13], Dashed[13, 15], 
      Dashed[13, 14], Dashed[17, 18], Dashed[16, 18], Dashed[15, 17], 
      Dashed[14, 16], OV[6, 7, 8], OV[5, 8, 12], OV[4, 7, 11], 
      OV[2, 10, 12], OV[3, 9, 11], OV[1, 9, 10]])/276480 - 
  (7*Graph[C2[18], C2[17], C2[16], C1[15], C1[18], C3[13], Dashed[13, 14], 
      Dashed[13, 14], Dashed[14, 16], Dashed[15, 18], Dashed[15, 17], 
      Dashed[16, 17], OV[6, 7, 8], OV[7, 8, 9], OV[4, 10, 11], 
      OV[3, 9, 12], OV[2, 11, 12], OV[1, 5, 10]])/829440 - 
  (7*Graph[C2[18], C2[17], C2[16], C1[15], C1[18], C3[13], Dashed[13, 14], 
      Dashed[13, 16], Dashed[14, 15], Dashed[14, 17], Dashed[15, 16], 
      Dashed[17, 18], OV[6, 7, 8], OV[7, 9, 10], OV[4, 9, 11], 
      OV[3, 8, 11], OV[2, 10, 12], OV[1, 5, 12]])/276480 - 
  (7*Graph[C2[18], C2[17], C2[16], C3[15], C3[18], C1[13], Dashed[13, 14], 
      Dashed[13, 14], Dashed[14, 16], Dashed[15, 18], Dashed[15, 17], 
      Dashed[16, 17], OV[6, 7, 8], OV[7, 8, 9], OV[4, 10, 11], 
      OV[3, 9, 12], OV[2, 11, 12], OV[1, 5, 10]])/829440 - 
  (7*Graph[C2[18], C2[17], C2[16], C3[15], C3[18], C1[13], Dashed[13, 14], 
      Dashed[13, 16], Dashed[14, 15], Dashed[14, 17], Dashed[15, 16], 
      Dashed[17, 18], OV[6, 7, 8], OV[7, 9, 10], OV[4, 9, 11], 
      OV[3, 8, 11], OV[2, 10, 12], OV[1, 5, 12]])/276480 - 
  Graph[C3[15], C3[16], C3[17], C3[18], C1[13], C2[15], Dashed[13, 18], 
    Dashed[13, 17], Dashed[14, 16], Dashed[14, 18], Dashed[14, 17], 
    Dashed[15, 16], OV[5, 7, 8], OV[9, 10, 11], OV[1, 6, 12], OV[2, 9, 12], 
    OV[3, 8, 11], OV[4, 7, 10]]/92160 + 
  Graph[C3[15], C3[17], C3[18], C3[16], C1[13], C2[15], Dashed[13, 14], 
    Dashed[13, 14], Dashed[14, 16], Dashed[15, 17], Dashed[17, 18], 
    Dashed[16, 18], OV[5, 7, 8], OV[7, 8, 9], OV[1, 6, 10], OV[4, 9, 12], 
    OV[2, 10, 11], OV[3, 11, 12]]/276480 + 
  Graph[C3[16], C3[15], C3[18], C3[17], C1[13], C2[14], Dashed[13, 14], 
    Dashed[13, 15], Dashed[14, 16], Dashed[16, 18], Dashed[15, 17], 
    Dashed[17, 18], OV[5, 7, 8], OV[6, 7, 9], OV[2, 8, 11], OV[1, 9, 10], 
    OV[4, 11, 12], OV[3, 10, 12]]/138240 + 
  (13*Graph[C3[16], C3[17], C3[18], C1[14], C1[15], C2[14], Dashed[13, 15], 
      Dashed[13, 18], Dashed[13, 17], Dashed[14, 15], Dashed[16, 18], 
      Dashed[16, 17], OV[7, 8, 9], OV[4, 6, 10], OV[5, 7, 10], 
      OV[1, 11, 12], OV[2, 9, 12], OV[3, 8, 11]])/3317760 + 
  (7*Graph[C3[16], C3[17], C3[18], C1[18], C1[17], C2[13], Dashed[13, 15], 
      Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], Dashed[15, 18], 
      Dashed[14, 17], OV[6, 7, 8], OV[8, 10, 12], OV[7, 9, 11], 
      OV[1, 9, 10], OV[2, 5, 12], OV[3, 4, 11]])/829440 + 
  (19*Graph[C3[16], C3[17], C3[18], C2[14], C2[15], C1[14], Dashed[13, 15], 
      Dashed[13, 18], Dashed[13, 17], Dashed[14, 15], Dashed[16, 18], 
      Dashed[16, 17], OV[7, 8, 9], OV[4, 6, 10], OV[5, 7, 10], 
      OV[1, 11, 12], OV[2, 9, 12], OV[3, 8, 11]])/3317760 + 
  Graph[C3[16], C3[17], C3[18], C2[18], C2[17], C1[13], Dashed[13, 15], 
    Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], Dashed[15, 18], 
    Dashed[14, 17], OV[6, 7, 8], OV[8, 10, 12], OV[7, 9, 11], OV[1, 9, 10], 
    OV[2, 5, 12], OV[3, 4, 11]]/829440 + 
  Graph[C3[16], C3[18], C3[17], C1[18], C1[17], C2[13], Dashed[13, 15], 
    Dashed[13, 15], Dashed[16, 17], Dashed[14, 16], Dashed[14, 18], 
    Dashed[14, 15], OV[6, 7, 8], OV[10, 11, 12], OV[7, 8, 12], 
    OV[1, 9, 10], OV[3, 5, 9], OV[2, 4, 11]]/1105920 - 
  Graph[C3[16], C3[18], C3[17], C2[18], C2[17], C1[13], Dashed[13, 15], 
    Dashed[13, 15], Dashed[16, 17], Dashed[14, 16], Dashed[14, 18], 
    Dashed[14, 15], OV[6, 7, 8], OV[10, 11, 12], OV[7, 8, 12], 
    OV[1, 9, 10], OV[3, 5, 9], OV[2, 4, 11]]/1105920 + 
  Graph[C3[18], C3[16], C3[17], C1[15], C1[14], C2[13], Dashed[13, 15], 
    Dashed[13, 14], Dashed[17, 18], Dashed[16, 18], Dashed[15, 17], 
    Dashed[14, 16], OV[6, 7, 8], OV[5, 8, 12], OV[4, 7, 11], OV[2, 10, 12], 
    OV[3, 9, 11], OV[1, 9, 10]]/110592 + 
  (11*Graph[C3[18], C3[16], C3[17], C2[15], C2[14], C1[13], Dashed[13, 15], 
      Dashed[13, 14], Dashed[17, 18], Dashed[16, 18], Dashed[15, 17], 
      Dashed[14, 16], OV[6, 7, 8], OV[5, 8, 12], OV[4, 7, 11], 
      OV[2, 10, 12], OV[3, 9, 11], OV[1, 9, 10]])/552960 - 
  (13*Graph[C3[18], C3[17], C3[16], C1[15], C1[18], C2[13], Dashed[13, 14], 
      Dashed[13, 14], Dashed[14, 16], Dashed[15, 18], Dashed[15, 17], 
      Dashed[16, 17], OV[6, 7, 8], OV[7, 8, 9], OV[4, 10, 11], 
      OV[3, 9, 12], OV[2, 11, 12], OV[1, 5, 10]])/3317760 - 
  Graph[C3[18], C3[17], C3[16], C1[15], C1[18], C2[13], Dashed[13, 14], 
    Dashed[13, 16], Dashed[14, 15], Dashed[14, 17], Dashed[15, 16], 
    Dashed[17, 18], OV[6, 7, 8], OV[7, 9, 10], OV[4, 9, 11], OV[3, 8, 11], 
    OV[2, 10, 12], OV[1, 5, 12]]/276480 - 
  (19*Graph[C3[18], C3[17], C3[16], C2[15], C2[18], C1[13], Dashed[13, 14], 
      Dashed[13, 14], Dashed[14, 16], Dashed[15, 18], Dashed[15, 17], 
      Dashed[16, 17], OV[6, 7, 8], OV[7, 8, 9], OV[4, 10, 11], 
      OV[3, 9, 12], OV[2, 11, 12], OV[1, 5, 10]])/3317760 - 
  (7*Graph[C3[18], C3[17], C3[16], C2[15], C2[18], C1[13], Dashed[13, 14], 
      Dashed[13, 16], Dashed[14, 15], Dashed[14, 17], Dashed[15, 16], 
      Dashed[17, 18], OV[6, 7, 8], OV[7, 9, 10], OV[4, 9, 11], 
      OV[3, 8, 11], OV[2, 10, 12], OV[1, 5, 12]])/276480 - 
  (13*Graph[C1[18], C1[20], C1[19], C2[14], C3[15], Dashed[14, 17], 
      Dashed[14, 16], Dashed[15, 18], Dashed[15, 16], Dashed[19, 20], 
      Dashed[17, 18], Dashed[17, 19], Dashed[16, 20], OV[4, 6, 7], 
      OV[5, 8, 9], OV[7, 9, 13], OV[6, 11, 12], OV[1, 8, 11], 
      OV[3, 10, 12], OV[2, 10, 13]])/2488320 - 
  (47*Graph[C1[19], C1[20], C2[17], C2[18], C3[17], Dashed[18, 20], 
      Dashed[18, 19], Dashed[14, 17], Dashed[16, 20], Dashed[16, 19], 
      Dashed[15, 16], Dashed[14, 15], Dashed[14, 15], OV[8, 12, 13], 
      OV[11, 12, 13], OV[9, 10, 11], OV[3, 5, 8], OV[4, 6, 7], 
      OV[1, 7, 10], OV[2, 6, 9]])/4423680 - 
  (11*Graph[C1[19], C1[20], C2[17], C2[18], C3[17], Dashed[19, 20], 
      Dashed[14, 17], Dashed[16, 18], Dashed[15, 18], Dashed[16, 20], 
      Dashed[15, 19], Dashed[14, 16], Dashed[14, 15], OV[7, 12, 13], 
      OV[9, 11, 13], OV[8, 10, 12], OV[3, 5, 7], OV[4, 8, 9], OV[1, 6, 11], 
      OV[2, 6, 10]])/2211840 + Graph[C1[19], C1[20], C3[17], C3[18], 
    C2[17], Dashed[18, 20], Dashed[18, 19], Dashed[14, 17], Dashed[16, 20], 
    Dashed[16, 19], Dashed[15, 16], Dashed[14, 15], Dashed[14, 15], 
    OV[8, 12, 13], OV[11, 12, 13], OV[9, 10, 11], OV[3, 5, 8], OV[4, 6, 7], 
    OV[1, 7, 10], OV[2, 6, 9]]/414720 - 
  Graph[C1[19], C1[20], C3[17], C3[18], C2[17], Dashed[19, 20], 
    Dashed[14, 17], Dashed[16, 18], Dashed[15, 18], Dashed[16, 20], 
    Dashed[15, 19], Dashed[14, 16], Dashed[14, 15], OV[7, 12, 13], 
    OV[9, 11, 13], OV[8, 10, 12], OV[3, 5, 7], OV[4, 8, 9], OV[1, 6, 11], 
    OV[2, 6, 10]]/207360 - Graph[C1[20], C1[18], C1[19], C2[14], C3[15], 
    Dashed[14, 17], Dashed[14, 16], Dashed[15, 17], Dashed[15, 17], 
    Dashed[19, 20], Dashed[18, 20], Dashed[16, 19], Dashed[16, 18], 
    OV[4, 6, 7], OV[5, 8, 9], OV[7, 12, 13], OV[6, 8, 9], OV[2, 11, 13], 
    OV[3, 10, 12], OV[1, 10, 11]]/6635520 + 
  (7*Graph[C1[20], C1[19], C1[18], C2[14], C3[15], Dashed[14, 16], 
      Dashed[14, 16], Dashed[15, 17], Dashed[15, 17], Dashed[19, 20], 
      Dashed[18, 20], Dashed[17, 19], Dashed[16, 18], OV[4, 6, 7], 
      OV[5, 8, 9], OV[6, 7, 13], OV[8, 9, 12], OV[3, 11, 13], 
      OV[2, 10, 12], OV[1, 10, 11]])/2211840 + 
  (17*Graph[C1[20], C1[19], C2[17], C2[18], C3[17], Dashed[18, 20], 
      Dashed[19, 20], Dashed[14, 17], Dashed[15, 18], Dashed[15, 19], 
      Dashed[15, 16], Dashed[14, 16], Dashed[14, 16], OV[8, 12, 13], 
      OV[9, 10, 11], OV[11, 12, 13], OV[3, 5, 8], OV[4, 6, 9], 
      OV[2, 7, 10], OV[1, 6, 7]])/1658880 - 
  Graph[C1[20], C1[19], C3[17], C3[18], C2[17], Dashed[18, 20], 
    Dashed[19, 20], Dashed[14, 17], Dashed[15, 18], Dashed[15, 19], 
    Dashed[15, 16], Dashed[14, 16], Dashed[14, 16], OV[8, 12, 13], 
    OV[9, 10, 11], OV[11, 12, 13], OV[3, 5, 8], OV[4, 6, 9], OV[2, 7, 10], 
    OV[1, 6, 7]]/829440 + (41*Graph[C2[18], C2[20], C2[19], C1[14], C3[15], 
      Dashed[14, 17], Dashed[14, 16], Dashed[15, 18], Dashed[15, 16], 
      Dashed[19, 20], Dashed[17, 18], Dashed[17, 19], Dashed[16, 20], 
      OV[4, 6, 7], OV[5, 8, 9], OV[7, 9, 13], OV[6, 11, 12], OV[1, 8, 11], 
      OV[3, 10, 12], OV[2, 10, 13]])/4976640 - 
  (47*Graph[C2[19], C2[20], C3[17], C3[18], C1[17], Dashed[18, 20], 
      Dashed[18, 19], Dashed[14, 17], Dashed[16, 20], Dashed[16, 19], 
      Dashed[15, 16], Dashed[14, 15], Dashed[14, 15], OV[8, 12, 13], 
      OV[11, 12, 13], OV[9, 10, 11], OV[3, 5, 8], OV[4, 6, 7], 
      OV[1, 7, 10], OV[2, 6, 9]])/4423680 - 
  (11*Graph[C2[19], C2[20], C3[17], C3[18], C1[17], Dashed[19, 20], 
      Dashed[14, 17], Dashed[16, 18], Dashed[15, 18], Dashed[16, 20], 
      Dashed[15, 19], Dashed[14, 16], Dashed[14, 15], OV[7, 12, 13], 
      OV[9, 11, 13], OV[8, 10, 12], OV[3, 5, 7], OV[4, 8, 9], OV[1, 6, 11], 
      OV[2, 6, 10]])/2211840 - (37*
     Graph[C2[20], C2[19], C2[18], C1[14], C3[15], Dashed[14, 16], 
      Dashed[14, 16], Dashed[15, 17], Dashed[15, 17], Dashed[19, 20], 
      Dashed[18, 20], Dashed[17, 19], Dashed[16, 18], OV[4, 6, 7], 
      OV[5, 8, 9], OV[6, 7, 13], OV[8, 9, 12], OV[3, 11, 13], 
      OV[2, 10, 12], OV[1, 10, 11]])/6635520 + 
  (17*Graph[C2[20], C2[19], C3[17], C3[18], C1[17], Dashed[18, 20], 
      Dashed[19, 20], Dashed[14, 17], Dashed[15, 18], Dashed[15, 19], 
      Dashed[15, 16], Dashed[14, 16], Dashed[14, 16], OV[8, 12, 13], 
      OV[9, 10, 11], OV[11, 12, 13], OV[3, 5, 8], OV[4, 6, 9], 
      OV[2, 7, 10], OV[1, 6, 7]])/1658880 - 
  (13*Graph[C3[18], C3[20], C3[19], C1[14], C2[15], Dashed[14, 17], 
      Dashed[14, 16], Dashed[15, 18], Dashed[15, 16], Dashed[19, 20], 
      Dashed[17, 18], Dashed[17, 19], Dashed[16, 20], OV[4, 6, 7], 
      OV[5, 8, 9], OV[7, 9, 13], OV[6, 11, 12], OV[1, 8, 11], 
      OV[3, 10, 12], OV[2, 10, 13]])/2488320 - 
  Graph[C3[20], C3[18], C3[19], C1[14], C2[15], Dashed[14, 17], 
    Dashed[14, 16], Dashed[15, 17], Dashed[15, 17], Dashed[19, 20], 
    Dashed[18, 20], Dashed[16, 19], Dashed[16, 18], OV[4, 6, 7], 
    OV[5, 8, 9], OV[7, 12, 13], OV[6, 8, 9], OV[2, 11, 13], OV[3, 10, 12], 
    OV[1, 10, 11]]/6635520 + (7*
     Graph[C3[20], C3[19], C3[18], C1[14], C2[15], Dashed[14, 16], 
      Dashed[14, 16], Dashed[15, 17], Dashed[15, 17], Dashed[19, 20], 
      Dashed[18, 20], Dashed[17, 19], Dashed[16, 18], OV[4, 6, 7], 
      OV[5, 8, 9], OV[6, 7, 13], OV[8, 9, 12], OV[3, 11, 13], 
      OV[2, 10, 12], OV[1, 10, 11]])/2211840 - 
  (13*Graph[C1[21], C1[22], C2[15], C3[21], Dashed[15, 17], Dashed[15, 18], 
      Dashed[21, 22], Dashed[16, 22], Dashed[16, 20], Dashed[16, 19], 
      Dashed[18, 19], Dashed[18, 19], Dashed[17, 20], Dashed[17, 20], 
      OV[3, 5, 6], OV[8, 9, 10], OV[5, 13, 14], OV[6, 11, 12], 
      OV[10, 11, 12], OV[9, 13, 14], OV[1, 4, 7], OV[2, 7, 8]])/39813120 + 
  (13*Graph[C1[22], C1[21], C2[15], C3[16], Dashed[15, 18], Dashed[15, 19], 
      Dashed[16, 21], Dashed[16, 17], Dashed[21, 22], Dashed[18, 22], 
      Dashed[17, 18], Dashed[19, 20], Dashed[19, 20], Dashed[17, 20], 
      OV[3, 5, 6], OV[4, 7, 8], OV[8, 11, 14], OV[5, 10, 11], 
      OV[6, 12, 13], OV[12, 13, 14], OV[2, 7, 9], OV[1, 9, 10]])/9953280 - 
  (7*Graph[C1[22], C1[21], C2[15], C3[16], Dashed[15, 21], Dashed[15, 17], 
      Dashed[16, 19], Dashed[16, 20], Dashed[18, 21], Dashed[20, 22], 
      Dashed[17, 22], Dashed[18, 19], Dashed[18, 20], Dashed[17, 19], 
      OV[3, 5, 6], OV[4, 7, 8], OV[6, 11, 14], OV[9, 12, 13], 
      OV[7, 12, 14], OV[8, 10, 13], OV[2, 5, 9], OV[1, 10, 11]])/9953280 - 
  (23*Graph[C2[21], C2[22], C1[15], C3[21], Dashed[15, 17], Dashed[15, 18], 
      Dashed[21, 22], Dashed[16, 22], Dashed[16, 20], Dashed[16, 19], 
      Dashed[18, 19], Dashed[18, 19], Dashed[17, 20], Dashed[17, 20], 
      OV[3, 5, 6], OV[8, 9, 10], OV[5, 13, 14], OV[6, 11, 12], 
      OV[10, 11, 12], OV[9, 13, 14], OV[1, 4, 7], OV[2, 7, 8]])/79626240 + 
  (23*Graph[C2[22], C2[21], C1[15], C3[16], Dashed[15, 18], Dashed[15, 19], 
      Dashed[16, 21], Dashed[16, 17], Dashed[21, 22], Dashed[18, 22], 
      Dashed[17, 18], Dashed[19, 20], Dashed[19, 20], Dashed[17, 20], 
      OV[3, 5, 6], OV[4, 7, 8], OV[8, 11, 14], OV[5, 10, 11], 
      OV[6, 12, 13], OV[12, 13, 14], OV[2, 7, 9], OV[1, 9, 10]])/19906560 - 
  Graph[C2[22], C2[21], C1[15], C3[16], Dashed[15, 21], Dashed[15, 17], 
    Dashed[16, 19], Dashed[16, 20], Dashed[18, 21], Dashed[20, 22], 
    Dashed[17, 22], Dashed[18, 19], Dashed[18, 20], Dashed[17, 19], 
    OV[3, 5, 6], OV[4, 7, 8], OV[6, 11, 14], OV[9, 12, 13], OV[7, 12, 14], 
    OV[8, 10, 13], OV[2, 5, 9], OV[1, 10, 11]]/9953280 - 
  (13*Graph[C3[21], C3[22], C1[15], C2[21], Dashed[15, 17], Dashed[15, 18], 
      Dashed[21, 22], Dashed[16, 22], Dashed[16, 20], Dashed[16, 19], 
      Dashed[18, 19], Dashed[18, 19], Dashed[17, 20], Dashed[17, 20], 
      OV[3, 5, 6], OV[8, 9, 10], OV[5, 13, 14], OV[6, 11, 12], 
      OV[10, 11, 12], OV[9, 13, 14], OV[1, 4, 7], OV[2, 7, 8]])/39813120 + 
  (13*Graph[C3[22], C3[21], C1[15], C2[16], Dashed[15, 18], Dashed[15, 19], 
      Dashed[16, 21], Dashed[16, 17], Dashed[21, 22], Dashed[18, 22], 
      Dashed[17, 18], Dashed[19, 20], Dashed[19, 20], Dashed[17, 20], 
      OV[3, 5, 6], OV[4, 7, 8], OV[8, 11, 14], OV[5, 10, 11], 
      OV[6, 12, 13], OV[12, 13, 14], OV[2, 7, 9], OV[1, 9, 10]])/9953280 - 
  (7*Graph[C3[22], C3[21], C1[15], C2[16], Dashed[15, 21], Dashed[15, 17], 
      Dashed[16, 19], Dashed[16, 20], Dashed[18, 21], Dashed[20, 22], 
      Dashed[17, 22], Dashed[18, 19], Dashed[18, 20], Dashed[17, 19], 
      OV[3, 5, 6], OV[4, 7, 8], OV[6, 11, 14], OV[9, 12, 13], 
      OV[7, 12, 14], OV[8, 10, 13], OV[2, 5, 9], OV[1, 10, 11]])/9953280 - 
  (337*Graph[C1[16], C2[16], C3[17], Dashed[16, 18], Dashed[17, 23], 
      Dashed[17, 24], Dashed[18, 20], Dashed[18, 19], Dashed[20, 24], 
      Dashed[19, 23], Dashed[22, 24], Dashed[21, 23], Dashed[20, 21], 
      Dashed[19, 22], Dashed[21, 22], OV[1, 2, 4], OV[3, 5, 6], 
      OV[4, 7, 8], OV[8, 10, 14], OV[7, 9, 13], OV[12, 13, 15], 
      OV[11, 14, 15], OV[5, 10, 12], OV[6, 9, 11]])/447897600 - 
  Graph[C1[16], C2[17], C3[17], Dashed[16, 19], Dashed[16, 20], 
    Dashed[17, 18], Dashed[18, 21], Dashed[18, 21], Dashed[22, 24], 
    Dashed[21, 23], Dashed[23, 24], Dashed[23, 24], Dashed[20, 22], 
    Dashed[19, 22], Dashed[19, 20], OV[1, 4, 5], OV[2, 3, 6], OV[6, 7, 8], 
    OV[4, 14, 15], OV[5, 13, 15], OV[7, 8, 10], OV[9, 13, 14], 
    OV[10, 11, 12], OV[9, 11, 12]]/3686400;
