Datum
ce4138eacffb20…743aed53cd
ce4138eacffb201c74e451d5df5349c17fb1fbfe8b79ffef749479743aed53cd
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#f74538e703c2236ad0e898b4f095120adbdb454dadd0a3227e60ed15
1
Constr 0
0
Constr 0
0
Constr 0
0
#33df3f4826760d056b40641c632c4d259cd9c6f89c49169cea469d67
1
Constr 0
0
Constr 0
0
#f74538e703c2236ad0e898b4f095120adbdb454dadd0a3227e60ed15
1
Constr 0
0
Constr 0
0
Constr 0
0
#33df3f4826760d056b40641c632c4d259cd9c6f89c49169cea469d67
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#d16d0f309cc8f1866374625358d3fb1c2a9699cda6b22df17acf14e9
1
#736f6c"sol"
1
88602959
4
2000000
5
2000000