Fac_ComputeFac

Live in/out
0: in: [0, 1]; out: [0, 1, 33]
1: in: [0, 1, 33]; out: [0, 1, 34]
2: in: [0, 1, 34]; out: [0, 1]
3: in: []; out: [20]
4: in: [20]; out: [20]
5: in: [0, 1]; out: [0, 1]
6: in: [0, 1]; out: [1, 29]
7: in: [1, 29]; out: [1, 27, 29]
8: in: [1, 27, 29]; out: [1, 28, 29]
9: in: [1, 28, 29]; out: [1, 28, 29, 35]
10: in: [1, 28, 29, 35]; out: [1, 28, 29, 36]
11: in: [1, 28, 29, 36]; out: [1, 37]
12: in: [1, 37]; out: [38]
13: in: [38]; out: [20]
14: in: [20]; out: [20]
15: in: [20]; out: []

** Primes.java.spg

Proc: MAIN
Flow:
[0] -> [1]
[1] -> [2]
[2] -> [3]
[3] -> [4]
[4] -> [5]
[5] -> [6]
[6] -> [7]
[7] -> [8]
[8] -> [9]
[9] -> [10]
[10] -> [11]
[11] -> [12]
[12] -> [13]
[13] -> [14]
[14] -> [15]
[15] -> [16]
[16] -> [17]
[17] -> [18]
[18] -> [19]
[19] -> [20]
[20] -> [21]
[21] -> [22]
[22] -> [23]
[23] -> [24, 29]
[24] -> [25]
[25] -> [26]
[26] -> [27]
[27] -> [28]
[28] -> [21]
[29] -> [30]
[30] -> [31]
[31] -> [32]
[32] -> [33]
[33] -> [34]
[34] -> [35]
[35] -> [36]
[36] -> [37]
Use/Def:
0: Use:[] Def: [3]
1: Use:[] Def: [4]
2: Use:[] Def: [62]
3: Use:[3, 62] Def: []
4: Use:[] Def: [63]
5: Use:[3, 63] Def: []
6: Use:[] Def: [64]
7: Use:[3, 64] Def: []
8: Use:[] Def: [65]
9: Use:[3, 65] Def: []
10: Use:[] Def: [66]
11: Use:[3, 66] Def: []
12: Use:[] Def: [67]
13: Use:[3, 67] Def: []
14: Use:[] Def: [68]
15: Use:[3, 68] Def: []
16: Use:[] Def: [69]
17: Use:[3, 69] Def: []
18: Use:[] Def: [70]
19: Use:[3, 70] Def: []
20: Use:[] Def: [5]
21: Use:[] Def: []
22: Use:[5] Def: [71]
23: Use:[71] Def: []
24: Use:[4, 5] Def: [72]
25: Use:[] Def: [73]
26: Use:[72, 73] Def: []
27: Use:[5] Def: [5]
28: Use:[] Def: []
29: Use:[] Def: []
30: Use:[4, 3] Def: []
31: Use:[4] Def: [8]
32: Use:[8] Def: [6]
33: Use:[6] Def: [7]
34: Use:[] Def: [74]
35: Use:[7, 8, 74] Def: [75]
36: Use:[75] Def: []
Live in/out
0: in: []; out: [3]
1: in: [3]; out: [3, 4]
2: in: [3, 4]; out: [3, 4, 62]
3: in: [3, 4, 62]; out: [3, 4]
4: in: [3, 4]; out: [3, 4, 63]
5: in: [3, 4, 63]; out: [3, 4]
6: in: [3, 4]; out: [3, 4, 64]
7: in: [3, 4, 64]; out: [3, 4]
8: in: [3, 4]; out: [3, 4, 65]
9: in: [3, 4, 65]; out: [3, 4]
10: in: [3, 4]; out: [3, 4, 66]
11: in: [3, 4, 66]; out: [3, 4]
12: in: [3, 4]; out: [3, 4, 67]
13: in: [3, 4, 67]; out: [3, 4]
14: in: [3, 4]; out: [3, 4, 68]
15: in: [3, 4, 68]; out: [3, 4]
16: in: [3, 4]; out: [3, 4, 69]
17: in: [3, 4, 69]; out: [3, 4]
18: in: [3, 4]; out: [3, 4, 70]
19: in: [3, 4, 70]; out: [3, 4]
20: in: [3, 4]; out: [3, 4, 5]
21: in: [3, 4, 5]; out: [3, 4, 5]
22: in: [3, 4, 5]; out: [3, 4, 5, 71]
23: in: [3, 4, 5, 71]; out: [3, 4, 5]
24: in: [3, 4, 5]; out: [3, 4, 5, 72]
25: in: [3, 4, 5, 72]; out: [3, 4, 5, 72, 73]
26: in: [3, 4, 5, 72, 73]; out: [3, 4, 5]
27: in: [3, 4, 5]; out: [3, 4, 5]
28: in: [3, 4, 5]; out: [3, 4, 5]
29: in: [3, 4]; out: [3, 4]
30: in: [3, 4]; out: [4]
31: in: [4]; out: [8]
32: in: [8]; out: [6, 8]
33: in: [6, 8]; out: [7, 8]
34: in: [7, 8]; out: [7, 8, 74]
35: in: [7, 8, 74]; out: [75]
36: in: [75]; out: []

Proc: PrimesClass_eq
Flow:
[0] -> [1]
[1] -> [2]
[2] -> [3]
[3] -> [4]
[4] -> [5]
Use/Def:
-2: Use:[] Def: [2]
-1: Use:[] Def: [1]
0: Use:[2, 1] Def: [76]
1: Use:[1, 2] Def: [77]
2: Use:[77] Def: [78]
3: Use:[76] Def: [79]
4: Use:[78, 79] Def: [80]
5: Use:[80] Def: []
Live in/out
0: in: [1, 2]; out: [1, 2, 76]
1: in: [1, 2, 76]; out: [76, 77]
2: in: [76, 77]; out: [76, 78]
3: in: [76, 78]; out: [78, 79]
4: in: [78, 79]; out: [80]
5: in: [80]; out: []

Proc: PrimesClass_div
Flow:
[0] -> [1]
[1] -> [2, 4]
[2] -> [3]
[3] -> [25]
[4] -> [5]
[5] -> [6]
[6] -> [7]
[7] -> [8]
[8] -> [9]
[9] -> [10]
[10] -> [11]
[11] -> [12, 14]
[12] -> [13]
[13] -> [23]
[14] -> [15]
[15] -> [16]
[16] -> [17]
[17] -> [18]
[18] -> [19]
[19] -> [20]
[20] -> [21]
[21] -> [22]
[22] -> [23]
[23] -> [24]
[24] -> [25]
[25] -> [26]
[26] -> [27]
Use/Def:
-2: Use:[] Def: [2]
-1: Use:[] Def: [1]
0: Use:[1, 2] Def: [81]
1: Use:[81] Def: []
2: Use:[] Def: [9]
3: Use:[] Def: []
4: Use:[] Def: []
5: Use:[] Def: []
6: Use:[0] Def: [12]
7: Use:[12] Def: [10]
8: Use:[10] Def: [11]
9: Use:[] Def: [82]
10: Use:[11, 12, 2, 82] Def: [83]
11: Use:[83] Def: []
12: Use:[1] Def: [9]
13: Use:[] Def: []
14: Use:[] Def: []
15: Use:[] Def: []
16: Use:[0] Def: [15]
17: Use:[15] Def: [13]
18: Use:[13] Def: [14]
19: Use:[1, 2] Def: [84]
20: Use:[] Def: [85]
21: Use:[14, 15, 84, 2] Def: [86]
22: Use:[85, 86] Def: [9]
23: Use:[] Def: []
24: Use:[] Def: []
25: Use:[] Def: []
26: Use:[] Def: []
27: Use:[9] Def: []
Live in/out
0: in: [0, 1, 2]; out: [0, 1, 2, 81]
1: in: [0, 1, 2, 81]; out: [0, 1, 2]
2: in: []; out: [9]
3: in: [9]; out: [9]
4: in: [0, 1, 2]; out: [0, 1, 2]
5: in: [0, 1, 2]; out: [0, 1, 2]
6: in: [0, 1, 2]; out: [0, 1, 2, 12]
7: in: [0, 1, 2, 12]; out: [0, 1, 2, 10, 12]
8: in: [0, 1, 2, 10, 12]; out: [0, 1, 2, 11, 12]
9: in: [0, 1, 2, 11, 12]; out: [0, 1, 2, 11, 12, 82]
10: in: [0, 1, 2, 11, 12, 82]; out: [0, 1, 2, 83]
11: in: [0, 1, 2, 83]; out: [0, 1, 2]
12: in: [1]; out: [9]
13: in: [9]; out: [9]
14: in: [0, 1, 2]; out: [0, 1, 2]
15: in: [0, 1, 2]; out: [0, 1, 2]
16: in: [0, 1, 2]; out: [1, 2, 15]
17: in: [1, 2, 15]; out: [1, 2, 13, 15]
18: in: [1, 2, 13, 15]; out: [1, 2, 14, 15]
19: in: [1, 2, 14, 15]; out: [2, 14, 15, 84]
20: in: [2, 14, 15, 84]; out: [2, 14, 15, 84, 85]
21: in: [2, 14, 15, 84, 85]; out: [85, 86]
22: in: [85, 86]; out: [9]
23: in: [9]; out: [9]
24: in: [9]; out: [9]
25: in: [9]; out: [9]
26: in: [9]; out: [9]
27: in: [9]; out: []

Proc: PrimesClass_rem
Flow:
[0] -> [1]
[1] -> [2]
[2] -> [3]
[3] -> [4]
[4] -> [5]
[5] -> [6]
Use/Def:
-2: Use:[] Def: [2]
-1: Use:[] Def: [1]
0: Use:[0] Def: [18]
1: Use:[18] Def: [16]
2: Use:[16] Def: [17]
3: Use:[17, 18, 2, 1] Def: [87]
4: Use:[1, 87] Def: [88]
5: Use:[2, 88] Def: [89]
6: Use:[89] Def: []
Live in/out
0: in: [0, 1, 2]; out: [1, 2, 18]
1: in: [1, 2, 18]; out: [1, 2, 16, 18]
2: in: [1, 2, 16, 18]; out: [1, 2, 17, 18]
3: in: [1, 2, 17, 18]; out: [1, 2, 87]
4: in: [1, 2, 87]; out: [2, 88]
5: in: [2, 88]; out: [89]
6: in: [89]; out: []

