<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_9tl6au5u6d8kov3aivi2gqt0pn, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

p {
  new Matches m;
  S base = "heise.de 2018/04/20 (raw)";
  L<S> full = mechList(base);
  for (S list : mechListsPlusNumber(barCombine(base, "Similar lines"))) {
    L<S> l = mechList(list);
    for (S s : mechList(barCombine(list, "Theories"))) {
      L<S> rest = listMinusSet(full, l);
      L<S> more;
      if "all lines start with *"
        entries = startingWithIC(rest, $1);
      else if "all lines end with *"
        entries = endingWithIC(rest, $1);
      else {
        print("Uninterpretable theory: " + s);
        continue;
      }
        
      print("Theory " + s + ": Found " + n(more, "more entry", "more entries"));
    }
  }
}