crypto.lib
LIB "crypto.lib"; list h_inj = 1,2,4,10,17; is_h_injective(h_inj,3); ==> 1 //1+2+4+10=17 is_h_injective(h_inj,4); ==> 0