Proc: PrimesClass_dividess
Flow:
[0] -> [1]
[1] -> [2]
[2] -> [3]
[3] -> [4]
[4] -> [5]
[5] -> [6]
[6] -> [7]
[7] -> [8]
[8] -> [9]
Use/Def:
-2: Use:[] Def: [2]
-1: Use:[] Def: [1]
0: Use:[0] Def: [24]
1: Use:[24] Def: [22]
2: Use:[22] Def: [23]
3: Use:[0] Def: [21]
4: Use:[21] Def: [19]
5: Use:[19] Def: [20]
6: Use:[20, 21, 2, 1] Def: [90]
7: Use:[1, 90] Def: [91]
8: Use:[23, 24, 2, 91] Def: [92]
9: Use:[92] Def: []
Live in/out
0: in: [0, 1, 2]; out: [0, 1, 2, 24]
1: in: [0, 1, 2, 24]; out: [0, 1, 2, 22, 24]
2: in: [0, 1, 2, 22, 24]; out: [0, 1, 2, 23, 24]
3: in: [0, 1, 2, 23, 24]; out: [1, 2, 21, 23, 24]
4: in: [1, 2, 21, 23, 24]; out: [1, 2, 19, 21, 23, 24]
5: in: [1, 2, 19, 21, 23, 24]; out: [1, 2, 20, 21, 23, 24]
6: in: [1, 2, 20, 21, 23, 24]; out: [1, 2, 23, 24, 90]
7: in: [1, 2, 23, 24, 90]; out: [2, 23, 24, 91]
8: in: [2, 23, 24, 91]; out: [92]
9: in: [92]; out: []

Proc: PrimesClass_divides
Flow:
[0] -> [1]
[1] -> [2]
[2] -> [3]
[3] -> [4]
[4] -> [5]
[5] -> [6]
[6] -> [7, 27]
[7] -> [8]
[8] -> [9]
[9] -> [10, 12]
[10] -> [11]
[11] -> [24]
[12] -> [13]
[13] -> [14]
[14] -> [15]
[15] -> [16]
[16] -> [17, 19]
[17] -> [18]
[18] -> [22]
[19] -> [20]
[20] -> [21]
[21] -> [22]
[22] -> [23]
[23] -> [24]
[24] -> [25]
[25] -> [26]
[26] -> [2]
[27] -> [28]
[28] -> [29]
Use/Def:
-2: Use:[] Def: [2]
-1: Use:[] Def: [1]
0: Use:[] Def: [26]
1: Use:[] Def: [25]
2: Use:[] Def: []
3: Use:[25] Def: [93]
4: Use:[26, 2] Def: [94]
5: Use:[93, 94] Def: [95]
6: Use:[95] Def: []
7: Use:[26, 1] Def: [96]
8: Use:[96, 2] Def: [97]
9: Use:[97] Def: []
10: Use:[26] Def: [26]
11: Use:[] Def: []
12: Use:[] Def: []
13: Use:[] Def: []
14: Use:[26, 1] Def: [98]
15: Use:[2, 98] Def: [99]
16: Use:[99] Def: []
17: Use:[2] Def: [26]
18: Use:[] Def: []
19: Use:[] Def: []
20: Use:[] Def: []
21: Use:[] Def: [25]
22: Use:[] Def: []
23: Use:[] Def: []
24: Use:[] Def: []
25: Use:[] Def: []
26: Use:[] Def: []
27: Use:[] Def: []
28: Use:[] Def: []
29: Use:[25] Def: []
Live in/out
0: in: [1, 2]; out: [1, 2, 26]
1: in: [1, 2, 26]; out: [1, 2, 25, 26]
2: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
3: in: [1, 2, 25, 26]; out: [1, 2, 25, 26, 93]
4: in: [1, 2, 25, 26, 93]; out: [1, 2, 25, 26, 93, 94]
5: in: [1, 2, 25, 26, 93, 94]; out: [1, 2, 25, 26, 95]
6: in: [1, 2, 25, 26, 95]; out: [1, 2, 25, 26]
7: in: [1, 2, 25, 26]; out: [1, 2, 25, 26, 96]
8: in: [1, 2, 25, 26, 96]; out: [1, 2, 25, 26, 97]
9: in: [1, 2, 25, 26, 97]; out: [1, 2, 25, 26]
10: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
11: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
12: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
13: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
14: in: [1, 2, 25, 26]; out: [1, 2, 25, 26, 98]
15: in: [1, 2, 25, 26, 98]; out: [1, 2, 25, 26, 99]
16: in: [1, 2, 25, 26, 99]; out: [1, 2, 25, 26]
17: in: [1, 2, 25]; out: [1, 2, 25, 26]
18: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
19: in: [1, 2, 26]; out: [1, 2, 26]
20: in: [1, 2, 26]; out: [1, 2, 26]
21: in: [1, 2, 26]; out: [1, 2, 25, 26]
22: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
23: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
24: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
25: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
26: in: [1, 2, 25, 26]; out: [1, 2, 25, 26]
27: in: [25]; out: [25]
28: in: [25]; out: [25]
29: in: [25]; out: []

Proc: PrimesClass_hcf
Flow:
[0] -> [1]
[1] -> [2, 7]
[2] -> [3]
[3] -> [4]
[4] -> [5]
[5] -> [6]
[6] -> [22]
[7] -> [8]
[8] -> [9]
[9] -> [10]
[10] -> [11, 13]
[11] -> [12]
[12] -> [20]
[13] -> [14]
[14] -> [15]
[15] -> [16]
[16] -> [17]
[17] -> [18]
[18] -> [19]
[19] -> [20]
[20] -> [21]
[21] -> [22]
[22] -> [23]
[23] -> [24]
Use/Def:
-2: Use:[] Def: [2]
-1: Use:[] Def: [1]
0: Use:[1, 2] Def: [100]
1: Use:[100] Def: []
2: Use:[0] Def: [30]
3: Use:[30] Def: [28]
4: Use:[28] Def: [29]
5: Use:[29, 30, 2, 1] Def: [27]
6: Use:[] Def: []
7: Use:[] Def: []
8: Use:[] Def: []
9: Use:[2] Def: [101]
10: Use:[101] Def: []
11: Use:[1] Def: [27]
12: Use:[] Def: []
13: Use:[] Def: []
14: Use:[] Def: []
15: Use:[0] Def: [33]
16: Use:[33] Def: [31]
17: Use:[31] Def: [32]
18: Use:[1, 2] Def: [102]
19: Use:[32, 33, 2, 102] Def: [27]
20: Use:[] Def: []
21: Use:[] Def: []
22: Use:[] Def: []
23: Use:[] Def: []
24: Use:[27] Def: []
Live in/out
0: in: [0, 1, 2]; out: [0, 1, 2, 100]
1: in: [0, 1, 2, 100]; out: [0, 1, 2]
2: in: [0, 1, 2]; out: [1, 2, 30]
3: in: [1, 2, 30]; out: [1, 2, 28, 30]
4: in: [1, 2, 28, 30]; out: [1, 2, 29, 30]
5: in: [1, 2, 29, 30]; out: [27]
6: in: [27]; out: [27]
7: in: [0, 1, 2]; out: [0, 1, 2]
8: in: [0, 1, 2]; out: [0, 1, 2]
9: in: [0, 1, 2]; out: [0, 1, 2, 101]
10: in: [0, 1, 2, 101]; out: [0, 1, 2]
11: in: [1]; out: [27]
12: in: [27]; out: [27]
13: in: [0, 1, 2]; out: [0, 1, 2]
14: in: [0, 1, 2]; out: [0, 1, 2]
15: in: [0, 1, 2]; out: [1, 2, 33]
16: in: [1, 2, 33]; out: [1, 2, 31, 33]
17: in: [1, 2, 31, 33]; out: [1, 2, 32, 33]
18: in: [1, 2, 32, 33]; out: [2, 32, 33, 102]
19: in: [2, 32, 33, 102]; out: [27]
20: in: [27]; out: [27]
21: in: [27]; out: [27]
22: in: [27]; out: [27]
23: in: [27]; out: [27]
24: in: [27]; out: []

