a=V2V3Ia=abV2Ia=V1V2Ia=V0V1F
a=c55c83
apply premises
a=c83c3
a=abc3
a=c3c22
empty_shape

50cf937d1fa642a41038bac4456f6e08 6H5H0
d49e53d392b0be3bf208bde4161b6ba4 2H1H0
272dff9091c21249d834b46d51a6656a 2H3H0
603d9b9ad1328e0a017162f234897880 2H4H0
