apc0
destruct premise
f
empty_shape
fIapc0
Napc0
apc5
t

9591c219c998dcb1a9c341666f5e5b08 3H2H0H5
f6d87930e1ccee653624a9b61e526efa 3H2H0H4
1a80fbec624afa3bf16a841c84c6776d 1H0H0
1d1a559481301fc4c79b1e721451d774 3H2H0H2
1a80fbec624afa3bf16a841c84c6776d 1H0H0
9591c219c998dcb1a9c341666f5e5b08 3H2H0H5
724c27a1d37ac3fd402ca9a7f3515536 3H6H2H0H5
25a7fd7ff0459b07e0f8022b2b8ff547 3H7H2H0H5
bfc0f92aa51664c258f614cc5229f04a 3H6H7H2H0H5
724c27a1d37ac3fd402ca9a7f3515536 3H6H2H0H5
