3 incremental Delta : prime2 : Π

Interpreter: 3 incremental Delta
Program: prime2
Selection function: Π

α Delta New D0 D1 D2
0 max(17) max(17) max(17) - num(3)
num(2) num(2) num(2)   prime(2) ← not(mult(2))
1 num(3) num(3) num(3) - num(4)
prime(2) ← not(mult(2)) prime(2) prime(2) ← not(mult(2))   prime(3) ← not(mult(3))
        mult(4,2)
        println(2,prime(2))
2 num(4) num(4) num(4) - mult(4)
prime(3) ← not(mult(3)) prime(3) prime(3) ← not(mult(3))   num(5)
mult(4,2) mult(4,2) mult(4,2)   prime(4) ← not(mult(4))
println(2,prime(2)) println(2,prime(2)) println(2,prime(2))   mult(6,2)
        mult(9,3)
        println(3,prime(3))
3 mult(4) mult(4) mult(4) prime(4) ← not(mult(4)) mult(6)
num(5) num(5) num(5)   mult(9)
prime(4) ← not(mult(4)) mult(6,2) mult(6,2)   num(6)
mult(6,2) mult(9,3) mult(9,3)   prime(5) ← not(mult(5))
mult(9,3) println(3,prime(3)) println(3,prime(3))   mult(8,2)
println(3,prime(3))       mult(12,3)
4 mult(6) mult(6) mult(6) - mult(8)
mult(9) mult(9) mult(9)   mult(12)
num(6) num(6) num(6)   num(7)
prime(5) ← not(mult(5)) prime(5) prime(5) ← not(mult(5))   mult(10,2)
mult(8,2) mult(8,2) mult(8,2)   mult(15,3)
mult(12,3) mult(12,3) mult(12,3)   println(5,prime(5))
5 mult(8) mult(8) mult(8) - mult(10)
mult(12) mult(12) mult(12)   mult(15)
num(7) num(7) num(7)   num(8)
mult(10,2) mult(10,2) mult(10,2)   prime(7) ← not(mult(7))
mult(15,3) mult(15,3) mult(15,3)   mult(12,2)
println(5,prime(5)) println(5,prime(5)) println(5,prime(5))    
6 mult(10) mult(10) mult(10) - num(9)
mult(15) mult(15) mult(15)   mult(14,2)
num(8) num(8) num(8)   println(7,prime(7))
prime(7) ← not(mult(7)) prime(7) prime(7) ← not(mult(7))    
mult(12,2) mult(12,2) mult(12,2)    
7 num(9) num(9) num(9) - mult(14)
mult(14,2) mult(14,2) mult(14,2)   num(10)
println(7,prime(7)) println(7,prime(7)) println(7,prime(7))   mult(16,2)
8 mult(14) mult(14) mult(14) - mult(16)
num(10) num(10) num(10)   num(11)
mult(16,2) mult(16,2) mult(16,2)    
9 mult(16) mult(16) mult(16) - num(12)
num(11) num(11) num(11)   prime(11) ← not(mult(11))
10 num(12) num(12) num(12) - num(13)
prime(11) ← not(mult(11)) prime(11) prime(11) ← not(mult(11))   println(11,prime(11))
11 num(13) num(13) num(13) - num(14)
println(11,prime(11)) println(11,prime(11)) println(11,prime(11))   prime(13) ← not(mult(13))
12 num(14) num(14) num(14) - num(15)
prime(13) ← not(mult(13)) prime(13) prime(13) ← not(mult(13))   println(13,prime(13))
13 num(15) num(15) num(15) - num(16)
println(13,prime(13)) println(13,prime(13)) println(13,prime(13))    
14 num(16) num(16) num(16) - num(17)
15 num(17) num(17) num(17) - prime(17) ← not(mult(17))
16 prime(17) ← not(mult(17)) prime(17) prime(17) ← not(mult(17)) - println(17,prime(17))
17 println(17,prime(17)) println(17,prime(17)) println(17,prime(17)) - -