../../Task/Middle-three-digits/Bracmat