oracle = [
    "o1",
    "o2",
    "o3",
    "o4",
]