Datum
6b50b2cfbbcf88…ccce64f18a
6b50b2cfbbcf885d69a978c1d21ae124d2d0f9a31e251865b2a588ccce64f18a
Datum
Constr 0
0
#8f5f09627a2e3ea9ed23ff516bc96e2a11245c41e8e7f34ace6181c8
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#d911218f97c1d45f4a8337090be45cdb49ff142b87ae9ac2928a733d
1
Constr 0
0
Constr 0
0
Constr 0
0
#68428b505a10e0b24e3ce8e8c5619e4631bf1f4b302fb13c45632745
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 11725000
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}
#""
→ 3500000
2
Constr 0
0
Constr 0
0
Constr 0
0
#8f5f09627a2e3ea9ed23ff516bc96e2a11245c41e8e7f34ace6181c8
1
Constr 0
0
Constr 0
0
Constr 0
0
#2b88ecd5d49f577fd23a5e7185e542ab9ca4476e6ace5b545a192924
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 159775000