Datum
d288b4a2bed50d…1dc675a0d4
d288b4a2bed50d9df50330c83a26d87a1ecfcfe2830a4a9a4f1c141dc675a0d4
Datum
Constr 0
0
#2ae19561f28dcdbabcecf71f9a1db4586ca055895e1c63cbd6a29b48
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#b7950770dc81a4b24f164c42b56b282a5b507ffe4600a04d50fcf47e
1
Constr 0
0
Constr 0
0
Constr 0
0
#c11ffe23b413c593c9b7d33ff8ecf635ea3c6afb7a853dd33493cc4a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 10000000
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
#2ae19561f28dcdbabcecf71f9a1db4586ca055895e1c63cbd6a29b48
1
Constr 0
0
Constr 0
0
Constr 0
0
#8301c736af1ef5c93ac7daa74cc3d58239465ccab23f0956aeda1b45
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 186000000