Datum
4fe6624a10fee3…5f2f659f93
4fe6624a10fee37bd871f1f6972998ef0b82eacb4f810ec901a40f5f2f659f93
Datum
Constr 0
0
#d9ed244ac99ef27fc53572fd83a1d255e43e172c6d86bea267521536
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#edf522a7bee9b583cdc8f394ca020afa57814eaa5c4beb559325447a
1
Constr 0
0
Constr 0
0
Constr 0
0
#4253422736e04df947d2aa541db1c8204bfcdff5b3038f385ba8ea8e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 70000000
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}
#""
→ 56000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#d9ed244ac99ef27fc53572fd83a1d255e43e172c6d86bea267521536
1
Constr 0
0
Constr 0
0
Constr 0
0
#3b6b55d1a5847929313dcbc34cde9c7a309943d73efda04e4cc1c88e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2674000000