Links for conjecturing-machine