{{Graph[C1[14], C1[15], C1[16], C2[13], C2[16], C3[12], C3[15], 
    Dashed[12, 13], Dashed[12, 14], Dashed[13, 15], Dashed[14, 16], 
    OV[6, 8, 9], OV[4, 8, 10], OV[1, 9, 11], OV[2, 7, 10], OV[3, 5, 11]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[16], C3[13], C3[15], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[14, 16], 
    OV[8, 9, 10], OV[4, 6, 8], OV[1, 9, 11], OV[2, 7, 10], OV[3, 5, 11]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[16], C3[12], C3[15], 
    Dashed[12, 13], Dashed[12, 15], Dashed[13, 14], Dashed[14, 16], 
    OV[6, 8, 9], OV[4, 8, 10], OV[1, 10, 11], OV[2, 7, 9], OV[3, 5, 11]], 
   Graph[C1[16], C1[15], C1[14], C2[13], C2[16], C3[15], C3[14], 
    Dashed[12, 13], Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], 
    OV[8, 9, 10], OV[4, 8, 11], OV[3, 7, 10], OV[2, 6, 11], OV[1, 5, 9]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[16], C3[12], C3[15], 
    Dashed[12, 14], Dashed[12, 16], Dashed[13, 14], Dashed[13, 15], 
    OV[6, 8, 9], OV[4, 10, 11], OV[1, 8, 10], OV[2, 7, 11], OV[3, 5, 9]], 
   Graph[C1[14], C1[16], C1[15], C2[16], C2[15], C3[13], C3[12], 
    Dashed[14, 16], Dashed[12, 14], Dashed[13, 15], Dashed[12, 13], 
    OV[7, 9, 11], OV[6, 10, 11], OV[1, 8, 9], OV[3, 5, 10], OV[2, 4, 8]], 
   Graph[C1[16], C1[15], C1[14], C2[13], C2[16], C3[12], C3[13], 
    Dashed[12, 15], Dashed[12, 14], Dashed[13, 14], Dashed[15, 16], 
    OV[6, 8, 9], OV[4, 7, 10], OV[3, 9, 10], OV[2, 8, 11], OV[1, 5, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[13], C3[12], C3[15], 
    Dashed[12, 14], Dashed[12, 13], Dashed[13, 15], Dashed[14, 16], 
    OV[6, 8, 9], OV[5, 9, 10], OV[4, 8, 11], OV[1, 7, 10], OV[2, 3, 11]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[16], C3[13], C3[15], 
    Dashed[12, 14], Dashed[12, 15], Dashed[12, 16], Dashed[13, 14], 
    OV[8, 9, 10], OV[4, 6, 11], OV[1, 8, 11], OV[2, 7, 9], OV[3, 5, 10]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[16], C3[13], C3[15], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 16], Dashed[14, 15], 
    OV[8, 9, 10], OV[4, 6, 8], OV[1, 9, 11], OV[2, 7, 11], OV[3, 5, 10]], 
   Graph[C1[16], C1[15], C1[14], C2[13], C2[16], C3[12], C3[13], 
    Dashed[12, 13], Dashed[12, 14], Dashed[15, 16], Dashed[14, 15], 
    OV[6, 8, 9], OV[4, 7, 8], OV[3, 9, 11], OV[2, 10, 11], OV[1, 5, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[14], C3[15], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[13, 16], 
    OV[8, 9, 10], OV[4, 8, 11], OV[5, 6, 9], OV[1, 7, 10], OV[2, 3, 11]], 
   Graph[C1[16], C1[15], C1[14], C2[13], C2[16], C3[12], C3[12], 
    Dashed[12, 15], Dashed[13, 15], Dashed[13, 14], Dashed[14, 16], 
    OV[6, 7, 8], OV[4, 9, 10], OV[3, 10, 11], OV[2, 8, 9], OV[1, 5, 11]], 
   Graph[C1[14], C1[15], C1[16], C2[16], C2[15], C3[13], C3[14], 
    Dashed[12, 13], Dashed[12, 16], Dashed[12, 15], Dashed[13, 14], 
    OV[8, 9, 10], OV[6, 8, 11], OV[1, 7, 11], OV[2, 5, 10], OV[3, 4, 9]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[16], C3[12], C3[15], 
    Dashed[12, 14], Dashed[12, 15], Dashed[13, 14], Dashed[13, 16], 
    OV[6, 8, 9], OV[4, 10, 11], OV[1, 8, 10], OV[2, 7, 9], OV[3, 5, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[13], C3[12], C3[15], 
    Dashed[12, 15], Dashed[12, 13], Dashed[14, 16], Dashed[13, 14], 
    OV[6, 8, 9], OV[5, 9, 11], OV[4, 10, 11], OV[1, 7, 8], OV[2, 3, 10]], 
   Graph[C1[16], C1[14], C1[15], C2[13], C2[16], C3[15], C3[14], 
    Dashed[12, 13], Dashed[12, 15], Dashed[12, 14], Dashed[13, 16], 
    OV[8, 9, 10], OV[4, 8, 11], OV[2, 7, 10], OV[3, 6, 9], OV[1, 5, 11]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[12], C3[16], C3[15], 
    Dashed[13, 14], Dashed[12, 14], Dashed[13, 16], Dashed[12, 15], 
    OV[5, 9, 11], OV[4, 8, 10], OV[1, 8, 9], OV[2, 7, 11], OV[3, 6, 10]], 
   Graph[C1[14], C1[16], C1[15], C2[13], C2[12], C3[16], C3[15], 
    Dashed[14, 16], Dashed[12, 14], Dashed[13, 15], Dashed[12, 13], 
    OV[5, 9, 11], OV[4, 10, 11], OV[1, 8, 9], OV[3, 7, 10], OV[2, 6, 8]], 
   Graph[C1[14], C1[16], C1[15], C2[16], C2[15], C3[13], C3[14], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[13, 16], 
    OV[8, 9, 10], OV[6, 8, 11], OV[1, 7, 9], OV[3, 5, 10], OV[2, 4, 11]], 
   Graph[C1[16], C1[15], C1[14], C2[12], C2[13], C3[13], C3[16], 
    Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], Dashed[14, 15], 
    OV[4, 8, 9], OV[5, 6, 10], OV[3, 9, 11], OV[2, 10, 11], OV[1, 7, 8]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[16], C3[12], C3[15], 
    Dashed[12, 13], Dashed[12, 16], Dashed[13, 14], Dashed[14, 15], 
    OV[6, 8, 9], OV[4, 8, 10], OV[1, 10, 11], OV[2, 7, 11], OV[3, 5, 9]], 
   Graph[C1[14], C1[15], C1[16], C2[16], C2[15], C3[13], C3[12], 
    Dashed[13, 14], Dashed[12, 14], Dashed[13, 16], Dashed[12, 15], 
    OV[7, 9, 11], OV[6, 8, 10], OV[1, 8, 9], OV[2, 5, 11], OV[3, 4, 10]], 
   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]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[15], C3[13], C3[12], 
    Dashed[14, 16], Dashed[12, 14], Dashed[13, 15], Dashed[12, 13], 
    OV[7, 9, 11], OV[6, 10, 11], OV[4, 8, 9], OV[1, 5, 10], OV[2, 3, 8]], 
   Graph[C1[14], C1[16], C1[15], C2[16], C2[15], C3[13], C3[13], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[14, 16], 
    OV[8, 9, 10], OV[6, 7, 8], OV[1, 9, 11], OV[3, 5, 10], OV[2, 4, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[12], C3[14], 
    Dashed[12, 13], Dashed[12, 15], Dashed[13, 16], Dashed[14, 15], 
    OV[6, 8, 9], OV[4, 8, 10], OV[5, 7, 11], OV[1, 9, 11], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[14], C3[15], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 16], Dashed[13, 15], 
    OV[8, 9, 10], OV[4, 8, 11], OV[5, 6, 9], OV[1, 7, 11], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[13], C3[12], C3[15], 
    Dashed[12, 16], Dashed[12, 13], Dashed[14, 15], Dashed[13, 14], 
    OV[6, 8, 9], OV[5, 9, 11], OV[4, 10, 11], OV[1, 7, 10], OV[2, 3, 8]], 
   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]], 
   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]], 
   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]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[15], C3[13], C3[14], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[13, 16], 
    OV[8, 9, 10], OV[6, 8, 11], OV[4, 7, 9], OV[1, 5, 10], OV[2, 3, 11]], 
   Graph[C1[16], C1[15], C1[14], C2[13], C2[16], C3[12], C3[12], 
    Dashed[12, 13], Dashed[13, 14], Dashed[15, 16], Dashed[14, 15], 
    OV[6, 7, 8], OV[4, 8, 9], OV[3, 9, 11], OV[2, 10, 11], OV[1, 5, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[12], C3[14], 
    Dashed[12, 14], Dashed[12, 15], Dashed[13, 15], Dashed[13, 16], 
    OV[6, 8, 9], OV[4, 10, 11], OV[5, 7, 8], OV[1, 9, 10], OV[2, 3, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[15], C3[13], C3[14], 
    Dashed[12, 13], Dashed[12, 15], Dashed[12, 16], Dashed[13, 14], 
    OV[8, 9, 10], OV[6, 8, 11], OV[4, 7, 11], OV[1, 5, 9], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[14], C3[15], 
    Dashed[12, 13], Dashed[12, 15], Dashed[12, 16], Dashed[13, 14], 
    OV[8, 9, 10], OV[4, 8, 11], OV[5, 6, 11], OV[1, 7, 9], OV[2, 3, 10]], 
   Graph[C1[14], C1[15], C1[16], C2[16], C2[15], C3[13], C3[13], 
    Dashed[12, 14], Dashed[12, 16], Dashed[12, 15], Dashed[13, 14], 
    OV[8, 9, 10], OV[6, 7, 11], OV[1, 8, 11], OV[2, 5, 10], OV[3, 4, 9]], 
   Graph[C1[16], C1[15], C1[14], C2[13], C2[16], C3[12], C3[12], 
    Dashed[12, 15], Dashed[13, 16], Dashed[13, 14], Dashed[14, 15], 
    OV[6, 7, 8], OV[4, 9, 10], OV[3, 10, 11], OV[2, 8, 11], OV[1, 5, 9]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[13], C3[12], C3[12], 
    Dashed[12, 15], Dashed[13, 15], Dashed[14, 16], Dashed[13, 14], 
    OV[6, 7, 8], OV[5, 9, 11], OV[4, 10, 11], OV[1, 8, 9], OV[2, 3, 10]], 
   Graph[C1[16], C1[15], C1[14], C2[13], C2[13], C3[12], C3[16], 
    Dashed[12, 16], Dashed[12, 14], Dashed[13, 15], Dashed[14, 15], 
    OV[6, 8, 9], OV[4, 5, 10], OV[3, 9, 11], OV[2, 10, 11], OV[1, 7, 8]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[14], C3[13], C3[15], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 16], Dashed[13, 15], 
    OV[8, 9, 10], OV[6, 8, 11], OV[4, 5, 9], OV[1, 7, 11], OV[2, 3, 10]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[13], C3[16], C3[15], 
    Dashed[12, 14], Dashed[12, 16], Dashed[12, 15], Dashed[13, 14], 
    OV[8, 9, 10], OV[4, 5, 11], OV[1, 8, 11], OV[2, 7, 10], OV[3, 6, 9]], 
   Graph[C1[14], C1[16], C1[15], C2[13], C2[13], C3[16], C3[15], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[14, 16], 
    OV[8, 9, 10], OV[4, 5, 8], OV[1, 9, 11], OV[3, 7, 10], OV[2, 6, 11]], 
   Graph[C1[14], C1[15], C1[16], C2[13], C2[12], C3[13], C3[12], 
    Dashed[14, 16], Dashed[14, 15], Dashed[13, 16], Dashed[12, 15], 
    OV[5, 7, 11], OV[4, 6, 10], OV[1, 8, 9], OV[2, 9, 11], OV[3, 8, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[15], C3[13], C3[12], 
    Dashed[13, 14], Dashed[12, 14], Dashed[12, 15], Dashed[13, 16], 
    OV[7, 9, 10], OV[6, 8, 11], OV[4, 8, 9], OV[1, 5, 10], OV[2, 3, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[15], C3[13], C3[14], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 16], Dashed[13, 15], 
    OV[8, 9, 10], OV[6, 8, 11], OV[4, 7, 9], OV[1, 5, 11], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[15], C3[13], C3[13], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[14, 16], 
    OV[8, 9, 10], OV[6, 7, 8], OV[4, 9, 11], OV[1, 5, 10], OV[2, 3, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[13], C3[14], C3[13], 
    Dashed[12, 15], Dashed[12, 16], Dashed[12, 13], Dashed[14, 15], 
    OV[8, 9, 10], OV[5, 7, 10], OV[4, 6, 11], OV[1, 8, 11], OV[2, 3, 9]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[12], C3[14], 
    Dashed[12, 13], Dashed[12, 16], Dashed[13, 15], Dashed[14, 15], 
    OV[6, 8, 9], OV[4, 8, 10], OV[5, 7, 11], OV[1, 10, 11], OV[2, 3, 9]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[14], C3[13], C3[15], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[13, 16], 
    OV[8, 9, 10], OV[6, 8, 11], OV[4, 5, 9], OV[1, 7, 10], OV[2, 3, 11]], 
   Graph[C1[16], C1[15], C1[14], C2[13], C2[13], C3[12], C3[16], 
    Dashed[12, 15], Dashed[12, 14], Dashed[13, 14], Dashed[15, 16], 
    OV[6, 8, 9], OV[4, 5, 10], OV[3, 9, 10], OV[2, 8, 11], OV[1, 7, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[15], C3[13], C3[12], 
    Dashed[14, 15], Dashed[12, 14], Dashed[13, 16], Dashed[12, 13], 
    OV[7, 9, 11], OV[6, 10, 11], OV[4, 8, 9], OV[1, 5, 8], OV[2, 3, 10]], 
   Graph[C1[16], C1[15], C1[14], C2[13], C2[13], C3[12], C3[16], 
    Dashed[12, 13], Dashed[12, 14], Dashed[15, 16], Dashed[14, 15], 
    OV[6, 8, 9], OV[4, 5, 8], OV[3, 9, 11], OV[2, 10, 11], OV[1, 7, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[12], C3[14], 
    Dashed[12, 15], Dashed[12, 16], Dashed[13, 14], Dashed[13, 15], 
    OV[6, 8, 9], OV[4, 10, 11], OV[5, 7, 10], OV[1, 8, 11], OV[2, 3, 9]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[13], C3[12], C3[12], 
    Dashed[12, 14], Dashed[14, 15], Dashed[13, 15], Dashed[13, 16], 
    OV[6, 7, 8], OV[5, 10, 11], OV[4, 8, 9], OV[1, 9, 10], OV[2, 3, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[15], C3[13], C3[13], 
    Dashed[12, 14], Dashed[12, 15], Dashed[12, 16], Dashed[13, 14], 
    OV[8, 9, 10], OV[6, 7, 11], OV[4, 8, 11], OV[1, 5, 9], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[12], C3[14], 
    Dashed[12, 13], Dashed[12, 14], Dashed[13, 15], Dashed[15, 16], 
    OV[6, 8, 9], OV[4, 8, 10], OV[5, 7, 9], OV[1, 10, 11], OV[2, 3, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[12], C3[14], 
    Dashed[12, 13], Dashed[12, 15], Dashed[13, 14], Dashed[15, 16], 
    OV[6, 8, 9], OV[4, 8, 10], OV[5, 7, 10], OV[1, 9, 11], OV[2, 3, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[14], C3[13], C3[15], 
    Dashed[12, 13], Dashed[12, 15], Dashed[12, 16], Dashed[13, 14], 
    OV[8, 9, 10], OV[6, 8, 11], OV[4, 5, 11], OV[1, 7, 9], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[14], C2[13], C2[13], C3[12], C3[12], 
    Dashed[12, 15], Dashed[13, 14], Dashed[15, 16], Dashed[14, 16], 
    OV[6, 7, 8], OV[4, 5, 9], OV[3, 9, 11], OV[1, 8, 10], OV[2, 10, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[15], C3[13], C3[13], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 16], Dashed[14, 15], 
    OV[8, 9, 10], OV[6, 7, 8], OV[4, 9, 11], OV[1, 5, 11], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[14], C3[13], C3[13], 
    Dashed[12, 14], Dashed[12, 15], Dashed[12, 16], Dashed[13, 15], 
    OV[8, 9, 10], OV[6, 7, 11], OV[4, 5, 8], OV[1, 9, 11], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[13], C2[14], C3[14], C3[13], 
    Dashed[12, 15], Dashed[12, 14], Dashed[12, 13], Dashed[15, 16], 
    OV[8, 9, 10], OV[4, 7, 10], OV[5, 6, 9], OV[1, 8, 11], OV[2, 3, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[14], C3[13], C3[12], 
    Dashed[13, 14], Dashed[13, 15], Dashed[12, 15], Dashed[12, 16], 
    OV[7, 10, 11], OV[6, 8, 9], OV[4, 5, 8], OV[1, 9, 10], OV[2, 3, 11]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[14], C3[13], C3[12], 
    Dashed[14, 15], Dashed[12, 15], Dashed[13, 16], Dashed[12, 13], 
    OV[7, 9, 11], OV[6, 10, 11], OV[4, 5, 8], OV[1, 8, 9], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[13], C3[12], C3[12], 
    Dashed[12, 14], Dashed[15, 16], Dashed[13, 15], Dashed[13, 14], 
    OV[6, 7, 8], OV[5, 10, 11], OV[4, 8, 11], OV[1, 9, 10], OV[2, 3, 9]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[14], C3[13], C3[12], 
    Dashed[15, 16], Dashed[12, 14], Dashed[13, 15], Dashed[12, 13], 
    OV[7, 9, 11], OV[6, 10, 11], OV[4, 5, 9], OV[1, 8, 10], OV[2, 3, 8]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[14], C3[13], C3[13], 
    Dashed[12, 13], Dashed[12, 15], Dashed[12, 16], Dashed[14, 15], 
    OV[8, 9, 10], OV[6, 7, 8], OV[4, 5, 11], OV[1, 9, 11], OV[2, 3, 10]], 
   Graph[C1[15], C1[16], C1[16], C2[14], C2[14], C3[13], C3[13], 
    Dashed[12, 13], Dashed[12, 14], Dashed[12, 15], Dashed[15, 16], 
    OV[8, 9, 10], OV[6, 7, 8], OV[4, 5, 9], OV[1, 10, 11], OV[2, 3, 11]]}, 
  {BasisVector[1] + BasisVector[2] - BasisVector[3], 
   BasisVector[2] - BasisVector[9] - BasisVector[10], 
   BasisVector[3] - BasisVector[15], BasisVector[4] - BasisVector[19], 
   BasisVector[5] - BasisVector[21], BasisVector[6] - BasisVector[20], 
   BasisVector[7] - BasisVector[9] - BasisVector[24], BasisVector[8], 
   BasisVector[9] + BasisVector[19] + BasisVector[20], 
   BasisVector[10] - BasisVector[22] + BasisVector[31], 
   -BasisVector[11] - BasisVector[15] + 2*BasisVector[19] + 
    BasisVector[20] - 2*BasisVector[21], BasisVector[12], BasisVector[13], 
   BasisVector[14], BasisVector[15] + BasisVector[31], BasisVector[16], 
   BasisVector[17], BasisVector[18], 
   BasisVector[19] + BasisVector[22] - BasisVector[30], 
   BasisVector[20] + BasisVector[21] - BasisVector[22], 
   BasisVector[21] - BasisVector[24], 
   BasisVector[22] + BasisVector[30] - BasisVector[31] + BasisVector[32], 
   BasisVector[23], BasisVector[25], BasisVector[26], BasisVector[27], 
   BasisVector[28], BasisVector[29], BasisVector[33], BasisVector[34], 
   BasisVector[35], BasisVector[36], BasisVector[37], BasisVector[38], 
   BasisVector[39], BasisVector[40], BasisVector[41], BasisVector[42], 
   BasisVector[43], BasisVector[44], BasisVector[45], BasisVector[46], 
   BasisVector[47], BasisVector[48], BasisVector[49], BasisVector[50], 
   BasisVector[51], BasisVector[52], BasisVector[53], BasisVector[54], 
   BasisVector[55], BasisVector[56], BasisVector[57], BasisVector[58], 
   BasisVector[59], BasisVector[60], BasisVector[61], BasisVector[62], 
   BasisVector[63], BasisVector[64], BasisVector[65], BasisVector[66], 
   BasisVector[67], BasisVector[68], BasisVector[69], BasisVector[70]}}