TX=Warschau 13N; C=2*(WAR_13N_1(|L)|WAR_13N_2(|L));