3 incremental Delta : prime2 : Single tuple event list

Interpreter: 3 incremental Delta
Program: prime2
Selection function: Single tuple 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) num(3) num(3) - num(4)
prime(2) ← not(mult(2))       prime(3) ← not(mult(3))
3 num(4) num(4) num(4) - num(5)
prime(2) ← not(mult(2))       prime(4) ← not(mult(4))
prime(3) ← not(mult(3))        
4 num(5) num(5) num(5) - num(6)
prime(2) ← not(mult(2))       prime(5) ← not(mult(5))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
5 num(6) num(6) num(6) - num(7)
prime(2) ← not(mult(2))       prime(6) ← not(mult(6))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
6 num(7) num(7) num(7) - num(8)
prime(2) ← not(mult(2))       prime(7) ← not(mult(7))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
7 num(8) num(8) num(8) - num(9)
prime(2) ← not(mult(2))       prime(8) ← not(mult(8))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
8 num(9) num(9) num(9) - num(10)
prime(2) ← not(mult(2))       prime(9) ← not(mult(9))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
9 num(10) num(10) num(10) - num(11)
prime(2) ← not(mult(2))       prime(10) ← not(mult(10))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
10 num(11) num(11) num(11) - num(12)
prime(2) ← not(mult(2))       prime(11) ← not(mult(11))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
11 num(12) num(12) num(12) - num(13)
prime(2) ← not(mult(2))       prime(12) ← not(mult(12))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
12 num(13) num(13) num(13) - num(14)
prime(2) ← not(mult(2))       prime(13) ← not(mult(13))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
13 num(14) num(14) num(14) - num(15)
prime(2) ← not(mult(2))       prime(14) ← not(mult(14))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
14 num(15) num(15) num(15) - num(16)
prime(2) ← not(mult(2))       prime(15) ← not(mult(15))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
15 num(16) num(16) num(16) - num(17)
prime(2) ← not(mult(2))       prime(16) ← not(mult(16))
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
16 num(17) num(17) num(17) - prime(17) ← not(mult(17))
prime(2) ← not(mult(2))        
prime(3) ← not(mult(3))        
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
17 prime(2) ← not(mult(2)) prime(2) prime(2) ← not(mult(2)) - mult(4,2)
prime(3) ← not(mult(3))       println(2,prime(2))
prime(4) ← not(mult(4))        
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
18 prime(3) ← not(mult(3)) prime(3) prime(3) ← not(mult(3)) - mult(9,3)
prime(4) ← not(mult(4))       println(3,prime(3))
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
println(2,prime(2))        
19 prime(4) ← not(mult(4)) prime(5) prime(5) ← not(mult(5)) - println(5,prime(5))
prime(5) ← not(mult(5))        
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
20 prime(4) ← not(mult(4)) prime(6) prime(6) ← not(mult(6)) - println(6,prime(6))
prime(6) ← not(mult(6))        
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
21 prime(4) ← not(mult(4)) prime(7) prime(7) ← not(mult(7)) - println(7,prime(7))
prime(7) ← not(mult(7))        
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
22 prime(4) ← not(mult(4)) prime(8) prime(8) ← not(mult(8)) - println(8,prime(8))
prime(8) ← not(mult(8))        
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
23 prime(4) ← not(mult(4)) prime(10) prime(10) ← not(mult(10)) - println(10,prime(10))
prime(9) ← not(mult(9))        
prime(10) ← not(mult(10))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
24 prime(4) ← not(mult(4)) prime(11) prime(11) ← not(mult(11)) - println(11,prime(11))
prime(9) ← not(mult(9))        
prime(11) ← not(mult(11))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
25 prime(4) ← not(mult(4)) prime(12) prime(12) ← not(mult(12)) - println(12,prime(12))
prime(9) ← not(mult(9))        
prime(12) ← not(mult(12))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
26 prime(4) ← not(mult(4)) prime(13) prime(13) ← not(mult(13)) - println(13,prime(13))
prime(9) ← not(mult(9))        
prime(13) ← not(mult(13))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
27 prime(4) ← not(mult(4)) prime(14) prime(14) ← not(mult(14)) - println(14,prime(14))
prime(9) ← not(mult(9))        
prime(14) ← not(mult(14))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
28 prime(4) ← not(mult(4)) prime(15) prime(15) ← not(mult(15)) - println(15,prime(15))
prime(9) ← not(mult(9))        
prime(15) ← not(mult(15))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
29 prime(4) ← not(mult(4)) prime(17) prime(17) ← not(mult(17)) - println(17,prime(17))
prime(9) ← not(mult(9))        
prime(16) ← not(mult(16))        
prime(17) ← not(mult(17))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
30 prime(4) ← not(mult(4)) mult(4,2) mult(4,2) - mult(4)
prime(9) ← not(mult(9))       mult(6,2)
prime(16) ← not(mult(16))        
mult(4,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(17,prime(17))        
31 mult(4) mult(4) mult(4) prime(4) ← not(mult(4)) -
prime(4) ← not(mult(4))        
prime(9) ← not(mult(9))        
prime(16) ← not(mult(16))        
mult(6,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(17,prime(17))        
32 prime(9) ← not(mult(9)) prime(16) prime(16) ← not(mult(16)) - println(16,prime(16))
prime(16) ← not(mult(16))        
mult(6,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(17,prime(17))        
33 prime(9) ← not(mult(9)) mult(6,2) mult(6,2) - mult(6)
mult(6,2)       mult(8,2)
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
34 mult(6) mult(6) mult(6) - -
prime(9) ← not(mult(9))        
mult(8,2)        
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
35 prime(9) ← not(mult(9)) mult(8,2) mult(8,2) - mult(8)
mult(8,2)       mult(10,2)
mult(9,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
36 mult(8) mult(8) mult(8) - -
prime(9) ← not(mult(9))        
mult(9,3)        
mult(10,2)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
37 prime(9) ← not(mult(9)) mult(9,3) mult(9,3) - mult(9)
mult(9,3)       mult(12,3)
mult(10,2)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
38 mult(9) mult(9) mult(9) prime(9) ← not(mult(9)) -
prime(9) ← not(mult(9))        
mult(10,2)        
mult(12,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
39 mult(10,2) mult(10,2) mult(10,2) - mult(10)
mult(12,3)       mult(12,2)
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
40 mult(10) mult(10) mult(10) - -
mult(12,2)        
mult(12,3)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
41 mult(12,2) mult(12,2) mult(12,2) - mult(12)
mult(12,3)       mult(14,2)
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
42 mult(12) mult(12) mult(12) - -
mult(12,3)        
mult(14,2)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
43 mult(12,3) mult(12,3) mult(12,3) - mult(15,3)
mult(14,2)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
44 mult(14,2) mult(14,2) mult(14,2) - mult(14)
mult(15,3)       mult(16,2)
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
45 mult(14) mult(14) mult(14) - -
mult(15,3)        
mult(16,2)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
46 mult(15,3) mult(15,3) mult(15,3) - mult(15)
mult(16,2)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
47 mult(15) mult(15) mult(15) - -
mult(16,2)        
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
48 mult(16,2) mult(16,2) mult(16,2) - mult(16)
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
49 mult(16) mult(16) mult(16) - -
println(2,prime(2))        
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
50 println(2,prime(2)) println(2,prime(2)) println(2,prime(2)) - -
println(3,prime(3))        
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
51 println(3,prime(3)) println(3,prime(3)) println(3,prime(3)) - -
println(5,prime(5))        
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
52 println(5,prime(5)) println(5,prime(5)) println(5,prime(5)) - -
println(6,prime(6))        
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
53 println(6,prime(6)) println(6,prime(6)) println(6,prime(6)) - -
println(7,prime(7))        
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
54 println(7,prime(7)) println(7,prime(7)) println(7,prime(7)) - -
println(8,prime(8))        
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
55 println(8,prime(8)) println(8,prime(8)) println(8,prime(8)) - -
println(10,prime(10))        
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
56 println(10,prime(10)) println(10,prime(10)) println(10,prime(10)) - -
println(11,prime(11))        
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
57 println(11,prime(11)) println(11,prime(11)) println(11,prime(11)) - -
println(12,prime(12))        
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
58 println(12,prime(12)) println(12,prime(12)) println(12,prime(12)) - -
println(13,prime(13))        
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
59 println(13,prime(13)) println(13,prime(13)) println(13,prime(13)) - -
println(14,prime(14))        
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
60 println(14,prime(14)) println(14,prime(14)) println(14,prime(14)) - -
println(15,prime(15))        
println(16,prime(16))        
println(17,prime(17))        
61 println(15,prime(15)) println(15,prime(15)) println(15,prime(15)) - -
println(16,prime(16))        
println(17,prime(17))        
62 println(16,prime(16)) println(16,prime(16)) println(16,prime(16)) - -
println(17,prime(17))        
63 println(17,prime(17)) println(17,prime(17)) println(17,prime(17)) - -