alltieint , ( Pr.