User:Noogai93/Tridecatraix

The tridecatraix is equal to \( \lbrace 10,7,1,2 \rbrace \).