Datum
7328c0f87a4395…12f0fae84e
7328c0f87a4395f6f70ee5e8d7759d23992ee4bd7ed4db25f6fecf12f0fae84e
Datum
Constr 0
0
#78a11c6924d5ee6cdc42d57b8d741578a256467221cd2ba21a7b1076
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#650e0a0dc1b56cf3b5828cbfb00dc52e4e460e1b42ea63fb4b1b496c
1
Constr 0
0
Constr 0
0
Constr 0
0
#7e2b593a144061dfa32ba4fe47ebb4bd1bee495e0ed6f2ed2e1445bd
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 20000000
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}
#""
→ 8000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#78a11c6924d5ee6cdc42d57b8d741578a256467221cd2ba21a7b1076
1
Constr 0
0
Constr 0
0
Constr 0
0
#f4d0ac9ac9fbe8c331e4579e61bc44ca439d77f3069051c9aa01f0d7
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 372000000