ohodnot(S) :- var(S), S is 1.
ohodnot(S) :- var(S), S is 2.
ohodnot(S) :- var(S), S is 3.
ohodnot(S) :- var(S), S is 4.
ohodnot(S) :- var(S), S is 5.
ohodnot(S) :- var(S), S is 6.
ohodnot(S) :- var(S), S is 7.
ohodnot(S) :- var(S), S is 8.
ohodnot(S) :- var(S), S is 9.
ohodnot(S) :- number(S).


sudoku([
	[A11, A12, A13, A14, A15, A16, A17, A18, A19],
	[A21, A22, A23, A24, A25, A26, A27, A28, A29],
	[A31, A32, A33, A34, A35, A36, A37, A38, A39],
	[A41, A42, A43, A44, A45, A46, A47, A48, A49],
	[A51, A52, A53, A54, A55, A56, A57, A58, A59],
	[A61, A62, A63, A64, A65, A66, A67, A68, A69],
	[A71, A72, A73, A74, A75, A76, A77, A78, A79],
	[A81, A82, A83, A84, A85, A86, A87, A88, A89],
	[A81, A82, A83, A84, A85, A86, A87, A88, A89]
]) :-
%% omezujici podminky na radek 1
diff(A11, A12), diff(A11, A13), diff(A11, A14), diff(A11, A15), diff(A11, A16), diff(A11, A17), diff(A11, A18), diff(A11, A19), 
diff(A12, A13), diff(A12, A14), diff(A12, A15), diff(A12, A16), diff(A12, A17), diff(A12, A18), diff(A12, A19), 
diff(A13, A14), diff(A13, A15), diff(A13, A16), diff(A13, A17), diff(A13, A18), diff(A13, A19), 
diff(A14, A15), diff(A14, A16), diff(A14, A17), diff(A14, A18), diff(A14, A19), 
diff(A15, A16), diff(A15, A17), diff(A15, A18), diff(A15, A19), 
diff(A16, A17), diff(A16, A18), diff(A16, A19), 
diff(A17, A18), diff(A17, A19), 
diff(A18, A19), 

%% omezujici podminky na radek 2
diff(A21, A22), diff(A21, A23), diff(A21, A24), diff(A21, A25), diff(A21, A26), diff(A21, A27), diff(A21, A28), diff(A21, A29), 
diff(A22, A23), diff(A22, A24), diff(A22, A25), diff(A22, A26), diff(A22, A27), diff(A22, A28), diff(A22, A29), 
diff(A23, A24), diff(A23, A25), diff(A23, A26), diff(A23, A27), diff(A23, A28), diff(A23, A29), 
diff(A24, A25), diff(A24, A26), diff(A24, A27), diff(A24, A28), diff(A24, A29), 
diff(A25, A26), diff(A25, A27), diff(A25, A28), diff(A25, A29), 
diff(A26, A27), diff(A26, A28), diff(A26, A29), 
diff(A27, A28), diff(A27, A29), 
diff(A28, A29), 

%% omezujici podminky na radek 3
diff(A31, A32), diff(A31, A33), diff(A31, A34), diff(A31, A35), diff(A31, A36), diff(A31, A37), diff(A31, A38), diff(A31, A39), 
diff(A32, A33), diff(A32, A34), diff(A32, A35), diff(A32, A36), diff(A32, A37), diff(A32, A38), diff(A32, A39), 
diff(A33, A34), diff(A33, A35), diff(A33, A36), diff(A33, A37), diff(A33, A38), diff(A33, A39), 
diff(A34, A35), diff(A34, A36), diff(A34, A37), diff(A34, A38), diff(A34, A39), 
diff(A35, A36), diff(A35, A37), diff(A35, A38), diff(A35, A39), 
diff(A36, A37), diff(A36, A38), diff(A36, A39), 
diff(A37, A38), diff(A37, A39), 
diff(A38, A39), 

