Datum
07838d6a05405f…cf8ad893fc
07838d6a05405f8d17902052cb9d91c6e59fea08b52aeffe698de2cf8ad893fc
Datum
Constr 0
0
#73af38ac9e83c4dbaad7d987c7684a6b22bc9fa9ed5cdd92963d4964
1
List [3]
0
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
1
Constr 0
0
Constr 0
0
Constr 0
0
#e54f7f647be4ef6ed1539e8d48a9738f21342dd7d26fa374777190f6
1
Constr 0
0
Constr 0
0
Constr 0
0
#9ee2679d51d1458ab2bf414908c791ad13132f2a40fa61bf4a5db70a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 20000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#73af38ac9e83c4dbaad7d987c7684a6b22bc9fa9ed5cdd92963d4964
1
Constr 0
0
Constr 0
0
Constr 0
0
#43bc41562baf827bf3b168dfcbb63ed07d92d1eaeecc42c46972a30f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 372000000