3 incremental Delta : prime : Event list

Interpreter: 3 incremental Delta
Program: prime
Selection function: Event list

α Delta New D0 D1 D2
0 max(17) max(17) max(17) - -
num(2)        
1 num(2) num(2) num(2) - num(3)
        prime(2) ← not(mult(2))
2 num(3) prime(2) prime(2) ← not(mult(2)) - mult(4,2)
prime(2) ← not(mult(2))       println(2,prime(2))
3 num(3) println(2,prime(2)) println(2,prime(2)) - -
mult(4,2)        
println(2,prime(2))        
4 num(3) num(3) num(3) - num(4)
mult(4,2)       prime(3) ← not(mult(3))
5 num(4) prime(3) prime(3) ← not(mult(3)) - mult(9,3)
prime(3) ← not(mult(3))       println(3,prime(3))
mult(4,2)        
6 num(4) println(3,prime(3)) println(3,prime(3)) - -
mult(4,2)        
mult(9,3)        
println(3,prime(3))        
7 num(4) num(4) num(4) - mult(4)
mult(4,2) mult(4,2) mult(4,2)   num(5)
mult(9,3)       prime(4) ← not(mult(4))
        mult(6,2)
8 mult(4) mult(4) mult(4) prime(4) ← not(mult(4)) -
num(5)        
prime(4) ← not(mult(4))        
mult(6,2)        
mult(9,3)        
9 num(5) num(5) num(5) - num(6)
mult(6,2)       prime(5) ← not(mult(5))
mult(9,3)        
10 num(6) prime(5) prime(5) ← not(mult(5)) - println(5,prime(5))
prime(5) ← not(mult(5))        
mult(6,2)        
mult(9,3)        
11 num(6) println(5,prime(5)) println(5,prime(5)) - -
mult(6,2)        
mult(9,3)        
println(5,prime(5))        
12 num(6) num(6) num(6) - mult(6)
mult(6,2) mult(6,2) mult(6,2)   num(7)
mult(9,3)       prime(6) ← not(mult(6))
        mult(8,2)
13 mult(6) mult(6) mult(6) prime(6) ← not(mult(6)) -
num(7)        
prime(6) ← not(mult(6))        
mult(8,2)        
mult(9,3)        
14 num(7) num(7) num(7) - num(8)
mult(8,2)       prime(7) ← not(mult(7))
mult(9,3)        
15 num(8) prime(7) prime(7) ← not(mult(7)) - println(7,prime(7))
prime(7) ← not(mult(7))        
mult(8,2)        
mult(9,3)        
16 num(8) println(7,prime(7)) println(7,prime(7)) - -
mult(8,2)        
mult(9,3)        
println(7,prime(7))        
17 num(8) num(8) num(8) - mult(8)
mult(8,2) mult(8,2) mult(8,2)   num(9)
mult(9,3)       prime(8) ← not(mult(8))
        mult(10,2)
18 mult(8) mult(8) mult(8) prime(8) ← not(mult(8)) -
num(9)        
prime(8) ← not(mult(8))        
mult(9,3)        
mult(10,2)        
19 num(9) num(9) num(9) - mult(9)
mult(9,3) mult(9,3) mult(9,3)   num(10)
mult(10,2)       prime(9) ← not(mult(9))
        mult(12,3)
20 mult(9) mult(9) mult(9) prime(9) ← not(mult(9)) -
num(10)        
prime(9) ← not(mult(9))        
mult(10,2)        
mult(12,3)        
21 num(10) num(10) num(10) - mult(10)
mult(10,2) mult(10,2) mult(10,2)   num(11)
mult(12,3)       prime(10) ← not(mult(10))
        mult(12,2)
22 mult(10) mult(10) mult(10) prime(10) ← not(mult(10)) -
num(11)        
prime(10) ← not(mult(10))        
mult(12,2)        
mult(12,3)        
23 num(11) num(11) num(11) - num(12)
mult(12,2)       prime(11) ← not(mult(11))
mult(12,3)        
24 num(12) prime(11) prime(11) ← not(mult(11)) - println(11,prime(11))
prime(11) ← not(mult(11))        
mult(12,2)        
mult(12,3)        
25 num(12) println(11,prime(11)) println(11,prime(11)) - -
mult(12,2)        
mult(12,3)        
println(11,prime(11))        
26 num(12) num(12) num(12) - mult(12)
mult(12,2) mult(12,2) mult(12,2)   num(13)
mult(12,3) mult(12,3) mult(12,3)   prime(12) ← not(mult(12))
        mult(14,2)
        mult(15,3)
27 mult(12) mult(12) mult(12) prime(12) ← not(mult(12)) -
num(13)        
prime(12) ← not(mult(12))        
mult(14,2)        
mult(15,3)        
28 num(13) num(13) num(13) - num(14)
mult(14,2)       prime(13) ← not(mult(13))
mult(15,3)        
29 num(14) prime(13) prime(13) ← not(mult(13)) - println(13,prime(13))
prime(13) ← not(mult(13))        
mult(14,2)        
mult(15,3)        
30 num(14) println(13,prime(13)) println(13,prime(13)) - -
mult(14,2)        
mult(15,3)        
println(13,prime(13))        
31 num(14) num(14) num(14) - mult(14)
mult(14,2) mult(14,2) mult(14,2)   num(15)
mult(15,3)       prime(14) ← not(mult(14))
        mult(16,2)
32 mult(14) mult(14) mult(14) prime(14) ← not(mult(14)) -
num(15)        
prime(14) ← not(mult(14))        
mult(15,3)        
mult(16,2)        
33 num(15) num(15) num(15) - mult(15)
mult(15,3) mult(15,3) mult(15,3)   num(16)
mult(16,2)       prime(15) ← not(mult(15))
34 mult(15) mult(15) mult(15) prime(15) ← not(mult(15)) -
num(16)        
prime(15) ← not(mult(15))        
mult(16,2)        
35 num(16) num(16) num(16) - mult(16)
mult(16,2) mult(16,2) mult(16,2)   num(17)
        prime(16) ← not(mult(16))
36 mult(16) mult(16) mult(16) prime(16) ← not(mult(16)) -
num(17)        
prime(16) ← not(mult(16))        
37 num(17) num(17) num(17) - prime(17) ← not(mult(17))
38 prime(17) ← not(mult(17)) prime(17) prime(17) ← not(mult(17)) - println(17,prime(17))
39 println(17,prime(17)) println(17,prime(17)) println(17,prime(17)) - -