Datum
87ee1fa684a7a5…0d4a199e84
87ee1fa684a7a5d9db99e8e8992d72a9b3990ec028e38df92e03360d4a199e84
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#6604436331b81fb6fef2a45fd4ba0918ae06d0c54dc0a341c92c0d21
1
Constr 0
0
Constr 0
0
Constr 0
0
#0aef844a0efcbd2a8f6ade22471963a915474f1ff2eb1f3441d241ad
1
Constr 0
0
Constr 0
0
#6604436331b81fb6fef2a45fd4ba0918ae06d0c54dc0a341c92c0d21
1
Constr 0
0
Constr 0
0
Constr 0
0
#0aef844a0efcbd2a8f6ade22471963a915474f1ff2eb1f3441d241ad
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#d16d0f309cc8f1866374625358d3fb1c2a9699cda6b22df17acf14e9
1
#736f6c"sol"
1
304142448
4
2000000
5
2000000