Proc: PrimesClass_isprime
Flow:
[0] -> [1]
[1] -> [2]
[2] -> [3]
[3] -> [4]
[4] -> [5]
[5] -> [6]
[6] -> [7]
[7] -> [8]
[8] -> [9, 36]
[9] -> [10]
[10] -> [11]
[11] -> [12]
[12] -> [13]
[13] -> [14]
[14] -> [15]
[15] -> [16]
[16] -> [17]
[17] -> [18]
[18] -> [19, 20]
[20] -> [21]
[21] -> [22]
[22] -> [23]
[23] -> [24]
[24] -> [25, 26]
[26] -> [27]
[27] -> [28]
[28] -> [29]
[29] -> [30]
[30] -> [31]
[31] -> [32]
[32] -> [33]
[33] -> [34]
[34] -> [35]
[35] -> [2]
[36] -> [37]
[37] -> [38]
Use/Def:
-1: Use:[] Def: [1]
0: Use:[] Def: [34]
1: Use:[] Def: [35]
2: Use:[] Def: []
3: Use:[0] Def: [36]
4: Use:[35, 36] Def: [103]
5: Use:[34, 103] Def: [104]
6: Use:[35, 1] Def: [105]
7: Use:[104, 105] Def: [106]
8: Use:[106] Def: []
9: Use:[0] Def: [44]
10: Use:[44] Def: [42]
11: Use:[42] Def: [43]
12: Use:[35] Def: [38]
13: Use:[0] Def: [41]
14: Use:[41] Def: [39]
15: Use:[] Def: [107]
16: Use:[38, 39] Def: [108]
17: Use:[107, 108] Def: [109]
18: Use:[109] Def: []
19: Use:[] Def: []
20: Use:[] Def: []
21: Use:[] Def: []
22: Use:[0] Def: [41]
23: Use:[41] Def: [110]
24: Use:[110] Def: []
25: Use:[] Def: []
26: Use:[] Def: []
27: Use:[] Def: []
28: Use:[38] Def: [111]
29: Use:[41, 111] Def: [112]
30: Use:[112] Def: [40]
31: Use:[43, 44, 40, 1] Def: [113]
32: Use:[113] Def: [114]
33: Use:[34, 114] Def: [34]
34: Use:[35] Def: [35]
35: Use:[] Def: []
36: Use:[] Def: []
37: Use:[] Def: []
38: Use:[34] Def: []
Live in/out
0: in: [0, 1]; out: [0, 1, 34]
1: in: [0, 1, 34]; out: [0, 1, 34, 35]
2: in: [0, 1, 34, 35]; out: [0, 1, 34, 35]
3: in: [0, 1, 34, 35]; out: [0, 1, 34, 35, 36]
4: in: [0, 1, 34, 35, 36]; out: [0, 1, 34, 35, 103]
5: in: [0, 1, 34, 35, 103]; out: [0, 1, 34, 35, 104]
6: in: [0, 1, 34, 35, 104]; out: [0, 1, 34, 35, 104, 105]
7: in: [0, 1, 34, 35, 104, 105]; out: [0, 1, 34, 35, 106]
8: in: [0, 1, 34, 35, 106]; out: [0, 1, 34, 35]
9: in: [0, 1, 34, 35]; out: [0, 1, 34, 35, 44]
10: in: [0, 1, 34, 35, 44]; out: [0, 1, 34, 35, 42, 44]
11: in: [0, 1, 34, 35, 42, 44]; out: [0, 1, 34, 35, 43, 44]
12: in: [0, 1, 34, 35, 43, 44]; out: [0, 1, 34, 35, 38, 43, 44]
13: in: [0, 1, 34, 35, 38, 43, 44]; out: [0, 1, 34, 35, 38, 41, 43, 44]
14: in: [0, 1, 34, 35, 38, 41, 43, 44]; out: [0, 1, 34, 35, 38, 39, 43, 44]
15: in: [0, 1, 34, 35, 38, 39, 43, 44]; out: [0, 1, 34, 35, 38, 39, 43, 44, 107]
16: in: [0, 1, 34, 35, 38, 39, 43, 44, 107]; out: [0, 1, 34, 35, 38, 43, 44, 107, 108]
17: in: [0, 1, 34, 35, 38, 43, 44, 107, 108]; out: [0, 1, 34, 35, 38, 43, 44, 109]
18: in: [0, 1, 34, 35, 38, 43, 44, 109]; out: [0, 1, 34, 35, 38, 43, 44]
19: in: []; out: []
20: in: [0, 1, 34, 35, 38, 43, 44]; out: [0, 1, 34, 35, 38, 43, 44]
21: in: [0, 1, 34, 35, 38, 43, 44]; out: [0, 1, 34, 35, 38, 43, 44]
22: in: [0, 1, 34, 35, 38, 43, 44]; out: [0, 1, 34, 35, 38, 41, 43, 44]
23: in: [0, 1, 34, 35, 38, 41, 43, 44]; out: [0, 1, 34, 35, 38, 41, 43, 44, 110]
24: in: [0, 1, 34, 35, 38, 41, 43, 44, 110]; out: [0, 1, 34, 35, 38, 41, 43, 44]
25: in: []; out: []
26: in: [0, 1, 34, 35, 38, 41, 43, 44]; out: [0, 1, 34, 35, 38, 41, 43, 44]
27: in: [0, 1, 34, 35, 38, 41, 43, 44]; out: [0, 1, 34, 35, 38, 41, 43, 44]
28: in: [0, 1, 34, 35, 38, 41, 43, 44]; out: [0, 1, 34, 35, 41, 43, 44, 111]
29: in: [0, 1, 34, 35, 41, 43, 44, 111]; out: [0, 1, 34, 35, 43, 44, 112]
30: in: [0, 1, 34, 35, 43, 44, 112]; out: [0, 1, 34, 35, 40, 43, 44]
31: in: [0, 1, 34, 35, 40, 43, 44]; out: [0, 1, 34, 35, 113]
32: in: [0, 1, 34, 35, 113]; out: [0, 1, 34, 35, 114]
33: in: [0, 1, 34, 35, 114]; out: [0, 1, 34, 35]
34: in: [0, 1, 34, 35]; out: [0, 1, 34, 35]
35: in: [0, 1, 34, 35]; out: [0, 1, 34, 35]
36: in: [34]; out: [34]
37: in: [34]; out: [34]
38: in: [34]; out: []

Proc: PrimesClass_primes
Flow:
[0] -> [1]
[1] -> [2]
[2] -> [3]
[3] -> [4]
[4] -> [5, 49]
[5] -> [6]
[6] -> [7]
[7] -> [8]
[8] -> [9]
[9] -> [10, 43]
[10] -> [11]
[11] -> [12]
[12] -> [13]
[13] -> [14]
[14] -> [15]
[15] -> [16]
[16] -> [17]
[17] -> [18]
[18] -> [19]
[19] -> [20]
[20] -> [21, 22]
[22] -> [23]
[23] -> [24]
[24] -> [25]
[25] -> [26]
[26] -> [27]
[27] -> [28]
[28] -> [29]
[29] -> [30, 31]
[31] -> [32]
[32] -> [33]
[33] -> [34]
[34] -> [35]
[35] -> [36]
[36] -> [37]
[37] -> [38]
[38] -> [39]
[39] -> [40]
[40] -> [41]
[41] -> [42]
[42] -> [46]
[43] -> [44]
[44] -> [45]
[45] -> [46]
[46] -> [47]
[47] -> [48]
[48] -> [2]
[49] -> [50]
[50] -> [51]
Use/Def:
-1: Use:[] Def: [1]
0: Use:[] Def: [45]
1: Use:[] Def: [46]
2: Use:[] Def: []
3: Use:[46, 1] Def: [115]
4: Use:[115] Def: []
5: Use:[0] Def: [49]
6: Use:[49] Def: [47]
7: Use:[47] Def: [48]
8: Use:[48, 49, 46] Def: [116]
9: Use:[116] Def: []
10: Use:[0] Def: [50]
11: Use:[50] Def: [51]
12: Use:[] Def: [117]
13: Use:[117] Def: [52]
14: Use:[0, 52] Def: [118]
15: Use:[118] Def: [54]
16: Use:[54] Def: [53]
17: Use:[] Def: [119]
18: Use:[51, 53] Def: [120]
19: Use:[119, 120] Def: [121]
20: Use:[121] Def: []
21: Use:[] Def: []
22: Use:[] Def: []
23: Use:[] Def: []
24: Use:[] Def: [122]
25: Use:[122] Def: [52]
26: Use:[0, 52] Def: [123]
27: Use:[123] Def: [54]
28: Use:[54] Def: [124]
29: Use:[124] Def: []
30: Use:[] Def: []
31: Use:[] Def: []
32: Use:[] Def: []
33: Use:[51] Def: [125]
34: Use:[54, 125] Def: [126]
35: Use:[126, 46] Def: []
36: Use:[0] Def: [55]
37: Use:[55] Def: [127]
38: Use:[0, 127] Def: []
39: Use:[46] Def: []
40: Use:[46] Def: [46]
41: Use:[45] Def: [45]
42: Use:[] Def: []
43: Use:[] Def: []
44: Use:[] Def: []
45: Use:[46] Def: [46]
46: Use:[] Def: []
47: Use:[] Def: []
48: Use:[] Def: []
49: Use:[] Def: []
50: Use:[] Def: []
51: Use:[45] Def: []
Live in/out
0: in: [0, 1]; out: [0, 1, 45]
1: in: [0, 1, 45]; out: [0, 1, 45, 46]
2: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
3: in: [0, 1, 45, 46]; out: [0, 1, 45, 46, 115]
4: in: [0, 1, 45, 46, 115]; out: [0, 1, 45, 46]
5: in: [0, 1, 45, 46]; out: [0, 1, 45, 46, 49]
6: in: [0, 1, 45, 46, 49]; out: [0, 1, 45, 46, 47, 49]
7: in: [0, 1, 45, 46, 47, 49]; out: [0, 1, 45, 46, 48, 49]
8: in: [0, 1, 45, 46, 48, 49]; out: [0, 1, 45, 46, 116]
9: in: [0, 1, 45, 46, 116]; out: [0, 1, 45, 46]
10: in: [0, 1, 45, 46]; out: [0, 1, 45, 46, 50]
11: in: [0, 1, 45, 46, 50]; out: [0, 1, 45, 46, 51]
12: in: [0, 1, 45, 46, 51]; out: [0, 1, 45, 46, 51, 117]
13: in: [0, 1, 45, 46, 51, 117]; out: [0, 1, 45, 46, 51, 52]
14: in: [0, 1, 45, 46, 51, 52]; out: [0, 1, 45, 46, 51, 118]
15: in: [0, 1, 45, 46, 51, 118]; out: [0, 1, 45, 46, 51, 54]
16: in: [0, 1, 45, 46, 51, 54]; out: [0, 1, 45, 46, 51, 53]
17: in: [0, 1, 45, 46, 51, 53]; out: [0, 1, 45, 46, 51, 53, 119]
18: in: [0, 1, 45, 46, 51, 53, 119]; out: [0, 1, 45, 46, 51, 119, 120]
19: in: [0, 1, 45, 46, 51, 119, 120]; out: [0, 1, 45, 46, 51, 121]
20: in: [0, 1, 45, 46, 51, 121]; out: [0, 1, 45, 46, 51]
21: in: []; out: []
22: in: [0, 1, 45, 46, 51]; out: [0, 1, 45, 46, 51]
23: in: [0, 1, 45, 46, 51]; out: [0, 1, 45, 46, 51]
24: in: [0, 1, 45, 46, 51]; out: [0, 1, 45, 46, 51, 122]
25: in: [0, 1, 45, 46, 51, 122]; out: [0, 1, 45, 46, 51, 52]
26: in: [0, 1, 45, 46, 51, 52]; out: [0, 1, 45, 46, 51, 123]
27: in: [0, 1, 45, 46, 51, 123]; out: [0, 1, 45, 46, 51, 54]
28: in: [0, 1, 45, 46, 51, 54]; out: [0, 1, 45, 46, 51, 54, 124]
29: in: [0, 1, 45, 46, 51, 54, 124]; out: [0, 1, 45, 46, 51, 54]
30: in: []; out: []
31: in: [0, 1, 45, 46, 51, 54]; out: [0, 1, 45, 46, 51, 54]
32: in: [0, 1, 45, 46, 51, 54]; out: [0, 1, 45, 46, 51, 54]
33: in: [0, 1, 45, 46, 51, 54]; out: [0, 1, 45, 46, 54, 125]
34: in: [0, 1, 45, 46, 54, 125]; out: [0, 1, 45, 46, 126]
35: in: [0, 1, 45, 46, 126]; out: [0, 1, 45, 46]
36: in: [0, 1, 45, 46]; out: [0, 1, 45, 46, 55]
37: in: [0, 1, 45, 46, 55]; out: [0, 1, 45, 46, 127]
38: in: [0, 1, 45, 46, 127]; out: [0, 1, 45, 46]
39: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
40: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
41: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
42: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
43: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
44: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
45: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
46: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
47: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
48: in: [0, 1, 45, 46]; out: [0, 1, 45, 46]
49: in: [45]; out: [45]
50: in: [45]; out: [45]
51: in: [45]; out: []

