Post History
Thunno 2, 14 bytes 6RẉDæḳ6R⁼;,ḷẸ\ Attempt This Online! Note: brute-force, so times out for $n\ge5$ on ATO, but I have verified it with $n=6$ on my computer. Explanation 6RẉDæḳ6R⁼;,ḷẸ\ # Imp...
#1: Initial revision
# [Thunno 2](https://github.com/Thunno/Thunno2), 14 bytes
```
6RẉDæḳ6R⁼;,ḷẸ\
```
[Attempt This Online!](https://ato.pxeger.com/run?1=m728JKM0Ly_faMGCpaUlaboWO82CHu7qdDm87OGOzWZBjxr3WOs83LH94a4dMUuKk5KLoaoWLDSDMAA)
Note: brute-force, so times out for \$n\ge5\$ on ATO, but I have verified it with \$n=6\$ on my computer.
#### Explanation
```python
6RẉDæḳ6R⁼;,ḷẸ\ # Implicit input
6R # Push [1..6]
ẉ # Cartesian power with input
D # Duplicate the list
æ ; # Filter by:
ḳ # Sorted uniquify
6R⁼ # Exactly equal to [1..6]?
, # Pair with original list
ḷ # Length of each list
Ẹ # Dump
\ # Swapped divide
# Implicit output
```
