parameters focus on two cities theorem
merged with autogened github