Datum
08dc11ebf4d236…d65cdd27a9
08dc11ebf4d23609d9b20097f80d16ad1a1be2c8d8c8c92d71cd73d65cdd27a9
Datum
Constr 0
0
#21fcaeddbb3e18f35b2aa24a08ba84e54305f1bc5bb2b12843ecb164
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#803708dd8b60011409ab1d18c4dee54406f7ec167147471a14f2b69e
1
Constr 0
0
Constr 0
0
Constr 0
0
#d0b731db641cb2302ad64d48eb6550d229ab2fc0e29ccec5cc26d8fa
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 45000000
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}
#""
→ 9000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#21fcaeddbb3e18f35b2aa24a08ba84e54305f1bc5bb2b12843ecb164
1
Constr 0
0
Constr 0
0
Constr 0
0
#f573a8bcdb09a65f1f8646ec895be9e804673d1cd74346b9b052fb5f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 396000000