7
-4.0 3.0 7.0 3.0
7.0 -2.0 7.0 -5.0
1.0 0.0 -1.0 0.0
0.0 1.0 0.0 -1.75
1.3 -4.7 6.3 4.3
1.0 -3.0 -4.0 4.0
-4.0 3.0 -1.0 6.0


Rotating (-4.0,3.0)(7.0,3.0) yields (1.5,-2.5)(1.5,8.5)
Rotating (7.0,-2.0)(7.0,-5.0) yields (5.5,-3.5)(8.5,-3.5)
Rotating (1.0,0.0)(-1.0,0.0) yields (0.0,-1.0)(0.0,1.0)
Rotating (0.0,1.0)(0.0,-1.75) yields (-1.375,-0.375)(1.375,-0.375)
Rotating (1.3,-4.7)(6.3,4.3) yields (-0.7000000000000002,2.3)(8.3,-2.7)
Rotating (1.0,-3.0)(-4.0,4.0) yields (-5.0,-2.0)(2.0,3.0)
Rotating (-4.0,3.0)(-1.0,6.0) yields (-4.0,6.0)(-1.0000000000000002,3.0)