<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_iof56v2cgsbeampiuher1k4p4f, 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

concept DWeb {
  S globalID;
  Web web;
}

p {
  dbIndexing(DWeb, 'globalID);
  print("n=" + countConcepts(DWeb));
  for (Web web : allIndexedWebs())
    cset_compareByStruct(uniq(DWeb, globalID := web.globalID), +web);
  print("n=" + countConcepts(DWeb));
  if (noConsole()) cleanKillVM_noTimeOut();
}