Atcoder Beginner Contest 197のC問題をPythonで実装できないか

Question

前提・実現したいこと

Atcoder Beginner Contest 197のC問題に関する質問です。
リンク：https://atcoder.jp/contests/abc197/tasks/abc197_c

問題文
長さNの数列Aが与えられます。
この数列を、1つ以上の空でない連続した区間に分けます。
その後、分けた各区間で、区間内の数のビット単位ORを計算します。
こうして得られた全ての値のビット単位XORとして考えられる最小値を求めてください。
制約
・1≤N≤20
・0≤Ai<2^30
・入力に含まれる値は全て整数である

解説動画（https://www.youtube.com/watch?v=mk8mGugZREg）を見て、コードをpythonで書いたのですが、実行時間制限超過になってしまいました。
実行時間を短縮する方法を教えていただきたいです。

該当のソースコード

# -*- coding: utf-8 -*-

n = int(input())
a = list(int(i) for i in input().split())
ans = 1<<30
for s in range(1<<(n-1)):
    now = 0
    o = 0
    for i in range(n):
        o |= a[i]
        if s>>i & 1:
            now ^= o
            o = 0
    now ^= o
    ans = min(ans, now)
    
print(ans)

試したこと

リストをタプルやnumpy配列を使ってやろうとしましたが、できませんでした。