Datum
2915d3c5aa702c…a67c3d3e24
2915d3c5aa702c19a3fe75a8b4055d8896e259ad78494670ff0c08a67c3d3e24
Datum
Constr 0
0
List [2]
0
Constr 0
0
Constr 0
0
Constr 1
0
#7aedc614c23e7727d929f0bcc7b63dbbab21960d72d4d3f7b99f86ad
1
Constr 0
0
Constr 0
0
Constr 1
0
#7aedc614c23e7727d929f0bcc7b63dbbab21960d72d4d3f7b99f86ad
1
1000000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#a04da7733ef654b08d6ad6484a42081919c01a5f6da62f3d865cf9b3
1
Constr 0
0
Constr 0
0
Constr 0
0
#0adf4fed988af21ca37008481f5bef361b324f36acd51535d1ad369e
1
8800000000
1
#a04da7733ef654b08d6ad6484a42081919c01a5f6da62f3d865cf9b3