True & True & True & True & (G[0,0] ((! (F[16,inf] OnMainCarriageway_V279)) | (! (F[9,inf] OnRightLane)))) & (G[1,1] ((! (F[15,inf] OnMainCarriageway_V279)) | (! (F[8,inf] OnRightLane)))) & (G[2,2] ((! (F[14,inf] OnMainCarriageway_V279)) | (! (F[7,inf] OnRightLane)))) & (G[3,3] ((! (F[13,inf] OnMainCarriageway_V279)) | (! (F[6,inf] OnRightLane)))) & (G[4,4] ((! (F[12,inf] OnMainCarriageway_V279)) | (! (F[5,inf] OnRightLane)))) & (G[5,5] ((! (F[11,inf] OnMainCarriageway_V279)) | (! (F[4,inf] OnRightLane)))) & (G[6,6] ((! (F[10,inf] OnMainCarriageway_V279)) | (! (F[3,inf] OnRightLane)))) & (G[7,7] ((! (F[9,inf] OnMainCarriageway_V279)) | (! (F[2,inf] OnRightLane)))) & (G[8,8] ((! (F[8,inf] OnMainCarriageway_V279)) | (! (F[1,inf] OnRightLane)))) & (G[9,9] ((! (F[7,inf] OnMainCarriageway_V279)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[10,10] ((! (F[6,inf] OnMainCarriageway_V279)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[11,11] ((! (F[5,inf] OnMainCarriageway_V279)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[12,12] ((! (F[4,inf] OnMainCarriageway_V279)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[13,13] ((! (F[3,inf] OnMainCarriageway_V279)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[14,14] ((! (F[2,inf] OnMainCarriageway_V279)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[15,15] ((! (F[1,inf] OnMainCarriageway_V279)) | (! ((! OnRightLane) & (F OnRightLane))))) & True & True & True & (G[0,0] (! (F[9,inf] OnRightLane))) & (G[1,1] (! (F[8,inf] OnRightLane))) & (G[2,2] (! (F[7,inf] OnRightLane))) & (G[3,3] (! (F[6,inf] OnRightLane))) & (G[4,4] (! (F[5,inf] OnRightLane))) & (G[5,5] (! (F[4,inf] OnRightLane))) & (G[6,6] (! (F[3,inf] OnRightLane))) & (G[7,7] (! (F[2,inf] OnRightLane))) & (G[8,8] (! (F[1,inf] OnRightLane))) & (G[9,15] (! ((! OnRightLane) & (F OnRightLane)))) & True & True & (G[0,0] (! (F[9,inf] OnRightLane))) & (G[1,1] (! (F[8,inf] OnRightLane))) & (G[2,2] (! (F[7,inf] OnRightLane))) & (G[3,3] (! (F[6,inf] OnRightLane))) & (G[4,4] (! (F[5,inf] OnRightLane))) & (G[5,5] (! (F[4,inf] OnRightLane))) & (G[6,6] (! (F[3,inf] OnRightLane))) & (G[7,7] (! (F[2,inf] OnRightLane))) & (G[8,8] (! (F[1,inf] OnRightLane))) & (G[9,12] (! ((! OnRightLane) & (F OnRightLane)))) & True & True & (G[0,0] ((! (F[16,inf] OnMainCarriageway_V296)) | (! (F[9,inf] OnRightLane)))) & (G[1,1] ((! (F[15,inf] OnMainCarriageway_V296)) | (! (F[8,inf] OnRightLane)))) & (G[2,2] ((! (F[14,inf] OnMainCarriageway_V296)) | (! (F[7,inf] OnRightLane)))) & (G[3,3] ((! (F[13,inf] OnMainCarriageway_V296)) | (! (F[6,inf] OnRightLane)))) & (G[4,4] ((! (F[12,inf] OnMainCarriageway_V296)) | (! (F[5,inf] OnRightLane)))) & (G[5,5] ((! (F[11,inf] OnMainCarriageway_V296)) | (! (F[4,inf] OnRightLane)))) & (G[6,6] ((! (F[10,inf] OnMainCarriageway_V296)) | (! (F[3,inf] OnRightLane)))) & (G[7,7] ((! (F[9,inf] OnMainCarriageway_V296)) | (! (F[2,inf] OnRightLane)))) & (G[8,8] ((! (F[8,inf] OnMainCarriageway_V296)) | (! (F[1,inf] OnRightLane)))) & (G[9,9] ((! (F[7,inf] OnMainCarriageway_V296)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[10,10] ((! (F[6,inf] OnMainCarriageway_V296)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[11,11] ((! (F[5,inf] OnMainCarriageway_V296)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[12,12] ((! (F[4,inf] OnMainCarriageway_V296)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[13,13] ((! (F[3,inf] OnMainCarriageway_V296)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[14,14] ((! (F[2,inf] OnMainCarriageway_V296)) | (! ((! OnRightLane) & (F OnRightLane))))) & (G[15,15] ((! (F[1,inf] OnMainCarriageway_V296)) | (! ((! OnRightLane) & (F OnRightLane))))) & True & True & True & True & True & True & True & True & True & True & True & True & True & True & True & True & True & True & True
