t1 = 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[2], C3[1]]*Graph[C2[2], C3[1]]*
      Graph[C1[4], C3[4], C3[4], OV[1, 2, 3]])/1440 + 
   (7*Graph[C2[2], C3[1]]^2*Graph[C1[4], C3[4], C3[4], OV[1, 2, 3]])/11520 + 
   (Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
      Graph[C1[4], C3[4], C3[4], OV[1, 2, 3]])/1440 - 
   (7*Graph[C1[2], C3[1]]^2*Graph[C2[4], C3[4], C3[4], OV[1, 2, 3]])/11520 - 
   (7*Graph[C1[2], C3[1]]*Graph[C2[2], C3[1]]*
      Graph[C2[4], C3[4], C3[4], OV[1, 2, 3]])/5760 + 
   (7*Graph[C1[4], C2[4], C3[4], OV[1, 2, 3]]*
      Graph[C2[4], C3[4], C3[4], OV[1, 2, 3]])/5760 - 
   (7*Graph[C2[4], C3[4], C3[4], OV[1, 2, 3]]*
      Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
       OV[2, 3, 4]])/46080 + (7*Graph[C1[4], C3[4], C3[4], OV[1, 2, 3]]*
      Graph[C2[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
       OV[2, 3, 4]])/46080 + (Graph[C1[2], C3[1]]*
      Graph[C1[6], C2[7], C3[6], C3[7], Dashed[6, 7], OV[1, 3, 5], 
       OV[2, 4, 5]])/1440 + (Graph[C2[2], C3[1]]*
      Graph[C1[6], C2[7], C3[6], C3[7], Dashed[6, 7], OV[1, 3, 5], 
       OV[2, 4, 5]])/5760 - (Graph[C1[2], C3[1]]*
      Graph[C1[6], C2[7], C3[7], C3[6], Dashed[6, 7], OV[1, 4, 5], 
       OV[2, 3, 5]])/1440 - (Graph[C2[2], C3[1]]*
      Graph[C1[6], C2[7], C3[7], C3[6], Dashed[6, 7], OV[1, 4, 5], 
       OV[2, 3, 5]])/5760 + (Graph[C2[2], C3[1]]*
      Graph[C1[6], C3[6], C3[7], C3[7], Dashed[6, 7], OV[1, 2, 5], 
       OV[3, 4, 5]])/8640 - (7*Graph[C1[2], C3[1]]*
      Graph[C2[6], C3[6], C3[7], C3[7], Dashed[6, 7], OV[1, 2, 5], 
       OV[3, 4, 5]])/34560 + (Graph[C2[2], C3[1]]*
      Graph[C1[7], C3[7], C3[9], Dashed[7, 8], Dashed[8, 9], Dashed[8, 9], 
       OV[1, 2, 4], OV[4, 5, 6], OV[3, 5, 6]])/11520 - 
   (Graph[C2[2], C3[1]]*Graph[C1[7], C3[8], C3[7], Dashed[7, 9], 
       Dashed[8, 9], Dashed[8, 9], OV[1, 3, 4], OV[2, 5, 6], OV[4, 5, 6]])/
    11520 - (7*Graph[C1[2], C3[1]]*
      Graph[C2[7], C3[7], C3[9], Dashed[7, 8], Dashed[8, 9], Dashed[8, 9], 
       OV[1, 2, 4], OV[4, 5, 6], OV[3, 5, 6]])/46080 + 
   (7*Graph[C1[2], C3[1]]*Graph[C2[7], C3[8], C3[7], Dashed[7, 9], 
       Dashed[8, 9], Dashed[8, 9], OV[1, 3, 4], OV[2, 5, 6], OV[4, 5, 6]])/
    46080 + 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[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]])/5760 + 
   (7*Graph[C1[8], C2[8], C2[10], C3[9], C3[10], Dashed[8, 9], 
       Dashed[9, 10], OV[1, 2, 6], OV[4, 6, 7], OV[3, 5, 7]])/4320 + 
   (11*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]])/34560 - 
   (5*Graph[C1[8], C2[9], C2[10], C3[9], C3[8], Dashed[8, 10], 
       Dashed[9, 10], OV[1, 5, 6], OV[2, 4, 7], OV[3, 6, 7]])/6912 - 
   (7*Graph[C1[8], C2[9], C2[10], C3[9], C3[10], Dashed[8, 9], 
       Dashed[8, 10], OV[1, 6, 7], OV[2, 4, 6], OV[3, 5, 7]])/6912 + 
   (11*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]])/23040 + 
   Graph[C1[8], C2[9], C3[8], C3[10], C3[9], Dashed[8, 10], Dashed[9, 10], 
     OV[1, 3, 6], OV[2, 5, 7], OV[4, 6, 7]]/1920 - 
   (7*Graph[C1[8], C2[9], C3[8], C3[10], C3[10], Dashed[8, 9], 
       Dashed[9, 10], OV[1, 3, 6], OV[2, 6, 7], OV[4, 5, 7]])/34560 - 
   (7*Graph[C1[8], C2[9], C3[9], C3[10], C3[8], Dashed[8, 10], 
       Dashed[9, 10], OV[1, 5, 6], OV[2, 3, 7], OV[4, 6, 7]])/23040 + 
   Graph[C1[8], C2[9], C3[9], C3[10], C3[10], Dashed[8, 9], Dashed[8, 10], 
     OV[1, 6, 7], OV[2, 3, 6], OV[4, 5, 7]]/8640 - 
   (11*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]])/34560 - 
   (31*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]])/34560 + 
   Graph[C1[9], C1[10], C2[8], C3[8], C3[10], Dashed[8, 9], Dashed[9, 10], 
     OV[3, 4, 6], OV[1, 6, 7], OV[2, 5, 7]]/2160 + 
   Graph[C1[9], C1[10], C2[8], C3[9], C3[8], Dashed[8, 10], Dashed[9, 10], 
     OV[3, 5, 6], OV[1, 4, 7], OV[2, 6, 7]]/3456 + 
   Graph[C1[9], C1[10], C2[8], C3[9], C3[10], Dashed[8, 9], Dashed[8, 10], 
     OV[3, 6, 7], OV[1, 4, 6], OV[2, 5, 7]]/1728 + 
   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]]/1080 + 
   (7*Graph[C1[9], C2[9], C2[12], C3[10], Dashed[9, 10], Dashed[10, 11], 
       Dashed[11, 12], Dashed[11, 12], OV[1, 2, 5], OV[4, 5, 6], 
       OV[6, 7, 8], OV[3, 7, 8]])/34560 - 
   (7*Graph[C1[9], C2[9], C2[12], C3[10], Dashed[9, 11], Dashed[10, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 2, 5], OV[4, 6, 7], 
       OV[5, 6, 8], OV[3, 7, 8]])/17280 + 
   (19*Graph[C1[9], C2[10], C3[9], C3[10], Dashed[9, 12], Dashed[10, 11], 
       Dashed[11, 12], Dashed[11, 12], OV[1, 3, 5], OV[2, 4, 6], 
       OV[6, 7, 8], OV[5, 7, 8]])/69120 - 
   (7*Graph[C1[9], C2[10], C3[9], C3[12], Dashed[9, 10], Dashed[10, 11], 
       Dashed[11, 12], Dashed[11, 12], OV[1, 3, 5], OV[2, 5, 6], 
       OV[6, 7, 8], OV[4, 7, 8]])/34560 + 
   (13*Graph[C1[9], C2[10], C3[9], C3[12], Dashed[9, 11], Dashed[10, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 3, 5], OV[2, 6, 7], 
       OV[5, 6, 8], OV[4, 7, 8]])/138240 - 
   (7*Graph[C1[9], C2[10], C3[9], C3[12], Dashed[9, 12], Dashed[10, 11], 
       Dashed[10, 11], Dashed[11, 12], OV[1, 3, 5], OV[2, 6, 7], 
       OV[6, 7, 8], OV[4, 5, 8]])/92160 - 
   (11*Graph[C1[9], C2[10], C3[10], C3[9], Dashed[9, 12], Dashed[10, 11], 
       Dashed[11, 12], Dashed[11, 12], OV[1, 4, 5], OV[2, 3, 6], 
       OV[6, 7, 8], OV[5, 7, 8]])/69120 + 
   Graph[C1[9], C2[10], C3[10], C3[12], Dashed[9, 10], Dashed[9, 11], 
     Dashed[11, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 3, 5], OV[6, 7, 8], 
     OV[4, 7, 8]]/8640 + (7*Graph[C1[9], C2[10], C3[10], C3[12], 
       Dashed[9, 11], Dashed[9, 11], Dashed[10, 12], Dashed[11, 12], 
       OV[1, 5, 6], OV[2, 3, 7], OV[5, 6, 8], OV[4, 7, 8]])/92160 - 
   (7*Graph[C1[9], C2[10], C3[10], C3[12], Dashed[9, 11], Dashed[9, 12], 
       Dashed[10, 11], Dashed[11, 12], OV[1, 5, 6], OV[2, 3, 7], 
       OV[5, 7, 8], OV[4, 6, 8]])/23040 - 
   (7*Graph[C1[9], C2[10], C3[11], C3[9], Dashed[9, 11], Dashed[10, 12], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 4, 5], OV[2, 6, 7], 
       OV[3, 5, 8], OV[6, 7, 8]])/55296 + 
   (49*Graph[C1[9], C2[10], C3[11], C3[9], Dashed[9, 12], Dashed[10, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 4, 5], OV[2, 6, 7], 
       OV[3, 6, 8], OV[5, 7, 8]])/138240 + 
   (17*Graph[C1[9], C2[10], C3[11], C3[10], Dashed[9, 11], Dashed[9, 12], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 4, 7], 
       OV[3, 5, 8], OV[6, 7, 8]])/69120 + 
   (7*Graph[C1[9], C2[10], C3[11], C3[10], Dashed[9, 12], Dashed[9, 12], 
       Dashed[10, 11], Dashed[11, 12], OV[1, 5, 6], OV[2, 4, 7], 
       OV[3, 7, 8], OV[5, 6, 8]])/55296 - 
   (7*Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 10], Dashed[9, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 5, 7], 
       OV[3, 6, 8], OV[4, 7, 8]])/41472 + 
   Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 10], Dashed[9, 12], 
     Dashed[10, 11], Dashed[11, 12], OV[1, 5, 6], OV[2, 5, 7], OV[3, 7, 8], 
     OV[4, 6, 8]]/10368 - Graph[C1[9], C2[10], C3[11], C3[12], 
     Dashed[9, 11], Dashed[9, 12], Dashed[10, 11], Dashed[10, 12], 
     OV[1, 5, 6], OV[2, 7, 8], OV[3, 5, 7], OV[4, 6, 8]]/13824 + 
   (7*Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 12], Dashed[9, 11], 
       Dashed[10, 12], Dashed[10, 11], OV[1, 5, 6], OV[2, 7, 8], 
       OV[3, 6, 8], OV[4, 5, 7]])/17280 - 
   Graph[C1[9], C2[10], C3[12], C3[11], Dashed[9, 10], Dashed[9, 11], 
     Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 5, 7], OV[4, 6, 8], 
     OV[3, 7, 8]]/23040 - Graph[C1[9], C2[11], C2[12], C3[10], 
     Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
     OV[1, 5, 6], OV[4, 7, 8], OV[2, 6, 8], OV[3, 5, 7]]/2304 - 
   (7*Graph[C1[9], C2[11], C2[12], C3[11], Dashed[9, 10], Dashed[9, 10], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[5, 6, 7], 
       OV[2, 4, 8], OV[3, 7, 8]])/46080 + 
   (49*Graph[C1[9], C2[11], C2[12], C3[11], Dashed[9, 10], Dashed[9, 11], 
       Dashed[10, 12], Dashed[10, 12], OV[1, 5, 6], OV[5, 7, 8], 
       OV[2, 4, 6], OV[3, 7, 8]])/138240 - 
   (5*Graph[C1[9], C2[11], C2[12], C3[11], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[1, 5, 6], OV[5, 7, 8], 
       OV[2, 4, 7], OV[3, 6, 8]])/13824 + 
   (7*Graph[C1[9], C2[12], C2[11], C3[9], Dashed[9, 11], Dashed[10, 12], 
       Dashed[10, 12], Dashed[10, 11], OV[1, 4, 5], OV[6, 7, 8], 
       OV[3, 5, 8], OV[2, 6, 7]])/138240 + 
   Graph[C1[9], C2[12], C2[11], C3[10], Dashed[9, 10], Dashed[9, 11], 
     Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[4, 5, 7], OV[3, 6, 8], 
     OV[2, 7, 8]]/1536 + (59*Graph[C1[11], C1[12], C2[9], C3[10], 
       Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
       OV[3, 5, 6], OV[4, 7, 8], OV[1, 6, 8], OV[2, 5, 7]])/138240 + 
   (7*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]])/46080 - 
   (7*Graph[C1[11], C1[12], C2[9], C3[11], Dashed[9, 10], Dashed[9, 11], 
       Dashed[10, 12], Dashed[10, 12], OV[3, 5, 6], OV[5, 7, 8], 
       OV[1, 4, 6], OV[2, 7, 8]])/34560 + 
   (23*Graph[C1[11], C1[12], C2[9], C3[11], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[3, 5, 6], OV[5, 7, 8], 
       OV[1, 4, 7], OV[2, 6, 8]])/46080 - 
   Graph[C1[11], C1[12], C2[11], C3[9], Dashed[9, 10], Dashed[9, 11], 
     Dashed[10, 12], Dashed[10, 12], OV[4, 5, 6], OV[5, 7, 8], OV[1, 3, 6], 
     OV[2, 7, 8]]/8640 + Graph[C1[11], C1[12], C2[11], C3[9], 
     Dashed[9, 10], Dashed[9, 12], Dashed[10, 11], Dashed[10, 12], 
     OV[4, 5, 6], OV[5, 7, 8], OV[1, 3, 7], OV[2, 6, 8]]/4320 - 
   Graph[C1[12], C1[11], C2[9], C3[9], Dashed[9, 11], Dashed[10, 12], 
     Dashed[10, 12], Dashed[10, 11], OV[3, 4, 5], OV[6, 7, 8], OV[2, 5, 8], 
     OV[1, 6, 7]]/34560 - (29*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]])/138240 - 
   (7*Graph[C1[10], C2[11], C3[10], Dashed[10, 12], Dashed[11, 13], 
       Dashed[11, 14], Dashed[12, 14], Dashed[12, 13], Dashed[13, 14], 
       OV[1, 3, 4], OV[2, 5, 6], OV[4, 7, 8], OV[5, 8, 9], OV[6, 7, 9]])/
    829440 + (49*Graph[C1[10], C2[11], C3[10], Dashed[10, 13], 
       Dashed[11, 13], Dashed[11, 14], Dashed[12, 13], Dashed[12, 14], 
       Dashed[12, 14], OV[1, 3, 4], OV[2, 5, 6], OV[7, 8, 9], OV[4, 5, 7], 
       OV[6, 8, 9]])/829440 - (7*
      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]])/
    207360 + Graph[C1[10], C2[11], C3[11], Dashed[10, 13], Dashed[10, 14], 
     Dashed[11, 12], Dashed[12, 14], Dashed[12, 13], Dashed[13, 14], 
     OV[1, 4, 5], OV[2, 3, 6], OV[6, 7, 8], OV[4, 8, 9], OV[5, 7, 9]]/207360 \
    + (11*Graph[C1[10], C2[11], C3[12], Dashed[10, 11], Dashed[10, 13], 
       Dashed[11, 14], Dashed[12, 14], Dashed[12, 13], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 4, 6], OV[3, 7, 8], OV[5, 8, 9], OV[6, 7, 9]])/
    103680 + (187*Graph[C1[10], C2[11], C3[12], Dashed[10, 12], 
       Dashed[10, 13], Dashed[11, 12], Dashed[11, 14], Dashed[13, 14], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 6], OV[5, 8, 9], 
       OV[7, 8, 9]])/829440 + (161*
      Graph[C1[10], C2[11], C3[12], Dashed[10, 12], Dashed[10, 13], 
       Dashed[11, 14], Dashed[11, 13], Dashed[12, 14], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 8], OV[5, 7, 9], OV[6, 8, 9]])/
    829440 - (7*Graph[C1[10], C2[11], C3[12], Dashed[10, 12], 
       Dashed[10, 13], Dashed[11, 14], Dashed[11, 14], Dashed[12, 13], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 8], OV[5, 8, 9], 
       OV[6, 7, 9]])/138240 + (7*
      Graph[C1[10], C2[11], C3[12], Dashed[10, 13], Dashed[10, 13], 
       Dashed[11, 14], Dashed[11, 14], Dashed[12, 14], Dashed[12, 13], 
       OV[1, 4, 5], OV[2, 6, 7], OV[3, 8, 9], OV[4, 5, 9], OV[6, 7, 8]])/
    276480 + (59*Graph[C1[10], C2[11], C3[12], Dashed[10, 14], 
       Dashed[10, 13], Dashed[11, 12], Dashed[11, 13], Dashed[12, 14], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 6, 8], OV[5, 7, 9], 
       OV[4, 8, 9]])/829440 + (7*
      Graph[C1[10], C2[11], C3[12], Dashed[10, 14], Dashed[10, 14], 
       Dashed[11, 12], Dashed[11, 13], Dashed[12, 13], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 6, 7], OV[3, 6, 8], OV[7, 8, 9], OV[4, 5, 9]])/
    138240
 