Proc: PrimesClass_test_it
Flow:
[0] -> [1]
[1] -> [2, 3]
[3] -> [4]
[4] -> [5]
[5] -> [6]
[6] -> [7]
[7] -> [8]
[8] -> [9]
[9] -> [10]
[10] -> [11]
[11] -> [12]
[12] -> [13, 18]
[13] -> [14]
[14] -> [15]
[15] -> [16]
[16] -> [17]
[17] -> [8]
[18] -> [19]
[19] -> [20]
[20] -> [21]
[21] -> [22]
[22] -> [23]
[23] -> [24]
[24] -> [25]
[25] -> [26]
[26] -> [27]
[27] -> [28]
[28] -> [29]
Use/Def:
-1: Use:[] Def: [1]
0: Use:[1] Def: [128]
1: Use:[128] Def: []
2: Use:[] Def: []
3: Use:[] Def: []
4: Use:[1] Def: [129]
5: Use:[129] Def: [130]
6: Use:[130] Def: [57]
7: Use:[] Def: [58]
8: Use:[] Def: []
9: Use:[1] Def: [131]
10: Use:[131] Def: [132]
11: Use:[58, 132] Def: [133]
12: Use:[133] Def: []
13: Use:[57, 58] Def: [134]
14: Use:[] Def: [135]
15: Use:[134, 135] Def: []
16: Use:[58] Def: [58]
17: Use:[] Def: []
18: Use:[] Def: []
19: Use:[1] Def: [136]
20: Use:[57, 136] Def: []
21: Use:[0, 57] Def: []
22: Use:[] Def: [137]
23: Use:[0, 137] Def: []
24: Use:[0] Def: [61]
25: Use:[61] Def: [59]
26: Use:[59] Def: [60]
27: Use:[60, 61, 1] Def: [56]
28: Use:[] Def: []
29: Use:[56] Def: []
Live in/out
0: in: [0, 1]; out: [0, 1, 128]
1: in: [0, 1, 128]; out: [0, 1]
2: in: []; out: []
3: in: [0, 1]; out: [0, 1]
4: in: [0, 1]; out: [0, 1, 129]
5: in: [0, 1, 129]; out: [0, 1, 130]
6: in: [0, 1, 130]; out: [0, 1, 57]
7: in: [0, 1, 57]; out: [0, 1, 57, 58]
8: in: [0, 1, 57, 58]; out: [0, 1, 57, 58]
9: in: [0, 1, 57, 58]; out: [0, 1, 57, 58, 131]
10: in: [0, 1, 57, 58, 131]; out: [0, 1, 57, 58, 132]
11: in: [0, 1, 57, 58, 132]; out: [0, 1, 57, 58, 133]
12: in: [0, 1, 57, 58, 133]; out: [0, 1, 57, 58]
13: in: [0, 1, 57, 58]; out: [0, 1, 57, 58, 134]
14: in: [0, 1, 57, 58, 134]; out: [0, 1, 57, 58, 134, 135]
15: in: [0, 1, 57, 58, 134, 135]; out: [0, 1, 57, 58]
16: in: [0, 1, 57, 58]; out: [0, 1, 57, 58]
17: in: [0, 1, 57, 58]; out: [0, 1, 57, 58]
18: in: [0, 1, 57]; out: [0, 1, 57]
19: in: [0, 1, 57]; out: [0, 1, 57, 136]
20: in: [0, 1, 57, 136]; out: [0, 1, 57]
21: in: [0, 1, 57]; out: [0, 1]
22: in: [0, 1]; out: [0, 1, 137]
23: in: [0, 1, 137]; out: [0, 1]
24: in: [0, 1]; out: [1, 61]
25: in: [1, 61]; out: [1, 59, 61]
26: in: [1, 59, 61]; out: [1, 60, 61]
27: in: [1, 60, 61]; out: [56]
28: in: [56]; out: [56]
29: in: [56]; out: []

** TreeVisitor.spg

(Nur die letzten Procs, weil zu viel fürs Forum)

Proc: Visitor_visit
Flow:
[0] -> [1]
[1] -> [2]
[2] -> [3]
[3] -> [4]
[4] -> [5, 17]
[5] -> [6]
[6] -> [7]
[7] -> [8]
[8] -> [9]
[9] -> [10]
[10] -> [11]
[11] -> [12]
[12] -> [13]
[13] -> [14]
[14] -> [15]
[15] -> [16]
[16] -> [19]
[17] -> [18]
[18] -> [19]
[19] -> [20]
[20] -> [21]
[21] -> [22]
[22] -> [23]
[23] -> [24]
[24] -> [25, 37]
[25] -> [26]
[26] -> [27]
[27] -> [28]
[28] -> [29]
[29] -> [30]
[30] -> [31]
[31] -> [32]
[32] -> [33]
[33] -> [34]
[34] -> [35]
[35] -> [36]
[36] -> [39]
[37] -> [38]
[38] -> [39]
[39] -> [40]
[40] -> [41]
Use/Def:
-1: Use:[] Def: [1]
0: Use:[1] Def: [328]
1: Use:[328] Def: [326]
2: Use:[326] Def: [327]
3: Use:[327, 328] Def: [562]
4: Use:[562] Def: []
5: Use:[1] Def: [331]
6: Use:[331] Def: [329]
7: Use:[329] Def: [330]
8: Use:[330, 331] Def: [563]
9: Use:[0, 563] Def: []
10: Use:[0] Def: [335]
11: Use:[335] Def: [334]
12: Use:[334] Def: [332]
13: Use:[332] Def: [333]
14: Use:[333, 334, 0] Def: [564]
15: Use:[564] Def: [51]
16: Use:[] Def: []
17: Use:[] Def: []
18: Use:[] Def: [51]
19: Use:[] Def: []
20: Use:[1] Def: [339]
21: Use:[339] Def: [337]
22: Use:[337] Def: [338]
23: Use:[338, 339] Def: [565]
24: Use:[565] Def: []
25: Use:[1] Def: [342]
26: Use:[342] Def: [340]
27: Use:[340] Def: [341]
28: Use:[341, 342] Def: [566]
29: Use:[0, 566] Def: []
30: Use:[0] Def: [346]
31: Use:[346] Def: [345]
32: Use:[345] Def: [343]
33: Use:[343] Def: [344]
34: Use:[344, 345, 0] Def: [567]
35: Use:[567] Def: [51]
36: Use:[] Def: []
37: Use:[] Def: []
38: Use:[] Def: [51]
39: Use:[] Def: []
40: Use:[] Def: [568]
41: Use:[568] Def: []
Live in/out
0: in: [0, 1]; out: [0, 1, 328]
1: in: [0, 1, 328]; out: [0, 1, 326, 328]
2: in: [0, 1, 326, 328]; out: [0, 1, 327, 328]
3: in: [0, 1, 327, 328]; out: [0, 1, 562]
4: in: [0, 1, 562]; out: [0, 1]
5: in: [0, 1]; out: [0, 1, 331]
6: in: [0, 1, 331]; out: [0, 1, 329, 331]
7: in: [0, 1, 329, 331]; out: [0, 1, 330, 331]
8: in: [0, 1, 330, 331]; out: [0, 1, 563]
9: in: [0, 1, 563]; out: [0, 1]
10: in: [0, 1]; out: [0, 1, 335]
11: in: [0, 1, 335]; out: [0, 1, 334]
12: in: [0, 1, 334]; out: [0, 1, 332, 334]
13: in: [0, 1, 332, 334]; out: [0, 1, 333, 334]
14: in: [0, 1, 333, 334]; out: [0, 1, 564]
15: in: [0, 1, 564]; out: [0, 1]
16: in: [0, 1]; out: [0, 1]
17: in: [0, 1]; out: [0, 1]
18: in: [0, 1]; out: [0, 1]
19: in: [0, 1]; out: [0, 1]
20: in: [0, 1]; out: [0, 1, 339]
21: in: [0, 1, 339]; out: [0, 1, 337, 339]
22: in: [0, 1, 337, 339]; out: [0, 1, 338, 339]
23: in: [0, 1, 338, 339]; out: [0, 1, 565]
24: in: [0, 1, 565]; out: [0, 1]
25: in: [0, 1]; out: [0, 342]
26: in: [0, 342]; out: [0, 340, 342]
27: in: [0, 340, 342]; out: [0, 341, 342]
28: in: [0, 341, 342]; out: [0, 566]
29: in: [0, 566]; out: [0]
30: in: [0]; out: [0, 346]
31: in: [0, 346]; out: [0, 345]
32: in: [0, 345]; out: [0, 343, 345]
33: in: [0, 343, 345]; out: [0, 344, 345]
34: in: [0, 344, 345]; out: [567]
35: in: [567]; out: []
36: in: []; out: []
37: in: []; out: []
38: in: []; out: []
39: in: []; out: []
40: in: []; out: [568]
41: in: [568]; out: []

