Datum
4e10acbb87e3d0…b2fea5aa81
4e10acbb87e3d0bc03549f1e40bd75283fe130c28055a200cd4635b2fea5aa81
Datum
Constr 0
0
#2b107816a58245617b1f5c2a5ba140b330f5e6b1011ffc2badf2b713
1
List [2]
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}
#""
→ 5580000
1
Constr 0
0
Constr 0
0
Constr 0
0
#2b107816a58245617b1f5c2a5ba140b330f5e6b1011ffc2badf2b713
1
Constr 0
0
Constr 0
0
Constr 0
0
#8a554dba6fa502a38d6bb2a42fe081967f4e00139708860004d7e844
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 273420000