1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
1.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).
0.0 finalKappa(a).