.0... Michael Reilly SSW prefix-6912...i...Rrp-3.0111111111111111¹¹1.¹1½1½=000||^³|0.00.01|invariant...