Datum
a115c59d2fc434…b680883f27
a115c59d2fc43424afa2152e404771932a2f5fe9edfb4404fa8323b680883f27
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#c29d5528eb46fe3ba5ba0749ef46def4b38eb1cd0bf8c43596c3ff75
1
Constr 0
0
Constr 0
0
Constr 0
0
#a0fe01d9355dc27687bf484514c4e1f21ad12f42ea93f2e07b07e059
1
Constr 0
0
Constr 0
0
#c29d5528eb46fe3ba5ba0749ef46def4b38eb1cd0bf8c43596c3ff75
1
Constr 0
0
Constr 0
0
Constr 0
0
#a0fe01d9355dc27687bf484514c4e1f21ad12f42ea93f2e07b07e059
2
Constr 1 []
3
Constr 3
0
1741
1
5902895
4
2000000
5
2000000