待入栈的序列 a 有多种出栈序列， 以下函数用于判断序列 b 是否是 a 的出栈序列，代码如下：

def judge(a, b):

    n=len(a) ;st=[- 1]*n

    top-= 1; i=j=0

    while i<n:

        top+= 1

          ①    

        i+= 1

        while top> - 1 and     ②    :  

            top-= 1

            j+= 1

        return top==- 1

from random import shuffle

a=[1,2,3,4, 5]

b=[1,2, 3, 4, 5]

shuffle (b)                  #将序列 b 的元素随机排序

if judge(a, b):

    print (b,'是' ,a,' 的出栈序列')

else:

    print (b,'不是' ,a,' 的出栈序列')

程序运行结果如图所示。划线处应填写的语句是（   ）

A、①st[top]=a[i]               ②st [top]==b[j]

B、①st[top]=a[i]                ②st[- 1]==b[j]

C、①st [top]=b[i]              ②st[top]=a[j]

D、①st[top]=b[i]              ②st[- 1]= =a[j]