T1 = 1 + (Graph[C1[2], C3[1]]*Graph[C2[2], C3[1]]*
      Graph[C1[4], C3[4], C3[4], OV[1, 2, 3]])/1440 + 
   (7*Graph[C2[2], C3[1]]^2*Graph[C1[4], C3[4], C3[4], OV[1, 2, 3]])/11520 - 
   (7*Graph[C1[2], C3[1]]^2*Graph[C2[4], C3[4], C3[4], OV[1, 2, 3]])/11520 - 
   (7*Graph[C1[2], C3[1]]*Graph[C2[2], C3[1]]*
      Graph[C2[4], C3[4], C3[4], OV[1, 2, 3]])/5760 - 
   (7*Graph[C2[4], C3[4], C3[4], OV[1, 2, 3]]*
      Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
       OV[2, 3, 4]])/46080 + (7*Graph[C1[4], C3[4], C3[4], OV[1, 2, 3]]*
      Graph[C2[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
       OV[2, 3, 4]])/46080 + (Graph[C1[2], C3[1]]*
      Graph[C1[6], C2[7], C3[6], C3[7], Dashed[6, 7], OV[1, 3, 5], 
       OV[2, 4, 5]])/1440 + (Graph[C2[2], C3[1]]*
      Graph[C1[6], C2[7], C3[6], C3[7], Dashed[6, 7], OV[1, 3, 5], 
       OV[2, 4, 5]])/5760 - (Graph[C1[2], C3[1]]*
      Graph[C1[6], C2[7], C3[7], C3[6], Dashed[6, 7], OV[1, 4, 5], 
       OV[2, 3, 5]])/1440 - (Graph[C2[2], C3[1]]*
      Graph[C1[6], C2[7], C3[7], C3[6], Dashed[6, 7], OV[1, 4, 5], 
       OV[2, 3, 5]])/5760 + (Graph[C2[2], C3[1]]*
      Graph[C1[6], C3[6], C3[7], C3[7], Dashed[6, 7], OV[1, 2, 5], 
       OV[3, 4, 5]])/8640 - (7*Graph[C1[2], C3[1]]*
      Graph[C2[6], C3[6], C3[7], C3[7], Dashed[6, 7], OV[1, 2, 5], 
       OV[3, 4, 5]])/34560 + (Graph[C2[2], C3[1]]*
      Graph[C1[7], C3[7], C3[9], Dashed[7, 8], Dashed[8, 9], Dashed[8, 9], 
       OV[1, 2, 4], OV[4, 5, 6], OV[3, 5, 6]])/11520 - 
   (Graph[C2[2], C3[1]]*Graph[C1[7], C3[8], C3[7], Dashed[7, 9], 
       Dashed[8, 9], Dashed[8, 9], OV[1, 3, 4], OV[2, 5, 6], OV[4, 5, 6]])/
    11520 - (7*Graph[C1[2], C3[1]]*
      Graph[C2[7], C3[7], C3[9], Dashed[7, 8], Dashed[8, 9], Dashed[8, 9], 
       OV[1, 2, 4], OV[4, 5, 6], OV[3, 5, 6]])/46080 + 
   (7*Graph[C1[2], C3[1]]*Graph[C2[7], C3[8], C3[7], Dashed[7, 9], 
       Dashed[8, 9], Dashed[8, 9], OV[1, 3, 4], OV[2, 5, 6], OV[4, 5, 6]])/
    46080 + (7*Graph[C1[8], C2[8], C2[10], C3[9], C3[10], Dashed[8, 9], 
       Dashed[9, 10], OV[1, 2, 6], OV[4, 6, 7], OV[3, 5, 7]])/4320 - 
   (5*Graph[C1[8], C2[9], C2[10], C3[9], C3[8], Dashed[8, 10], 
       Dashed[9, 10], OV[1, 5, 6], OV[2, 4, 7], OV[3, 6, 7]])/6912 - 
   (7*Graph[C1[8], C2[9], C2[10], C3[9], C3[10], Dashed[8, 9], 
       Dashed[8, 10], OV[1, 6, 7], OV[2, 4, 6], OV[3, 5, 7]])/6912 + 
   Graph[C1[8], C2[9], C3[8], C3[10], C3[9], Dashed[8, 10], Dashed[9, 10], 
     OV[1, 3, 6], OV[2, 5, 7], OV[4, 6, 7]]/1920 - 
   (7*Graph[C1[8], C2[9], C3[8], C3[10], C3[10], Dashed[8, 9], 
       Dashed[9, 10], OV[1, 3, 6], OV[2, 6, 7], OV[4, 5, 7]])/34560 - 
   (7*Graph[C1[8], C2[9], C3[9], C3[10], C3[8], Dashed[8, 10], 
       Dashed[9, 10], OV[1, 5, 6], OV[2, 3, 7], OV[4, 6, 7]])/23040 + 
   Graph[C1[8], C2[9], C3[9], C3[10], C3[10], Dashed[8, 9], Dashed[8, 10], 
     OV[1, 6, 7], OV[2, 3, 6], OV[4, 5, 7]]/8640 - 
   (11*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]])/34560 + 
   Graph[C1[9], C1[10], C2[8], C3[8], C3[10], Dashed[8, 9], Dashed[9, 10], 
     OV[3, 4, 6], OV[1, 6, 7], OV[2, 5, 7]]/2160 + 
   Graph[C1[9], C1[10], C2[8], C3[9], C3[8], Dashed[8, 10], Dashed[9, 10], 
     OV[3, 5, 6], OV[1, 4, 7], OV[2, 6, 7]]/3456 + 
   Graph[C1[9], C1[10], C2[8], C3[9], C3[10], Dashed[8, 9], Dashed[8, 10], 
     OV[3, 6, 7], OV[1, 4, 6], OV[2, 5, 7]]/1728 + 
   (7*Graph[C1[9], C2[9], C2[12], C3[10], Dashed[9, 10], Dashed[10, 11], 
       Dashed[11, 12], Dashed[11, 12], OV[1, 2, 5], OV[4, 5, 6], 
       OV[6, 7, 8], OV[3, 7, 8]])/34560 - 
   (7*Graph[C1[9], C2[9], C2[12], C3[10], Dashed[9, 11], Dashed[10, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 2, 5], OV[4, 6, 7], 
       OV[5, 6, 8], OV[3, 7, 8]])/17280 + 
   (19*Graph[C1[9], C2[10], C3[9], C3[10], Dashed[9, 12], Dashed[10, 11], 
       Dashed[11, 12], Dashed[11, 12], OV[1, 3, 5], OV[2, 4, 6], 
       OV[6, 7, 8], OV[5, 7, 8]])/69120 - 
   (7*Graph[C1[9], C2[10], C3[9], C3[12], Dashed[9, 10], Dashed[10, 11], 
       Dashed[11, 12], Dashed[11, 12], OV[1, 3, 5], OV[2, 5, 6], 
       OV[6, 7, 8], OV[4, 7, 8]])/34560 + 
   (13*Graph[C1[9], C2[10], C3[9], C3[12], Dashed[9, 11], Dashed[10, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 3, 5], OV[2, 6, 7], 
       OV[5, 6, 8], OV[4, 7, 8]])/138240 - 
   (7*Graph[C1[9], C2[10], C3[9], C3[12], Dashed[9, 12], Dashed[10, 11], 
       Dashed[10, 11], Dashed[11, 12], OV[1, 3, 5], OV[2, 6, 7], 
       OV[6, 7, 8], OV[4, 5, 8]])/92160 - 
   (11*Graph[C1[9], C2[10], C3[10], C3[9], Dashed[9, 12], Dashed[10, 11], 
       Dashed[11, 12], Dashed[11, 12], OV[1, 4, 5], OV[2, 3, 6], 
       OV[6, 7, 8], OV[5, 7, 8]])/69120 + 
   Graph[C1[9], C2[10], C3[10], C3[12], Dashed[9, 10], Dashed[9, 11], 
     Dashed[11, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 3, 5], OV[6, 7, 8], 
     OV[4, 7, 8]]/8640 + (7*Graph[C1[9], C2[10], C3[10], C3[12], 
       Dashed[9, 11], Dashed[9, 11], Dashed[10, 12], Dashed[11, 12], 
       OV[1, 5, 6], OV[2, 3, 7], OV[5, 6, 8], OV[4, 7, 8]])/92160 - 
   (7*Graph[C1[9], C2[10], C3[10], C3[12], Dashed[9, 11], Dashed[9, 12], 
       Dashed[10, 11], Dashed[11, 12], OV[1, 5, 6], OV[2, 3, 7], 
       OV[5, 7, 8], OV[4, 6, 8]])/23040 - 
   (7*Graph[C1[9], C2[10], C3[11], C3[9], Dashed[9, 11], Dashed[10, 12], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 4, 5], OV[2, 6, 7], 
       OV[3, 5, 8], OV[6, 7, 8]])/55296 + 
   (49*Graph[C1[9], C2[10], C3[11], C3[9], Dashed[9, 12], Dashed[10, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 4, 5], OV[2, 6, 7], 
       OV[3, 6, 8], OV[5, 7, 8]])/138240 + 
   (17*Graph[C1[9], C2[10], C3[11], C3[10], Dashed[9, 11], Dashed[9, 12], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 4, 7], 
       OV[3, 5, 8], OV[6, 7, 8]])/69120 + 
   (7*Graph[C1[9], C2[10], C3[11], C3[10], Dashed[9, 12], Dashed[9, 12], 
       Dashed[10, 11], Dashed[11, 12], OV[1, 5, 6], OV[2, 4, 7], 
       OV[3, 7, 8], OV[5, 6, 8]])/55296 - 
   (7*Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 10], Dashed[9, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 5, 7], 
       OV[3, 6, 8], OV[4, 7, 8]])/41472 + 
   Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 10], Dashed[9, 12], 
     Dashed[10, 11], Dashed[11, 12], OV[1, 5, 6], OV[2, 5, 7], OV[3, 7, 8], 
     OV[4, 6, 8]]/10368 - Graph[C1[9], C2[10], C3[11], C3[12], 
     Dashed[9, 11], Dashed[9, 12], Dashed[10, 11], Dashed[10, 12], 
     OV[1, 5, 6], OV[2, 7, 8], OV[3, 5, 7], OV[4, 6, 8]]/13824 + 
   (7*Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 12], Dashed[9, 11], 
       Dashed[10, 12], Dashed[10, 11], OV[1, 5, 6], OV[2, 7, 8], 
       OV[3, 6, 8], OV[4, 5, 7]])/17280 - 
   Graph[C1[9], C2[10], C3[12], C3[11], Dashed[9, 10], Dashed[9, 11], 
     Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 5, 7], OV[4, 6, 8], 
     OV[3, 7, 8]]/23040 - Graph[C1[9], C2[11], C2[12], C3[10], 
     Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
     OV[1, 5, 6], OV[4, 7, 8], OV[2, 6, 8], OV[3, 5, 7]]/2304 - 
   (7*Graph[C1[9], C2[11], C2[12], C3[11], Dashed[9, 10], Dashed[9, 10], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[5, 6, 7], 
       OV[2, 4, 8], OV[3, 7, 8]])/46080 + 
   (49*Graph[C1[9], C2[11], C2[12], C3[11], Dashed[9, 10], Dashed[9, 11], 
       Dashed[10, 12], Dashed[10, 12], OV[1, 5, 6], OV[5, 7, 8], 
       OV[2, 4, 6], OV[3, 7, 8]])/138240 - 
   (5*Graph[C1[9], C2[11], C2[12], C3[11], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[1, 5, 6], OV[5, 7, 8], 
       OV[2, 4, 7], OV[3, 6, 8]])/13824 + 
   (7*Graph[C1[9], C2[12], C2[11], C3[9], Dashed[9, 11], Dashed[10, 12], 
       Dashed[10, 12], Dashed[10, 11], OV[1, 4, 5], OV[6, 7, 8], 
       OV[3, 5, 8], OV[2, 6, 7]])/138240 + 
   Graph[C1[9], C2[12], C2[11], C3[10], Dashed[9, 10], Dashed[9, 11], 
     Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[4, 5, 7], OV[3, 6, 8], 
     OV[2, 7, 8]]/1536 + (59*Graph[C1[11], C1[12], C2[9], C3[10], 
       Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
       OV[3, 5, 6], OV[4, 7, 8], OV[1, 6, 8], OV[2, 5, 7]])/138240 + 
   (7*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]])/46080 - 
   (7*Graph[C1[11], C1[12], C2[9], C3[11], Dashed[9, 10], Dashed[9, 11], 
       Dashed[10, 12], Dashed[10, 12], OV[3, 5, 6], OV[5, 7, 8], 
       OV[1, 4, 6], OV[2, 7, 8]])/34560 + 
   (23*Graph[C1[11], C1[12], C2[9], C3[11], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[3, 5, 6], OV[5, 7, 8], 
       OV[1, 4, 7], OV[2, 6, 8]])/46080 - 
   Graph[C1[11], C1[12], C2[11], C3[9], Dashed[9, 10], Dashed[9, 11], 
     Dashed[10, 12], Dashed[10, 12], OV[4, 5, 6], OV[5, 7, 8], OV[1, 3, 6], 
     OV[2, 7, 8]]/8640 + Graph[C1[11], C1[12], C2[11], C3[9], 
     Dashed[9, 10], Dashed[9, 12], Dashed[10, 11], Dashed[10, 12], 
     OV[4, 5, 6], OV[5, 7, 8], OV[1, 3, 7], OV[2, 6, 8]]/4320 - 
   Graph[C1[12], C1[11], C2[9], C3[9], Dashed[9, 11], Dashed[10, 12], 
     Dashed[10, 12], Dashed[10, 11], OV[3, 4, 5], OV[6, 7, 8], OV[2, 5, 8], 
     OV[1, 6, 7]]/34560 - (29*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]])/138240 - 
   (7*Graph[C1[10], C2[11], C3[10], Dashed[10, 12], Dashed[11, 13], 
       Dashed[11, 14], Dashed[12, 14], Dashed[12, 13], Dashed[13, 14], 
       OV[1, 3, 4], OV[2, 5, 6], OV[4, 7, 8], OV[5, 8, 9], OV[6, 7, 9]])/
    829440 + (49*Graph[C1[10], C2[11], C3[10], Dashed[10, 13], 
       Dashed[11, 13], Dashed[11, 14], Dashed[12, 13], Dashed[12, 14], 
       Dashed[12, 14], OV[1, 3, 4], OV[2, 5, 6], OV[7, 8, 9], OV[4, 5, 7], 
       OV[6, 8, 9]])/829440 - (7*
      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]])/
    207360 + Graph[C1[10], C2[11], C3[11], Dashed[10, 13], Dashed[10, 14], 
     Dashed[11, 12], Dashed[12, 14], Dashed[12, 13], Dashed[13, 14], 
     OV[1, 4, 5], OV[2, 3, 6], OV[6, 7, 8], OV[4, 8, 9], OV[5, 7, 9]]/207360 \
    + (11*Graph[C1[10], C2[11], C3[12], Dashed[10, 11], Dashed[10, 13], 
       Dashed[11, 14], Dashed[12, 14], Dashed[12, 13], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 4, 6], OV[3, 7, 8], OV[5, 8, 9], OV[6, 7, 9]])/
    103680 + (187*Graph[C1[10], C2[11], C3[12], Dashed[10, 12], 
       Dashed[10, 13], Dashed[11, 12], Dashed[11, 14], Dashed[13, 14], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 6], OV[5, 8, 9], 
       OV[7, 8, 9]])/829440 + (161*
      Graph[C1[10], C2[11], C3[12], Dashed[10, 12], Dashed[10, 13], 
       Dashed[11, 14], Dashed[11, 13], Dashed[12, 14], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 8], OV[5, 7, 9], OV[6, 8, 9]])/
    829440 - (7*Graph[C1[10], C2[11], C3[12], Dashed[10, 12], 
       Dashed[10, 13], Dashed[11, 14], Dashed[11, 14], Dashed[12, 13], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 8], OV[5, 8, 9], 
       OV[6, 7, 9]])/138240 + (7*
      Graph[C1[10], C2[11], C3[12], Dashed[10, 13], Dashed[10, 13], 
       Dashed[11, 14], Dashed[11, 14], Dashed[12, 14], Dashed[12, 13], 
       OV[1, 4, 5], OV[2, 6, 7], OV[3, 8, 9], OV[4, 5, 9], OV[6, 7, 8]])/
    276480 + (59*Graph[C1[10], C2[11], C3[12], Dashed[10, 14], 
       Dashed[10, 13], Dashed[11, 12], Dashed[11, 13], Dashed[12, 14], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 6, 8], OV[5, 7, 9], 
       OV[4, 8, 9]])/829440 + (7*
      Graph[C1[10], C2[11], C3[12], Dashed[10, 14], Dashed[10, 14], 
       Dashed[11, 12], Dashed[11, 13], Dashed[12, 13], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 6, 7], OV[3, 6, 8], OV[7, 8, 9], OV[4, 5, 9]])/
    138240 + Tree[C1, C2, C1, C1, C3]/1440 + 
   (7*Tree[C1, C2, C2, C2, C3])/5760 + Tree[C1, C2, C3, C1, C3]/1080 - 
   (31*Tree[C1, C3, C2, C1, C2])/34560 + 
   (11*Tree[C1, C3, C2, C2, C3])/34560 + 
   (11*Tree[C1, C3, C3, C2, C3])/23040 + YGraph[C1, C2, C3]/24 + 
   (Graph[C1[4], C3[4], C3[4], OV[1, 2, 3]]*YGraph[C1, C2, C3])/1440 + 
   (7*Graph[C2[4], C3[4], C3[4], OV[1, 2, 3]]*YGraph[C1, C2, C3])/5760 + 
   YGraph[C1, C2, C3]^2/1152

