sbsa/cu130: links for enigma-lib-insper