Theorem: Imo1962P1.satisfied_by_153846 (Compfiles/Imo1962P1.lean)

State before:
⊢ ProblemPredicate 153846
Tactic:
norm_num [ProblemPredicate]
State after:
⊢ ofDigits 10 [4, 8, 3, 5, 1, 6] = 615384

State before:
⊢ ofDigits 10 [4, 8, 3, 5, 1, 6] = 615384
Tactic:
decide
State after:
no goals