Datum
ee0cdb26456813…ff509fb305
ee0cdb26456813892a2b7d3a9f375e50075c15ee58bac40fff2fd3ff509fb305
Datum
Constr 0
0
#77f60b15d0d6aa376cecfaf0b74244c7b1f14f931b830b52c588e736
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#112c68140d7807d73cc16c507b0aad99133d96a7322176964c458db4
1
Constr 0
0
Constr 0
0
Constr 0
0
#a9f593e91cf70d609d7b04f8ed6713cd91c1e66f62a8784605672190
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 3000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#77f60b15d0d6aa376cecfaf0b74244c7b1f14f931b830b52c588e736
1
Constr 0
0
Constr 0
0
Constr 0
0
#d6aa0c8b28014382690276987352f93fb75c05715bcddc5c3a144c60
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 135000000