t2 = 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[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]])/5760 + 
   (7*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]])/5760 + 
   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]]/1440 - 
   (7*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]])/5760 + 
   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]]/5760 + 
   Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 12], Dashed[9, 11], 
     Dashed[10, 12], Dashed[10, 11], OV[1, 5, 6], OV[2, 7, 8], OV[3, 6, 8], 
     OV[4, 5, 7]]/4608 + Graph[C1[9], C2[11], C2[12], C3[10], 
     Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
     OV[1, 5, 6], OV[4, 7, 8], OV[2, 6, 8], OV[3, 5, 7]]/4608 - 
   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[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
 
T2 = 1 + Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 12], Dashed[9, 11], 
     Dashed[10, 12], Dashed[10, 11], OV[1, 5, 6], OV[2, 7, 8], OV[3, 6, 8], 
     OV[4, 5, 7]]/4608 + Graph[C1[9], C2[11], C2[12], C3[10], 
     Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
     OV[1, 5, 6], OV[4, 7, 8], OV[2, 6, 8], OV[3, 5, 7]]/4608 - 
   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[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 + 
   Tree[C1, C2, C1, C1, C3]/1440 + (7*Tree[C1, C2, C2, C2, C3])/5760 + 
   Tree[C1, C2, C3, C1, C3]/5760 - (7*Tree[C1, C3, C2, C1, C2])/5760 + 
   (7*Tree[C1, C3, C2, C2, C3])/5760 + Tree[C1, C3, C3, C2, C3]/1440 + 
   YGraph[C1, C2, C3]/24 + YGraph[C1, C2, C3]^2/1152
 
t3 = 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[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]])/5760 + 
   (7*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]])/5760 - 
   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]]/1440 - 
   (7*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]])/5760 - 
   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]]/5760 - 
   Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 12], Dashed[9, 11], 
     Dashed[10, 12], Dashed[10, 11], OV[1, 5, 6], OV[2, 7, 8], OV[3, 6, 8], 
     OV[4, 5, 7]]/4608 + Graph[C1[9], C2[11], C2[12], C3[10], 
     Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
     OV[1, 5, 6], OV[4, 7, 8], OV[2, 6, 8], OV[3, 5, 7]]/4608 + 
   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[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
 
T3 = 1 - Graph[C1[9], C2[10], C3[11], C3[12], Dashed[9, 12], Dashed[9, 11], 
     Dashed[10, 12], Dashed[10, 11], OV[1, 5, 6], OV[2, 7, 8], OV[3, 6, 8], 
     OV[4, 5, 7]]/4608 + Graph[C1[9], C2[11], C2[12], C3[10], 
     Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
     OV[1, 5, 6], OV[4, 7, 8], OV[2, 6, 8], OV[3, 5, 7]]/4608 + 
   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[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 - 
   Tree[C1, C2, C1, C1, C3]/1440 - (7*Tree[C1, C2, C2, C2, C3])/5760 - 
   Tree[C1, C2, C3, C1, C3]/5760 - (7*Tree[C1, C3, C2, C1, C2])/5760 + 
   (7*Tree[C1, C3, C2, C2, C3])/5760 - Tree[C1, C3, C3, C2, C3]/1440 - 
   YGraph[C1, C2, C3]/24 + YGraph[C1, C2, C3]^2/1152
 
t4 = 1 - Graph[C1[4], C1[4], C3[4], OV[1, 2, 3]]/24 + 
   Graph[C1[4], C1[4], C3[4], OV[1, 2, 3]]^2/1152 - 
   Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], OV[2, 3, 4]]/
    48 + (Graph[C1[4], C1[4], C3[4], OV[1, 2, 3]]*
      Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
       OV[2, 3, 4]])/1152 + Graph[C1[5], C3[6], Dashed[5, 6], 
      Dashed[5, 6], OV[1, 3, 4], OV[2, 3, 4]]^2/4608 - 
   (7*Graph[C1[8], C1[8], C1[9], C1[10], C3[9], Dashed[8, 10], 
       Dashed[9, 10], OV[1, 2, 6], OV[3, 5, 7], OV[4, 6, 7]])/5760 - 
   Graph[C1[8], C1[9], C1[10], C1[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[8], C1[9], C1[10], C3[8], C3[10], Dashed[8, 9], 
       Dashed[9, 10], OV[1, 4, 6], OV[2, 6, 7], OV[3, 5, 7]])/5760 - 
   Graph[C1[8], C1[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]]/1440 - 
   (7*Graph[C1[9], C1[10], C1[8], C1[10], C3[9], Dashed[8, 9], 
       Dashed[8, 10], OV[3, 6, 7], OV[1, 5, 6], OV[2, 4, 7]])/5760 - 
   Graph[C1[9], C1[10], C1[8], C3[8], C3[10], Dashed[8, 9], Dashed[9, 10], 
     OV[3, 4, 6], OV[1, 6, 7], OV[2, 5, 7]]/1152 - 
   Graph[C1[9], C1[10], C1[9], C3[8], C3[10], Dashed[8, 9], Dashed[8, 10], 
     OV[4, 6, 7], OV[1, 3, 6], OV[2, 5, 7]]/5760 + 
   Graph[C1[9], C1[10], C3[10], C3[12], Dashed[9, 10], Dashed[9, 11], 
     Dashed[11, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 3, 5], OV[6, 7, 8], 
     OV[4, 7, 8]]/6912 - (13*Graph[C1[9], C1[10], C3[10], C3[12], 
       Dashed[9, 11], Dashed[9, 12], Dashed[10, 11], Dashed[11, 12], 
       OV[1, 5, 6], OV[2, 3, 7], OV[5, 7, 8], OV[4, 6, 8]])/17280 + 
   Graph[C1[9], C1[10], C3[11], C3[12], Dashed[9, 12], Dashed[9, 11], 
     Dashed[10, 12], Dashed[10, 11], OV[1, 5, 6], OV[2, 7, 8], OV[3, 6, 8], 
     OV[4, 5, 7]]/2560 + Graph[C1[9], C1[11], C1[12], C3[10], 
     Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
     OV[1, 5, 6], OV[4, 7, 8], OV[2, 6, 8], OV[3, 5, 7]]/4608 - 
   (7*Graph[C1[9], C1[11], C1[12], C3[11], Dashed[9, 10], Dashed[9, 10], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[5, 6, 7], 
       OV[2, 4, 8], OV[3, 7, 8]])/11520 + 
   (7*Graph[C1[9], C1[11], C1[12], C3[11], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[1, 5, 6], OV[5, 7, 8], 
       OV[2, 4, 7], OV[3, 6, 8]])/11520 - 
   (7*Graph[C1[9], C1[12], C1[11], C3[10], Dashed[9, 10], Dashed[9, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[4, 5, 7], 
       OV[3, 6, 8], OV[2, 7, 8]])/11520 - 
   Graph[C1[9], C3[12], C3[10], C3[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]]/2880 - Graph[C1[10], C1[12], C1[11], C3[10], 
     Dashed[9, 12], Dashed[9, 12], Dashed[9, 11], Dashed[10, 11], 
     OV[5, 6, 7], OV[1, 4, 8], OV[3, 7, 8], OV[2, 5, 6]]/2880 + 
   Graph[C1[11], C1[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 + (7*Graph[C1[11], C1[12], C1[9], C3[11], 
       Dashed[9, 10], Dashed[9, 11], Dashed[10, 12], Dashed[10, 12], 
       OV[3, 5, 6], OV[5, 7, 8], OV[1, 4, 6], OV[2, 7, 8]])/11520 + 
   (7*Graph[C1[11], C1[12], C1[9], C3[11], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[3, 5, 6], OV[5, 7, 8], 
       OV[1, 4, 7], OV[2, 6, 8]])/11520 - 
   (7*Graph[C1[11], C1[12], C1[11], C3[9], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[4, 5, 6], OV[5, 7, 8], 
       OV[1, 3, 7], OV[2, 6, 8]])/11520 + 
   Graph[C1[11], C1[12], C3[9], C3[10], Dashed[10, 12], Dashed[9, 12], 
     Dashed[10, 11], Dashed[9, 11], OV[3, 6, 8], OV[4, 5, 7], OV[1, 7, 8], 
     OV[2, 5, 6]]/4608 - Graph[C1[11], C1[12], C3[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]]/11520 - 
   Graph[C1[11], C1[12], C3[10], C3[12], Dashed[9, 10], Dashed[9, 10], 
     Dashed[9, 11], Dashed[11, 12], OV[5, 6, 7], OV[3, 5, 6], OV[1, 7, 8], 
     OV[2, 4, 8]]/6912 - Graph[C1[11], C1[12], C3[10], C3[12], 
     Dashed[9, 10], Dashed[9, 11], Dashed[9, 11], Dashed[10, 12], 
     OV[5, 6, 7], OV[3, 5, 8], OV[1, 6, 7], OV[2, 4, 8]]/11520 + 
   Graph[C1[11], C1[12], C3[10], C3[12], Dashed[9, 10], Dashed[9, 11], 
     Dashed[9, 12], Dashed[10, 11], OV[5, 6, 7], OV[3, 5, 8], OV[1, 6, 8], 
     OV[2, 4, 7]]/6912 - Graph[C1[12], C1[10], C1[11], C3[9], 
     Dashed[9, 11], Dashed[9, 10], Dashed[11, 12], Dashed[10, 12], 
     OV[4, 5, 6], OV[2, 6, 8], OV[3, 5, 7], OV[1, 7, 8]]/2880 + 
   Graph[C1[12], C1[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]]/2560 + (7*Graph[C1[10], C1[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]])/69120 + Graph[C1[10], C1[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 - (7*Graph[C1[10], C1[11], C3[11], Dashed[10, 13], 
       Dashed[10, 14], Dashed[11, 12], Dashed[12, 14], Dashed[12, 13], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 3, 6], OV[6, 7, 8], OV[4, 8, 9], 
       OV[5, 7, 9]])/69120 - (7*
      Graph[C1[10], C1[11], C3[12], Dashed[10, 11], Dashed[10, 13], 
       Dashed[11, 14], Dashed[12, 14], Dashed[12, 13], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 4, 6], OV[3, 7, 8], OV[5, 8, 9], OV[6, 7, 9]])/
    69120 + (7*Graph[C1[10], C1[11], C3[12], Dashed[10, 12], 
       Dashed[10, 13], Dashed[11, 12], Dashed[11, 14], Dashed[13, 14], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 6], OV[5, 8, 9], 
       OV[7, 8, 9]])/34560 - (7*
      Graph[C1[10], C1[11], C3[12], Dashed[10, 12], Dashed[10, 13], 
       Dashed[11, 14], Dashed[11, 13], Dashed[12, 14], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 8], OV[5, 7, 9], OV[6, 8, 9]])/
    34560 - (29*Graph[C1[10], C1[11], C3[12], Dashed[10, 14], 
       Dashed[10, 13], Dashed[11, 12], Dashed[11, 13], Dashed[12, 14], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 6, 8], OV[5, 7, 9], 
       OV[4, 8, 9]])/69120 + Graph[C1[10], C3[14], C3[13], Dashed[10, 13], 
     Dashed[10, 11], Dashed[12, 14], Dashed[12, 13], Dashed[11, 14], 
     Dashed[11, 12], OV[1, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[3, 4, 7], 
     OV[2, 6, 8]]/34560 - Graph[C1[10], C3[14], C3[13], Dashed[10, 13], 
     Dashed[10, 11], Dashed[12, 14], Dashed[12, 14], Dashed[11, 13], 
     Dashed[11, 12], OV[1, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[3, 4, 8], 
     OV[2, 6, 7]]/13824 - Graph[C1[10], C3[14], C3[13], Dashed[10, 14], 
     Dashed[10, 11], Dashed[13, 14], Dashed[12, 13], Dashed[11, 12], 
     Dashed[11, 12], OV[1, 4, 5], OV[5, 8, 9], OV[7, 8, 9], OV[3, 6, 7], 
     OV[2, 4, 6]]/69120 + (11*Graph[C1[13], C1[14], C3[13], Dashed[10, 13], 
       Dashed[11, 14], Dashed[12, 14], Dashed[10, 12], Dashed[10, 11], 
       Dashed[11, 12], OV[4, 7, 8], OV[5, 8, 9], OV[6, 7, 9], OV[1, 3, 4], 
       OV[2, 5, 6]])/69120 - (29*
      Graph[C1[13], C1[14], C3[13], Dashed[11, 13], Dashed[11, 14], 
       Dashed[12, 14], Dashed[10, 11], Dashed[10, 12], Dashed[10, 12], 
       OV[7, 8, 9], OV[4, 5, 7], OV[6, 8, 9], OV[1, 3, 4], OV[2, 5, 6]])/
    276480 - Graph[C1[14], C1[13], C3[10], Dashed[10, 13], Dashed[10, 11], 
     Dashed[12, 14], Dashed[12, 13], Dashed[11, 14], Dashed[11, 12], 
     OV[3, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[2, 4, 7], OV[1, 6, 8]]/5120 - 
   (7*Graph[C1[14], C1[13], C3[10], Dashed[10, 13], Dashed[10, 11], 
       Dashed[12, 14], Dashed[12, 14], Dashed[11, 13], Dashed[11, 12], 
       OV[3, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[2, 4, 8], OV[1, 6, 7]])/
    23040 + (23*Graph[C1[11], C3[12], Dashed[11, 12], Dashed[11, 13], 
       Dashed[12, 14], Dashed[13, 14], Dashed[14, 15], Dashed[13, 16], 
       Dashed[15, 16], Dashed[15, 16], OV[1, 3, 4], OV[2, 3, 5], 
       OV[4, 6, 8], OV[5, 6, 7], OV[7, 9, 10], OV[8, 9, 10]])/552960 + 
   Graph[C1[11], C3[12], Dashed[11, 12], Dashed[11, 13], Dashed[12, 14], 
     Dashed[14, 15], Dashed[14, 15], Dashed[13, 16], Dashed[13, 16], 
     Dashed[15, 16], OV[1, 3, 4], OV[2, 3, 5], OV[4, 8, 9], OV[5, 6, 7], 
     OV[6, 7, 10], OV[8, 9, 10]]/36864 - 
   (7*Graph[C1[11], C3[12], Dashed[11, 12], Dashed[11, 13], Dashed[12, 14], 
       Dashed[14, 15], Dashed[14, 16], Dashed[13, 16], Dashed[13, 15], 
       Dashed[15, 16], OV[1, 3, 4], OV[2, 3, 5], OV[4, 8, 9], OV[5, 6, 7], 
       OV[6, 9, 10], OV[7, 8, 10]])/138240 + 
   (7*Graph[C1[11], C3[12], Dashed[11, 13], Dashed[11, 14], Dashed[12, 16], 
       Dashed[12, 15], Dashed[13, 14], Dashed[14, 16], Dashed[13, 15], 
       Dashed[15, 16], OV[1, 3, 4], OV[2, 5, 6], OV[3, 7, 9], OV[4, 7, 8], 
       OV[6, 9, 10], OV[5, 8, 10]])/138240 - 
   Graph[C1[11], C3[12], Dashed[11, 15], Dashed[11, 13], Dashed[12, 15], 
     Dashed[12, 16], Dashed[14, 15], Dashed[14, 16], Dashed[13, 14], 
     Dashed[13, 16], OV[1, 3, 4], OV[2, 5, 6], OV[4, 9, 10], OV[7, 8, 9], 
     OV[3, 5, 7], OV[6, 8, 10]]/18432 + 
   Graph[C1[11], C3[12], Dashed[11, 15], Dashed[11, 16], Dashed[12, 16], 
     Dashed[12, 15], Dashed[13, 14], Dashed[13, 14], Dashed[14, 16], 
     Dashed[13, 15], OV[1, 3, 4], OV[2, 5, 6], OV[7, 8, 10], OV[7, 8, 9], 
     OV[3, 6, 10], OV[4, 5, 9]]/110592
 
T4 = 1 - Graph[C1[4], C1[4], C3[4], OV[1, 2, 3]]/24 + 
   Graph[C1[4], C1[4], C3[4], OV[1, 2, 3]]^2/1152 - 
   Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], OV[2, 3, 4]]/
    48 + (Graph[C1[4], C1[4], C3[4], OV[1, 2, 3]]*
      Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
       OV[2, 3, 4]])/1152 + Graph[C1[5], C3[6], Dashed[5, 6], 
      Dashed[5, 6], OV[1, 3, 4], OV[2, 3, 4]]^2/4608 - 
   (7*Graph[C1[8], C1[8], C1[9], C1[10], C3[9], Dashed[8, 10], 
       Dashed[9, 10], OV[1, 2, 6], OV[3, 5, 7], OV[4, 6, 7]])/5760 - 
   Graph[C1[8], C1[9], C1[10], C1[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[8], C1[9], C1[10], C3[8], C3[10], Dashed[8, 9], 
       Dashed[9, 10], OV[1, 4, 6], OV[2, 6, 7], OV[3, 5, 7]])/5760 - 
   Graph[C1[8], C1[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]]/1440 - 
   (7*Graph[C1[9], C1[10], C1[8], C1[10], C3[9], Dashed[8, 9], 
       Dashed[8, 10], OV[3, 6, 7], OV[1, 5, 6], OV[2, 4, 7]])/5760 - 
   Graph[C1[9], C1[10], C1[8], C3[8], C3[10], Dashed[8, 9], Dashed[9, 10], 
     OV[3, 4, 6], OV[1, 6, 7], OV[2, 5, 7]]/1152 - 
   Graph[C1[9], C1[10], C1[9], C3[8], C3[10], Dashed[8, 9], Dashed[8, 10], 
     OV[4, 6, 7], OV[1, 3, 6], OV[2, 5, 7]]/5760 + 
   Graph[C1[9], C1[10], C3[10], C3[12], Dashed[9, 10], Dashed[9, 11], 
     Dashed[11, 12], Dashed[11, 12], OV[1, 5, 6], OV[2, 3, 5], OV[6, 7, 8], 
     OV[4, 7, 8]]/6912 - (13*Graph[C1[9], C1[10], C3[10], C3[12], 
       Dashed[9, 11], Dashed[9, 12], Dashed[10, 11], Dashed[11, 12], 
       OV[1, 5, 6], OV[2, 3, 7], OV[5, 7, 8], OV[4, 6, 8]])/17280 + 
   Graph[C1[9], C1[10], C3[11], C3[12], Dashed[9, 12], Dashed[9, 11], 
     Dashed[10, 12], Dashed[10, 11], OV[1, 5, 6], OV[2, 7, 8], OV[3, 6, 8], 
     OV[4, 5, 7]]/2560 + Graph[C1[9], C1[11], C1[12], C3[10], 
     Dashed[9, 12], Dashed[9, 11], Dashed[10, 12], Dashed[10, 11], 
     OV[1, 5, 6], OV[4, 7, 8], OV[2, 6, 8], OV[3, 5, 7]]/4608 - 
   (7*Graph[C1[9], C1[11], C1[12], C3[11], Dashed[9, 10], Dashed[9, 10], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[5, 6, 7], 
       OV[2, 4, 8], OV[3, 7, 8]])/11520 + 
   (7*Graph[C1[9], C1[11], C1[12], C3[11], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[1, 5, 6], OV[5, 7, 8], 
       OV[2, 4, 7], OV[3, 6, 8]])/11520 - 
   (7*Graph[C1[9], C1[12], C1[11], C3[10], Dashed[9, 10], Dashed[9, 11], 
       Dashed[10, 12], Dashed[11, 12], OV[1, 5, 6], OV[4, 5, 7], 
       OV[3, 6, 8], OV[2, 7, 8]])/11520 - 
   Graph[C1[9], C3[12], C3[10], C3[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]]/2880 - Graph[C1[10], C1[12], C1[11], C3[10], 
     Dashed[9, 12], Dashed[9, 12], Dashed[9, 11], Dashed[10, 11], 
     OV[5, 6, 7], OV[1, 4, 8], OV[3, 7, 8], OV[2, 5, 6]]/2880 + 
   Graph[C1[11], C1[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 + (7*Graph[C1[11], C1[12], C1[9], C3[11], 
       Dashed[9, 10], Dashed[9, 11], Dashed[10, 12], Dashed[10, 12], 
       OV[3, 5, 6], OV[5, 7, 8], OV[1, 4, 6], OV[2, 7, 8]])/11520 + 
   (7*Graph[C1[11], C1[12], C1[9], C3[11], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[3, 5, 6], OV[5, 7, 8], 
       OV[1, 4, 7], OV[2, 6, 8]])/11520 - 
   (7*Graph[C1[11], C1[12], C1[11], C3[9], Dashed[9, 10], Dashed[9, 12], 
       Dashed[10, 11], Dashed[10, 12], OV[4, 5, 6], OV[5, 7, 8], 
       OV[1, 3, 7], OV[2, 6, 8]])/11520 + 
   Graph[C1[11], C1[12], C3[9], C3[10], Dashed[10, 12], Dashed[9, 12], 
     Dashed[10, 11], Dashed[9, 11], OV[3, 6, 8], OV[4, 5, 7], OV[1, 7, 8], 
     OV[2, 5, 6]]/4608 - Graph[C1[11], C1[12], C3[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]]/11520 - 
   Graph[C1[11], C1[12], C3[10], C3[12], Dashed[9, 10], Dashed[9, 10], 
     Dashed[9, 11], Dashed[11, 12], OV[5, 6, 7], OV[3, 5, 6], OV[1, 7, 8], 
     OV[2, 4, 8]]/6912 - Graph[C1[11], C1[12], C3[10], C3[12], 
     Dashed[9, 10], Dashed[9, 11], Dashed[9, 11], Dashed[10, 12], 
     OV[5, 6, 7], OV[3, 5, 8], OV[1, 6, 7], OV[2, 4, 8]]/11520 + 
   Graph[C1[11], C1[12], C3[10], C3[12], Dashed[9, 10], Dashed[9, 11], 
     Dashed[9, 12], Dashed[10, 11], OV[5, 6, 7], OV[3, 5, 8], OV[1, 6, 8], 
     OV[2, 4, 7]]/6912 - Graph[C1[12], C1[10], C1[11], C3[9], 
     Dashed[9, 11], Dashed[9, 10], Dashed[11, 12], Dashed[10, 12], 
     OV[4, 5, 6], OV[2, 6, 8], OV[3, 5, 7], OV[1, 7, 8]]/2880 + 
   Graph[C1[12], C1[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]]/2560 + (7*Graph[C1[10], C1[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]])/69120 + Graph[C1[10], C1[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 - (7*Graph[C1[10], C1[11], C3[11], Dashed[10, 13], 
       Dashed[10, 14], Dashed[11, 12], Dashed[12, 14], Dashed[12, 13], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 3, 6], OV[6, 7, 8], OV[4, 8, 9], 
       OV[5, 7, 9]])/69120 - (7*
      Graph[C1[10], C1[11], C3[12], Dashed[10, 11], Dashed[10, 13], 
       Dashed[11, 14], Dashed[12, 14], Dashed[12, 13], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 4, 6], OV[3, 7, 8], OV[5, 8, 9], OV[6, 7, 9]])/
    69120 + (7*Graph[C1[10], C1[11], C3[12], Dashed[10, 12], 
       Dashed[10, 13], Dashed[11, 12], Dashed[11, 14], Dashed[13, 14], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 6], OV[5, 8, 9], 
       OV[7, 8, 9]])/34560 - (7*
      Graph[C1[10], C1[11], C3[12], Dashed[10, 12], Dashed[10, 13], 
       Dashed[11, 14], Dashed[11, 13], Dashed[12, 14], Dashed[13, 14], 
       OV[1, 4, 5], OV[2, 6, 7], OV[3, 4, 8], OV[5, 7, 9], OV[6, 8, 9]])/
    34560 - (29*Graph[C1[10], C1[11], C3[12], Dashed[10, 14], 
       Dashed[10, 13], Dashed[11, 12], Dashed[11, 13], Dashed[12, 14], 
       Dashed[13, 14], OV[1, 4, 5], OV[2, 6, 7], OV[3, 6, 8], OV[5, 7, 9], 
       OV[4, 8, 9]])/69120 + Graph[C1[10], C3[14], C3[13], Dashed[10, 13], 
     Dashed[10, 11], Dashed[12, 14], Dashed[12, 13], Dashed[11, 14], 
     Dashed[11, 12], OV[1, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[3, 4, 7], 
     OV[2, 6, 8]]/34560 - Graph[C1[10], C3[14], C3[13], Dashed[10, 13], 
     Dashed[10, 11], Dashed[12, 14], Dashed[12, 14], Dashed[11, 13], 
     Dashed[11, 12], OV[1, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[3, 4, 8], 
     OV[2, 6, 7]]/13824 - Graph[C1[10], C3[14], C3[13], Dashed[10, 14], 
     Dashed[10, 11], Dashed[13, 14], Dashed[12, 13], Dashed[11, 12], 
     Dashed[11, 12], OV[1, 4, 5], OV[5, 8, 9], OV[7, 8, 9], OV[3, 6, 7], 
     OV[2, 4, 6]]/69120 + (11*Graph[C1[13], C1[14], C3[13], Dashed[10, 13], 
       Dashed[11, 14], Dashed[12, 14], Dashed[10, 12], Dashed[10, 11], 
       Dashed[11, 12], OV[4, 7, 8], OV[5, 8, 9], OV[6, 7, 9], OV[1, 3, 4], 
       OV[2, 5, 6]])/69120 - (29*
      Graph[C1[13], C1[14], C3[13], Dashed[11, 13], Dashed[11, 14], 
       Dashed[12, 14], Dashed[10, 11], Dashed[10, 12], Dashed[10, 12], 
       OV[7, 8, 9], OV[4, 5, 7], OV[6, 8, 9], OV[1, 3, 4], OV[2, 5, 6]])/
    276480 - Graph[C1[14], C1[13], C3[10], Dashed[10, 13], Dashed[10, 11], 
     Dashed[12, 14], Dashed[12, 13], Dashed[11, 14], Dashed[11, 12], 
     OV[3, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[2, 4, 7], OV[1, 6, 8]]/5120 - 
   (7*Graph[C1[14], C1[13], C3[10], Dashed[10, 13], Dashed[10, 11], 
       Dashed[12, 14], Dashed[12, 14], Dashed[11, 13], Dashed[11, 12], 
       OV[3, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[2, 4, 8], OV[1, 6, 7]])/
    23040 + (23*Graph[C1[11], C3[12], Dashed[11, 12], Dashed[11, 13], 
       Dashed[12, 14], Dashed[13, 14], Dashed[14, 15], Dashed[13, 16], 
       Dashed[15, 16], Dashed[15, 16], OV[1, 3, 4], OV[2, 3, 5], 
       OV[4, 6, 8], OV[5, 6, 7], OV[7, 9, 10], OV[8, 9, 10]])/552960 + 
   Graph[C1[11], C3[12], Dashed[11, 12], Dashed[11, 13], Dashed[12, 14], 
     Dashed[14, 15], Dashed[14, 15], Dashed[13, 16], Dashed[13, 16], 
     Dashed[15, 16], OV[1, 3, 4], OV[2, 3, 5], OV[4, 8, 9], OV[5, 6, 7], 
     OV[6, 7, 10], OV[8, 9, 10]]/36864 - 
   (7*Graph[C1[11], C3[12], Dashed[11, 12], Dashed[11, 13], Dashed[12, 14], 
       Dashed[14, 15], Dashed[14, 16], Dashed[13, 16], Dashed[13, 15], 
       Dashed[15, 16], OV[1, 3, 4], OV[2, 3, 5], OV[4, 8, 9], OV[5, 6, 7], 
       OV[6, 9, 10], OV[7, 8, 10]])/138240 + 
   (7*Graph[C1[11], C3[12], Dashed[11, 13], Dashed[11, 14], Dashed[12, 16], 
       Dashed[12, 15], Dashed[13, 14], Dashed[14, 16], Dashed[13, 15], 
       Dashed[15, 16], OV[1, 3, 4], OV[2, 5, 6], OV[3, 7, 9], OV[4, 7, 8], 
       OV[6, 9, 10], OV[5, 8, 10]])/138240 - 
   Graph[C1[11], C3[12], Dashed[11, 15], Dashed[11, 13], Dashed[12, 15], 
     Dashed[12, 16], Dashed[14, 15], Dashed[14, 16], Dashed[13, 14], 
     Dashed[13, 16], OV[1, 3, 4], OV[2, 5, 6], OV[4, 9, 10], OV[7, 8, 9], 
     OV[3, 5, 7], OV[6, 8, 10]]/18432 + 
   Graph[C1[11], C3[12], Dashed[11, 15], Dashed[11, 16], Dashed[12, 16], 
     Dashed[12, 15], Dashed[13, 14], Dashed[13, 14], Dashed[14, 16], 
     Dashed[13, 15], OV[1, 3, 4], OV[2, 5, 6], OV[7, 8, 10], OV[7, 8, 9], 
     OV[3, 6, 10], OV[4, 5, 9]]/110592
 
t5 = 1 - Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
     OV[2, 3, 4]]/48 + Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], 
      OV[1, 3, 4], OV[2, 3, 4]]^2/4608 - 
   Graph[C1[9], C3[12], C3[10], C3[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]]/2880 + Graph[C1[11], C1[12], C3[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]]/1920 - 
   (11*Graph[C1[11], C1[12], C3[12], C3[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]])/11520 - Graph[C1[12], C1[10], C1[11], C3[9], 
     Dashed[9, 11], Dashed[9, 10], Dashed[11, 12], Dashed[10, 12], 
     OV[4, 5, 6], OV[2, 6, 8], OV[3, 5, 7], OV[1, 7, 8]]/2880 + 
   (5*Graph[C1[11], C3[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]])/55296
 
T5 = 1 - Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
     OV[2, 3, 4]]/48 + Graph[C1[5], C3[6], Dashed[5, 6], Dashed[5, 6], 
      OV[1, 3, 4], OV[2, 3, 4]]^2/4608 - 
   Graph[C1[9], C3[12], C3[10], C3[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]]/2880 + Graph[C1[11], C1[12], C3[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]]/1920 - 
   (11*Graph[C1[11], C1[12], C3[12], C3[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]])/11520 - Graph[C1[12], C1[10], C1[11], C3[9], 
     Dashed[9, 11], Dashed[9, 10], Dashed[11, 12], Dashed[10, 12], 
     OV[4, 5, 6], OV[2, 6, 8], OV[3, 5, 7], OV[1, 7, 8]]/2880 + 
   (5*Graph[C1[11], C3[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]])/55296
 
t6 = 1 - Graph[C1[5], C1[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
     OV[2, 3, 4]]/48 + Graph[C1[5], C1[6], Dashed[5, 6], Dashed[5, 6], 
      OV[1, 3, 4], OV[2, 3, 4]]^2/4608 - 
   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]]/2880 + Graph[C1[11], C1[12], C1[10], C1[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]]/1920 - 
   (11*Graph[C1[11], C1[12], C1[12], C1[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]])/11520 - Graph[C1[12], C1[10], C1[11], C1[9], 
     Dashed[9, 11], Dashed[9, 10], Dashed[11, 12], Dashed[10, 12], 
     OV[4, 5, 6], OV[2, 6, 8], OV[3, 5, 7], OV[1, 7, 8]]/2880 - 
   (11*Graph[C1[13], C1[14], C1[13], Dashed[10, 13], Dashed[12, 14], 
       Dashed[12, 14], Dashed[11, 12], Dashed[10, 11], Dashed[10, 11], 
       OV[4, 8, 9], OV[7, 8, 9], OV[5, 6, 7], OV[1, 3, 4], OV[2, 5, 6]])/
    11520 - Graph[C1[14], C1[13], C1[10], Dashed[10, 11], Dashed[10, 11], 
     Dashed[12, 14], Dashed[12, 14], Dashed[12, 13], Dashed[11, 13], 
     OV[3, 4, 5], OV[4, 5, 9], OV[6, 7, 8], OV[2, 8, 9], OV[1, 6, 7]]/4608 - 
   Graph[C1[14], C1[13], C1[10], Dashed[10, 13], Dashed[10, 11], 
     Dashed[12, 14], Dashed[12, 13], Dashed[11, 14], Dashed[11, 12], 
     OV[3, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[2, 4, 7], OV[1, 6, 8]]/1920 + 
   (11*Graph[C1[14], C1[13], C1[10], Dashed[10, 14], Dashed[10, 11], 
       Dashed[13, 14], Dashed[12, 13], Dashed[11, 12], Dashed[11, 12], 
       OV[3, 4, 5], OV[5, 8, 9], OV[7, 8, 9], OV[2, 6, 7], OV[1, 4, 6]])/
    11520 + (11*Graph[C1[11], C1[12], Dashed[11, 12], Dashed[11, 13], 
       Dashed[12, 14], Dashed[14, 15], Dashed[14, 15], Dashed[13, 16], 
       Dashed[13, 16], Dashed[15, 16], OV[1, 3, 4], OV[2, 3, 5], 
       OV[4, 8, 9], OV[5, 6, 7], OV[6, 7, 10], OV[8, 9, 10]])/69120 + 
   (5*Graph[C1[11], C1[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]])/55296 - 
   Graph[C1[11], C1[12], Dashed[11, 14], Dashed[11, 13], Dashed[12, 16], 
     Dashed[12, 16], Dashed[14, 15], Dashed[14, 15], Dashed[13, 15], 
     Dashed[13, 16], OV[1, 3, 4], OV[2, 5, 6], OV[4, 9, 10], OV[3, 7, 8], 
     OV[7, 8, 9], OV[5, 6, 10]]/27648 + 
   Graph[C1[11], C1[12], Dashed[11, 15], Dashed[11, 13], Dashed[12, 15], 
     Dashed[12, 16], Dashed[14, 15], Dashed[14, 16], Dashed[13, 14], 
     Dashed[13, 16], OV[1, 3, 4], OV[2, 5, 6], OV[4, 9, 10], OV[7, 8, 9], 
     OV[3, 5, 7], OV[6, 8, 10]]/11520 + 
   (11*Graph[C1[11], C1[12], Dashed[11, 15], Dashed[11, 13], 
       Dashed[12, 15], Dashed[12, 16], Dashed[14, 16], Dashed[14, 16], 
       Dashed[13, 14], Dashed[13, 15], OV[1, 3, 4], OV[2, 5, 6], 
       OV[4, 9, 10], OV[7, 8, 9], OV[3, 5, 10], OV[6, 7, 8]])/69120 - 
   Graph[C1[15], C1[16], Dashed[11, 16], Dashed[11, 15], Dashed[13, 16], 
     Dashed[12, 15], Dashed[11, 14], Dashed[13, 14], Dashed[12, 14], 
     Dashed[12, 13], OV[3, 4, 7], OV[6, 9, 10], OV[5, 8, 10], OV[7, 8, 9], 
     OV[1, 4, 6], OV[2, 3, 5]]/11520 - 
   (11*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]])/46080 + 
   (11*Graph[C1[15], C1[16], Dashed[11, 16], Dashed[12, 16], 
       Dashed[12, 15], Dashed[11, 15], Dashed[12, 14], Dashed[11, 13], 
       Dashed[13, 14], Dashed[13, 14], OV[3, 6, 8], OV[4, 5, 7], 
       OV[8, 9, 10], OV[7, 9, 10], OV[1, 5, 6], OV[2, 3, 4]])/46080 - 
   Graph[C1[15], C1[16], Dashed[11, 16], Dashed[12, 16], Dashed[14, 15], 
     Dashed[13, 15], Dashed[11, 12], Dashed[12, 14], Dashed[11, 13], 
     Dashed[13, 14], OV[3, 7, 9], OV[4, 7, 8], OV[6, 9, 10], OV[5, 8, 10], 
     OV[1, 5, 6], OV[2, 3, 4]]/7680 - 
   Graph[C1[15], C1[16], Dashed[11, 16], Dashed[12, 16], Dashed[14, 15], 
     Dashed[13, 15], Dashed[12, 13], Dashed[12, 13], Dashed[11, 14], 
     Dashed[11, 14], OV[3, 9, 10], OV[4, 7, 8], OV[6, 7, 8], OV[5, 9, 10], 
     OV[1, 5, 6], OV[2, 3, 4]]/18432 + 
   (11*Graph[C1[15], C1[16], Dashed[15, 16], Dashed[14, 16], 
       Dashed[13, 15], Dashed[11, 12], Dashed[11, 14], Dashed[11, 14], 
       Dashed[12, 13], Dashed[12, 13], OV[6, 7, 8], OV[6, 9, 10], 
       OV[5, 9, 10], OV[4, 7, 8], OV[1, 3, 5], OV[2, 3, 4]])/69120 - 
   Graph[C1[16], C1[15], Dashed[11, 15], Dashed[11, 15], Dashed[13, 16], 
     Dashed[12, 16], Dashed[13, 14], Dashed[13, 14], Dashed[12, 14], 
     Dashed[11, 12], OV[3, 4, 10], OV[6, 9, 10], OV[5, 7, 8], OV[7, 8, 9], 
     OV[2, 3, 4], OV[1, 5, 6]]/27648 - 
   (11*Graph[C1[16], C1[15], Dashed[11, 16], Dashed[11, 15], 
       Dashed[13, 16], Dashed[12, 15], Dashed[13, 14], Dashed[13, 14], 
       Dashed[12, 14], Dashed[11, 12], OV[3, 4, 10], OV[6, 9, 10], 
       OV[5, 7, 8], OV[7, 8, 9], OV[2, 4, 6], OV[1, 3, 5]])/69120 + 
   Graph[C1[12], Dashed[12, 14], Dashed[12, 13], Dashed[13, 15], 
     Dashed[13, 15], Dashed[14, 17], Dashed[14, 16], Dashed[17, 18], 
     Dashed[17, 18], Dashed[16, 18], Dashed[15, 16], OV[1, 2, 3], 
     OV[3, 4, 5], OV[2, 6, 7], OV[4, 5, 11], OV[7, 10, 11], OV[6, 8, 9], 
     OV[8, 9, 10]]/55296 - (11*
      Graph[C1[12], Dashed[12, 14], Dashed[12, 13], Dashed[14, 15], 
       Dashed[13, 15], Dashed[14, 17], Dashed[13, 16], Dashed[17, 18], 
       Dashed[17, 18], Dashed[16, 18], Dashed[15, 16], OV[1, 2, 3], 
       OV[3, 5, 7], OV[2, 4, 6], OV[4, 5, 11], OV[7, 10, 11], OV[6, 8, 9], 
       OV[8, 9, 10]])/138240
 
