Datum
b6dccbda99a75c…ce267a2b51
b6dccbda99a75cd31f11ae3b3bf68df2ee22eb7901e46bffef166ace267a2b51
Datum
Constr 0
0
#eaa021057ce5021cb868c598f4dd753a6b1e4c3c7e671429dd98613a
1
List [3]
0
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}
#""
→ 220000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#3342ca8c073a11b7664bd105123353e79c01116cc465915133fdcf75
1
Constr 0
0
Constr 0
0
Constr 0
0
#d6c5f6f7562142b9815eacc31a3a1579991452e860aaf60573722018
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 220000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#eaa021057ce5021cb868c598f4dd753a6b1e4c3c7e671429dd98613a
1
Constr 0
0
Constr 0
0
Constr 0
0
#0f11ba32360ffe07d195dd06400dd495a0b836c61f536e546fc7c46c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 10560000000