Variety with triangles

Here is the source in one big file.