Datum
fc0250c4dfd35b…1f3e680f81
fc0250c4dfd35bea2c219d232f25e8bdb720906867fe4a89c8bece1f3e680f81
Datum
Constr 0
0
#a3376f2bc0dc7f1d4bf9ecf22ff4ad872d4a258896b25991f3686a0a
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#db4ed3dd2905d61d3210df33ca36e090877c77449bfe0201423342cd
1
Constr 0
0
Constr 0
0
Constr 0
0
#660a61c30d254d897afb5605cdb2ff1baea9540f3b22fbf7dea04f7a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2000000
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}
#""
→ 4000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#a3376f2bc0dc7f1d4bf9ecf22ff4ad872d4a258896b25991f3686a0a
1
Constr 0
0
Constr 0
0
Constr 0
0
#706d07cbb04806ed4c0dc11d6af600fb329debf44a45a600c18b220e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 194000000