Datum
fb0ecd539f7c5c…99c15ac4cd
fb0ecd539f7c5cb5be679cc195dc9e2be826599d3b4e785cd12edd99c15ac4cd
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#4f2c54dcd9c9fb1bc828c9fcbae59813eb81f283be938f9fac59ff5a
1
Constr 0
0
Constr 0
0
Constr 0
0
#2a9e01cc94ae2e51488fcfc82425b8984f112a9365415b37a9ce5454
1
Constr 0
0
Constr 0
0
#4f2c54dcd9c9fb1bc828c9fcbae59813eb81f283be938f9fac59ff5a
1
Constr 0
0
Constr 0
0
Constr 0
0
#2a9e01cc94ae2e51488fcfc82425b8984f112a9365415b37a9ce5454
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#078eafce5cd7edafdf63900edef2c1ea759e77f30ca81d6bbdeec924
1
#79756d6d69"yummi"
1
1595663
4
2000000
5
2000000