Datum
dbf352b96b2eb7…bcad2fe81c
dbf352b96b2eb7d82ec39608d56ae50e55c0861fab6f1eefaf5d30bcad2fe81c
Datum
Constr 0
0
#5178f7df1ff7caba706ca15ed4c8a3464f349d50c2ce395e692a5a21
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#c71d47ae0d94add7a26e7f9bb3db86c36d628543030957b4e6cee98b
1
Constr 1 []
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 4875000
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}
#""
→ 1300000
2
Constr 0
0
Constr 0
0
Constr 0
0
#5178f7df1ff7caba706ca15ed4c8a3464f349d50c2ce395e692a5a21
1
Constr 0
0
Constr 0
0
Constr 0
0
#4142ff433f39c93bf2b303accb059555752ef3e1448c404a55af3420
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 58825000