anchor.diff:  
   -module(prime).
   
  --compile({no_auto_import,[get/1]}).
  -%-compile(export_all).
  -
   -include("record_helpers.hrl").
   -include("scalaris.hrl").
   
  
positive.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec tester_create_prime_list(1..2500) -> prime_list().
  tester_create_prime_list(N) -> get(N).
  
  -spec tester_create_rev_prime_list(1..2500) -> rev_prime_list().
  tester_create_rev_prime_list(N) -> lists:reverse(tester_create_prime_list(N)).
  
negative.code: -spec tester_is_prime_list(prime_list()) -> boolean().
  tester_is_prime_list([_|_] = List) ->
      Largest = lists:max(List),
      PrimeList = ?MODULE:get(Largest),
      lists:all(fun(X) -> is_prime_p(X, PrimeList) end, List);
  tester_is_prime_list([]) -> true.
  