Datum
e922d1d172c9df…07f1cf066d
e922d1d172c9df19b3ec31f96c99cc45111c4dad3ecc340f40feb507f1cf066d
Datum
Constr 0
0
#d9eb3b950c21407a34eab878cda2c487e41ff575e3b58081e5f8472373e0875e
1
Constr 0
0
Constr 0
0
#d8fb431a6049ff224e185d6cf876c53a0b7ab0a25f626b96d9dc0e39
1
Constr 0
0
Constr 0
0
Constr 0
0
#7d3310606a573d93f4514605f0068aaa37b20178203150982e14a804
2
Constr 0
0
#""
1
#""
3
4000000000
4
Constr 0
0
#""
1
#""
5
75000000
6
List [3]
0
Constr 0
0
Constr 0
0
#4523c5e21d409b81c95b45b0aea275b8ea1406e6cafea5583b9f8a5f
1
#000de14042756434363832
1
1
1
Constr 0
0
Constr 0
0
#4523c5e21d409b81c95b45b0aea275b8ea1406e6cafea5583b9f8a5f
1
#000de14042756435303534
1
1
2
Constr 0
0
Constr 0
0
#4523c5e21d409b81c95b45b0aea275b8ea1406e6cafea5583b9f8a5f
1
#000de14042756435323832
1
1
7
2160000000
8
1716292888000
9
1