% https://open.kattis.com/problems/npuzzle
% 1s
% 2.1 Easy

% Picat

import util.
main :-
  I=0,T=0,
  foreach(C in read_file_chars().split().flatten)
     if C != '.' then
       V = ord(C)-0'A, % '
       p(V,CR,CC), p(I,IR,IC),
       D = abs(CR-IR)+abs(CC-IC),
       T := T + D
     end,
     I := I+1
  end,
  println(T),
  nl.
p(A,R,C) :- R is A div 4, C is A mod 4.