Datum
20c06de9586fee…533deeb689
20c06de9586fee17f4c1d13c86158506bf5b3d04dfe00a5e469036533deeb689
Datum
Constr 0
0
#f922903b7264b6e2b54a446cca8c65df963d3f48ae68e5d830a291b8
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}
#""
→ 55000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#cd41a5d623edce316f9da50a6acbf29a9645a33882804b0270b14a2e
1
Constr 0
0
Constr 0
0
Constr 0
0
#0d622acce971be6748ced63d1bb779559bbf316ce2d284a5168a4139
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 137500000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f922903b7264b6e2b54a446cca8c65df963d3f48ae68e5d830a291b8
1
Constr 0
0
Constr 0
0
Constr 0
0
#fb54ae575a5b2b649a43eac08982b5039adb31245682d3a83a25d235
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2557500000