python random choice随机获取数组一个值

import random
o1=[3,5,4,1]
o2=[1,2,3,4,5]
o3=[5,4,3,2]
o4=[4,3,2,5]
o5=[1,3,5]
o6=[1,2,3,4,5]
o7=[1,3,5]
o8=[1,3,5]
o9=[1,2,3,4,5]
o10=[5,4,3,1]
o11=[5,3,1]
o12=[3,1]
o13=[3,1]
s=0
while s!=-1:
    s1=random.choice(o1)
    s2=random.choice(o2)
    s3=random.choice(o3)
    s4=random.choice(o4)
    s5=random.choice(o5)
    s6=random.choice(o6)
    s7=random.choice(o7)
    s8=random.choice(o8)
    s9=random.choice(o9)
    s10=random.choice(o10)
    s11=random.choice(o11)
    s12=random.choice(o12)
    s13=random.choice(o13)
    s=s1+s2+s3+s4+s5+s6+s7+s8+s9+s10+s11+s12+s13
    if s==61:
        print(str(s1)+','+str(s2)+','+str(s3)+','+str(s4)+','+str(s5)+','+str(s6)+','+str(s7)+','+str(s8)+','+str(s9)+','+str(s10)+','+str(s11)+','+str(s12)+','+str(s13))
        break