Datum
bc463de8738cde…70ea7cbc7e
bc463de8738cde154672d90749c83b9eb22d85e5a98facb92da27b70ea7cbc7e
Datum
Constr 0
0
Constr 0
0
#2f20b5fb521c5a954e3fdcb2dd35ebacd6b3f115f547669044c34a69
1
Constr 0
0
Constr 0
0
#2f20b5fb521c5a954e3fdcb2dd35ebacd6b3f115f547669044c34a69
1
Constr 0
0
Constr 0
0
Constr 0
0
#f52f87be1ee054ac950c2d7912d494cfde79bcde309c9f258d4b15df
2
Constr 0 []
3
Constr 0
0
Constr 0
0
#2f20b5fb521c5a954e3fdcb2dd35ebacd6b3f115f547669044c34a69
1
Constr 0
0
Constr 0
0
Constr 0
0
#f52f87be1ee054ac950c2d7912d494cfde79bcde309c9f258d4b15df
4
Constr 0 []
5
Constr 0
0
#f5808c2c990d86da54bfc97d89cee6efa20cd8461616359478d96b4c
1
#9b65707373c4cec488b16151a64d7102dbae16857c500652b5c513650b8d604e
6
Constr 0
0
Constr 1 []
1
Constr 0
0
14655319
2
6243411
3
Constr 0 []
7
2000000
8
Constr 1 []