The script y is executed according to the digits (zero or one)
in the 3-digit decimal representation of k :|
Sessions begin with (silent, stop) execution of 0!:0<'profile.ijs'
|0!:2 y||The script y is expected to be a sequence of tautologies; 0!:2 y is like 0!:1 y but stops if any non-assigned noun result is not all 1 .|
|0!:3 y||Like 0!:2 y , but produces a 1 or 0 result according to whether the script passes (contains only tautologies) or fails.|