Julius with the strong And-1

Julius Randle is an And-1 machine