blob: 1dd0856f7b65f27d94eb4794ea132028c8fb32dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
==================== Strictness signatures ====================
T21717.g: <SCS(P(ML,ML))>
==================== Cpr signatures ====================
T21717.g: 1
==================== Strictness signatures ====================
T21717.g: <SCS(P(ML,ML))>
|