import Data.List
allC = [ [ a, b, c ] | a<-[0..10],b<-[a+1..11],c<-[b+1..12] ]
obts = let
obt x = sort [ act i x | i<-[0..12] ]
main = do
aW1wb3J0IERhdGEuTGlzdAoKYWxsQyA9IFsgWyBhLCBiLCBjIF0gfCBhPC1bMC4uMTBdLGI8LVthKzEuLjExXSxjPC1bYisxLi4xMl0gXQoKb2J0cyA9IGxldCAKICAgYWN0IGkgPSBzb3J0IC4gbWFwICgoIGZsaXAgbW9kIDEzKSAuICggKyBpICkpCiAgIG9idCB4ID0gc29ydCBbIGFjdCBpIHggfCBpPC1bMC4uMTJdIF0KICAgaW4gbnViICQgbWFwIG9idCBhbGxDCgptYWluID0gZG8KICAgIHByaW50ICQgbGVuZ3RoIGFsbEMKICAgIHByaW50ICQgIGxlbmd0aCBvYnRz