Datum
30b7f7c2cc726d…87f9518dff
30b7f7c2cc726dc71f3e13e890ffdab347a6f9ccc220b7534a4fc387f9518dff
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#cb07fef02adf81a4bb0ee3ec992f392a4ecd92774619a97be8f086b9
1
Constr 0
0
Constr 0
0
Constr 0
0
#d88fe2d8181d8e4cdf886be3ea3c572ebea4c2510f58a83ce5fb29fe
1
Constr 0
0
Constr 0
0
#cb07fef02adf81a4bb0ee3ec992f392a4ecd92774619a97be8f086b9
1
Constr 0
0
Constr 0
0
Constr 0
0
#d88fe2d8181d8e4cdf886be3ea3c572ebea4c2510f58a83ce5fb29fe
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#2adf188218a66847024664f4f63939577627a56c090f679fe366c5ee
1
#535441424c45"STABLE"
1
441696753
4
2000000
5
2000000