<gh_stars>100-1000
import JeevesLib
from smt.Z3 import *
import unittest
from RSphaeroides import RSphaeroides
import JeevesLib

class TestAuction(unittest.TestCase):
  def setUp(self):
    JeevesLib.init()

  def test_something(self):
    r = RSphaeroides()
    pass

import JeevesLib
from smt.Z3 import *
import unittest
from RSphaeroides import RSphaeroides
import JeevesLib

class TestAuction(unittest.TestCase):
  def setUp(self):
    JeevesLib.init()

  def test_something(self):
    r = RSphaeroides()
    pass