<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_cdna2vc9orkqbbhggfrc243pjm, 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 />
!752

p {
  typeWriterConsole();
  L<S> paragraphs = superState();
  printNumberedParagraphs(paragraphs);
  if (empty(paragraphs)) {
    print("Nothing to work with");
    ret;
  }
  L<Para> paras = numberParagraphs(paragraphs);
  
  int redundancy = 0;
  for (Para p : paras) {
    S method = calcOne(paras, p);
    if (notNull(method)) {
      print(p.index + " = " + method);
      ++redundancy;
    }
  }
      
  print("Redundancy: " + redundancy + " / " + l(paras));
}

// returns calculation method if pivot could be calculated from other paragraphs
static S calcOne(L<Para> all, Para pivot) {
  L<Para> rest = listMinus(all, pivot);
  for (Para p : rest) {
    if (eq(p.text, pivot.text))
      ret "copy(" + p.index + ")";
  }
  null;
}