ACL2 | |
---|---|
ACL2 |
|
GO:0005575|GO:0003674|GO:0009826 |
|
NULL |
|
NULL |
|
NULL |
|
NULL |
|
NULL |
|
NULL |
|
NULL |
|
NULL |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
0 |
|
NULL |
|
NULL |
|
0 |
|
NULL |
|
NULL |
|
9 |