Datum
ced6efe79baffd…e26cbdc933
ced6efe79baffd124d5e2d11444072988e4006465b4fae4e945b94e26cbdc933
Datum
Constr 0
0
#7b294ef011e5a3558b46d70f42272c2deb7cc94e6717bcf1c6120793
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#d9e67337bed208cff1d59d12d367121f6db104e87c1650c622376dfc
1
Constr 0
0
Constr 0
0
Constr 0
0
#14fc6ae5005ee2238124df76282aae70336fe77233c2b39868d6959b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 700000000
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}
#""
→ 700000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#7b294ef011e5a3558b46d70f42272c2deb7cc94e6717bcf1c6120793
1
Constr 0
0
Constr 0
0
Constr 0
0
#ae8e5d6a023bb035b66a332074bc234dc926ce00e99bea992120090c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 33600000000