Datum
a0d40da7ced95a…af8d59e65d
a0d40da7ced95a867b936d8b398ee9a6e125c1cacee8d4397f3441af8d59e65d
Datum
Constr 0
0
#6a571f113c2d8b9b173ed54089c8ad82b00c07c88d16734f0691e32f
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 1
0
#7caa428b3c8cc45f773a8da3b1de6c5bfebb462034e5250507493fa7
1
Constr 0
0
Constr 0
0
Constr 1
0
#34d8f744e66660177c726eb3329cb5e5d46d55ef9629287a855b7cf8
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 8100000
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}
#""
→ 3240000
2
Constr 0
0
Constr 0
0
Constr 0
0
#6a571f113c2d8b9b173ed54089c8ad82b00c07c88d16734f0691e32f
1
Constr 0
0
Constr 0
0
Constr 0
0
#e0149ea19a9148ab94cb0363a5bb4c937973b85ea5575956b68cd96e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 150660000