Datum
6604c73b734061…1bc0c44787
6604c73b734061a1d00ec16b8a24e7f2e72e074b3d577222aa0e8d1bc0c44787
Datum
Constr 0
0
#7ddd737caf8882046c542866d8fcbd8573ffa4dfecde75a20742af2101b72e94
1
Constr 0
0
Constr 0
0
#9f699d63edc28b194155182c2ba42fdfef0e326c1eb19840e6cd5697
1
Constr 0
0
Constr 0
0
Constr 0
0
#3d6a445774f48d9e1d263314469622a8247bee822117af12cdeda029
2
Constr 0
0
#""
1
#""
3
1000000000
4
Constr 0
0
#""
1
#""
5
20000000
6
List [1]
0
Constr 0
0
Constr 0
0
#4523c5e21d409b81c95b45b0aea275b8ea1406e6cafea5583b9f8a5f
1
#000de14042756438383531
1
1
7
5184000000
8
1759075662000
9
1