# Last edited on 2024-10-31 03:43:42 by stolfi
# The identity map

+1.000000000 00.000000000 00.000000000
00.000000000 +1.000000000 00.000000000
00.000000000 00.000000000 +1.000000000