Datum
8a3f994237642f…6d3ac12bbd
8a3f994237642fb2d6f5200c7073feea21275ca6a8a6a7c66cc3a06d3ac12bbd
Datum
Constr 0
0
#6a61ab377201c7061254b371beacacb1f920fe36ae3d5182dfeeb6ed
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#1cc2deb597f0d0e2b9d375325ee158e3f4668864ff743d2f13dae757
1
Constr 0
0
Constr 0
0
Constr 0
0
#a2dafb7510d1986c52c8c239b79b0277b85615fa50b74be9c123050e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 3200000
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
#6a61ab377201c7061254b371beacacb1f920fe36ae3d5182dfeeb6ed
1
Constr 0
0
Constr 0
0
Constr 0
0
#86b97644e68b95d7a0a61df2cf2f161713990ea9259c171a351b7cbf
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 35800000