%% omezujici podminky na radek 4
diff(A41, A42), diff(A41, A43), diff(A41, A44), diff(A41, A45), diff(A41, A46), diff(A41, A47), diff(A41, A48), diff(A41, A49), 
diff(A42, A43), diff(A42, A44), diff(A42, A45), diff(A42, A46), diff(A42, A47), diff(A42, A48), diff(A42, A49), 
diff(A43, A44), diff(A43, A45), diff(A43, A46), diff(A43, A47), diff(A43, A48), diff(A43, A49), 
diff(A44, A45), diff(A44, A46), diff(A44, A47), diff(A44, A48), diff(A44, A49), 
diff(A45, A46), diff(A45, A47), diff(A45, A48), diff(A45, A49), 
diff(A46, A47), diff(A46, A48), diff(A46, A49), 
diff(A47, A48), diff(A47, A49), 
diff(A48, A49), 

%% omezujici podminky na radek 5
diff(A51, A52), diff(A51, A53), diff(A51, A54), diff(A51, A55), diff(A51, A56), diff(A51, A57), diff(A51, A58), diff(A51, A59), 
diff(A52, A53), diff(A52, A54), diff(A52, A55), diff(A52, A56), diff(A52, A57), diff(A52, A58), diff(A52, A59), 
diff(A53, A54), diff(A53, A55), diff(A53, A56), diff(A53, A57), diff(A53, A58), diff(A53, A59), 
diff(A54, A55), diff(A54, A56), diff(A54, A57), diff(A54, A58), diff(A54, A59), 
diff(A55, A56), diff(A55, A57), diff(A55, A58), diff(A55, A59), 
diff(A56, A57), diff(A56, A58), diff(A56, A59), 
diff(A57, A58), diff(A57, A59), 
diff(A58, A59), 

%% omezujici podminky na radek 6
diff(A61, A62), diff(A61, A63), diff(A61, A64), diff(A61, A65), diff(A61, A66), diff(A61, A67), diff(A61, A68), diff(A61, A69), 
diff(A62, A63), diff(A62, A64), diff(A62, A65), diff(A62, A66), diff(A62, A67), diff(A62, A68), diff(A62, A69), 
diff(A63, A64), diff(A63, A65), diff(A63, A66), diff(A63, A67), diff(A63, A68), diff(A63, A69), 
diff(A64, A65), diff(A64, A66), diff(A64, A67), diff(A64, A68), diff(A64, A69), 
diff(A65, A66), diff(A65, A67), diff(A65, A68), diff(A65, A69), 
diff(A66, A67), diff(A66, A68), diff(A66, A69), 
diff(A67, A68), diff(A67, A69), 
diff(A68, A69), 

%% omezujici podminky na radek 7
diff(A71, A72), diff(A71, A73), diff(A71, A74), diff(A71, A75), diff(A71, A76), diff(A71, A77), diff(A71, A78), diff(A71, A79), 
diff(A72, A73), diff(A72, A74), diff(A72, A75), diff(A72, A76), diff(A72, A77), diff(A72, A78), diff(A72, A79), 
diff(A73, A74), diff(A73, A75), diff(A73, A76), diff(A73, A77), diff(A73, A78), diff(A73, A79), 
diff(A74, A75), diff(A74, A76), diff(A74, A77), diff(A74, A78), diff(A74, A79), 
diff(A75, A76), diff(A75, A77), diff(A75, A78), diff(A75, A79), 
diff(A76, A77), diff(A76, A78), diff(A76, A79), 
diff(A77, A78), diff(A77, A79), 
diff(A78, A79), 

