Datum
15acc6dc067f1f…99ff07a65a
15acc6dc067f1f1bc2acec07a16bc76037e3cb60f05a51ed49fdd199ff07a65a
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#2ed0d69b44fae207d348cf113bd80a86392033290fb3ac572822109e
1
Constr 0
0
Constr 0
0
Constr 0
0
#32690e618937ef05faecad28deee52e82735243ec684276c332c3d97
1
Constr 0
0
Constr 0
0
#2ed0d69b44fae207d348cf113bd80a86392033290fb3ac572822109e
1
Constr 0
0
Constr 0
0
Constr 0
0
#32690e618937ef05faecad28deee52e82735243ec684276c332c3d97
2
Constr 1 []
3
Constr 2
0
1
4
1991733
5
2000000