Datum
c30fc8725ddce9…d410ece64d
c30fc8725ddce9661b24d29ba3d54e47bb312c55a58dfe60e40d96d410ece64d
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#7e58953dd2edb5bc48005734612d289658b3516b2fcc2cc33ffc3530
1
Constr 0
0
Constr 0
0
Constr 0
0
#7d8071701a7da0ee231a66074113d3e122f02374ae0cf2387f708cf2
1
Constr 0
0
Constr 0
0
#7e58953dd2edb5bc48005734612d289658b3516b2fcc2cc33ffc3530
1
Constr 0
0
Constr 0
0
Constr 0
0
#7d8071701a7da0ee231a66074113d3e122f02374ae0cf2387f708cf2
2
Constr 1 []
3
Constr 2
0
1557827
4
2000000
5
2000000