%% omezujici podminky na radek 8
diff(A81, A82), diff(A81, A83), diff(A81, A84), diff(A81, A85), diff(A81, A86), diff(A81, A87), diff(A81, A88), diff(A81, A89), 
diff(A82, A83), diff(A82, A84), diff(A82, A85), diff(A82, A86), diff(A82, A87), diff(A82, A88), diff(A82, A89), 
diff(A83, A84), diff(A83, A85), diff(A83, A86), diff(A83, A87), diff(A83, A88), diff(A83, A89), 
diff(A84, A85), diff(A84, A86), diff(A84, A87), diff(A84, A88), diff(A84, A89), 
diff(A85, A86), diff(A85, A87), diff(A85, A88), diff(A85, A89), 
diff(A86, A87), diff(A86, A88), diff(A86, A89), 
diff(A87, A88), diff(A87, A89), 
diff(A88, A89), 

%% omezujici podminky na radek 9
diff(A91, A92), diff(A91, A93), diff(A91, A94), diff(A91, A95), diff(A91, A96), diff(A91, A97), diff(A91, A98), diff(A91, A99), 
diff(A92, A93), diff(A92, A94), diff(A92, A95), diff(A92, A96), diff(A92, A97), diff(A92, A98), diff(A92, A99), 
diff(A93, A94), diff(A93, A95), diff(A93, A96), diff(A93, A97), diff(A93, A98), diff(A93, A99), 
diff(A94, A95), diff(A94, A96), diff(A94, A97), diff(A94, A98), diff(A94, A99), 
diff(A95, A96), diff(A95, A97), diff(A95, A98), diff(A95, A99), 
diff(A96, A97), diff(A96, A98), diff(A96, A99), 
diff(A97, A98), diff(A97, A99), 
diff(A98, A99), 

%% omezujici podminky na sloupec 1
diff(A11, A21), diff(A11, A31), diff(A11, A41), diff(A11, A51), diff(A11, A61), diff(A11, A71), diff(A11, A81), diff(A11, A91), 
diff(A21, A31), diff(A21, A41), diff(A21, A51), diff(A21, A61), diff(A21, A71), diff(A21, A81), diff(A21, A91), 
diff(A31, A41), diff(A31, A51), diff(A31, A61), diff(A31, A71), diff(A31, A81), diff(A31, A91), 
diff(A41, A51), diff(A41, A61), diff(A41, A71), diff(A41, A81), diff(A41, A91), 
diff(A51, A61), diff(A51, A71), diff(A51, A81), diff(A51, A91), 
diff(A61, A71), diff(A61, A81), diff(A61, A91), 
diff(A71, A81), diff(A71, A91), 
diff(A81, A91), 

%% omezujici podminky na sloupec 2
diff(A12, A22), diff(A12, A32), diff(A12, A42), diff(A12, A52), diff(A12, A62), diff(A12, A72), diff(A12, A82), diff(A12, A92), 
diff(A22, A32), diff(A22, A42), diff(A22, A52), diff(A22, A62), diff(A22, A72), diff(A22, A82), diff(A22, A92), 
diff(A32, A42), diff(A32, A52), diff(A32, A62), diff(A32, A72), diff(A32, A82), diff(A32, A92), 
diff(A42, A52), diff(A42, A62), diff(A42, A72), diff(A42, A82), diff(A42, A92), 
diff(A52, A62), diff(A52, A72), diff(A52, A82), diff(A52, A92), 
diff(A62, A72), diff(A62, A82), diff(A62, A92), 
diff(A72, A82), diff(A72, A92), 
diff(A82, A92), 

%% omezujici podminky na sloupec 3
diff(A13, A23), diff(A13, A33), diff(A13, A43), diff(A13, A53), diff(A13, A63), diff(A13, A73), diff(A13, A83), diff(A13, A93), 
diff(A23, A33), diff(A23, A43), diff(A23, A53), diff(A23, A63), diff(A23, A73), diff(A23, A83), diff(A23, A93), 
diff(A33, A43), diff(A33, A53), diff(A33, A63), diff(A33, A73), diff(A33, A83), diff(A33, A93), 
diff(A43, A53), diff(A43, A63), diff(A43, A73), diff(A43, A83), diff(A43, A93), 
diff(A53, A63), diff(A53, A73), diff(A53, A83), diff(A53, A93), 
diff(A63, A73), diff(A63, A83), diff(A63, A93), 
diff(A73, A83), diff(A73, A93), 
diff(A83, A93), 

