Datum
b95f27e288ad1c…583b794a71
b95f27e288ad1c82736ab85f1e8ff67d8ad5be262ce8dd667bdff8583b794a71
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#8d5a1af96c6a55e4905c854faf174ff89680987c50fa95de91002e75
1
Constr 0
0
Constr 0
0
Constr 0
0
#ab99daea11e74598979705e180c2b1a6917d1516f0ef02dc503f4c26
1
Constr 0
0
Constr 0
0
#8d5a1af96c6a55e4905c854faf174ff89680987c50fa95de91002e75
1
Constr 0
0
Constr 0
0
Constr 0
0
#ab99daea11e74598979705e180c2b1a6917d1516f0ef02dc503f4c26
2
Constr 1 []
3
Constr 3
0
125853295
1
23826422986
4
1997557
5
2000000