Datum
a11d8699e40baa…fae290280b
a11d8699e40baaffc4895e1b65b14e58899cbd0f19c65ebb340880fae290280b
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#13a55389b2e7299178755b5878e7927bfe3423845a66e735296446ff
1
Constr 0
0
Constr 0
0
Constr 0
0
#ffa7a348aeb417ff81babe462c35f732033a00055f9286269461c727
1
Constr 0
0
Constr 0
0
#13a55389b2e7299178755b5878e7927bfe3423845a66e735296446ff
1
Constr 0
0
Constr 0
0
Constr 0
0
#ffa7a348aeb417ff81babe462c35f732033a00055f9286269461c727
2
Constr 1 []
3
Constr 2
0
1
4
2000000
5
2000000