!7

include once #1011841

p {
  ai_spec_init();
  for (S term : allFullIndexedTerms())
    ai_spec_unquote(term);
}