Datum
dfbf4dcf7403a8…43f9316dae
dfbf4dcf7403a8edfc18a065239900b97712622ab43fc979e1fa3d43f9316dae
Datum
Constr 0
0
Constr 0
0
#f788579b3019ff5f2c48eb086f79b52912275f13f29c51cf0031df39
1
Constr 0
0
Constr 0
0
#f788579b3019ff5f2c48eb086f79b52912275f13f29c51cf0031df39
1
Constr 0
0
Constr 0
0
Constr 0
0
#2a5c6d10dba86f1449cb4a29a90355cd4fc6e5222c14ea5d7b706e93
2
Constr 0 []
3
Constr 0
0
Constr 0
0
#f788579b3019ff5f2c48eb086f79b52912275f13f29c51cf0031df39
1
Constr 0
0
Constr 0
0
Constr 0
0
#2a5c6d10dba86f1449cb4a29a90355cd4fc6e5222c14ea5d7b706e93
4
Constr 0 []
5
Constr 0
0
#f5808c2c990d86da54bfc97d89cee6efa20cd8461616359478d96b4c
1
#ae7ba2c8ccddb8291b1b6575b432e29a615fe9f7f62ff55ef4df96b124ed1535
6
Constr 0
0
Constr 1 []
1
Constr 1
0
0
2
182736243
3
Constr 0 []
7
2000000
8
Constr 1 []