%% omezujici podminky na sloupec 4
diff(A14, A24), diff(A14, A34), diff(A14, A44), diff(A14, A54), diff(A14, A64), diff(A14, A74), diff(A14, A84), diff(A14, A94), 
diff(A24, A34), diff(A24, A44), diff(A24, A54), diff(A24, A64), diff(A24, A74), diff(A24, A84), diff(A24, A94), 
diff(A34, A44), diff(A34, A54), diff(A34, A64), diff(A34, A74), diff(A34, A84), diff(A34, A94), 
diff(A44, A54), diff(A44, A64), diff(A44, A74), diff(A44, A84), diff(A44, A94), 
diff(A54, A64), diff(A54, A74), diff(A54, A84), diff(A54, A94), 
diff(A64, A74), diff(A64, A84), diff(A64, A94), 
diff(A74, A84), diff(A74, A94), 
diff(A84, A94), 

%% omezujici podminky na sloupec 5
diff(A15, A25), diff(A15, A35), diff(A15, A45), diff(A15, A55), diff(A15, A65), diff(A15, A75), diff(A15, A85), diff(A15, A95), 
diff(A25, A35), diff(A25, A45), diff(A25, A55), diff(A25, A65), diff(A25, A75), diff(A25, A85), diff(A25, A95), 
diff(A35, A45), diff(A35, A55), diff(A35, A65), diff(A35, A75), diff(A35, A85), diff(A35, A95), 
diff(A45, A55), diff(A45, A65), diff(A45, A75), diff(A45, A85), diff(A45, A95), 
diff(A55, A65), diff(A55, A75), diff(A55, A85), diff(A55, A95), 
diff(A65, A75), diff(A65, A85), diff(A65, A95), 
diff(A75, A85), diff(A75, A95), 
diff(A85, A95), 

%% omezujici podminky na sloupec 6
diff(A16, A26), diff(A16, A36), diff(A16, A46), diff(A16, A56), diff(A16, A66), diff(A16, A76), diff(A16, A86), diff(A16, A96), 
diff(A26, A36), diff(A26, A46), diff(A26, A56), diff(A26, A66), diff(A26, A76), diff(A26, A86), diff(A26, A96), 
diff(A36, A46), diff(A36, A56), diff(A36, A66), diff(A36, A76), diff(A36, A86), diff(A36, A96), 
diff(A46, A56), diff(A46, A66), diff(A46, A76), diff(A46, A86), diff(A46, A96), 
diff(A56, A66), diff(A56, A76), diff(A56, A86), diff(A56, A96), 
diff(A66, A76), diff(A66, A86), diff(A66, A96), 
diff(A76, A86), diff(A76, A96), 
diff(A86, A96), 

%% omezujici podminky na sloupec 7
diff(A17, A27), diff(A17, A37), diff(A17, A47), diff(A17, A57), diff(A17, A67), diff(A17, A77), diff(A17, A87), diff(A17, A97), 
diff(A27, A37), diff(A27, A47), diff(A27, A57), diff(A27, A67), diff(A27, A77), diff(A27, A87), diff(A27, A97), 
diff(A37, A47), diff(A37, A57), diff(A37, A67), diff(A37, A77), diff(A37, A87), diff(A37, A97), 
diff(A47, A57), diff(A47, A67), diff(A47, A77), diff(A47, A87), diff(A47, A97), 
diff(A57, A67), diff(A57, A77), diff(A57, A87), diff(A57, A97), 
diff(A67, A77), diff(A67, A87), diff(A67, A97), 
diff(A77, A87), diff(A77, A97), 
diff(A87, A97), 

