Datum
7b788eecbdcf6f…f555e3e01d
7b788eecbdcf6fc4ecdf1594c88d232e13620d98614e43986ef171f555e3e01d
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#9b1e90b0d8d0fefeacee1bb8c3cdc8247cc3babc2cb515a726e31022
1
Constr 0
0
Constr 0
0
Constr 0
0
#0393e0626381ac51add92f36f140b2fd31d9b62d5dbad1f0ad71e8a0
1
Constr 0
0
Constr 0
0
#9b1e90b0d8d0fefeacee1bb8c3cdc8247cc3babc2cb515a726e31022
1
Constr 0
0
Constr 0
0
Constr 0
0
#0393e0626381ac51add92f36f140b2fd31d9b62d5dbad1f0ad71e8a0
2
Constr 1 []
3
Constr 3
0
54900949
1
179196501
4
2000000
5
2000000