el : type.

1 : el.
2 : el.
3 : el.
4 : el.
5 : el.

maimic : el -> el -> type.

maimic1 : maimic 1 2.
maimic2 : maimic 2 3.
maimic3 : maimic 1 3.
maimic4 : maimic 3 4.
maimic5 : maimic 1 4.
maimic6 : maimic 2 4.
maimic7 : maimic 1 5.
maimic8 : maimic 2 5.
maimic9 : maimic 3 5.
maimic10 : maimic 4 5.
maimiceg1 : maimic 1 1.
maimiceg2 : maimic 2 2.
maimiceg3 : maimic 3 3.
maimiceg4 : maimic 4 4.
maimiceg5 : maimic 5 5.