Select the inital configuration:
doc
Rules
Options
Initial
Files
Save in a file
Load Algo:
Algo url:
Load
copy latex to clipboard
export v1
Check unused rules