Datum
3dd77b092bdc3f…dd4b20b5a4
3dd77b092bdc3f90f2c595d775b0c3afb7448ca0c4f238b39965fcdd4b20b5a4
Datum
Constr 0
0
Constr 0
0
#78cd8a0a3b2bd1b5d1a85f348849349a8d180b3bc180c9f5ea34c726
1
Constr 0
0
Constr 0
0
#78cd8a0a3b2bd1b5d1a85f348849349a8d180b3bc180c9f5ea34c726
1
Constr 0
0
Constr 0
0
Constr 0
0
#dfd9b3c53d3bb2a905f43541f3b2221b3928586184fabce0e89d3586
2
Constr 0 []
3
Constr 0
0
Constr 0
0
#78cd8a0a3b2bd1b5d1a85f348849349a8d180b3bc180c9f5ea34c726
1
Constr 0
0
Constr 0
0
Constr 0
0
#dfd9b3c53d3bb2a905f43541f3b2221b3928586184fabce0e89d3586
4
Constr 0 []
5
Constr 0
0
#f5808c2c990d86da54bfc97d89cee6efa20cd8461616359478d96b4c
1
#9b65707373c4cec488b16151a64d7102dbae16857c500652b5c513650b8d604e
6
Constr 0
0
Constr 0 []
1
Constr 0
0
219798554
2
297967536
3
Constr 0 []
7
2000000
8
Constr 1 []