Datum
ec47641f67ae2b…86a494f853
ec47641f67ae2be100e86b20820c19d615cd578e841b0a2c5ed2b486a494f853
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#8caa9c0d38af987e91c7234961d6bb089d5b82fd60f29abc70a4e976
1
Constr 0
0
Constr 0
0
Constr 0
0
#4c9ed3ae59fa458bdf111e2693586911ce57a87382f626c3c89d55c8
1
Constr 0
0
Constr 0
0
#8caa9c0d38af987e91c7234961d6bb089d5b82fd60f29abc70a4e976
1
Constr 0
0
Constr 0
0
Constr 0
0
#4c9ed3ae59fa458bdf111e2693586911ce57a87382f626c3c89d55c8
2
Constr 1 []
3
Constr 0
0
Constr 0
0
#d16d0f309cc8f1866374625358d3fb1c2a9699cda6b22df17acf14e9
1
#736f6c"sol"
1
278258778
4
2000000
5
2000000