Datum
a3688d723a667d…292b95ebe4
a3688d723a667d27fc09081c8e0f514b3aa35baf9d70d73b095752292b95ebe4
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#4c2e623bc092254c7c9d3df72c13db65f434d5949802bee0e5895710
1
Constr 0
0
Constr 0
0
Constr 0
0
#5aefb82ee2b9120008520ce8a12be3ceab9ed569b1228c836c7ae0a0
1
Constr 0
0
Constr 0
0
#4c2e623bc092254c7c9d3df72c13db65f434d5949802bee0e5895710
1
Constr 0
0
Constr 0
0
Constr 0
0
#5aefb82ee2b9120008520ce8a12be3ceab9ed569b1228c836c7ae0a0
2
Constr 1 []
3
Constr 3
0
133251688
1
374304498
4
1989201
5
2000000