{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
    // which are helpful for understanding the code (full proofs and such are
    // of the simple Lengauer-Tarjan algorithm. A few key facts are noted here
    // found in various papers, including one cited at the top of this file).