%% omezujici podminky na sloupec 8
diff(A18, A28), diff(A18, A38), diff(A18, A48), diff(A18, A58), diff(A18, A68), diff(A18, A78), diff(A18, A88), diff(A18, A98), 
diff(A28, A38), diff(A28, A48), diff(A28, A58), diff(A28, A68), diff(A28, A78), diff(A28, A88), diff(A28, A98), 
diff(A38, A48), diff(A38, A58), diff(A38, A68), diff(A38, A78), diff(A38, A88), diff(A38, A98), 
diff(A48, A58), diff(A48, A68), diff(A48, A78), diff(A48, A88), diff(A48, A98), 
diff(A58, A68), diff(A58, A78), diff(A58, A88), diff(A58, A98), 
diff(A68, A78), diff(A68, A88), diff(A68, A98), 
diff(A78, A88), diff(A78, A98), 
diff(A88, A98), 

%% omezujici podminky na sloupec 9
diff(A19, A29), diff(A19, A39), diff(A19, A49), diff(A19, A59), diff(A19, A69), diff(A19, A79), diff(A19, A89), diff(A19, A99), 
diff(A29, A39), diff(A29, A49), diff(A29, A59), diff(A29, A69), diff(A29, A79), diff(A29, A89), diff(A29, A99), 
diff(A39, A49), diff(A39, A59), diff(A39, A69), diff(A39, A79), diff(A39, A89), diff(A39, A99), 
diff(A49, A59), diff(A49, A69), diff(A49, A79), diff(A49, A89), diff(A49, A99), 
diff(A59, A69), diff(A59, A79), diff(A59, A89), diff(A59, A99), 
diff(A69, A79), diff(A69, A89), diff(A69, A99), 
diff(A79, A89), diff(A79, A99), 
diff(A89, A99), 


%% podminka pro ctverec [1 .. 3][1 .. 3]
dif( A11, A22), dif( A11, A23), dif( A11, A32), dif( A11, A33), 
dif( A12, A21), dif( A12, A23), dif( A12, A31), dif( A12, A33), 
dif( A13, A21), dif( A13, A22), dif( A13, A31), dif( A13, A32), 
dif( A21, A12), dif( A21, A13), dif( A21, A32), dif( A21, A33), 
dif( A22, A11), dif( A22, A13), dif( A22, A31), dif( A22, A33), 
dif( A23, A11), dif( A23, A12), dif( A23, A31), dif( A23, A32), 
dif( A31, A12), dif( A31, A13), dif( A31, A22), dif( A31, A23), 
dif( A32, A11), dif( A32, A13), dif( A32, A21), dif( A32, A23), 
dif( A33, A11), dif( A33, A12), dif( A33, A21), dif( A33, A22), 

%% podminka pro ctverec [1 .. 3][4 .. 6]
dif( A14, A25), dif( A14, A26), dif( A14, A35), dif( A14, A36), 
dif( A15, A24), dif( A15, A26), dif( A15, A34), dif( A15, A36), 
dif( A16, A24), dif( A16, A25), dif( A16, A34), dif( A16, A35), 
dif( A24, A15), dif( A24, A16), dif( A24, A35), dif( A24, A36), 
dif( A25, A14), dif( A25, A16), dif( A25, A34), dif( A25, A36), 
dif( A26, A14), dif( A26, A15), dif( A26, A34), dif( A26, A35), 
dif( A34, A15), dif( A34, A16), dif( A34, A25), dif( A34, A26), 
dif( A35, A14), dif( A35, A16), dif( A35, A24), dif( A35, A26), 
dif( A36, A14), dif( A36, A15), dif( A36, A24), dif( A36, A25), 

%% podminka pro ctverec [1 .. 3][7 .. 9]
dif( A17, A28), dif( A17, A29), dif( A17, A38), dif( A17, A39), 
dif( A18, A27), dif( A18, A29), dif( A18, A37), dif( A18, A39), 
dif( A19, A27), dif( A19, A28), dif( A19, A37), dif( A19, A38), 
dif( A27, A18), dif( A27, A19), dif( A27, A38), dif( A27, A39), 
dif( A28, A17), dif( A28, A19), dif( A28, A37), dif( A28, A39), 
dif( A29, A17), dif( A29, A18), dif( A29, A37), dif( A29, A38), 
dif( A37, A18), dif( A37, A19), dif( A37, A28), dif( A37, A29), 
dif( A38, A17), dif( A38, A19), dif( A38, A27), dif( A38, A29), 
dif( A39, A17), dif( A39, A18), dif( A39, A27), dif( A39, A28), 

