model unfold {
	component NVerProg(in i_1,in i_2,out o_1) {
		component vote_1(in i_1,in i_2,in i_3,out o_1) {}
		component dupl_2(in i_1,out o_1,out o_2,out o_3) {}
		component dupl_1(in i_1,out o_1,out o_2,out o_3) {}
		component comp_3(in i_1,in i_2,out o_1) {}
		component comp_2(in i_1,in i_2,out o_1) {}
		component comp_1(in i_1,in i_2,out o_1) {}
		i_2 -> dupl_2.i_1
		i_1 -> dupl_1.i_1
		dupl_2.o_3 -> comp_3.i_2
		dupl_2.o_2 -> comp_2.i_2
		dupl_2.o_1 -> comp_1.i_2
		dupl_1.o_3 -> comp_3.i_1
		dupl_1.o_2 -> comp_2.i_1
		dupl_1.o_1 -> comp_1.i_1
		comp_3.o_1 -> vote_1.i_3
		comp_2.o_1 -> vote_1.i_2
		comp_1.o_1 -> vote_1.i_1
		vote_1.o_1 -> o_1
	}
}