adding borda_3_npc.v