Proc: MyVisitor_visit
Flow:
[0] -> [1]
[1] -> [2]
[2] -> [3]
[3] -> [4]
[4] -> [5, 17]
[5] -> [6]
[6] -> [7]
[7] -> [8]
[8] -> [9]
[9] -> [10]
[10] -> [11]
[11] -> [12]
[12] -> [13]
[13] -> [14]
[14] -> [15]
[15] -> [16]
[16] -> [19]
[17] -> [18]
[18] -> [19]
[19] -> [20]
[20] -> [21]
[21] -> [22]
[22] -> [23]
[23] -> [24]
[24] -> [25]
[25] -> [26]
[26] -> [27]
[27] -> [28]
[28] -> [29]
[29] -> [30, 42]
[30] -> [31]
[31] -> [32]
[32] -> [33]
[33] -> [34]
[34] -> [35]
[35] -> [36]
[36] -> [37]
[37] -> [38]
[38] -> [39]
[39] -> [40]
[40] -> [41]
[41] -> [44]
[42] -> [43]
[43] -> [44]
[44] -> [45]
[45] -> [46]
Use/Def:
-1: Use:[] Def: [1]
0: Use:[1] Def: [350]
1: Use:[350] Def: [348]
2: Use:[348] Def: [349]
3: Use:[349, 350] Def: [569]
4: Use:[569] Def: []
5: Use:[1] Def: [353]
6: Use:[353] Def: [351]
7: Use:[351] Def: [352]
8: Use:[352, 353] Def: [570]
9: Use:[0, 570] Def: []
10: Use:[0] Def: [357]
11: Use:[357] Def: [356]
12: Use:[356] Def: [354]
13: Use:[354] Def: [355]
14: Use:[355, 356, 0] Def: [571]
15: Use:[571] Def: [52]
16: Use:[] Def: []
17: Use:[] Def: []
18: Use:[] Def: [52]
19: Use:[] Def: []
20: Use:[1] Def: [361]
21: Use:[361] Def: [359]
22: Use:[359] Def: [360]
23: Use:[360, 361] Def: [572]
24: Use:[572] Def: []
25: Use:[1] Def: [364]
26: Use:[364] Def: [362]
27: Use:[362] Def: [363]
28: Use:[363, 364] Def: [573]
29: Use:[573] Def: []
30: Use:[1] Def: [367]
31: Use:[367] Def: [365]
32: Use:[365] Def: [366]
33: Use:[366, 367] Def: [574]
34: Use:[0, 574] Def: []
35: Use:[0] Def: [371]
36: Use:[371] Def: [370]
37: Use:[370] Def: [368]
38: Use:[368] Def: [369]
39: Use:[369, 370, 0] Def: [575]
40: Use:[575] Def: [52]
41: Use:[] Def: []
42: Use:[] Def: []
43: Use:[] Def: [52]
44: Use:[] Def: []
45: Use:[] Def: [576]
46: Use:[576] Def: []
Live in/out
0: in: [0, 1]; out: [0, 1, 350]
1: in: [0, 1, 350]; out: [0, 1, 348, 350]
2: in: [0, 1, 348, 350]; out: [0, 1, 349, 350]
3: in: [0, 1, 349, 350]; out: [0, 1, 569]
4: in: [0, 1, 569]; out: [0, 1]
5: in: [0, 1]; out: [0, 1, 353]
6: in: [0, 1, 353]; out: [0, 1, 351, 353]
7: in: [0, 1, 351, 353]; out: [0, 1, 352, 353]
8: in: [0, 1, 352, 353]; out: [0, 1, 570]
9: in: [0, 1, 570]; out: [0, 1]
10: in: [0, 1]; out: [0, 1, 357]
11: in: [0, 1, 357]; out: [0, 1, 356]
12: in: [0, 1, 356]; out: [0, 1, 354, 356]
13: in: [0, 1, 354, 356]; out: [0, 1, 355, 356]
14: in: [0, 1, 355, 356]; out: [0, 1, 571]
15: in: [0, 1, 571]; out: [0, 1]
16: in: [0, 1]; out: [0, 1]
17: in: [0, 1]; out: [0, 1]
18: in: [0, 1]; out: [0, 1]
19: in: [0, 1]; out: [0, 1]
20: in: [0, 1]; out: [0, 1, 361]
21: in: [0, 1, 361]; out: [0, 1, 359, 361]
22: in: [0, 1, 359, 361]; out: [0, 1, 360, 361]
23: in: [0, 1, 360, 361]; out: [0, 1, 572]
24: in: [0, 1, 572]; out: [0, 1]
25: in: [0, 1]; out: [0, 1, 364]
26: in: [0, 1, 364]; out: [0, 1, 362, 364]
27: in: [0, 1, 362, 364]; out: [0, 1, 363, 364]
28: in: [0, 1, 363, 364]; out: [0, 1, 573]
29: in: [0, 1, 573]; out: [0, 1]
30: in: [0, 1]; out: [0, 367]
31: in: [0, 367]; out: [0, 365, 367]
32: in: [0, 365, 367]; out: [0, 366, 367]
33: in: [0, 366, 367]; out: [0, 574]
34: in: [0, 574]; out: [0]
35: in: [0]; out: [0, 371]
36: in: [0, 371]; out: [0, 370]
37: in: [0, 370]; out: [0, 368, 370]
38: in: [0, 368, 370]; out: [0, 369, 370]
39: in: [0, 369, 370]; out: [575]
40: in: [575]; out: []
41: in: []; out: []
42: in: []; out: []
43: in: []; out: []
44: in: []; out: []
45: in: []; out: [576]
46: in: [576]; out: []

procedure-name = Main
0 ; use = {}; def = {24, }; liveIn = {}; liveOut = {24, }}
1 ; use = {}; def = {25, }; liveIn = {24, }; liveOut = {24, 25, }}
2 ; use = {}; def = {30, }; liveIn = {24, 25, }; liveOut = {30, 24, 25, }}
3 ; use = {30, 24, }; def = {}; liveIn = {30, 24, 25, }; liveOut = {24, 25, }}
4 ; use = {24, 25, }; def = {}; liveIn = {24, 25, }; liveOut = {25, }}
5 ; use = {25, }; def = {23, }; liveIn = {25, }; liveOut = {23, }}
6 ; use = {23, }; def = {21, }; liveIn = {23, }; liveOut = {21, 23, }}
7 ; use = {21, }; def = {22, }; liveIn = {21, 23, }; liveOut = {22, 23, }}
8 ; use = {}; def = {31, }; liveIn = {22, 23, }; liveOut = {31, 22, 23, }}
9 ; use = {31, 22, 23, }; def = {32, }; liveIn = {31, 22, 23, }; liveOut = {32, }}
10 ; use = {32, }; def = {}; liveIn = {32, }; liveOut = {}}
----------------
procedure-name = Fac_ComputeFac
1011 ; use = {}; def = {33, }; liveIn = {1, 0, }; liveOut = {1, 0, 33, }}
1012 ; use = {1, 33, }; def = {34, }; liveIn = {1, 0, 33, }; liveOut = {1, 0, 34, }}
1013 ; use = {34, }; def = {}; liveIn = {1, 0, 34, }; liveOut = {1, 0, }}
1014 ; use = {}; def = {20, }; liveIn = {}; liveOut = {20, }}
1015 ; use = {}; def = {}; liveIn = {20, }; liveOut = {20, }}
1016 ; use = {}; def = {}; liveIn = {1, 0, }; liveOut = {1, 0, }}
1017 ; use = {0, }; def = {29, }; liveIn = {1, 0, }; liveOut = {1, 29, }}
1018 ; use = {29, }; def = {27, }; liveIn = {1, 29, }; liveOut = {1, 27, 29, }}
1019 ; use = {27, }; def = {28, }; liveIn = {1, 27, 29, }; liveOut = {1, 28, 29, }}
1020 ; use = {}; def = {35, }; liveIn = {1, 28, 29, }; liveOut = {1, 35, 28, 29, }}
1021 ; use = {1, 35, }; def = {36, }; liveIn = {1, 35, 28, 29, }; liveOut = {1, 36, 28, 29, }}
1022 ; use = {36, 28, 29, }; def = {37, }; liveIn = {1, 36, 28, 29, }; liveOut = {1, 37, }}
1023 ; use = {1, 37, }; def = {38, }; liveIn = {1, 37, }; liveOut = {38, }}
1024 ; use = {38, }; def = {20, }; liveIn = {38, }; liveOut = {20, }}
1025 ; use = {}; def = {}; liveIn = {20, }; liveOut = {20, }}
1010 ; use = {}; def = {1, }; liveIn = {0, }; liveOut = {1, 0, }}
1009 ; use = {}; def = {0, }; liveIn = {1, }; liveOut = {1, 0, }}
1026 ; use = {20, }; def = {}; liveIn = {20, }; liveOut = {}}

