@Test public void Equations1() { test(); }
@Test public void MarketModel2() { test(); }
@Test public void Overloading2() { test(); }
@Test public void Equations1() { test(); }
@Test public void MarketModel2() { test(); }
@Test public void Overloading2() { test(); }