Tetrads and Weyl scalars in canonical formThe material below is about a new development that didn't arrive in time for the launch of Maple 2016 (March) and that complements in a relevant way the ones introduced in Physics in Maple 2016. It is at topic in general relativity, the computation of a canonical form of a tetrad, so that, generally speaking (skipping a technical description) the Weyl scalars are fixed as much as possible (either equal to 0 or to 1) regarding transformations that leave invariant the tetrad metric in a tetrad system of references. Bringing a tetrad in canonical form is a relevant step in the tackling of the equivalence problem between two spacetime metrics, and it is relevant in connection with the digitizing in Maple 2016 of the database of solutions to Einstein's equations of the book Exact Solutions to Einstein Field Equations.
The reference for this development is the book "General Relativity, an Einstein century survey", edited by S.W. Hawking (Cambridge) and W. Israel (U. Alberta, Canada), specifically Chapter 7 written by S. Chandrasekhar, and more specifically exploring what is said in page 388 about the Petrov classification.
A canonical form for the tetrad and Weyl scalars admits alternate forms; the implementation is as implicit in page 388:
LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2I1ErYCZQc2k7X18wYEYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2I1ErYCZQc2k7X18xYEYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2I1ErYCZQc2k7X18yYEYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2I1ErYCZQc2k7X18zYEYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2I1ErYCZQc2k7X180YEYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnResidual invariancePetrov type I0LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbW9HRiQ2LlErJk5vdEVxdWFsO0YnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjEvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGMS8lKnN5bW1ldHJpY0dGMS8lKGxhcmdlb3BHRjEvJS5tb3ZhYmxlbGltaXRzR0YxLyUnYWNjZW50R0YxLyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGRS1JI21uR0YkNiVRIjBGJ0YvRjJGL0YyLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbW9HRiQ2LlErJk5vdEVxdWFsO0YnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjEvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGMS8lKnN5bW1ldHJpY0dGMS8lKGxhcmdlb3BHRjEvJS5tb3ZhYmxlbGltaXRzR0YxLyUnYWNjZW50R0YxLyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGRS1JI21uR0YkNiVRIjBGJ0YvRjJGL0Yy10nonePetrov type II00LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbW9HRiQ2LlErJk5vdEVxdWFsO0YnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjEvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGMS8lKnN5bW1ldHJpY0dGMS8lKGxhcmdlb3BHRjEvJS5tb3ZhYmxlbGltaXRzR0YxLyUnYWNjZW50R0YxLyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGRS1JI21uR0YkNiVRIjBGJ0YvRjJGL0Yy10nonePetrov type III00010nonePetrov type D00LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbW9HRiQ2LlErJk5vdEVxdWFsO0YnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjEvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGMS8lKnN5bW1ldHJpY0dGMS8lKGxhcmdlb3BHRjEvJS5tb3ZhYmxlbGltaXRzR0YxLyUnYWNjZW50R0YxLyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGRS1JI21uR0YkNiVRIjBGJ0YvRjJGL0Yy00LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2I1ErYCZQc2k7X18yYEYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYn remains invariant under rotations of Class IIIPetrov type N00001LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2I1ErYCZQc2k7X180YEYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYn remains invariant under rotations of Class II
The transformations (rotations of the tetrad system of references) used are of Class I, II and III as defined in Chandrasekar's chapter - equations (7.79) in page 384, (7.83) and (7.84) in page 385. Transformations of Class I can be performed with the command Physics:-Tetrads:-TransformTetrad using the optional argument nullrotationwithfixedl_, of Class II using nullrotationwithfixedn_ and of Class III by calling TransformTetrad(spatialrotationsm_mb_plan, boostsn_l_plane), so with the two optional arguments simultaneously. In this development, a new optional argument, canonicalform got implemented to TransformTetrad so that the whole sequence of three transformations of Classes I, II and III is performed automatically, in one go. Regarding the canonical form of the tetrad, the main idea is that from the change in the Weyl scalars one can derive the parameters entering tetrad transformations that result in a canonical form of the tetrad. LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYsLUkjbWlHRiQ2JVEld2l0aEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYkLUYsNiVRKFBoeXNpY3NGJ0YvRjIvRjNRJ25vcm1hbEYnRj0tSSNtb0dGJDYtUSI6RidGPS8lJmZlbmNlR1EmZmFsc2VGJy8lKnNlcGFyYXRvckdGRS8lKXN0cmV0Y2h5R0ZFLyUqc3ltbWV0cmljR0ZFLyUobGFyZ2VvcEdGRS8lLm1vdmFibGVsaW1pdHNHRkUvJSdhY2NlbnRHRkUvJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0ZULUknbXNwYWNlR0YkNiYvJSdoZWlnaHRHUSYwLjBleEYnLyUmd2lkdGhHUSYwLjBlbUYnLyUmZGVwdGhHRmZuLyUqbGluZWJyZWFrR1EobmV3bGluZUYnLUZYNiZGWkZnbkZqbi9GXW9RJWF1dG9GJ0YrLUY2NiQtRiM2JC1GLDYlUShUZXRyYWRzRidGL0YyRj1GPS1GQDYtUSI7RidGPUZDL0ZHRjFGSEZKRkxGTkZQL0ZTRmluRlUvJStleGVjdXRhYmxlR0ZFRj0=(Note the Tetrads:-PetrovType command, unfinished in the first release of Maple 2016.) To run the following computations you need to update your Physics library to the latest version from the Maplesoft R&D Physics webpage, so with this datestamp or newer:LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYpLUkjbWlHRiQ2JVEoUGh5c2ljc0YnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JI21vR0YkNi1RIzotRicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0Y9LyUpc3RyZXRjaHlHRj0vJSpzeW1tZXRyaWNHRj0vJShsYXJnZW9wR0Y9LyUubW92YWJsZWxpbWl0c0dGPS8lJ2FjY2VudEdGPS8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRkwtRiw2JVEoVmVyc2lvbkYnRi9GMi1JKG1mZW5jZWRHRiQ2JC1GIzYlLUYsNiVRIUYnRi9GMi8lK2V4ZWN1dGFibGVHRj1GOUY5LUY2Ni1RIjtGJ0Y5RjsvRj9GMUZARkJGREZGRkhGSi9GTlEsMC4yNzc3Nzc4ZW1GJ0ZaRjk=An Example of Petrov type IThere are six Petrov types: I, II, III, D, N and O. Start with a spacetime metric of Petrov type "I" (the numbers always refer to the equation number in the "Exact solutions to Einstein's field equations" textbook)LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEjZ19GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JS1GNjYmLUYjNiktSSNtbkdGJDYkUSMxMkYnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0ZCLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkovJSpzeW1tZXRyaWNHRkovJShsYXJnZW9wR0ZKLyUubW92YWJsZWxpbWl0c0dGSi8lJ2FjY2VudEdGSi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnLUY/NiRRIzIxRidGQkZELUY/NiRRIjFGJ0ZCLyUrZXhlY3V0YWJsZUdGSkZCRkIvJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRidGXW9GQkZCRl9vRmJvRl1vRkI=The Weyl scalarsLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYlLUYsNiVRKHNjYWxhcnNGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJy9GM1Enbm9ybWFsRidGQC8lJW9wZW5HUSJbRicvJSZjbG9zZUdRIl1GJ0Y9RkA=... there is abs around. Let's assume everything is positive to simplify formulas, use Capital Physics:-Assume (the lower case assume command redefines the assumed variables, so it is not compatible with Physics, DifferentialGeometry and VectorCalculus among others).LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEnQXNzdW1lRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNi8tRiw2JVEieEYnRi9GMi1JI21vR0YkNi1RIj5GJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRkUvJSlzdHJldGNoeUdGRS8lKnN5bW1ldHJpY0dGRS8lKGxhcmdlb3BHRkUvJS5tb3ZhYmxlbGltaXRzR0ZFLyUnYWNjZW50R0ZFLyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGVC1JI21uR0YkNiRRIjBGJ0ZBLUY+Ni1RIixGJ0ZBRkMvRkdGMUZIRkpGTEZORlAvRlNRJjAuMGVtRicvRlZRLDAuMzMzMzMzM2VtRictRiw2JVEieUYnRi9GMkY9RldGZW4tRiw2JVEiYUYnRi9GMkY9RlcvJStleGVjdXRhYmxlR0ZFRkFGQUZjb0ZBThe scalars are now simpler, although still not in "canonical form" because LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X180YEYnLUkjbW9HRiQ2LlErJk5vdEVxdWFsO0YnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjBGJ0YzRjZGM0Y2 and LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X18zYEYnLUkjbW9HRiQ2LlErJk5vdEVxdWFsO0YnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjFGJ0YzRjZGM0Y2.LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYlLUYsNiVRKHNjYWxhcnNGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJy9GM1Enbm9ybWFsRidGQC8lJW9wZW5HUSJbRicvJSZjbG9zZUdRIl1GJ0Y9RkA=The Petrov typeLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVErUGV0cm92VHlwZUYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUYsNiVRIUYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZARj1GQA==The call to Tetrads:-TransformTetrad two lines below transforms the current tetrad ,LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEjZV9GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JS1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJy9GM1Enbm9ybWFsRidGQC8lJW9wZW5HUSJbRicvJSZjbG9zZUdRIl1GJ0Y9RkA=into another tetrad such that the Weyl scalars are in canonical form, which for Petrov "I" type happens when LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYsLUkjbWlHRiQ2I1ErYCZQc2k7X18wYEYnLUkjbW9HRiQ2LlEiPUYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjBGJ0YzRjYtRjA2LlEiLEYnRjNGNkY5L0Y8USV0cnVlRidGPUY/RkFGQ0ZFL0ZIUSYwLjBlbUYnL0ZLUSwwLjMzMzMzMzNlbUYnLUYwNi5RIn5GJ0YzRjZGOUY7Rj1GP0ZBRkNGRUZVL0ZLRlYtRiw2I1ErYCZQc2k7X180YEYnRi9GTEYzRjY= and LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X18zYEYnLUkjbW9HRiQ2LlEiPUYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjFGJ0YzRjZGM0Y2.LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEwVHJhbnNmb3JtVGV0cmFkRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNiUtRiw2JVEuY2Fub25pY2FsZm9ybUYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZARj1GQA==Despite the fact that the result is a much more complicated tetrad, this is an amazing result in that the resulting Weyl scalars are all fixed (see below). Let's first verify that this is indeed a tetrad, and that now the Weyl scalars are in canonical formLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEpSXNUZXRyYWRGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2Jy1GLDYlUSFGJ0YvRjItSShtYWN0aW9uR0YkNiUtSSptdmVyYmF0aW1HRiQ2I1Fnbi1JJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjL0kkJWlkRzYiIjVhQT4rJnlTdVklPUYnLyUrYWN0aW9udHlwZUdROG1hcGxlc29mdC5jb206bGFiZWwoTDQpRicvJSV2aWV3R1EmbGFiZWxGJ0Y6LyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvRjNRJ25vcm1hbEYnRk1GSkZNSet to be the tetrad in use and recompute the Weyl scalarsLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEmU2V0dXBGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2Ki1GLDYlUSd0ZXRyYWRGJ0YvRjItSSNtb0dGJDYtUSJ+RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0ZFLyUpc3RyZXRjaHlHRkUvJSpzeW1tZXRyaWNHRkUvJShsYXJnZW9wR0ZFLyUubW92YWJsZWxpbWl0c0dGRS8lJ2FjY2VudEdGRS8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRlQtRj42LVEiPUYnRkFGQ0ZGRkhGSkZMRk5GUC9GU1EsMC4yNzc3Nzc4ZW1GJy9GVkZlbkY9LUkobWFjdGlvbkdGJDYlLUkqbXZlcmJhdGltR0YkNiNRZ24tSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHNiI2Iy9JJCVpZEc2IiI1YUE+KyZ5U3VZJT1GJy8lK2FjdGlvbnR5cGVHUThtYXBsZXNvZnQuY29tOmxhYmVsKEw0KUYnLyUldmlld0dRJmxhYmVsRictRiw2JVEhRidGL0YyLyUrZXhlY3V0YWJsZUdGRUZBRkEtRj42LVEiOkYnRkFGQ0ZGRkhGSkZMRk5GUEZaRmZuRmdvRkE=Inded we now have LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYrLUkjbWlHRiQ2I1ErYCZQc2k7X18wYEYnLUkjbW9HRiQ2LlEiPUYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjBGJ0YzRjYtRjA2LlEiLEYnRjNGNkY5L0Y8USV0cnVlRidGPUY/RkFGQ0ZFL0ZIUSYwLjBlbUYnL0ZLUSwwLjMzMzMzMzNlbUYnLUYsNiNRK2AmUHNpO19fNGBGJ0YvRkxGM0Y2 and LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X18zYEYnLUkjbW9HRiQ2LlEiPUYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjFGJ0YzRjZGM0Y2LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEpc2ltcGxpZnlGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2JS1GNjYmLUYjNiYtRiw2JVElV2V5bEYnRi9GMi1GNjYmLUYjNiUtRiw2JVEoc2NhbGFyc0YnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZLLyUlb3BlbkdRIltGJy8lJmNsb3NlR1EiXUYnRkhGS0ZLRk1GUEZIRktGS0ZIRks=So Weyl scalars computed after setting the canonical tetrad to be the tetrad in use are in canonical form. Great! NOTE: computing the canonicalWeyl scalars is not really the difficult part, and within the code, these scalars are computed before arriving at the tetrad . What is really difficult (from the point of view of computational complexity and simplifications) is to compute the actual canonical form of the tetrad . An Example of Petrov type IIConsider this other solution to Einstein's equation (again, the numbers in g_[[24,37,7]] always refer to the equation number in the "Exact solutions to Einstein's field equations" textbook)LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEjZ19GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JS1GNjYmLUYjNiktSSNtbkdGJDYkUSMyNEYnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0ZCLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkovJSpzeW1tZXRyaWNHRkovJShsYXJnZW9wR0ZKLyUubW92YWJsZWxpbWl0c0dGSi8lJ2FjY2VudEdGSi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnLUY/NiRRIzM3RidGQkZELUY/NiRRIjdGJ0ZCLyUrZXhlY3V0YWJsZUdGSkZCRkIvJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRidGXW9GQkZCRl9vRmJvRl1vRkI=Check the Petrov typeLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVErUGV0cm92VHlwZUYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUYsNiVRIUYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZARj1GQA==The starting tetradLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEjZV9GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JS1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJy9GM1Enbm9ybWFsRidGQC8lJW9wZW5HUSJbRicvJSZjbG9zZUdRIl1GJ0Y9RkA=results in Weyl scalars not in canonical form:LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYkLUYsNiVRKHNjYWxhcnNGJ0YvRjIvRjNRJ25vcm1hbEYnRj0vJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRicvJStleGVjdXRhYmxlR1EmZmFsc2VGJ0Y9For Petrov type "II", the canonical form is as for type "I" but in addition LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X18xYEYnLUkjbW9HRiQ2LlEiPUYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIzAuRidGM0Y2RjNGNg== Again let's assume positive, not necessary, but to get simpler formulas aroundLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEnQXNzdW1lRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNjUtRiw2JVEiZkYnRi9GMi1GNjYkLUYjNiUtRiw2JVEieEYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZHLUkjbW9HRiQ2LVEiPkYnRkcvJSZmZW5jZUdGRi8lKnNlcGFyYXRvckdGRi8lKXN0cmV0Y2h5R0ZGLyUqc3ltbWV0cmljR0ZGLyUobGFyZ2VvcEdGRi8lLm1vdmFibGVsaW1pdHNHRkYvJSdhY2NlbnRHRkYvJSdsc3BhY2VHUSwwLjI3Nzc3NzhlbUYnLyUncnNwYWNlR0Znbi1JI21uR0YkNiRRIjBGJ0ZHLUZKNi1RIixGJ0ZHRk0vRlBGMUZRRlNGVUZXRlkvRmZuUSYwLjBlbUYnL0ZpblEsMC4zMzMzMzMzZW1GJ0ZBRklGam5GXm8tRko2LVEifkYnRkdGTUZPRlFGU0ZVRldGWUZiby9GaW5GY28tRiw2JVEieUYnRi9GMkZJRmpuRl5vLUYsNiVRImFGJ0YvRjJGSUZqbkZERkdGR0ZERkc=Compute now a canonical form for the tetrad, to be used instead of LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEwVHJhbnNmb3JtVGV0cmFkRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNiUtRiw2JVEuY2Fub25pY2FsZm9ybUYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZARj1GQA==Set this tetrad and check the Weyl scalars againLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEmU2V0dXBGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2Ki1GLDYlUSd0ZXRyYWRGJ0YvRjItSSNtb0dGJDYtUSJ+RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0ZFLyUpc3RyZXRjaHlHRkUvJSpzeW1tZXRyaWNHRkUvJShsYXJnZW9wR0ZFLyUubW92YWJsZWxpbWl0c0dGRS8lJ2FjY2VudEdGRS8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRlQtRj42LVEiPUYnRkFGQ0ZGRkhGSkZMRk5GUC9GU1EsMC4yNzc3Nzc4ZW1GJy9GVkZlbkY9LUkobWFjdGlvbkdGJDYlLUkqbXZlcmJhdGltR0YkNiNRaG4tSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHNiI2Iy9JJCVpZEc2IiI1SSVcZiQpeVN1WSU9RicvJSthY3Rpb250eXBlR1E5bWFwbGVzb2Z0LmNvbTpsYWJlbChMMjUpRicvJSV2aWV3R1EmbGFiZWxGJy1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR0ZFRkFGQS1GPjYtUSI6RidGQUZDRkZGSEZKRkxGTkZQRlpGZm5GZ29GQQ==LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYkLUYsNiVRKHNjYWxhcnNGJ0YvRjIvRjNRJ25vcm1hbEYnRj0vJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRicvJStleGVjdXRhYmxlR1EmZmFsc2VGJ0Y9This result is fantastic. Compare these Weyl scalars with the ones before transforming the tetrad.An Example of Petrov type IIILUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEjZ19GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JC1GNjYmLUYjNiotSSNtbkdGJDYkUSMxMkYnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0ZCLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkovJSpzeW1tZXRyaWNHRkovJShsYXJnZW9wR0ZKLyUubW92YWJsZWxpbWl0c0dGSi8lJ2FjY2VudEdGSi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnLUZFNi1RIn5GJ0ZCRkgvRkxGSkZNRk9GUUZTRlVGVy9GZW5GWS1GPzYkUSMzNUYnRkJGREZnbi1GPzYkUSIxRidGQkZCRkIvJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRidGQkZCRmJvRmVvLyUrZXhlY3V0YWJsZUdGSkZCLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEnQXNzdW1lRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNistRiw2JVEiekYnRi9GMi1JI21vR0YkNi1RIj5GJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRkUvJSlzdHJldGNoeUdGRS8lKnN5bW1ldHJpY0dGRS8lKGxhcmdlb3BHRkUvJS5tb3ZhYmxlbGltaXRzR0ZFLyUnYWNjZW50R0ZFLyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGVC1JI21uR0YkNiRRIjBGJ0ZBLUY+Ni1RIixGJ0ZBRkMvRkdGMUZIRkpGTEZORlAvRlNRJjAuMGVtRicvRlZRLDAuMzMzMzMzM2VtRictRiw2JVEnTGFtYmRhRicvRjBGRUZBRj1GVy8lK2V4ZWN1dGFibGVHRkVGQUZBRmFvRkE=The Petrov type and the original tetradLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEhRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUYjNiUtRiw2JVErUGV0cm92VHlwZUYnRi9GMi1JKG1mZW5jZWRHRiQ2JC1GIzYkRisvRjNRJ25vcm1hbEYnRj9GP0YrLyUrZXhlY3V0YWJsZUdRJmZhbHNlRidGPw==LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEjZV9GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JS1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJy9GM1Enbm9ybWFsRidGQC8lJW9wZW5HUSJbRicvJSZjbG9zZUdRIl1GJ0Y9RkA=This tetrad results in the following scalarsLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYkLUYsNiVRKHNjYWxhcnNGJ0YvRjIvRjNRJ25vcm1hbEYnRj0vJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRicvJStleGVjdXRhYmxlR1EmZmFsc2VGJ0Y9that are not in canonical form, which for Petrov type III is as in Petrov type II but in addition we should have LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X18yYEYnLUkjbW9HRiQ2LlEiPUYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjBGJ0YzRjZGM0Y2.Compute now a canonical form for the tetradLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEhRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUYjNiUtRiw2JVEwVHJhbnNmb3JtVGV0cmFkRidGL0YyLUkobWZlbmNlZEdGJDYkLUYjNiQtRiw2JVEuY2Fub25pY2FsZm9ybUYnRi9GMi9GM1Enbm9ybWFsRidGQkZCRisvJStleGVjdXRhYmxlR1EmZmFsc2VGJ0ZCSet this one to be the tetrad in use and recompute the Weyl scalarsLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEmU2V0dXBGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2Ki1GLDYlUSd0ZXRyYWRGJ0YvRjItSSNtb0dGJDYtUSJ+RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0ZFLyUpc3RyZXRjaHlHRkUvJSpzeW1tZXRyaWNHRkUvJShsYXJnZW9wR0ZFLyUubW92YWJsZWxpbWl0c0dGRS8lJ2FjY2VudEdGRS8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRlQtRj42LVEiPUYnRkFGQ0ZGRkhGSkZMRk5GUC9GU1EsMC4yNzc3Nzc4ZW1GJy9GVkZlbkY9LUkobWFjdGlvbkdGJDYlLUkqbXZlcmJhdGltR0YkNiNRZ24tSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHNiI2Iy9JJCVpZEc2IiI1bXYwKyZ5U3VZJT1GJy8lK2FjdGlvbnR5cGVHUTltYXBsZXNvZnQuY29tOmxhYmVsKEwzNylGJy8lJXZpZXdHUSZsYWJlbEYnLUYsNiVRIUYnRi9GMi8lK2V4ZWN1dGFibGVHRkVGQUZBLUY+Ni1RIjpGJ0ZBRkNGRkZIRkpGTEZORlBGWkZmbkZnb0ZBLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYkLUYsNiVRKHNjYWxhcnNGJ0YvRjIvRjNRJ25vcm1hbEYnRj0vJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRictRiw2JVEhRidGL0YyLyUrZXhlY3V0YWJsZUdRJmZhbHNlRidGPQ==Great!JSFHAn Example of Petrov type NLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEjZ19GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JS1GNjYmLUYjNistSSNtbkdGJDYkUSMxMkYnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0ZCLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkovJSpzeW1tZXRyaWNHRkovJShsYXJnZW9wR0ZKLyUubW92YWJsZWxpbWl0c0dGSi8lJ2FjY2VudEdGSi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnLUZFNi1RIn5GJ0ZCRkgvRkxGSkZNRk9GUUZTRlVGVy9GZW5GWS1GPzYkUSI2RidGQkZERmduLUY/NiRRIjFGJ0ZCLyUrZXhlY3V0YWJsZUdGSkZCRkIvJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRidGYm9GQkZCRmRvRmdvLUYsNiVRIUYnRi9GMkZib0ZCLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEnQXNzdW1lRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNistRiw2JVEieUYnRi9GMi1JI21vR0YkNi1RIj5GJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRkUvJSlzdHJldGNoeUdGRS8lKnN5bW1ldHJpY0dGRS8lKGxhcmdlb3BHRkUvJS5tb3ZhYmxlbGltaXRzR0ZFLyUnYWNjZW50R0ZFLyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGVC1JI21uR0YkNiRRIjBGJ0ZBLUY+Ni1RIixGJ0ZBRkMvRkdGMUZIRkpGTEZORlAvRlNRJjAuMGVtRicvRlZRLDAuMzMzMzMzM2VtRictRiw2JVEnTGFtYmRhRicvRjBGRUZBRj1GVy8lK2V4ZWN1dGFibGVHRkVGQUZBRmFvRkE=LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVErUGV0cm92VHlwZUYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUYsNiVRIUYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZARj1GQA==The original tetrad and related Weyl scalars are not in canonical form:LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEjZV9GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JS1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJy9GM1Enbm9ybWFsRidGQC8lJW9wZW5HUSJbRicvJSZjbG9zZUdRIl1GJ0Y9RkA=LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYkLUYsNiVRKHNjYWxhcnNGJ0YvRjIvRjNRJ25vcm1hbEYnRj0vJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRicvJStleGVjdXRhYmxlR1EmZmFsc2VGJ0Y9For Petrov type "N", the canonical form has LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X180YEYnLUkjbW9HRiQ2LlErJk5vdEVxdWFsO0YnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjBGJ0YzRjZGM0Y2 and all the other LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X19uYEYnLUkjbW9HRiQ2LlEiPUYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjBGJ0YzRjZGM0Y2.Compute a canonical form, set it to be the tetrad in use and recompute the Weyl scalarsLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEwVHJhbnNmb3JtVGV0cmFkRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNiQtRiw2JVEuY2Fub25pY2FsZm9ybUYnRi9GMi9GM1Enbm9ybWFsRidGPS1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJ0Y9LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEmU2V0dXBGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2KS1GLDYlUSd0ZXRyYWRGJ0YvRjItSSNtb0dGJDYtUSJ+RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0ZFLyUpc3RyZXRjaHlHRkUvJSpzeW1tZXRyaWNHRkUvJShsYXJnZW9wR0ZFLyUubW92YWJsZWxpbWl0c0dGRS8lJ2FjY2VudEdGRS8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHRlQtRj42LVEiPUYnRkFGQ0ZGRkhGSkZMRk5GUC9GU1EsMC4yNzc3Nzc4ZW1GJy9GVkZlbkY9LUkobWFjdGlvbkdGJDYlLUkqbXZlcmJhdGltR0YkNiNRaG4tSSdNYXRyaXhHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHNiI2Iy9JJCVpZEc2IiI1IT4nWz0meVN1WSU9RicvJSthY3Rpb250eXBlR1E5bWFwbGVzb2Z0LmNvbTpsYWJlbChMNDUpRicvJSV2aWV3R1EmbGFiZWxGJy1GLDYlUSFGJ0YvRjJGQUZBLUY+Ni1RIjpGJ0ZBRkNGRkZIRkpGTEZORlBGWkZmbi8lK2V4ZWN1dGFibGVHRkVGQQ==LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYkLUYsNiVRKHNjYWxhcnNGJ0YvRjIvRjNRJ25vcm1hbEYnRj0vJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRictRiw2JVEhRidGL0YyLyUrZXhlY3V0YWJsZUdRJmZhbHNlRidGPQ==All as expected.An Example of Petrov type DLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEjZ19GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JC1GNjYmLUYjNigtSSNtbkdGJDYkUSMxMkYnL0YzUSdub3JtYWxGJy1JI21vR0YkNi1RIixGJ0ZCLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0YxLyUpc3RyZXRjaHlHRkovJSpzeW1tZXRyaWNHRkovJShsYXJnZW9wR0ZKLyUubW92YWJsZWxpbWl0c0dGSi8lJ2FjY2VudEdGSi8lJ2xzcGFjZUdRJjAuMGVtRicvJSdyc3BhY2VHUSwwLjMzMzMzMzNlbUYnLUY/NiRRIjhGJ0ZCRkQtRj82JFEiNEYnRkJGQkZCLyUlb3BlbkdRIltGJy8lJmNsb3NlR1EiXUYnRkJGQkZdb0Zgby1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR0ZKRkI=LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEnQXNzdW1lRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNjYtRiw2JVEiQUYnRi9GMi1JI21vR0YkNi1RIj5GJy9GM1Enbm9ybWFsRicvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRkUvJSlzdHJldGNoeUdGRS8lKnN5bW1ldHJpY0dGRS8lKGxhcmdlb3BHRkUvJS5tb3ZhYmxlbGltaXRzR0ZFLyUnYWNjZW50R0ZFLyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGVC1JI21uR0YkNiRRIjBGJ0ZBLUY+Ni1RIixGJ0ZBRkMvRkdGMUZIRkpGTEZORlAvRlNRJjAuMGVtRicvRlZRLDAuMzMzMzMzM2VtRictRiw2JVEiQkYnRi9GMkY9RldGZW4tRiw2JVEieEYnRi9GMkY9RldGZW4tRj42LVEifkYnRkFGQ0ZGRkhGSkZMRk5GUEZpbi9GVkZqbkZXLUY+Ni1RJiZsZXE7RidGQUZDRkZGSEZKRkxGTkZQRlJGVS1GLDYlUSJ6RidGL0YyRmdvLUkmbWZyYWNHRiQ2KC1GLDYlUSNQaUYnL0YwRkVGQS1GIzYlLUZYNiRRIjRGJ0ZBRi9GMi8lLmxpbmV0aGlja25lc3NHUSIxRicvJStkZW5vbWFsaWduR1EnY2VudGVyRicvJSludW1hbGlnbkdGXnEvJSliZXZlbGxlZEdGRS8lK2V4ZWN1dGFibGVHRkVGQUZBRmNxRkE=LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVErUGV0cm92VHlwZUYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUYsNiVRIUYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZARj1GQA==The default tetrad and related Weyl scalars are not in canonical form, which for Petrov type "D" is with LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X18yYEYnLUkjbW9HRiQ2LlErJk5vdEVxdWFsO0YnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjBGJ0YzRjZGM0Y2 and all the other LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X19uYEYnLUkjbW9HRiQ2LlEiPUYnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjBGJ0YzRjZGM0Y2LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEjZV9GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JS1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJy9GM1Enbm9ybWFsRidGQC8lJW9wZW5HUSJbRicvJSZjbG9zZUdRIl1GJ0Y9RkA=LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYlLUYsNiVRKHNjYWxhcnNGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJy9GM1Enbm9ybWFsRidGQC8lJW9wZW5HUSJbRicvJSZjbG9zZUdRIl1GJ0Y9RkA=Transform the tetrad, set it and recompute the Weyl scalarsLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVEwVHJhbnNmb3JtVGV0cmFkRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNiUtRiw2JVEuY2Fub25pY2FsZm9ybUYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZARj1GQA==LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEmU2V0dXBGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2KC1GLDYlUSd0ZXRyYWRGJ0YvRjItSSNtb0dGJDYtUSI9RicvRjNRJ25vcm1hbEYnLyUmZmVuY2VHUSZmYWxzZUYnLyUqc2VwYXJhdG9yR0ZFLyUpc3RyZXRjaHlHRkUvJSpzeW1tZXRyaWNHRkUvJShsYXJnZW9wR0ZFLyUubW92YWJsZWxpbWl0c0dGRS8lJ2FjY2VudEdGRS8lJ2xzcGFjZUdRLDAuMjc3Nzc3OGVtRicvJSdyc3BhY2VHRlQtSShtYWN0aW9uR0YkNiUtSSptdmVyYmF0aW1HRiQ2I1Fobi1JJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjL0kkJWlkRzYiIjVJbypcIil5U3VZJT1GJy8lK2FjdGlvbnR5cGVHUTptYXBsZXNvZnQuY29tOmxhYmVsKEwxMjApRicvJSV2aWV3R1EmbGFiZWxGJy1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR0ZFRkFGQS1GPjYtUSI6RidGQUZDRkZGSEZKRkxGTkZQRlJGVUZhb0ZBLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEhRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUYjNiUtRiw2JVElV2V5bEYnRi9GMi1JKG1mZW5jZWRHRiQ2Ji1GIzYkLUYsNiVRKHNjYWxhcnNGJ0YvRjIvRjNRJ25vcm1hbEYnRkIvJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRidGQkYrLyUrZXhlY3V0YWJsZUdRJmZhbHNlRidGQg==Again the expected canonical form of the Weyl scalars, and LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2I1ErYCZQc2k7X18yYEYnLUkjbW9HRiQ2LlErJk5vdEVxdWFsO0YnLyUrZXhlY3V0YWJsZUdRJmZhbHNlRicvJSxtYXRodmFyaWFudEdRJ25vcm1hbEYnLyUmZmVuY2VHRjUvJSpzZXBhcmF0b3JHRjUvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGNS8lKGxhcmdlb3BHRjUvJS5tb3ZhYmxlbGltaXRzR0Y1LyUnYWNjZW50R0Y1LyUnbHNwYWNlR1EsMC4yNzc3Nzc4ZW1GJy8lJ3JzcGFjZUdGSS1JI21uR0YkNiVRIjBGJ0YzRjZGM0Y2 remains invariant under transformations of Class III.An Example of Petrov type OFinally an example of type "O". This corresponds to a conformally flat spacetime, for which the Weyl tensor (and with it all the Weyl scalars) vanishes. So the code just interrupts with "not implemented for conformally flat spactimes of Petrov type O"LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEjZ19GJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiYtRiM2JS1GNjYmLUYjNistSSNtbkdGJDYkUSI4RicvRjNRJ25vcm1hbEYnLUkjbW9HRiQ2LVEiLEYnRkIvJSZmZW5jZUdRJmZhbHNlRicvJSpzZXBhcmF0b3JHRjEvJSlzdHJldGNoeUdGSi8lKnN5bW1ldHJpY0dGSi8lKGxhcmdlb3BHRkovJS5tb3ZhYmxlbGltaXRzR0ZKLyUnYWNjZW50R0ZKLyUnbHNwYWNlR1EmMC4wZW1GJy8lJ3JzcGFjZUdRLDAuMzMzMzMzM2VtRictRkU2LVEifkYnRkJGSC9GTEZKRk1GT0ZRRlNGVUZXL0ZlbkZZLUY/NiRRIzMzRidGQkZERmduLUY/NiRRIjFGJ0ZCLyUrZXhlY3V0YWJsZUdGSkZCRkIvJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRidGYm9GQkZCRmRvRmdvLUYsNiVRIUYnRi9GMkZib0ZCLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVErUGV0cm92VHlwZUYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2JC1GIzYlLUYsNiVRIUYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnL0YzUSdub3JtYWxGJ0ZARj1GQA==The Weyl tensor and its scalars all vanish:LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYmLUkjbWlHRiQ2JVElV2V5bEYnLyUnaXRhbGljR1EldHJ1ZUYnLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGJy1JKG1mZW5jZWRHRiQ2Ji1GIzYlLUYsNiVRKG5vbnplcm9GJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJy9GM1Enbm9ybWFsRidGQC8lJW9wZW5HUSJbRicvJSZjbG9zZUdRIl1GJ0Y9RkA=LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEpc2ltcGxpZnlGJy8lJ2l0YWxpY0dRJXRydWVGJy8lLG1hdGh2YXJpYW50R1EnaXRhbGljRictSShtZmVuY2VkR0YkNiQtRiM2JS1GLDYlUSZldmFsYUYnRi9GMi1GNjYkLUYjNiQtRjY2Ji1GIzYlLUYsNiVRJVdleWxGJ0YvRjItRjY2Ji1GIzYkLUYsNiVRKHNjYWxhcnNGJ0YvRjIvRjNRJ25vcm1hbEYnRk8vJSVvcGVuR1EiW0YnLyUmY2xvc2VHUSJdRidGT0ZPRlFGVEZPRk9GT0ZPLUYsNiVRIUYnRi9GMi8lK2V4ZWN1dGFibGVHUSZmYWxzZUYnRk8=LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYnLUkjbWlHRiQ2JVEwVHJhbnNmb3JtVGV0cmFkRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLUkobWZlbmNlZEdGJDYkLUYjNiQtRiw2JVEuY2Fub25pY2FsZm9ybUYnRi9GMi9GM1Enbm9ybWFsRidGPS1GLDYlUSFGJ0YvRjIvJStleGVjdXRhYmxlR1EmZmFsc2VGJ0Y9LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYjLUkjbWlHRiQ2JVEhRicvJSdpdGFsaWNHUSV0cnVlRicvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnTTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc4MzM1OTc1NDIyWCwlKWFueXRoaW5nRzYjJSpzeW1tZXRyaWNHNiJbZ2whIiYhISEjKyIlIiUhIiIiIiEqJiUiYUciIiMlInhHISIjRilGKUYqLCQlInlHRixGKUYpeic2JEYtRjBbW1tbW19bW1tbcyIiIl1bW1tbW1tbW1tzISIlNiI=TTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc4MzM1OTc1NTc0WCwlKWFueXRoaW5nRzYjJSpzeW1tZXRyaWNHNiJbZ2whIiYhISEjKyIlIiUsJComJSJ4RyIiIiwmLSUiZkc2I0YqRisqJiUieUdGKyUiYUdGK0YrRishIiMsJEYqISIiIiIhRjZGNiokRiojRjUiIiNGNkY2RjZGNzYiTTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc4MzM1OTc1NzI2WCwlKWFueXRoaW5nRzYjJSpzeW1tZXRyaWNHNiJbZ2whIiYhISEjKyIlIiUiIiEtSSRleHBHNiQlKnByb3RlY3RlZEclKF9zeXNsaWJHNiMsJCUiekchIiMtRio2IywkRjAiIiVGKCwkLUYqNiNGMCIiIywkRilGOUYoRihGKCwkKiQtJSRhYnNHNiMlJ0xhbWJkYUchIiIiIiQ2Ig==TTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc4MzM1OTc2MDMwWCwlKWFueXRoaW5nRzYjJSpzeW1tZXRyaWNHNiJbZ2whIiYhISEjKyIlIiUiIiEsJComJSJ5RyEiIyUnTGFtYmRhRyEiIiMhIiQiIiMsJComRishIiVGLUYuRjBGKEYoLCRGKiIiJEYoRihGKEY1NiI=TTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc4MzM1OTc2MTgyWCwlKWFueXRoaW5nRzYjJSpzeW1tZXRyaWNHNiJbZ2whIiYhISEjKyIlIiUsJComJSJCRyIiIy1JJHNpbkc2JCUqcHJvdGVjdGVkRyUoX3N5c2xpYkc2IyUiekdGKyEiIiIiISokJSJBR0YrRjRGNComRjZGKyUieEdGK0Y0RjRGNCokRipGKzYiTTdSMApJQVJUQUJMRV9TQVZFLzE4NDQ2NzQ0MDc4MzM1OTc2NDg2WCwlKWFueXRoaW5nRzYjJSpzeW1tZXRyaWNHNiJbZ2whIiYhISEjKyIlIiUsJCokLCYhIiUiIiIqJnorNiYlInRHJSJ4RyUieUclInpHW1tbW1tbW1tbXVtbbUYsW1tbW1tbXVtbW1tbbSEiIltbW11bW1tbW1tbW21GNF1bW1tbW1tbW1tbW21GNEYsJSJLR0YsRiwhIiMhIzsiIiEsJEYpIiM7RjhGOEY5RjhGOEY4Rjk2Ig==