nor_m;1936;nor3_m;900;nor_k;1914;nor_c;1989;nor_f;1962;nor_{;1936;nor_w;1936;nor_q;1962;nor_n;1941;