Verification of a dual-CISTs in Dense Gaussian Networks D2

Fig. (a) The dense Gaussian network D2

Fig. (b) The dense Gaussian network D2 (the labels of vertices are mapped on Z_13)
Fig. (c) The circulant graph C_13(2, 3) (which is isomorphic to D2)

Fig. (d) The blue lines indicate the first CIST T_0 in D2
Fig. (e) The blue lines indicate the first CIST T_0 in C_13(2, 3)
Fig. (f) The red lines indicate the second CIST T_1 in D2
Fig. (g) The red lines indicate the second CIST T_1 in C_13(2, 3)