Datum
c858f1f3c6a63b…5f0aa666d9
c858f1f3c6a63bad8d15266d4eaa381620fdf14ea6bce95076aec35f0aa666d9
Datum
Constr 0
0
#2172bf447255c56c9ff5f516f264959883404a9f192f3156c7fae757
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#3aa3dd2e7920336de12ff0a388aaff86125024cc8d3200306344873b
1
Constr 0
0
Constr 0
0
Constr 0
0
#f61377619ca92c68d4b55fff550b4c920bfdf4e735b924104481640e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 20000000
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}
#""
→ 8000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#2172bf447255c56c9ff5f516f264959883404a9f192f3156c7fae757
1
Constr 0
0
Constr 0
0
Constr 0
0
#5dba0d000865b2ca6c26e3baa2aed125f6a3e8ccde6b53a3fd0e1e90
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 372000000