#include <civlc.cvh>

$input int A,B;

int main(){
  $assert($forall {i = 2 .. B } (A%i != 0));
}