# Last edited on 2000-06-29 08:36:31 by stolfi
# Japan 1
3 (-6800,7200,7548) (-7200,8000,7104) ((0,-9235200,-6038400,-2560000))
3 (-7200,8000,7104) (-7200,7400,7335) ((0,6110400,1663200,4320000))
3 (-7200,7400,7335) (-6800,7200,7548) ((0,3043200,4467600,-1520000))
0