Datum
12aaaddca69c3f…1f402284db
12aaaddca69c3fa7ef2fb5f210e6be425c75f657b8ae5d54d1417b1f402284db
Datum
Constr 0
0
#4707049d681e303362436f3c1835c732279794f50fdabecc14876be4
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#3a79955c43097a37806380bdbe46776274322b185e96b9ba72ce851f
1
Constr 0
0
Constr 0
0
Constr 0
0
#a607aca327327ed6823bc181b3302ad0ff4f53eacb39fa048a066e07
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1400000
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}
#""
→ 1000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#4707049d681e303362436f3c1835c732279794f50fdabecc14876be4
1
Constr 0
0
Constr 0
0
Constr 0
0
#2b826ec689ab48d8143cf3443da455941b5f482cc6195d22848209ac
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 17600000