Datum
c33419a2167704…2d533ef776
c33419a216770419a6690a16874dfd7d59e2a57e8ef4d6be06f76a2d533ef776
Datum
Constr 0
0
#e3c1e69c2d39515a6a2586f957ffa9385e0af37f6c8de90c2a5afc2f
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#d424fea822164c509fef470e53ca221f9ae0967e1ca393e2e8b784ff
1
Constr 0
0
Constr 0
0
Constr 0
0
#334eedde2413ad4735e3c568106e987acb31b61c92a5a3f93f550fee
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000
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}
#""
→ 6000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#e3c1e69c2d39515a6a2586f957ffa9385e0af37f6c8de90c2a5afc2f
1
Constr 0
0
Constr 0
0
Constr 0
0
#9d13bf7bf103af726ca9e89ae6995ca619fdbc06aedb864e09b6dba2
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 282000000