T6 = 1 + Graph[C1[11], C1[12], C1[10], C1[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]]/1920 - 
   (11*Graph[C1[11], C1[12], C1[12], C1[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]])/11520 - Graph[C1[12], C1[10], C1[11], C1[9], 
     Dashed[9, 11], Dashed[9, 10], Dashed[11, 12], Dashed[10, 12], 
     OV[4, 5, 6], OV[2, 6, 8], OV[3, 5, 7], OV[1, 7, 8]]/2880 - 
   (11*Graph[C1[13], C1[14], C1[13], Dashed[10, 13], Dashed[12, 14], 
       Dashed[12, 14], Dashed[11, 12], Dashed[10, 11], Dashed[10, 11], 
       OV[4, 8, 9], OV[7, 8, 9], OV[5, 6, 7], OV[1, 3, 4], OV[2, 5, 6]])/
    11520 - Graph[C1[14], C1[13], C1[10], Dashed[10, 11], Dashed[10, 11], 
     Dashed[12, 14], Dashed[12, 14], Dashed[12, 13], Dashed[11, 13], 
     OV[3, 4, 5], OV[4, 5, 9], OV[6, 7, 8], OV[2, 8, 9], OV[1, 6, 7]]/4608 - 
   Graph[C1[14], C1[13], C1[10], Dashed[10, 13], Dashed[10, 11], 
     Dashed[12, 14], Dashed[12, 13], Dashed[11, 14], Dashed[11, 12], 
     OV[3, 4, 5], OV[5, 8, 9], OV[6, 7, 9], OV[2, 4, 7], OV[1, 6, 8]]/1920 + 
   (11*Graph[C1[14], C1[13], C1[10], Dashed[10, 14], Dashed[10, 11], 
       Dashed[13, 14], Dashed[12, 13], Dashed[11, 12], Dashed[11, 12], 
       OV[3, 4, 5], OV[5, 8, 9], OV[7, 8, 9], OV[2, 6, 7], OV[1, 4, 6]])/
    11520 + (11*Graph[C1[11], C1[12], Dashed[11, 12], Dashed[11, 13], 
       Dashed[12, 14], Dashed[14, 15], Dashed[14, 15], Dashed[13, 16], 
       Dashed[13, 16], Dashed[15, 16], OV[1, 3, 4], OV[2, 3, 5], 
       OV[4, 8, 9], OV[5, 6, 7], OV[6, 7, 10], OV[8, 9, 10]])/69120 + 
   (5*Graph[C1[11], C1[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]])/55296 - 
   Graph[C1[11], C1[12], Dashed[11, 14], Dashed[11, 13], Dashed[12, 16], 
     Dashed[12, 16], Dashed[14, 15], Dashed[14, 15], Dashed[13, 15], 
     Dashed[13, 16], OV[1, 3, 4], OV[2, 5, 6], OV[4, 9, 10], OV[3, 7, 8], 
     OV[7, 8, 9], OV[5, 6, 10]]/27648 + 
   Graph[C1[11], C1[12], Dashed[11, 15], Dashed[11, 13], Dashed[12, 15], 
     Dashed[12, 16], Dashed[14, 15], Dashed[14, 16], Dashed[13, 14], 
     Dashed[13, 16], OV[1, 3, 4], OV[2, 5, 6], OV[4, 9, 10], OV[7, 8, 9], 
     OV[3, 5, 7], OV[6, 8, 10]]/11520 + 
   (11*Graph[C1[11], C1[12], Dashed[11, 15], Dashed[11, 13], 
       Dashed[12, 15], Dashed[12, 16], Dashed[14, 16], Dashed[14, 16], 
       Dashed[13, 14], Dashed[13, 15], OV[1, 3, 4], OV[2, 5, 6], 
       OV[4, 9, 10], OV[7, 8, 9], OV[3, 5, 10], OV[6, 7, 8]])/69120 - 
   Graph[C1[15], C1[16], Dashed[11, 16], Dashed[11, 15], Dashed[13, 16], 
     Dashed[12, 15], Dashed[11, 14], Dashed[13, 14], Dashed[12, 14], 
     Dashed[12, 13], OV[3, 4, 7], OV[6, 9, 10], OV[5, 8, 10], OV[7, 8, 9], 
     OV[1, 4, 6], OV[2, 3, 5]]/11520 + 
   (11*Graph[C1[15], C1[16], Dashed[11, 16], Dashed[12, 16], 
       Dashed[12, 15], Dashed[11, 15], Dashed[12, 14], Dashed[11, 13], 
       Dashed[13, 14], Dashed[13, 14], OV[3, 6, 8], OV[4, 5, 7], 
       OV[8, 9, 10], OV[7, 9, 10], OV[1, 5, 6], OV[2, 3, 4]])/46080 - 
   Graph[C1[15], C1[16], Dashed[11, 16], Dashed[12, 16], Dashed[14, 15], 
     Dashed[13, 15], Dashed[11, 12], Dashed[12, 14], Dashed[11, 13], 
     Dashed[13, 14], OV[3, 7, 9], OV[4, 7, 8], OV[6, 9, 10], OV[5, 8, 10], 
     OV[1, 5, 6], OV[2, 3, 4]]/7680 - 
   Graph[C1[15], C1[16], Dashed[11, 16], Dashed[12, 16], Dashed[14, 15], 
     Dashed[13, 15], Dashed[12, 13], Dashed[12, 13], Dashed[11, 14], 
     Dashed[11, 14], OV[3, 9, 10], OV[4, 7, 8], OV[6, 7, 8], OV[5, 9, 10], 
     OV[1, 5, 6], OV[2, 3, 4]]/18432 + 
   (11*Graph[C1[15], C1[16], Dashed[15, 16], Dashed[14, 16], 
       Dashed[13, 15], Dashed[11, 12], Dashed[11, 14], Dashed[11, 14], 
       Dashed[12, 13], Dashed[12, 13], OV[6, 7, 8], OV[6, 9, 10], 
       OV[5, 9, 10], OV[4, 7, 8], OV[1, 3, 5], OV[2, 3, 4]])/69120 - 
   Graph[C1[16], C1[15], Dashed[11, 15], Dashed[11, 15], Dashed[13, 16], 
     Dashed[12, 16], Dashed[13, 14], Dashed[13, 14], Dashed[12, 14], 
     Dashed[11, 12], OV[3, 4, 10], OV[6, 9, 10], OV[5, 7, 8], OV[7, 8, 9], 
     OV[2, 3, 4], OV[1, 5, 6]]/27648 - 
   (11*Graph[C1[16], C1[15], Dashed[11, 16], Dashed[11, 15], 
       Dashed[13, 16], Dashed[12, 15], Dashed[13, 14], Dashed[13, 14], 
       Dashed[12, 14], Dashed[11, 12], OV[3, 4, 10], OV[6, 9, 10], 
       OV[5, 7, 8], OV[7, 8, 9], OV[2, 4, 6], OV[1, 3, 5]])/69120 + 
   Graph[C1[12], Dashed[12, 14], Dashed[12, 13], Dashed[13, 15], 
     Dashed[13, 15], Dashed[14, 17], Dashed[14, 16], Dashed[17, 18], 
     Dashed[17, 18], Dashed[16, 18], Dashed[15, 16], OV[1, 2, 3], 
     OV[3, 4, 5], OV[2, 6, 7], OV[4, 5, 11], OV[7, 10, 11], OV[6, 8, 9], 
     OV[8, 9, 10]]/55296 - (11*
      Graph[C1[12], Dashed[12, 14], Dashed[12, 13], Dashed[14, 15], 
       Dashed[13, 15], Dashed[14, 17], Dashed[13, 16], Dashed[17, 18], 
       Dashed[17, 18], Dashed[16, 18], Dashed[15, 16], OV[1, 2, 3], 
       OV[3, 5, 7], OV[2, 4, 6], OV[4, 5, 11], OV[7, 10, 11], OV[6, 8, 9], 
       OV[8, 9, 10]])/138240 - JumpChord[C1, C1]/48 + 
   JumpChord[C1, C1]^2/4608 - (11*Jump3Chord[C1, C1])/46080 - 
   Wheel[C1, C1, C1, C1]/2880
 
t7 = 1 - Graph[C1[5], C1[6], Dashed[5, 6], Dashed[5, 6], OV[1, 3, 4], 
     OV[2, 3, 4]]/48 + Graph[C1[5], C1[6], Dashed[5, 6], Dashed[5, 6], 
      OV[1, 3, 4], OV[2, 3, 4]]^2/4608 - 
   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]]/5760 + 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]]/4608
 
T7 = 1 - JumpChord[C1, C1]/48 + JumpChord[C1, C1]^2/4608 + 
   Jump3Chord[C1, C1]/4608 - Wheel[C1, C1, C1, C1]/5760
 
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, C2], 
   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]}
