(True & True & True & True & True & True & True & True & True & True & True & True & True & True & True & True & True & (G[9,12] ((! (X[3] InSameLane_V300)) | (X[3] KeepsSafeDistancePrec_V300))) & True & True & (G[11,12] ((! (X[3] InSameLane_V304)) | (X[3] KeepsSafeDistancePrec_V304))) & (G[6,12] ((! ((X[3] InSameLane_V305) & (! (F[0,2] ((! CutIn_V305) & (X CutIn_V305)))))) | (X[3] KeepsSafeDistancePrec_V305))) & (G[6,12] ((! (X[3] InSameLane_V306)) | (X[3] KeepsSafeDistancePrec_V306))) & ((G[1,10] ((! (X[3] InSameLane_V311)) | (X[3] KeepsSafeDistancePrec_V311))) & (G[11,11] ((! (((X[3] InSameLane_V311) & (X[3] Behind_V311)) & (! (F[2,2] (X CutIn_V311))))) | (X[3] KeepsSafeDistancePrec_V311))) & (G[12,12] ((! (((X[3] InSameLane_V311) & (X[3] Behind_V311)) & (! ((F[1,1] (X CutIn_V311)) | (F[2,2] ((! CutIn_V311) & (X CutIn_V311))))))) | (X[3] KeepsSafeDistancePrec_V311)))) & ((G[1,1] (X[3] KeepsSafeDistancePrec_V319)) & (G[2,10] ((! (X[3] InSameLane_V319)) | (X[3] KeepsSafeDistancePrec_V319))) & (G[11,12] ((! ((X[3] InSameLane_V319) & (X[3] Behind_V319))) | (X[3] KeepsSafeDistancePrec_V319)))) & (G[12,12] ((! ((X[3] InSameLane_V320) & (X[3] Behind_V320))) | (X[3] KeepsSafeDistancePrec_V320))) & (G[12,12] ((! ((X[3] InSameLane_V321) & (X[3] Behind_V321))) | (X[3] KeepsSafeDistancePrec_V321))) & (G[7,12] ((! (X[3] InSameLane_V322)) | (X[3] KeepsSafeDistancePrec_V322))) & True & (G[12,12] ((! (((X[3] InSameLane_V329) & (X[3] Behind_V329)) & (! (F[0,2] ((! CutIn_V329) & (X CutIn_V329)))))) | (X[3] KeepsSafeDistancePrec_V329))) & True & ((G[5,11] ((! ((X[3] InSameLane_V363) & (X[3] Behind_V363))) | (X[3] KeepsSafeDistancePrec_V363))) & (G[12,12] ((! (((X[3] InSameLane_V363) & (X[3] Behind_V363)) & (! (F[2,2] (X CutIn_V363))))) | (X[3] KeepsSafeDistancePrec_V363)))) & ((G[3,4] ((! ((X[3] InSameLane_V376) & (X[3] Behind_V376))) | (X[3] KeepsSafeDistancePrec_V376))) & (G[5,5] ((! (((X[3] InSameLane_V376) & (X[3] Behind_V376)) & (! (F[2,2] (X CutIn_V376))))) | (X[3] KeepsSafeDistancePrec_V376))) & (G[6,6] ((! (((X[3] InSameLane_V376) & (X[3] Behind_V376)) & (! ((F[2,2] ((! CutIn_V376) & (X CutIn_V376))) | (F[1,1] (X CutIn_V376)))))) | (X[3] KeepsSafeDistancePrec_V376))) & (G[7,7] ((! (((X[3] InSameLane_V376) & (X[3] Behind_V376)) & (! ((F[1,2] ((! CutIn_V376) & (X CutIn_V376))) | (F[0,0] (X CutIn_V376)))))) | (X[3] KeepsSafeDistancePrec_V376))) & (G[8,12] ((! (((X[3] InSameLane_V376) & (X[3] Behind_V376)) & (! (F[0,2] ((! CutIn_V376) & (X CutIn_V376)))))) | (X[3] KeepsSafeDistancePrec_V376)))) & (G[10,12] ((! ((X[3] InSameLane_V396) & (X[3] Behind_V396))) | (X[3] KeepsSafeDistancePrec_V396))))
