:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat:nat