Implementacija main programa_Z3