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)) - -