%% podminka pro ctverec [4 .. 6][1 .. 3]
dif( A41, A52), dif( A41, A53), dif( A41, A62), dif( A41, A63), 
dif( A42, A51), dif( A42, A53), dif( A42, A61), dif( A42, A63), 
dif( A43, A51), dif( A43, A52), dif( A43, A61), dif( A43, A62), 
dif( A51, A42), dif( A51, A43), dif( A51, A62), dif( A51, A63), 
dif( A52, A41), dif( A52, A43), dif( A52, A61), dif( A52, A63), 
dif( A53, A41), dif( A53, A42), dif( A53, A61), dif( A53, A62), 
dif( A61, A42), dif( A61, A43), dif( A61, A52), dif( A61, A53), 
dif( A62, A41), dif( A62, A43), dif( A62, A51), dif( A62, A53), 
dif( A63, A41), dif( A63, A42), dif( A63, A51), dif( A63, A52), 

%% podminka pro ctverec [4 .. 6][4 .. 6]
dif( A44, A55), dif( A44, A56), dif( A44, A65), dif( A44, A66), 
dif( A45, A54), dif( A45, A56), dif( A45, A64), dif( A45, A66), 
dif( A46, A54), dif( A46, A55), dif( A46, A64), dif( A46, A65), 
dif( A54, A45), dif( A54, A46), dif( A54, A65), dif( A54, A66), 
dif( A55, A44), dif( A55, A46), dif( A55, A64), dif( A55, A66), 
dif( A56, A44), dif( A56, A45), dif( A56, A64), dif( A56, A65), 
dif( A64, A45), dif( A64, A46), dif( A64, A55), dif( A64, A56), 
dif( A65, A44), dif( A65, A46), dif( A65, A54), dif( A65, A56), 
dif( A66, A44), dif( A66, A45), dif( A66, A54), dif( A66, A55), 

%% podminka pro ctverec [4 .. 6][7 .. 9]
dif( A47, A58), dif( A47, A59), dif( A47, A68), dif( A47, A69), 
dif( A48, A57), dif( A48, A59), dif( A48, A67), dif( A48, A69), 
dif( A49, A57), dif( A49, A58), dif( A49, A67), dif( A49, A68), 
dif( A57, A48), dif( A57, A49), dif( A57, A68), dif( A57, A69), 
dif( A58, A47), dif( A58, A49), dif( A58, A67), dif( A58, A69), 
dif( A59, A47), dif( A59, A48), dif( A59, A67), dif( A59, A68), 
dif( A67, A48), dif( A67, A49), dif( A67, A58), dif( A67, A59), 
dif( A68, A47), dif( A68, A49), dif( A68, A57), dif( A68, A59), 
dif( A69, A47), dif( A69, A48), dif( A69, A57), dif( A69, A58), 

%% podminka pro ctverec [7 .. 9][1 .. 3]
dif( A71, A82), dif( A71, A83), dif( A71, A92), dif( A71, A93), 
dif( A72, A81), dif( A72, A83), dif( A72, A91), dif( A72, A93), 
dif( A73, A81), dif( A73, A82), dif( A73, A91), dif( A73, A92), 
dif( A81, A72), dif( A81, A73), dif( A81, A92), dif( A81, A93), 
dif( A82, A71), dif( A82, A73), dif( A82, A91), dif( A82, A93), 
dif( A83, A71), dif( A83, A72), dif( A83, A91), dif( A83, A92), 
dif( A91, A72), dif( A91, A73), dif( A91, A82), dif( A91, A83), 
dif( A92, A71), dif( A92, A73), dif( A92, A81), dif( A92, A83), 
dif( A93, A71), dif( A93, A72), dif( A93, A81), dif( A93, A82), 

