<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_7j1b0r1hssftu4c7cmd82lsiip, 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

cprint {
  start-thread {
    S rule = "revealing secret opening preparation => he reveals his secret opening preparation";
    LS sides = splitAtDoubleArrow(rule);
    SS data = listToMapWithKeyMaker(sides, i -> str(i+1));
    
    new LineCompCompressor comp;
    comp.byteMode = true;
    comp.loadTexts(data);
    comp.run();
    
    //print(comp.asText());
    lcPrintSubstrings(comp);
    
    // find pairs appearing on both sides
    //print(multiSetDuplicates(multiSetMapToMultiSet(lcPairsToFiles(comp)));
    
    print("top-level encodings", values(comp.finalEncodings));
    
    // simpler version: just take items appearing in both top-level encodings
    LL<Int> encodings = valuesList(comp.finalEncodings);
    Set<Int> inBoth = intersectSets(asLinkedHashSet(first(encodings)), second(encodings));
    print(+inBoth);
    
    print("renumbered", lcRenumberTopLevelEncodings(comp));
    print("simplified & renumbered", lcRenumberTopLevelEncodings(lcRenumberTopLevelEncodings_simplify(comp.finalEncodings));
  }
}