File list (Check if you may need any files):
[Es. Lezione 15] HappyNumbers\.idea\.name
.............................\.....\compiler.xml
.............................\.....\..pyright\profiles_settings.xml
.............................\.....\misc.xml
.............................\.....\modules.xml
.............................\.....\uiDesigner.xml
.............................\.....\vcs.xml
.............................\.....\workspace.xml
.............................\HappyNumbers.iml
.............................\out\production\HappyNumbers\HappyNumbers.class
.............................\src\HappyNumbers.java
.............................\out\production\HappyNumbers
.............................\.idea\copyright
.............................\out\production
.............................\.idea
.............................\out
.............................\src
[Es. Lezione 15] HappyNumbers