reloaded

• Brian
• recommencing
• executes
• mercury
• solver