| .. | ||
| self-describing-numbers-1.picat | ||
| self-describing-numbers-2.picat | ||
| self-describing-numbers-3.picat | ||
| self-describing-numbers-4.picat | ||
| self-describing-numbers-5.picat | ||
| self-describing-numbers-6.picat | ||
| self-describing-numbers-7.picat | ||
| .. | ||
| self-describing-numbers-1.picat | ||
| self-describing-numbers-2.picat | ||
| self-describing-numbers-3.picat | ||
| self-describing-numbers-4.picat | ||
| self-describing-numbers-5.picat | ||
| self-describing-numbers-6.picat | ||
| self-describing-numbers-7.picat | ||