%% podminka pro ctverec [7 .. 9][4 .. 6]
dif( A74, A85), dif( A74, A86), dif( A74, A95), dif( A74, A96), 
dif( A75, A84), dif( A75, A86), dif( A75, A94), dif( A75, A96), 
dif( A76, A84), dif( A76, A85), dif( A76, A94), dif( A76, A95), 
dif( A84, A75), dif( A84, A76), dif( A84, A95), dif( A84, A96), 
dif( A85, A74), dif( A85, A76), dif( A85, A94), dif( A85, A96), 
dif( A86, A74), dif( A86, A75), dif( A86, A94), dif( A86, A95), 
dif( A94, A75), dif( A94, A76), dif( A94, A85), dif( A94, A86), 
dif( A95, A74), dif( A95, A76), dif( A95, A84), dif( A95, A86), 
dif( A96, A74), dif( A96, A75), dif( A96, A84), dif( A96, A85), 

%% podminka pro ctverec [7 .. 9][7 .. 9]
dif( A77, A88), dif( A77, A89), dif( A77, A98), dif( A77, A99), 
dif( A78, A87), dif( A78, A89), dif( A78, A97), dif( A78, A99), 
dif( A79, A87), dif( A79, A88), dif( A79, A97), dif( A79, A98), 
dif( A87, A78), dif( A87, A79), dif( A87, A98), dif( A87, A99), 
dif( A88, A77), dif( A88, A79), dif( A88, A97), dif( A88, A99), 
dif( A89, A77), dif( A89, A78), dif( A89, A97), dif( A89, A98), 
dif( A97, A78), dif( A97, A79), dif( A97, A88), dif( A97, A89), 
dif( A98, A77), dif( A98, A79), dif( A98, A87), dif( A98, A89), 
dif( A99, A77), dif( A99, A78), dif( A99, A87), dif( A99, A88), 

%% vynutime ohodnoceni sudoku
ohodnot(A11), ohodnot(A12), ohodnot(A13), ohodnot(A14), ohodnot(A15), ohodnot(A16), ohodnot(A17), ohodnot(A18), ohodnot(A19), 
ohodnot(A21), ohodnot(A22), ohodnot(A23), ohodnot(A24), ohodnot(A25), ohodnot(A26), ohodnot(A27), ohodnot(A28), ohodnot(A29), 
ohodnot(A31), ohodnot(A32), ohodnot(A33), ohodnot(A34), ohodnot(A35), ohodnot(A36), ohodnot(A37), ohodnot(A38), ohodnot(A39), 
ohodnot(A41), ohodnot(A42), ohodnot(A43), ohodnot(A44), ohodnot(A45), ohodnot(A46), ohodnot(A47), ohodnot(A48), ohodnot(A49), 
ohodnot(A51), ohodnot(A52), ohodnot(A53), ohodnot(A54), ohodnot(A55), ohodnot(A56), ohodnot(A57), ohodnot(A58), ohodnot(A59), 
ohodnot(A61), ohodnot(A62), ohodnot(A63), ohodnot(A64), ohodnot(A65), ohodnot(A66), ohodnot(A67), ohodnot(A68), ohodnot(A69), 
ohodnot(A71), ohodnot(A72), ohodnot(A73), ohodnot(A74), ohodnot(A75), ohodnot(A76), ohodnot(A77), ohodnot(A78), ohodnot(A79), 
ohodnot(A81), ohodnot(A82), ohodnot(A83), ohodnot(A84), ohodnot(A85), ohodnot(A86), ohodnot(A87), ohodnot(A88), ohodnot(A89), 
ohodnot(A91), ohodnot(A92), ohodnot(A93), ohodnot(A94), ohodnot(A95), ohodnot(A96), ohodnot(A97), ohodnot(A98), ohodnot(A99), 
true.
