//
// Created by bruno on 12/11/23.
//


int dake_cislo();