p=3 k=2 L: step 1: |computed|=19683 |claimed P_2=S(1,1)|=19683 MATCH=True
p=3 k=2 L: step 2: |computed|=2187 |claimed P_3=S(2,2)|=2187 MATCH=True
p=3 k=2 L: step 3: |computed|=729 |claimed P_4=S(3,3)|=729 MATCH=True
p=3 k=2 L: step 4: |computed|=243 |claimed P_5=S(4,4)|=243 MATCH=True
p=3 k=2 L: step 5: |computed|=81 |claimed P_6=S(5,5)|=81 MATCH=True
p=3 k=2 L: step 6: |computed|=27 |claimed P_7=S(6,6)|=27 MATCH=True
p=3 k=2 L: step 7: |computed|=9 |claimed P_8=S(7,7)|=9 MATCH=True
p=3 k=2 L: step 8: |computed|=3 |claimed P_9=S(8,8)|=3 MATCH=True
p=3 k=2 L: step 9: |computed|=1 |claimed P_10=S(9,9)|=1 MATCH=True
p=3 k=2 L: step 10: |computed|=1 |claimed P_11=S(10,10)|=1 MATCH=True
p=3 k=2 P: step 0: |computed|=177147 |claimed pi_0=S(0,0)|=177147 MATCH=True
p=3 k=2 P: step 1: |computed|=6561 |claimed pi_1=S(1,2)|=6561 MATCH=True
p=3 k=2 P: step 2: |computed|=3 |claimed pi_2=S(2,8)|=3 MATCH=True
p=3 k=2 P: step 3: |computed|=1 |claimed pi_3=S(3,26)|=1 MATCH=True
p=3 k=2 P*: step 0: |computed|=6561 |claimed pi*_1=S(1,2)|=6561 MATCH=True
p=3 k=2 P*: step 1: |computed|=3 |claimed pi*_2=S(2,8)|=3 MATCH=True
p=3 k=2 P*: step 2: |computed|=1 |claimed pi*_3=S(3,26)|=1 MATCH=True
p=3 k=2 P*: step 3: |computed|=1 |claimed pi*_4=S(4,80)|=1 MATCH=True
p=3 k=2 F: step 0: |computed|=19683 |claimed Phi_1=S(1,1)|=19683 MATCH=True
p=3 k=2 F: step 1: |computed|=243 |claimed Phi_2=S(2,4)|=243 MATCH=True
p=3 k=2 F: step 2: |computed|=1 |claimed Phi_3=S(3,13)|=1 MATCH=True
p=3 k=2 F: step 3: |computed|=1 |claimed Phi_4=S(4,40)|=1 MATCH=True
p=3 k=2 D: step 2: |computed|=19683 |claimed D_2=S(1,1)|=19683 MATCH=True
p=3 k=2 D: step 3: |computed|=6561 |claimed D_3=S(1,2)|=6561 MATCH=True
p=3 k=2 D: step 4: |computed|=729 |claimed D_4=S(2,3)|=729 MATCH=True
p=3 k=2 D: step 5: |computed|=243 |claimed D_5=S(2,4)|=243 MATCH=True
p=3 k=2 D: step 6: |computed|=81 |claimed D_6=S(2,5)|=81 MATCH=True
p=3 k=2 D: step 7: |computed|=27 |claimed D_7=S(2,6)|=27 MATCH=True
p=3 k=2 D: step 8: |computed|=9 |claimed D_8=S(2,7)|=9 MATCH=True
p=3 k=2 D: step 9: |computed|=3 |claimed D_9=S(2,8)|=3 MATCH=True
p=3 k=2 D: step 10: |computed|=1 |claimed D_10=S(3,9)|=1 MATCH=True
CASE p=3 k=2: all_match=True steps=31 time=63.3s
TOTAL_STEPS 31 ALL_MATCH True
