1:01:42
[]∈.∪.∈.E3[]