----------------
procedure-name = PrimesClass_primes
8175 ; use = {}; def = {45, }; liveIn = {1, 0, }; liveOut = {1, 0, 45, }}
8176 ; use = {}; def = {46, }; liveIn = {1, 0, 45, }; liveOut = {1, 0, 45, 46, }}
8177 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8178 ; use = {1, 46, }; def = {115, }; liveIn = {1, 0, 45, 46, }; liveOut = {1, 115, 0, 45, 46, }}
8179 ; use = {115, }; def = {}; liveIn = {1, 0, 115, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8180 ; use = {0, }; def = {49, }; liveIn = {1, 0, 45, 46, }; liveOut = {49, 1, 0, 45, 46, }}
8181 ; use = {49, }; def = {47, }; liveIn = {49, 1, 0, 45, 46, }; liveOut = {49, 1, 0, 45, 47, 46, }}
8182 ; use = {47, }; def = {48, }; liveIn = {49, 1, 0, 45, 47, 46, }; liveOut = {49, 48, 1, 0, 45, 46, }}
8183 ; use = {49, 48, 46, }; def = {116, }; liveIn = {49, 48, 1, 0, 45, 46, }; liveOut = {116, 1, 0, 45, 46, }}
8184 ; use = {116, }; def = {}; liveIn = {116, 1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8185 ; use = {0, }; def = {50, }; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, 50, }}
8186 ; use = {50, }; def = {51, }; liveIn = {1, 0, 45, 46, 50, }; liveOut = {1, 0, 45, 46, 51, }}
8187 ; use = {}; def = {117, }; liveIn = {1, 0, 45, 46, 51, }; liveOut = {117, 1, 0, 45, 46, 51, }}
8188 ; use = {117, }; def = {52, }; liveIn = {117, 1, 0, 45, 46, 51, }; liveOut = {1, 0, 45, 46, 51, 52, }}
8189 ; use = {0, 52, }; def = {118, }; liveIn = {1, 0, 45, 46, 51, 52, }; liveOut = {1, 0, 45, 46, 51, 118, }}
8190 ; use = {118, }; def = {54, }; liveIn = {1, 0, 45, 46, 51, 118, }; liveOut = {1, 0, 45, 46, 51, 54, }}
8191 ; use = {54, }; def = {53, }; liveIn = {1, 0, 45, 46, 51, 54, }; liveOut = {1, 0, 45, 46, 51, 53, }}
8192 ; use = {}; def = {119, }; liveIn = {1, 0, 45, 46, 51, 53, }; liveOut = {1, 0, 45, 46, 51, 53, 119, }}
8193 ; use = {51, 53, }; def = {120, }; liveIn = {1, 0, 45, 46, 51, 53, 119, }; liveOut = {1, 0, 45, 46, 51, 120, 119, }}
8194 ; use = {120, 119, }; def = {121, }; liveIn = {1, 0, 45, 46, 51, 120, 119, }; liveOut = {1, 0, 121, 45, 46, 51, }}
8195 ; use = {121, }; def = {}; liveIn = {1, 0, 45, 121, 46, 51, }; liveOut = {1, 0, 45, 46, 51, }}
8196 ; use = {}; def = {}; liveIn = {}; liveOut = {}}
8197 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, 51, }; liveOut = {1, 0, 45, 46, 51, }}
8198 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, 51, }; liveOut = {1, 0, 45, 46, 51, }}
8199 ; use = {}; def = {122, }; liveIn = {1, 0, 45, 46, 51, }; liveOut = {1, 0, 45, 122, 46, 51, }}
8200 ; use = {122, }; def = {52, }; liveIn = {1, 0, 45, 122, 46, 51, }; liveOut = {1, 0, 45, 46, 51, 52, }}
8201 ; use = {0, 52, }; def = {123, }; liveIn = {1, 0, 45, 46, 51, 52, }; liveOut = {1, 0, 45, 123, 46, 51, }}
8202 ; use = {123, }; def = {54, }; liveIn = {1, 0, 45, 123, 46, 51, }; liveOut = {1, 0, 45, 46, 51, 54, }}
8203 ; use = {54, }; def = {124, }; liveIn = {1, 0, 45, 46, 51, 54, }; liveOut = {1, 0, 45, 124, 46, 51, 54, }}
8204 ; use = {124, }; def = {}; liveIn = {1, 0, 45, 46, 124, 51, 54, }; liveOut = {1, 0, 45, 46, 51, 54, }}
8205 ; use = {}; def = {}; liveIn = {}; liveOut = {}}
8206 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, 51, 54, }; liveOut = {1, 0, 45, 46, 51, 54, }}
8207 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, 51, 54, }; liveOut = {1, 0, 45, 46, 51, 54, }}
8208 ; use = {51, }; def = {125, }; liveIn = {1, 0, 45, 46, 51, 54, }; liveOut = {125, 1, 0, 45, 46, 54, }}
8209 ; use = {125, 54, }; def = {126, }; liveIn = {125, 1, 0, 45, 46, 54, }; liveOut = {126, 1, 0, 45, 46, }}
8210 ; use = {126, 46, }; def = {}; liveIn = {126, 1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8211 ; use = {0, }; def = {55, }; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 55, 46, }}
8212 ; use = {55, }; def = {127, }; liveIn = {1, 0, 45, 46, 55, }; liveOut = {127, 1, 0, 45, 46, }}
8213 ; use = {127, 0, }; def = {}; liveIn = {1, 127, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8214 ; use = {46, }; def = {}; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8215 ; use = {46, }; def = {46, }; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8216 ; use = {45, }; def = {45, }; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8217 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8218 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8219 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8220 ; use = {46, }; def = {46, }; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8221 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8222 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8223 ; use = {}; def = {}; liveIn = {1, 0, 45, 46, }; liveOut = {1, 0, 45, 46, }}
8224 ; use = {}; def = {}; liveIn = {45, }; liveOut = {45, }}
8225 ; use = {}; def = {}; liveIn = {45, }; liveOut = {45, }}
8174 ; use = {}; def = {1, }; liveIn = {0, }; liveOut = {1, 0, }}
8173 ; use = {}; def = {0, }; liveIn = {1, }; liveOut = {1, 0, }}
8226 ; use = {45, }; def = {}; liveIn = {45, }; liveOut = {}}
----------------
procedure-name = PrimesClass_hcf
6113 ; use = {2, 1, }; def = {100, }; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, 100, }}
6114 ; use = {100, }; def = {}; liveIn = {2, 1, 0, 100, }; liveOut = {2, 1, 0, }}
6115 ; use = {0, }; def = {30, }; liveIn = {2, 1, 0, }; liveOut = {2, 1, 30, }}
6116 ; use = {30, }; def = {28, }; liveIn = {2, 1, 30, }; liveOut = {2, 1, 30, 28, }}
6117 ; use = {28, }; def = {29, }; liveIn = {2, 1, 30, 28, }; liveOut = {2, 1, 30, 29, }}
6118 ; use = {2, 1, 30, 29, }; def = {27, }; liveIn = {2, 1, 30, 29, }; liveOut = {27, }}
6119 ; use = {}; def = {}; liveIn = {27, }; liveOut = {27, }}
6120 ; use = {}; def = {}; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, }}
6121 ; use = {}; def = {}; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, }}
6122 ; use = {2, }; def = {101, }; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, 101, }}
6123 ; use = {101, }; def = {}; liveIn = {2, 1, 0, 101, }; liveOut = {2, 1, 0, }}
6124 ; use = {1, }; def = {27, }; liveIn = {1, }; liveOut = {27, }}
6125 ; use = {}; def = {}; liveIn = {27, }; liveOut = {27, }}
6126 ; use = {}; def = {}; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, }}
6127 ; use = {}; def = {}; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, }}
6128 ; use = {0, }; def = {33, }; liveIn = {2, 1, 0, }; liveOut = {2, 1, 33, }}
6129 ; use = {33, }; def = {31, }; liveIn = {2, 1, 33, }; liveOut = {2, 1, 31, 33, }}
6130 ; use = {31, }; def = {32, }; liveIn = {2, 1, 31, 33, }; liveOut = {2, 1, 32, 33, }}
6131 ; use = {2, 1, }; def = {102, }; liveIn = {2, 1, 32, 33, }; liveOut = {2, 32, 33, 102, }}
6132 ; use = {2, 32, 33, 102, }; def = {27, }; liveIn = {2, 32, 33, 102, }; liveOut = {27, }}
6133 ; use = {}; def = {}; liveIn = {27, }; liveOut = {27, }}
6134 ; use = {}; def = {}; liveIn = {27, }; liveOut = {27, }}
6135 ; use = {}; def = {}; liveIn = {27, }; liveOut = {27, }}
6136 ; use = {}; def = {}; liveIn = {27, }; liveOut = {27, }}
6112 ; use = {}; def = {2, }; liveIn = {1, 0, }; liveOut = {2, 1, 0, }}
6111 ; use = {}; def = {1, }; liveIn = {2, 0, }; liveOut = {2, 1, 0, }}
6110 ; use = {}; def = {0, }; liveIn = {2, 1, }; liveOut = {2, 1, 0, }}
6137 ; use = {27, }; def = {}; liveIn = {27, }; liveOut = {}}
----------------
procedure-name = Main
0 ; use = {}; def = {3, }; liveIn = {}; liveOut = {3, }}
1 ; use = {}; def = {4, }; liveIn = {3, }; liveOut = {3, 4, }}
2 ; use = {}; def = {62, }; liveIn = {3, 4, }; liveOut = {3, 4, 62, }}
3 ; use = {3, 62, }; def = {}; liveIn = {3, 4, 62, }; liveOut = {3, 4, }}
4 ; use = {}; def = {63, }; liveIn = {3, 4, }; liveOut = {3, 4, 63, }}
5 ; use = {3, 63, }; def = {}; liveIn = {3, 4, 63, }; liveOut = {3, 4, }}
6 ; use = {}; def = {64, }; liveIn = {3, 4, }; liveOut = {3, 4, 64, }}
7 ; use = {3, 64, }; def = {}; liveIn = {3, 4, 64, }; liveOut = {3, 4, }}
8 ; use = {}; def = {65, }; liveIn = {3, 4, }; liveOut = {3, 4, 65, }}
9 ; use = {3, 65, }; def = {}; liveIn = {3, 4, 65, }; liveOut = {3, 4, }}
10 ; use = {}; def = {66, }; liveIn = {3, 4, }; liveOut = {3, 66, 4, }}
11 ; use = {3, 66, }; def = {}; liveIn = {3, 66, 4, }; liveOut = {3, 4, }}
12 ; use = {}; def = {67, }; liveIn = {3, 4, }; liveOut = {67, 3, 4, }}
13 ; use = {67, 3, }; def = {}; liveIn = {3, 67, 4, }; liveOut = {3, 4, }}
14 ; use = {}; def = {68, }; liveIn = {3, 4, }; liveOut = {3, 68, 4, }}
15 ; use = {3, 68, }; def = {}; liveIn = {3, 68, 4, }; liveOut = {3, 4, }}
16 ; use = {}; def = {69, }; liveIn = {3, 4, }; liveOut = {3, 69, 4, }}
17 ; use = {3, 69, }; def = {}; liveIn = {3, 69, 4, }; liveOut = {3, 4, }}
18 ; use = {}; def = {70, }; liveIn = {3, 4, }; liveOut = {3, 4, 70, }}
19 ; use = {3, 70, }; def = {}; liveIn = {3, 4, 70, }; liveOut = {3, 4, }}
20 ; use = {}; def = {5, }; liveIn = {3, 4, }; liveOut = {3, 5, 4, }}
21 ; use = {}; def = {}; liveIn = {3, 5, 4, }; liveOut = {3, 5, 4, }}
22 ; use = {5, }; def = {71, }; liveIn = {3, 5, 4, }; liveOut = {3, 5, 4, 71, }}
23 ; use = {71, }; def = {}; liveIn = {3, 5, 4, 71, }; liveOut = {3, 5, 4, }}
24 ; use = {5, 4, }; def = {72, }; liveIn = {3, 5, 4, }; liveOut = {3, 5, 4, 72, }}
25 ; use = {}; def = {73, }; liveIn = {3, 5, 4, 72, }; liveOut = {3, 5, 4, 72, 73, }}
26 ; use = {72, 73, }; def = {}; liveIn = {3, 5, 4, 72, 73, }; liveOut = {3, 5, 4, }}
27 ; use = {5, }; def = {5, }; liveIn = {3, 5, 4, }; liveOut = {3, 5, 4, }}
28 ; use = {}; def = {}; liveIn = {3, 5, 4, }; liveOut = {3, 5, 4, }}
29 ; use = {}; def = {}; liveIn = {3, 4, }; liveOut = {3, 4, }}
30 ; use = {3, 4, }; def = {}; liveIn = {3, 4, }; liveOut = {4, }}
31 ; use = {4, }; def = {8, }; liveIn = {4, }; liveOut = {8, }}
32 ; use = {8, }; def = {6, }; liveIn = {8, }; liveOut = {6, 8, }}
33 ; use = {6, }; def = {7, }; liveIn = {6, 8, }; liveOut = {7, 8, }}
34 ; use = {}; def = {74, }; liveIn = {7, 8, }; liveOut = {7, 8, 74, }}
35 ; use = {7, 8, 74, }; def = {75, }; liveIn = {7, 8, 74, }; liveOut = {75, }}
36 ; use = {75, }; def = {}; liveIn = {75, }; liveOut = {}}
----------------
procedure-name = PrimesClass_rem
3069 ; use = {0, }; def = {18, }; liveIn = {2, 1, 0, }; liveOut = {2, 1, 18, }}
3070 ; use = {18, }; def = {16, }; liveIn = {2, 1, 18, }; liveOut = {2, 1, 18, 16, }}
3071 ; use = {16, }; def = {17, }; liveIn = {2, 1, 18, 16, }; liveOut = {2, 1, 17, 18, }}
3072 ; use = {2, 1, 17, 18, }; def = {87, }; liveIn = {2, 1, 17, 18, }; liveOut = {2, 1, 87, }}
3073 ; use = {1, 87, }; def = {88, }; liveIn = {2, 1, 87, }; liveOut = {2, 88, }}
3074 ; use = {2, 88, }; def = {89, }; liveIn = {2, 88, }; liveOut = {89, }}
3068 ; use = {}; def = {2, }; liveIn = {1, 0, }; liveOut = {2, 1, 0, }}
3067 ; use = {}; def = {1, }; liveIn = {2, 0, }; liveOut = {2, 1, 0, }}
3066 ; use = {}; def = {0, }; liveIn = {2, 1, }; liveOut = {2, 1, 0, }}
3075 ; use = {89, }; def = {}; liveIn = {89, }; liveOut = {}}
----------------
procedure-name = PrimesClass_eq
1037 ; use = {2, 1, }; def = {76, }; liveIn = {2, 1, }; liveOut = {2, 1, 76, }}
1038 ; use = {2, 1, }; def = {77, }; liveIn = {2, 1, 76, }; liveOut = {77, 76, }}
1039 ; use = {77, }; def = {78, }; liveIn = {77, 76, }; liveOut = {78, 76, }}
1040 ; use = {76, }; def = {79, }; liveIn = {78, 76, }; liveOut = {79, 78, }}
1041 ; use = {79, 78, }; def = {80, }; liveIn = {79, 78, }; liveOut = {80, }}
1036 ; use = {}; def = {2, }; liveIn = {1, }; liveOut = {2, 1, }}
1035 ; use = {}; def = {1, }; liveIn = {2, }; liveOut = {2, 1, }}
1042 ; use = {80, }; def = {}; liveIn = {80, }; liveOut = {}}
----------------
procedure-name = PrimesClass_isprime
7137 ; use = {}; def = {34, }; liveIn = {1, 0, }; liveOut = {1, 0, 34, }}
7138 ; use = {}; def = {35, }; liveIn = {1, 0, 34, }; liveOut = {1, 0, 35, 34, }}
7139 ; use = {}; def = {}; liveIn = {1, 0, 35, 34, }; liveOut = {1, 0, 35, 34, }}
7140 ; use = {0, }; def = {36, }; liveIn = {1, 0, 35, 34, }; liveOut = {1, 0, 35, 36, 34, }}
7141 ; use = {35, 36, }; def = {103, }; liveIn = {1, 0, 35, 36, 34, }; liveOut = {1, 0, 35, 103, 34, }}
7142 ; use = {103, 34, }; def = {104, }; liveIn = {1, 0, 35, 34, 103, }; liveOut = {1, 0, 35, 104, 34, }}
7143 ; use = {1, 35, }; def = {105, }; liveIn = {1, 0, 35, 104, 34, }; liveOut = {1, 0, 35, 105, 104, 34, }}
7144 ; use = {105, 104, }; def = {106, }; liveIn = {1, 0, 35, 105, 104, 34, }; liveOut = {1, 0, 106, 35, 34, }}
7145 ; use = {106, }; def = {}; liveIn = {1, 0, 35, 106, 34, }; liveOut = {1, 0, 35, 34, }}
7146 ; use = {0, }; def = {44, }; liveIn = {1, 0, 35, 34, }; liveOut = {1, 0, 44, 35, 34, }}
7147 ; use = {44, }; def = {42, }; liveIn = {1, 0, 44, 35, 34, }; liveOut = {1, 0, 42, 44, 35, 34, }}
7148 ; use = {42, }; def = {43, }; liveIn = {1, 0, 44, 42, 35, 34, }; liveOut = {1, 0, 43, 44, 35, 34, }}
7149 ; use = {35, }; def = {38, }; liveIn = {1, 0, 43, 44, 35, 34, }; liveOut = {1, 0, 43, 44, 35, 34, 38, }}
7150 ; use = {0, }; def = {41, }; liveIn = {1, 0, 43, 44, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 41, 35, 34, 38, }}
7151 ; use = {41, }; def = {39, }; liveIn = {1, 0, 43, 44, 41, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 35, 34, 39, 38, }}
7152 ; use = {}; def = {107, }; liveIn = {1, 0, 43, 44, 35, 34, 39, 38, }; liveOut = {1, 0, 43, 44, 107, 35, 34, 39, 38, }}
7153 ; use = {39, 38, }; def = {108, }; liveIn = {1, 0, 43, 44, 107, 35, 34, 39, 38, }; liveOut = {1, 0, 43, 44, 108, 107, 35, 34, 38, }}
7154 ; use = {108, 107, }; def = {109, }; liveIn = {1, 0, 43, 44, 108, 107, 35, 34, 38, }; liveOut = {1, 0, 43, 109, 44, 35, 34, 38, }}
7155 ; use = {109, }; def = {}; liveIn = {1, 0, 43, 44, 109, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 35, 34, 38, }}
7156 ; use = {}; def = {}; liveIn = {}; liveOut = {}}
7157 ; use = {}; def = {}; liveIn = {1, 0, 43, 44, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 35, 34, 38, }}
7158 ; use = {}; def = {}; liveIn = {1, 0, 43, 44, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 35, 34, 38, }}
7159 ; use = {0, }; def = {41, }; liveIn = {1, 0, 43, 44, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 41, 35, 34, 38, }}
7160 ; use = {41, }; def = {110, }; liveIn = {1, 0, 43, 44, 41, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 110, 41, 35, 34, 38, }}
7161 ; use = {110, }; def = {}; liveIn = {1, 0, 43, 44, 41, 110, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 41, 35, 34, 38, }}
7162 ; use = {}; def = {}; liveIn = {}; liveOut = {}}
7163 ; use = {}; def = {}; liveIn = {1, 0, 43, 44, 41, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 41, 35, 34, 38, }}
7164 ; use = {}; def = {}; liveIn = {1, 0, 43, 44, 41, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 41, 35, 34, 38, }}
7165 ; use = {38, }; def = {111, }; liveIn = {1, 0, 43, 44, 41, 35, 34, 38, }; liveOut = {1, 0, 43, 44, 41, 111, 35, 34, }}
7166 ; use = {41, 111, }; def = {112, }; liveIn = {1, 0, 43, 44, 41, 111, 35, 34, }; liveOut = {1, 0, 112, 43, 44, 35, 34, }}
7167 ; use = {112, }; def = {40, }; liveIn = {1, 0, 43, 112, 44, 35, 34, }; liveOut = {1, 0, 43, 44, 40, 35, 34, }}
7168 ; use = {1, 43, 44, 40, }; def = {113, }; liveIn = {1, 0, 43, 44, 40, 35, 34, }; liveOut = {1, 0, 113, 35, 34, }}
7169 ; use = {113, }; def = {114, }; liveIn = {1, 0, 113, 35, 34, }; liveOut = {114, 1, 0, 35, 34, }}
7170 ; use = {114, 34, }; def = {34, }; liveIn = {1, 114, 0, 35, 34, }; liveOut = {1, 0, 35, 34, }}
7171 ; use = {35, }; def = {35, }; liveIn = {1, 0, 35, 34, }; liveOut = {1, 0, 35, 34, }}
7172 ; use = {}; def = {}; liveIn = {1, 0, 35, 34, }; liveOut = {1, 0, 35, 34, }}
7173 ; use = {}; def = {}; liveIn = {34, }; liveOut = {34, }}
7174 ; use = {}; def = {}; liveIn = {34, }; liveOut = {34, }}
7136 ; use = {}; def = {1, }; liveIn = {0, }; liveOut = {1, 0, }}
7135 ; use = {}; def = {0, }; liveIn = {1, }; liveOut = {1, 0, }}
7175 ; use = {34, }; def = {}; liveIn = {34, }; liveOut = {}}
----------------
procedure-name = PrimesClass_test_it
9226 ; use = {1, }; def = {128, }; liveIn = {1, 0, }; liveOut = {1, 128, 0, }}
9227 ; use = {128, }; def = {}; liveIn = {1, 0, 128, }; liveOut = {1, 0, }}
9228 ; use = {}; def = {}; liveIn = {}; liveOut = {}}
9229 ; use = {}; def = {}; liveIn = {1, 0, }; liveOut = {1, 0, }}
9230 ; use = {1, }; def = {129, }; liveIn = {1, 0, }; liveOut = {1, 0, 129, }}
9231 ; use = {129, }; def = {130, }; liveIn = {1, 0, 129, }; liveOut = {1, 0, 130, }}
9232 ; use = {130, }; def = {57, }; liveIn = {1, 0, 130, }; liveOut = {1, 0, 57, }}
9233 ; use = {}; def = {58, }; liveIn = {1, 0, 57, }; liveOut = {1, 0, 58, 57, }}
9234 ; use = {}; def = {}; liveIn = {1, 0, 58, 57, }; liveOut = {1, 0, 58, 57, }}
9235 ; use = {1, }; def = {131, }; liveIn = {1, 0, 58, 57, }; liveOut = {1, 0, 58, 57, 131, }}
9236 ; use = {131, }; def = {132, }; liveIn = {1, 0, 58, 57, 131, }; liveOut = {132, 1, 0, 58, 57, }}
9237 ; use = {132, 58, }; def = {133, }; liveIn = {1, 132, 0, 58, 57, }; liveOut = {1, 133, 0, 58, 57, }}
9238 ; use = {133, }; def = {}; liveIn = {1, 0, 133, 58, 57, }; liveOut = {1, 0, 58, 57, }}
9239 ; use = {58, 57, }; def = {134, }; liveIn = {1, 0, 58, 57, }; liveOut = {134, 1, 0, 58, 57, }}
9240 ; use = {}; def = {135, }; liveIn = {134, 1, 0, 58, 57, }; liveOut = {134, 135, 1, 0, 58, 57, }}
9241 ; use = {134, 135, }; def = {}; liveIn = {134, 135, 1, 0, 58, 57, }; liveOut = {1, 0, 58, 57, }}
9242 ; use = {58, }; def = {58, }; liveIn = {1, 0, 58, 57, }; liveOut = {1, 0, 58, 57, }}
9243 ; use = {}; def = {}; liveIn = {1, 0, 58, 57, }; liveOut = {1, 0, 58, 57, }}
9244 ; use = {}; def = {}; liveIn = {1, 0, 57, }; liveOut = {1, 0, 57, }}
9245 ; use = {1, }; def = {136, }; liveIn = {1, 0, 57, }; liveOut = {1, 0, 57, 136, }}
9246 ; use = {57, 136, }; def = {}; liveIn = {1, 0, 57, 136, }; liveOut = {1, 0, 57, }}
9247 ; use = {0, 57, }; def = {}; liveIn = {1, 0, 57, }; liveOut = {1, 0, }}
9248 ; use = {}; def = {137, }; liveIn = {1, 0, }; liveOut = {1, 0, 137, }}
9249 ; use = {0, 137, }; def = {}; liveIn = {1, 0, 137, }; liveOut = {1, 0, }}
9250 ; use = {0, }; def = {61, }; liveIn = {1, 0, }; liveOut = {1, 61, }}
9251 ; use = {61, }; def = {59, }; liveIn = {1, 61, }; liveOut = {1, 59, 61, }}
9252 ; use = {59, }; def = {60, }; liveIn = {1, 59, 61, }; liveOut = {1, 60, 61, }}
9253 ; use = {1, 60, 61, }; def = {56, }; liveIn = {1, 60, 61, }; liveOut = {56, }}
9254 ; use = {}; def = {}; liveIn = {56, }; liveOut = {56, }}
9225 ; use = {}; def = {1, }; liveIn = {0, }; liveOut = {1, 0, }}
9224 ; use = {}; def = {0, }; liveIn = {1, }; liveOut = {1, 0, }}
9255 ; use = {56, }; def = {}; liveIn = {56, }; liveOut = {}}
----------------
procedure-name = PrimesClass_dividess
4075 ; use = {0, }; def = {24, }; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, 24, }}
4076 ; use = {24, }; def = {22, }; liveIn = {2, 1, 0, 24, }; liveOut = {2, 1, 0, 22, 24, }}
4077 ; use = {22, }; def = {23, }; liveIn = {2, 1, 0, 22, 24, }; liveOut = {2, 1, 0, 23, 24, }}
4078 ; use = {0, }; def = {21, }; liveIn = {2, 1, 0, 23, 24, }; liveOut = {21, 2, 1, 23, 24, }}
4079 ; use = {21, }; def = {19, }; liveIn = {21, 2, 1, 23, 24, }; liveOut = {21, 2, 1, 19, 23, 24, }}
4080 ; use = {19, }; def = {20, }; liveIn = {21, 2, 1, 19, 23, 24, }; liveOut = {21, 2, 20, 1, 23, 24, }}
4081 ; use = {21, 2, 20, 1, }; def = {90, }; liveIn = {21, 20, 2, 1, 23, 24, }; liveOut = {2, 1, 90, 23, 24, }}
4082 ; use = {1, 90, }; def = {91, }; liveIn = {2, 1, 90, 23, 24, }; liveOut = {2, 91, 23, 24, }}
4083 ; use = {2, 91, 23, 24, }; def = {92, }; liveIn = {2, 91, 23, 24, }; liveOut = {92, }}
4074 ; use = {}; def = {2, }; liveIn = {1, 0, }; liveOut = {2, 1, 0, }}
4073 ; use = {}; def = {1, }; liveIn = {2, 0, }; liveOut = {2, 1, 0, }}
4072 ; use = {}; def = {0, }; liveIn = {2, 1, }; liveOut = {2, 1, 0, }}
4084 ; use = {92, }; def = {}; liveIn = {92, }; liveOut = {}}
----------------
procedure-name = PrimesClass_div
2042 ; use = {2, 1, }; def = {81, }; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, 81, }}
2043 ; use = {81, }; def = {}; liveIn = {2, 1, 0, 81, }; liveOut = {2, 1, 0, }}
2044 ; use = {}; def = {9, }; liveIn = {}; liveOut = {9, }}
2045 ; use = {}; def = {}; liveIn = {9, }; liveOut = {9, }}
2046 ; use = {}; def = {}; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, }}
2047 ; use = {}; def = {}; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, }}
2048 ; use = {0, }; def = {12, }; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, 12, }}
2049 ; use = {12, }; def = {10, }; liveIn = {2, 1, 0, 12, }; liveOut = {2, 10, 1, 0, 12, }}
2050 ; use = {10, }; def = {11, }; liveIn = {2, 1, 10, 0, 12, }; liveOut = {2, 1, 0, 11, 12, }}
2051 ; use = {}; def = {82, }; liveIn = {2, 1, 0, 11, 12, }; liveOut = {2, 1, 0, 82, 11, 12, }}
2052 ; use = {2, 82, 11, 12, }; def = {83, }; liveIn = {2, 1, 0, 82, 11, 12, }; liveOut = {2, 1, 0, 83, }}
2053 ; use = {83, }; def = {}; liveIn = {2, 1, 0, 83, }; liveOut = {2, 1, 0, }}
2054 ; use = {1, }; def = {9, }; liveIn = {1, }; liveOut = {9, }}
2055 ; use = {}; def = {}; liveIn = {9, }; liveOut = {9, }}
2056 ; use = {}; def = {}; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, }}
2057 ; use = {}; def = {}; liveIn = {2, 1, 0, }; liveOut = {2, 1, 0, }}
2058 ; use = {0, }; def = {15, }; liveIn = {2, 1, 0, }; liveOut = {2, 1, 15, }}
2059 ; use = {15, }; def = {13, }; liveIn = {2, 1, 15, }; liveOut = {2, 1, 15, 13, }}
2060 ; use = {13, }; def = {14, }; liveIn = {2, 1, 15, 13, }; liveOut = {2, 1, 15, 14, }}
2061 ; use = {2, 1, }; def = {84, }; liveIn = {2, 1, 15, 14, }; liveOut = {2, 15, 14, 84, }}
2062 ; use = {}; def = {85, }; liveIn = {2, 15, 14, 84, }; liveOut = {2, 15, 14, 84, 85, }}
2063 ; use = {2, 15, 14, 84, }; def = {86, }; liveIn = {2, 15, 14, 84, 85, }; liveOut = {86, 85, }}
2064 ; use = {86, 85, }; def = {9, }; liveIn = {86, 85, }; liveOut = {9, }}
2065 ; use = {}; def = {}; liveIn = {9, }; liveOut = {9, }}
2066 ; use = {}; def = {}; liveIn = {9, }; liveOut = {9, }}
2067 ; use = {}; def = {}; liveIn = {9, }; liveOut = {9, }}
2068 ; use = {}; def = {}; liveIn = {9, }; liveOut = {9, }}
2041 ; use = {}; def = {2, }; liveIn = {1, 0, }; liveOut = {2, 1, 0, }}
2040 ; use = {}; def = {1, }; liveIn = {2, 0, }; liveOut = {2, 1, 0, }}
2039 ; use = {}; def = {0, }; liveIn = {2, 1, }; liveOut = {2, 1, 0, }}
2069 ; use = {9, }; def = {}; liveIn = {9, }; liveOut = {}}
----------------
procedure-name = PrimesClass_divides
5084 ; use = {}; def = {26, }; liveIn = {2, 1, }; liveOut = {2, 1, 26, }}
5085 ; use = {}; def = {25, }; liveIn = {2, 1, 26, }; liveOut = {2, 1, 25, 26, }}
5086 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5087 ; use = {25, }; def = {93, }; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 93, 25, 26, }}
5088 ; use = {2, 26, }; def = {94, }; liveIn = {2, 1, 93, 25, 26, }; liveOut = {2, 1, 94, 93, 25, 26, }}
5089 ; use = {94, 93, }; def = {95, }; liveIn = {2, 1, 94, 93, 25, 26, }; liveOut = {2, 1, 95, 25, 26, }}
5090 ; use = {95, }; def = {}; liveIn = {2, 1, 95, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5091 ; use = {1, 26, }; def = {96, }; liveIn = {2, 1, 25, 26, }; liveOut = {2, 96, 1, 25, 26, }}
5092 ; use = {2, 96, }; def = {97, }; liveIn = {2, 1, 96, 25, 26, }; liveOut = {97, 2, 1, 25, 26, }}
5093 ; use = {97, }; def = {}; liveIn = {2, 97, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5094 ; use = {26, }; def = {26, }; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5095 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5096 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5097 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5098 ; use = {1, 26, }; def = {98, }; liveIn = {2, 1, 25, 26, }; liveOut = {98, 2, 1, 25, 26, }}
5099 ; use = {98, 2, }; def = {99, }; liveIn = {98, 2, 1, 25, 26, }; liveOut = {2, 1, 25, 99, 26, }}
5100 ; use = {99, }; def = {}; liveIn = {2, 1, 25, 26, 99, }; liveOut = {2, 1, 25, 26, }}
5101 ; use = {2, }; def = {26, }; liveIn = {2, 1, 25, }; liveOut = {2, 1, 25, 26, }}
5102 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5103 ; use = {}; def = {}; liveIn = {2, 1, 26, }; liveOut = {2, 1, 26, }}
5104 ; use = {}; def = {}; liveIn = {2, 1, 26, }; liveOut = {2, 1, 26, }}
5105 ; use = {}; def = {25, }; liveIn = {2, 1, 26, }; liveOut = {2, 1, 25, 26, }}
5106 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5107 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5108 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5109 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5110 ; use = {}; def = {}; liveIn = {2, 1, 25, 26, }; liveOut = {2, 1, 25, 26, }}
5111 ; use = {}; def = {}; liveIn = {25, }; liveOut = {25, }}
5112 ; use = {}; def = {}; liveIn = {25, }; liveOut = {25, }}
5083 ; use = {}; def = {2, }; liveIn = {1, }; liveOut = {2, 1, }}
5082 ; use = {}; def = {1, }; liveIn = {2, }; liveOut = {2, 1, }}
5113 ; use = {25, }; def = {}; liveIn = {25, }; liveOut = {}}