Mercurial > repos > tduigou > rrparser

changeset 1:ea590c609fec draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
"planemo upload commit 2f1af427fa4c4f2aad53ab94c4cdb51456c66019-dirty"
author tduigou
date Wed, 02 Feb 2022 14:29:14 +0000
parents 024dcd6421db
children 092545561208
files rrparser.xml rrparser/rrparser.xml rrparser/test-data/rules.csv.gz test-data/rules_in.csv test-data/rules_out.csv
diffstat 5 files changed, 332 insertions(+), 137 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rrparser.xml	Wed Feb 02 14:29:14 2022 +0000
@@ -0,0 +1,132 @@
+<tool id="rrparser" name="RRules Parser" version="@TOOL_VERSION@" profile="19.09">
+    <description>Retrieve the reaction rules from RetroRules</description>
+    <macros>
+        <token name="@TOOL_VERSION@">2.4.6</token>
+    </macros>
+    <requirements>
+        <requirement type="package" version="@TOOL_VERSION@">rrparser</requirement>
+    </requirements>
+    <stdio>
+        <regex match="WARNING:" level="warning" />
+        <regex match="ERROR:" level="fatal" />
+    </stdio>
+    <command detect_errors="exit_code"><![CDATA[
+        python -m rrparser
+        #if str($rules.type) != "other":
+            retrorules
+            --rule-type '$rules.type'
+        #else:
+            '$rules.file'
+            --input-format '$rules.format'
+        #end if
+        --diameters '$diameters'
+        --output-format csv
+        #if str($compress) == "true":
+            --outfile '$out_rules'.csv.gz
+            && mv '$out_rules'.csv.gz '$out_rules'
+        #else:
+            --outfile '$out_rules'
+        #end if
+    ]]></command>
+    <inputs>
+        <conditional name="rules">
+            <param name="type" type="select" label="Rule Type" help="">
+                <option value="retro" selected="True">RetroRules (retro)</option>
+                <option value="forward">RetroRules (forward)</option>
+                <option value="all">RetroRules (all)</option>
+                <option value="other">Other reaction rules...</option>
+            </param>
+            <when value="other">
+                <param name="file" type="data" format="csv" optional="False" label="Rules File"/>
+                <param name="format" type="select" optional="False" label="File format">
+                    <option value="csv" selected="True">csv</option>
+                    <option value="tsv">tsv</option>
+                </param>
+            </when>
+        </conditional>
+        <param name="diameters" type="select" display="checkboxes" multiple="True" label="Select the diameters of the reactions rules">
+            <option selected="true" value="2">2</option>
+            <option selected="true" value="4">4</option>
+            <option selected="true" value="6">6</option>
+            <option selected="true" value="8">8</option>
+            <option selected="true" value="10">10</option>
+            <option selected="true" value="12">12</option>
+            <option selected="true" value="14">14</option>
+            <option selected="true" value="16">16</option>
+        </param>
+        <param name="compress" type="boolean" display="checkboxes" label="Compress output" />
+    </inputs>
+    <outputs>
+        <data name="out_rules" format="csv" label="${tool.name}(${rules.type}, d=$diameters)" >
+            <change_format>
+                <when input="compress" format="tar" value="true"/>
+            </change_format>
+        </data>
+    </outputs>
+    <tests>
+        <test>
+        <!-- test 1: check if identical outputs are produced with default parameters-->
+            <output name="out_rules" md5="54806bd44f7a8414e78439e3bb99e6d8"/>
+        </test>
+        <test>
+        <!-- test 2: check if identical outputs are produced with diameters=2,4,6-->
+            <param name="diameters" value="2,4,6"/>
+            <output name="out_rules" md5="12a55e1a3c7822a35ed799afa59b2aa2"/>
+        </test>
+        <test>
+        <!-- test 3: check if identical outputs are produced with csv input rules file-->
+            <conditional name="rules">
+                <param name="type" value="other"/>
+                <param name="file" value="rules_in.csv" />
+            </conditional>
+            <output name="out_rules" file="rules_out.csv" ftype="csv" compare="diff"/>
+        </test>
+    </tests>
+    <help><![CDATA[
+RRulesParser
+============
+
+Retrieve the reaction rules from `RetroRules <https://retrorules.org/>`_
+
+Input
+-----
+
+* **rules-file**: (string) Filename of reaction rules
+* **input-format**: (string) input file format (default: csv)
+* **rule-type**: (string) {all,retro,forward} rule usage to filter from rules file
+* **diameters**: (integer list) diameter of the sphere including the atoms around the reacting center (default is including all values: 2,4,6,8,10,12,14,16). The higher is the diameter, the more specific are the rules
+* **output-format**: (string) {csv,tsv} output file format (default: csv)
+
+Ouput
+-----
+
+* **outfile**: (string): file where results are written. If file ends with '.gz', it will be gzipped.
+
+
+Version
+-------
+
+v2.4.6
+
+Authors
+-------
+
+* **Thomas Duigou**
+* Melchior du Lac
+* Joan Hérisson
+
+License
+-------
+
+This project is licensed under the MIT License - see the `LICENSE <https://github.com/brsynth/RRParser/blob/master/LICENSE>`_ file for details
+
+Acknowledgments
+---------------
+
+* Joan Hérisson
+
+    ]]></help>
+    <citations>
+        <citation type="doi">10.1093/nar/gky940 </citation>
+    </citations>
+</tool>
\ No newline at end of file
--- a/rrparser/rrparser.xml	Thu Nov 18 11:11:45 2021 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,137 +0,0 @@
-<tool id="rrparser" name="RRules Parser" version="2.4.5">
-    <description>Reaction Rules Parser</description>
-    <requirements>
-        <requirement type="package" version="2.4.5">rrparser</requirement>
-    </requirements>
-    <stdio>
-        <regex match="WARNING:" level="warning" />
-	    <regex match="ERROR:" level="fatal" />
-    </stdio>
-    <command detect_errors="exit_code"><![CDATA[
-        python -m rrparser
-        #if str($rules.type) != "other":
-            retrorules
-            --rule-type '$rules.type'
-        #else:
-            '$rules.file'
-            --input-format '$rules.format'
-        #end if
-        --diameters '$diameters'
-        --output-format csv
-        #if str($compress) == "true":
-            --outfile '$out_rules'.csv.gz ;
-            mv '$out_rules'.csv.gz '$out_rules'
-        #else:
-            --outfile '$out_rules'
-        #end if
-    ]]></command>
-    <inputs>
-        <conditional name="rules">
-            <param name="type" optional="True" type="select" label="Rule Type" help="">
-                <option value="retro" selected="True">RetroRules (retro)</option>
-                <option value="forward">RetroRules (forward)</option>
-                <option value="all">RetroRules (all)</option>
-                <option value="other">Other reaction rules...</option>
-            </param>
-            <when value="other">
-                <param name="file" optional="False" type="data" format="csv" label="Rules File"/>
-                <param name="format" optional="False" type="select" label="File format">
-                    <option value="csv" selected="True">csv</option>
-                    <option value="tsv">tsv</option>
-                </param>
-            </when>
-            <when value="retro|forward|all">
-                <param name="file" optional="True" type="data" format="csv" label="Rules File"/>
-            </when>
-        </conditional>
-        <param name="diameters" type="select" display="checkboxes" multiple="True" label="Select the diameters of the reactions rules">
-            <option selected="true" value="2">2</option>
-            <option selected="true" value="4">4</option>
-            <option selected="true" value="6">6</option>
-            <option selected="true" value="8">8</option>
-            <option selected="true" value="10">10</option>
-            <option selected="true" value="12">12</option>
-            <option selected="true" value="14">14</option>
-            <option selected="true" value="16">16</option>
-        </param>
-        <param name="compress" type="boolean" display="checkboxes" label="Compress output" />
-    </inputs>
-    <outputs>
-        <data name="out_rules" format="csv" label="${tool.name}(${rules.type}, d=$diameters)" >
-            <change_format>
-                <when input="compress" value="true" format="csv.gz"/>
-            </change_format>
-        </data>
-    </outputs>
-    <tests>
-        <test>
-        <!-- test 1: check if identical outputs are produced with compress option -->
-            <param name="compress" value="True" />
-            <output name="out_rules" file="rules.csv.gz" compare="diff" decompress="True"/>
-        </test>
-    </tests>
-    <help><![CDATA[
-RRulesParser
-============
-
-Retrieve the reaction rules from `RetroRules <https://retrorules.org/>`_
-
-Input
------
-
-* **rules-file**: (string) Filename of reaction rules
-* **input-format**: (string) Valid options: csv, tsv. Format of the input file
-* **rule-type**: (string) Valid options: retro, forward, all. Return the rules that are in reverse, forward or both direction
-* **diameters**: (integer list) Valid options: 2, 4, 6, 8, 10, 12, 14, 16. The diameter of the rules to return
-* **outdir**: (string) Path where output files will be written
-* **outfile**: (string) Path where output files will be written
-* **output-format**: (string) Valid options: csv, tar.gz. Format of the returned file
-
-Ouput
------
-
-* **output**: (string): Path of the output file. Either a compressed tar.gz (containing a csv) or csv list of reaction rules that are in a RetroPath2.0 friendly format
-
-
-Version
--------
-
-v2.4.1
-
-Authors
--------
-
-* **Thomas Duigou**
-* Melchior du Lac
-* Joan Hérisson
-
-License
--------
-
-This project is licensed under the MIT License - see the `LICENSE <LICENSE>`_ file for details
-
-Acknowledgments
----------------
-
-* Joan Hérisson
-
-    ]]></help>
-    <citations>
-        <citation type="bibtex">@article{10.1093/nar/gky940,
-        author = {Duigou, Thomas and du Lac, Melchior and Carbonell, Pablo and Faulon, Jean-Loup},
-        title = "{RetroRules: a database of reaction rules for engineering biology}",
-        journal = {Nucleic Acids Research},
-        volume = {47},
-        number = {D1},
-        pages = {D1229-D1235},
-        year = {2018},
-        month = {10},
-        abstract = "{RetroRules is a database of reaction rules for metabolic engineering (https://retrorules.org). Reaction rules are generic descriptions of chemical reactions that can be used in retrosynthesis workflows in order to enumerate all possible biosynthetic routes connecting a target molecule to its precursors. The use of such rules is becoming increasingly important in the context of synthetic biology applied to de novo pathway discovery and in systems biology to discover underground metabolism due to enzyme promiscuity. Here, we provide for the first time a complete set containing \\&gt;400 000 stereochemistry-aware reaction rules extracted from public databases and expressed in the community-standard SMARTS (SMIRKS) format, augmented by a rule representation at different levels of specificity (the atomic environment around the reaction center). Such numerous representations of reactions expand natural chemical diversity by predicting de novo reactions of promiscuous enzymes.}",
-        issn = {0305-1048},
-        doi = {10.1093/nar/gky940},
-        url = {https://doi.org/10.1093/nar/gky940},
-        eprint = {https://academic.oup.com/nar/article-pdf/47/D1/D1229/27436292/gky940.pdf},
-        }
-        </citation>
-    </citations>
-</tool>
\ No newline at end of file
Binary file rrparser/test-data/rules.csv.gz has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test-data/rules_in.csv	Wed Feb 02 14:29:14 2022 +0000
@@ -0,0 +1,100 @@
+Rule ID,Rule,EC number,Reaction order,Diameter,Score,Legacy ID,Reaction direction,Rule relative direction,Rule usage,Score normalized
+RR-02-fbdda75e23f518b6-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3](-[#6&v4:4])(-[#1&v1:5])-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1](-[#8&v2:2]-[#1&v1:6])(-[#6&v4:3](-[#6&v4:4])(-[#8&v2]-[#1&v1])-[#1&v1:5])(-[#1&v1:7])-[#1&v1]),NOEC,1,2,4.295611076923876,MNXR94682_MNXM821,0,0,both,0.10469674387190456
+RR-02-0250d458c4991a7d-02-F,([#6&v4:1](-[#8&v2:2]-[#1&v1:3])(-[#6&v4:4](-[#6&v4:5])(-[#8&v2:6]-[#1&v1:7])-[#1&v1:8])(-[#1&v1:9])-[#1&v1:10])>>([#6&v4:1](=[#8&v2:2])(-[#6&v4:4](-[#6&v4:5])(-[#1&v1:8])-[#1&v1:3])-[#1&v1:9].[#8&v2:6](-[#1&v1:7])-[#1&v1:10]),NOEC,1,2,4.295611076923876,MNXR94682_MNXM90191,0,0,both,0.10469674387190456
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),1.1.1.-,1,2,3.068556895072363,MNXR94689_MNXM101404,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1.-,1,2,2.8750612633917005,MNXR94689_MNXM9689,0,0,both,0.14873280218232202
+RR-02-2860703b5bba4808-02-F,([#8&v2:1](-[#8&v2:2]-[#6&v4:3])-[#1&v1:4])>>([#8&v2:1](-[#1&v1:4])-[#1&v1].[#8&v2:2](-[#6&v4:3])-[#1&v1]),NOEC,1,2,0.0,MNXR94690_MNXM2313,0,0,both,1.0
+RR-02-5594c358cc56f547-02-F,([#8&v2:1](-[#6&v4:2])-[#1&v1:3])>>([#1&+&v0:3].[#8&v2](-[#8&v2:1]-[#6&v4:2])-[#1&v1]),NOEC,1,2,0.0,MNXR94690_MNXM9689,0,0,both,1.0
+RR-02-40c5de14c04712c6-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#1&v1])-[#1&v1:4]),1.1.1.202,1,2,2.4517864355242898,MNXR94691_MNXM1526,0,0,both,0.17004370207003422
+RR-02-fcc8935f8e5c652c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#1&v1:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:6].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:5])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1.202,1,2,2.133538908370217,MNXR94691_MNXM2861,0,0,both,0.19057431907203484
+RR-02-2961e0cd92ffd16f-02-F,([#6&v4:1]-[#6&v4:2](-[#1&v1:3])(-[#7&v3:4](-[#1&v1:5])-[#6&v4:6])-[#6&v4:7])>>([#1&+&v0:5].[#6&v4:1]-[#6&v4:2](=[#7&v3:4]-[#6&v4:6])-[#6&v4:7].[#6&v4]1(-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]2:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]4(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]5-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:3])-[#6&v4](-[#1&v1])=[#6&v4]-5-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-4(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:2),1.5.1.1;1.5.1.21;1.5.1.25,1,2,1.2552725051033058,MNXR94711_MNXM684,1,1,retro,0.2858035578011269
+RR-02-348f4f56cd2f2fbd-02-F,([#6&v4:1]-[#6&v4:2](-[#1&v1:3])(-[#7&v3:4](-[#1&v1:5])-[#6&v4:6])-[#6&v4:7])>>([#1&+&v0:5].[#6&v4:1]-[#6&v4:2](=[#7&v3:4]-[#6&v4:6])-[#6&v4:7].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:3])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.5.1.1;1.5.1.21,1,2,1.2552725051033058,MNXR94712_MNXM684,1,1,retro,0.2858035578011269
+RR-02-081d4d214a20ffc4-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:7]-[#1&v1:8])-[#8&v2:9])>>([#6&v4:1]-[#8&v2:2]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:9])-[#8&v2:4].[#8&v2:7](-[#1&v1:3])-[#1&v1:8]),3.1.4.16,1,2,1.7075701760979365,MNXR94722_MNXM1985,-1,-1,retro,0.22730844438799006
+RR-02-2b105cf5afec5429-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:7]-[#1&v1:8])-[#8&v2:9])>>([#8&v2:7](-[#1&v1:8])-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:9])-[#8&v2:2]-[#6&v4:1]),3.1.4.16,1,2,1.3424226808222062,MNXR94723_MNXM2184,-1,-1,retro,0.27230155912227877
+RR-02-2b105cf5afec5429-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:7]-[#1&v1:8])-[#8&v2:9])>>([#8&v2:7](-[#1&v1:8])-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:9])-[#8&v2:2]-[#6&v4:1]),3.1.4.16,1,2,1.3424226808222062,MNXR94724_MNXM2182,-1,-1,retro,0.27230155912227877
+RR-02-2b105cf5afec5429-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:7]-[#1&v1:8])-[#8&v2:9])>>([#8&v2:7](-[#1&v1:8])-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:9])-[#8&v2:2]-[#6&v4:1]),3.1.4.16,1,2,1.3424226808222062,MNXR94725_MNXM2183,-1,-1,retro,0.27230155912227877
+RR-02-914837f186d0084a-02-F,([#6&v4:1]1(-[#1&v1:2])(-[#1&v1:3])-[#6&v4:4](-[#6&v4:5])(-[#1&v1:6])-[#7&v3:7]=[#6&v4:8](-[#6&v4:9])-[#6&v4:10](-[#1&v1:11])=[#6&v4:12]-1-[#1&v1:13])>>([#1&+&v0:3].[#6&v4:1]1(-[#1&v1:2]):[#6&v4:4](-[#6&v4:5]):[#7&v3:7]:[#6&v4:8](-[#6&v4:9]):[#6&v4:10](-[#1&v1:11]):[#6&v4:12]:1-[#1&v1:13].[#7&v3](=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4]1=[#6&v4](-[#1&v1])-[#7&v3](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]4:[#6&v4]5:[#6&v4](:[#7&v3]:[#6&v4]:4-[#1&v1]):[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:5)(-[#1&v1])-[#8&v2]-3)(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])=[#6&v4](-[#1&v1])-[#6&v4]-1(-[#1&v1])-[#1&v1:6])-[#1&v1]),NOEC,1,2,4.295611076923876,MNXR94742_MNXM163139,0,0,both,0.10469674387190456
+RR-02-77612ec728280d3e-02-F,([#6&v4:1]1(-[#1&v1:2]):[#6&v4:3](-[#6&v4:4]):[#7&v3:5]:[#6&v4:6](-[#6&v4:7]):[#6&v4:8](-[#1&v1:9]):[#6&v4:10]:1-[#1&v1:11])>>([#6&v4:1]1(-[#1&v1:2])(-[#1&v1])-[#6&v4:3](-[#6&v4:4])(-[#1&v1])-[#7&v3:5]=[#6&v4:6](-[#6&v4:7])-[#6&v4:8](-[#1&v1:9])=[#6&v4:10]-1-[#1&v1:11]),NOEC,1,2,4.295611076923876,MNXR94742_MNXM5133,0,0,both,0.10469674387190456
+RR-02-816e42d0572b2247-02-F,([#8&v2:1](-[#6&v4:2])-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])>>([#8&v2](-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])-[#1&v1].[#8&v2:1](-[#6&v4:2])-[#1&v1]),2.3.1.40,1,2,1.0,MNXR94760_MNXM32178,1,1,retro,0.33436669294558924
+RR-02-f35f06f7fc99a0f4-02-F,([#6&v4:1]-[#8&v2:2]-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])>>([#6&v4:3](=[#8&v2:4])(-[#6&v4:5])-[#8&v2]-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#1&v1]),2.3.1.40,1,2,0.6989700043360189,MNXR94762_MNXM31536,-1,-1,retro,0.41815468538290146
+RR-02-873f6f84bb9517bc-02-F,([#8&v2:1](-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])-[#1&v1:5])>>([#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#8&v2]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])(-[#1&v1])-[#1&v1])-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1].[#8&v2:1](-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1:5]),NOEC,1,2,1.0,MNXR94774_MNXM108,0,0,both,0.33436669294558924
+RR-02-ebd515555840439f-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1:3])-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1]),NOEC,1,2,1.0,MNXR94774_MNXM34740,0,0,both,0.33436669294558924
+RR-02-334c97e8fb74f45c-02-F,([#6&v4:1]-[#8&v2:2]-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])>>([#6&v4:1]-[#8&v2:2]-[#1&v1].[#8&v2](-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])-[#1&v1]),NOEC,1,2,1.0,MNXR94774_MNXM32179,0,0,both,0.33436669294558924
+RR-02-f35f06f7fc99a0f4-02-F,([#6&v4:1]-[#8&v2:2]-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])>>([#6&v4:3](=[#8&v2:4])(-[#6&v4:5])-[#8&v2]-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#1&v1]),NOEC,1,2,0.6989700043360189,MNXR94776_MNXM75102,0,0,both,0.41815468538290146
+RR-02-1b2fdff51b8ec353-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1].[#6&v4]12:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1:3])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:2),NOEC,1,2,0.6989700043360189,MNXR94776_MNXM150642,0,0,both,0.41815468538290146
+RR-02-6e951c1863a79f0b-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#8&v2:4]-[#1&v1:5])>>([#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#8&v2]-[#6&v4:1](=[#8&v2:2])-[#6&v4:3])(-[#1&v1])-[#1&v1])-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1].[#8&v2](-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2:4]-[#1&v1:5])(-[#8&v2]-[#1&v1])=[#8&v2])-[#1&v1]),NOEC,1,2,0.6989700043360189,MNXR94776_MNXM236,0,0,both,0.41815468538290146
+RR-02-8055af678e755e16-02-F,([#6&v4:1](-[#6&v4:2](-[#6&v4:3])=[#8&v2:4])(-[#1&v1:5])(-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1](=[#6&v4:2](-[#6&v4:3])-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:5])-[#1&v1:6].[#8&v2:4](-[#1&v1:7])-[#1&v1]),4.3.1.17,1,2,1.740362689494244,MNXR94778_MNXM23,-1,-1,retro,0.22398475244054536
+RR-02-186c35d5e0e8b177-02-F,([#6&v4:1]-[#6&v4:2](-[#7&v3:3])=[#6&v4:4](-[#1&v1:5])-[#1&v1:6])>>([#16&v6](=[#8&v2])(=[#8&v2])(-[#8&v2]-[#1&v1])-[#6&v4:4](-[#6&v4:2](-[#6&v4:1])(-[#7&v3:3])-[#1&v1])(-[#1&v1:5])-[#1&v1:6]),NOEC,1,2,4.295611076923876,MNXR94779_MNXM3414,0,0,both,0.10469674387190456
+RR-02-ac3fbb034cd51e90-02-F,([#16&v6:1](=[#8&v2:2])(=[#8&v2:3])(-[#8&v2:4])-[#6&v4:5](-[#6&v4:6](-[#6&v4:7])(-[#7&v3:8])-[#1&v1:9])(-[#1&v1:10])-[#1&v1:11])>>([#1&+&v0:9].[#6&v4:7]-[#6&v4:6](-[#7&v3:8])=[#6&v4:5](-[#1&v1:10])-[#1&v1:11].[#8&v2](-[#6&v4]1(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#16&v6:1](=[#8&v2:2])(=[#8&v2:3])-[#8&v2:4])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])-[#1&v1]),NOEC,1,2,4.295611076923876,MNXR94779_MNXM713,0,0,both,0.10469674387190456
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),NOEC,1,2,3.068556895072363,MNXR94783_MNXM582,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),NOEC,1,2,2.8750612633917005,MNXR94783_MNXM341,0,0,both,0.14873280218232202
+RR-02-f63533d2ffe3b10d-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]2:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]4(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]5-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-5-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-4(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:2),1.1.1.215,1,2,2.8750612633917005,MNXR94784_MNXM341,1,1,retro,0.14873280218232202
+RR-02-479231fc7e1e4f9f-02-F,([#6&v4:1]-[#8&v2:2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])>>([#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])(-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#1&v1]),2.7.1.13,1,2,3.2140486794119414,MNXR94789_MNXM1218,-1,-1,retro,0.13516621742325569
+RR-02-d4dd36339f1e1062-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3])(-[#6&v4:4])-[#6&v4:5](-[#8&v2:6]-[#1&v1:7])(-[#1&v1:8])-[#1&v1:9])>>([#6&v4:1]-[#6&v4:2](-[#6&v4:3])(-[#6&v4:4])-[#1&v1:7].[#8&v2:6]=[#6&v4:5](-[#1&v1:8])-[#1&v1:9]),2.1.2.11;4.1.2.12,1,2,2.2741578492636805,MNXR94792_MNXM959,1,1,retro,0.18092242314657447
+RR-02-b1093ffda3d52a6e-02-F,([#8&v2:1](-[#6&v4:2])-[#1&v1:3])>>([#8&v2](-[#1&v1:3])-[#1&v1].[#8&v2:1](-[#6&v4:2])-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1]),3.1.3.68,1,2,2.093421685162235,MNXR94794_MNXM2925,-1,-1,retro,0.19351963794088398
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),1.1;1.1.1;1.1.1.27;1.1.1.272;1.1.1.28,1,2,3.068556895072363,MNXR94796_MNXM159,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1;1.1.1;1.1.1.27;1.1.1.272;1.1.1.28,1,2,2.8750612633917005,MNXR94796_MNXM4968,0,0,both,0.14873280218232202
+RR-02-02d12dace37b7fed-02-F,([#8&v2:1](-[#15&v5:2])-[#1&v1:3])>>([#8&v2](-[#1&v1])-[#1&v1:3].[#8&v2:1](-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#15&v5:2]),3.6.1,1,2,0.6989700043360189,MNXR94806_MNXM790,1,1,retro,0.41815468538290146
+RR-02-8faf41c0d270de69-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1])-[#1&v1:3]),3.1.3.77;3.1.3.87,1,2,3.3059958827708047,MNXR94815_MNXM494,1,1,retro,0.13190279921589496
+RR-02-f0f386d804878643-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#16&v2:4]-[#6&v4:5])>>([#16&v2:4](-[#6&v4:5])-[#1&v1].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2]),1.2.1.52;1.2.4.2;1.8.1.4;2.3.1.61,1,2,1.1760912590556811,MNXR94818_MNXM382,-1,-1,retro,0.29928664475564964
+RR-02-62cc105b2ac1e9c0-02-F,([#15&v5:1](=[#8&v2:2])(-[#8&v2:3])(-[#8&v2:4])-[#8&v2:5]-[#6&v4:6])>>([#7&v3](=[#6&v4]1:[#7&v3]:[#6&v4](-[#8&v2]-[#1&v1]):[#6&v4]2:[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3](-[#6&v4]3(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5:1](=[#8&v2:2])(-[#8&v2:3])-[#8&v2:4])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-3(-[#8&v2]-[#1&v1])-[#1&v1]):[#6&v4]:2:[#7&v3]:1-[#1&v1])-[#1&v1].[#8&v2:5](-[#6&v4:6])-[#1&v1]),NOEC,1,2,4.295611076923876,MNXR94829_MNXM2888,1,1,retro,0.10469674387190456
+RR-02-02e89bc594b88eee-02-F,([#6&v4:1]1(-[#1&v1:2])=[#6&v4:3](-[#1&v1:4])-[#6&v4:5](-[#1&v1:6])=[#6&v4:7](-[#6&v4:8](-[#6&v4:9](-[#6&v4:10](-[#6&v4:11])(-[#1&v1:12])-[#1&v1:13])(-[#1&v1:14])-[#1&v1:15])=[#8&v2:16])-[#6&v4:17](-[#6&v4:18])(-[#1&v1:19])-[#6&v4:20]-1)>>([#6&v4:11]-[#6&v4:10](-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1:12])-[#1&v1:13].[#6&v4:1]1(-[#8&v2:16]-[#6&v4:8](=[#6&v4:9](-[#1&v1:14])-[#1&v1:15])-[#6&v4](-[#8&v2]-[#1&v1:19])=[#8&v2])(-[#1&v1:2])-[#6&v4:20]-[#6&v4:17](-[#6&v4:18])=[#6&v4:7](-[#1&v1])-[#6&v4:5](-[#1&v1:6])=[#6&v4:3]-1-[#1&v1:4]),2.2.1.9;4.2.99.20,1,2,2.369215857410143,MNXR94830_MNXM162721,-1,-1,retro,0.17493326817536234
+RR-02-24fd33f20c676110-02-F,([#6&v4:1](-[#6&v4:2])(-[#1&v1:3])(-[#1&v1:4])-[#1&v1:5])>>([#6&v4]1(-[#8&v2]-[#6&v4](=[#6&v4](-[#1&v1])-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](=[#8&v2])-[#8&v2]-[#1&v1])=[#6&v4](-[#1&v1:5])-[#6&v4](-[#1&v1])=[#6&v4]-1-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4:1](-[#6&v4:2])(-[#1&v1:3])-[#1&v1:4])(-[#1&v1])-[#1&v1])-[#1&v1]),2.2.1.9;4.2.99.20,1,2,2.369215857410143,MNXR94830_MNXM23,-1,-1,retro,0.17493326817536234
+RR-02-75c9bbb89a33f621-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#8&v2:4]-[#1&v1:5])>>([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1].[#8&v2:4](-[#1&v1:5])-[#1&v1]),1.2.1.29;1.2.1.3;1.2.1.5,1,2,1.8808135922807916,MNXR94831_MNXM645,1,1,retro,0.21078417217878098
+RR-02-fcc8935f8e5c652c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#1&v1:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:6].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:5])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1.1,1,2,2.133538908370217,MNXR94833_MNXM2931,1,1,retro,0.19057431907203484
+RR-02-07e04c0ce02f2452-02-F,([#8&v2:1]=[#6&v4:2](-[#6&v4:3](-[#6&v4:4])=[#6&v4:5](-[#6&v4:6](=[#6&v4:7](-[#6&v4:8](-[#8&v2:9])=[#8&v2:10])-[#8&v2:11])-[#1&v1:12])-[#1&v1:13])-[#1&v1:14])>>([#8&v2:9]-[#6&v4:8]1:[#6&v4:7](-[#8&v2:11]):[#6&v4:6](-[#1&v1:12]):[#6&v4:5](-[#1&v1:13]):[#6&v4:3](-[#6&v4:4]):[#6&v4:2]:1-[#1&v1:14].[#8&v2:1]=[#8&v2:10]),1.13.11.15,1,2,0.3010299956639812,MNXR94835_MNXM1628,-1,-1,retro,0.6252856799411323
+RR-02-75c9bbb89a33f621-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#8&v2:4]-[#1&v1:5])>>([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1].[#8&v2:4](-[#1&v1:5])-[#1&v1]),1.2.1.5,1,2,1.8808135922807916,MNXR94839_MNXM645,1,1,retro,0.21078417217878098
+RR-02-3e90117b0d247e8d-02-F,([#6&v4:1](-[#8&v2:2]-[#1&v1:3])(-[#6&v4:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:3].[#6&v4:1](=[#8&v2:2])(-[#6&v4:4])-[#6&v4:5].[#7&v3](=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4]1=[#6&v4](-[#1&v1])-[#7&v3](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]4:[#6&v4]5:[#6&v4](:[#7&v3]:[#6&v4]:4-[#1&v1]):[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:5)(-[#1&v1])-[#8&v2]-3)(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])=[#6&v4](-[#1&v1])-[#6&v4]-1(-[#1&v1])-[#1&v1:6])-[#1&v1]),1.1.1.222;1.1.1.237,1,2,1.740362689494244,MNXR94842_MNXM114141,-1,-1,retro,0.22398475244054536
+RR-02-d1481b6c6a9f6113-02-F,([#8&v2:1](-[#6&v4:2]1:[#6&v4:3](-[#1&v1:4]):[#6&v4:5]:[#6&v4:6](-[#8&v2:7]-[#1&v1:8]):[#6&v4:9](-[#6&v4:10]-[#6&v4:11](=[#8&v2:12])-[#8&v2:13]-[#1&v1:14]):[#6&v4:15]:1)-[#1&v1:16])>>([#8&v2:1](-[#6&v4:3]1:[#6&v4:2](-[#1&v1:14]):[#6&v4:15]:[#6&v4:9](-[#6&v4:10]-[#6&v4:11](=[#8&v2:12])-[#6&v4](-[#8&v2]-[#1&v1:4])=[#8&v2]):[#6&v4:6](-[#1&v1:8]):[#6&v4:5]:1)-[#1&v1:16].[#8&v2:7]=[#8&v2:13]),1.13.11.27,1,2,1.230448921378274,MNXR94843_MNXM345,-1,-1,retro,0.28989794855663564
+RR-02-596aecb0c0a58be1-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#6&v4:4])(-[#7&v3](-[#1&v1])-[#1&v1])-[#1&v1].[#8&v2:3]=[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1]),2.6.1.40,1,2,0.6989700043360189,MNXR94851_MNXM20,0,0,both,0.41815468538290146
+RR-02-ee55943b06a73682-02-F,([#6&v4:1]-[#6&v4:2](-[#7&v3:3](-[#1&v1:4])-[#1&v1:5])(-[#1&v1:6])-[#1&v1:7])>>([#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#7&v3:3](-[#1&v1:4])-[#1&v1:5])-[#1&v1:7])-[#1&v1].[#8&v2]=[#6&v4:2](-[#6&v4:1])-[#1&v1:6]),2.6.1.40,1,2,1.0413926851582251,MNXR94851_MNXM786,0,0,both,0.32540112722720427
+RR-02-9302cd2c12af07f6-02-F,([#8&v2:1]=[#6&v4:2](-[#6&v4:3])-[#1&v1:4])>>([#6&v4:3]-[#6&v4:2](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:4])-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](=[#8&v2:1])-[#6&v4](-[#6&v4](-[#6&v4](=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1]),2.6.1.40,1,2,1.0413926851582251,MNXR94851_MNXM305,0,0,both,0.32540112722720427
+RR-02-cb87072f2b4d808b-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3])(-[#7&v3:4](-[#1&v1:5])-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1]-[#6&v4:2](=[#8&v2])-[#6&v4:3].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#7&v3:4](-[#1&v1:5])-[#1&v1:6])(-[#1&v1])-[#1&v1:7])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1]),2.6.1.40,1,2,0.6989700043360189,MNXR94851_MNXM89557,0,0,both,0.41815468538290146
+RR-02-95bf19d9e7a1be1d-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3](=[#8&v2:4])-[#1&v1:5])(-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1]-[#6&v4:2](=[#6&v4:3](-[#7&v3](-[#1&v1])-[#1&v1])-[#1&v1:5])-[#1&v1:7].[#8&v2:4](-[#1&v1:6])-[#1&v1]),3.5.1.-,1,2,0.0,MNXR94854_MNXM244,-1,-1,retro,1.0
+RR-02-336a300dd2a49b5a-02-F,([#6&v4:1]-[#8&v2:2]-[#6&v4:3](-[#1&v1:4])(-[#1&v1:5])-[#1&v1:6])>>([#6&v4:1]-[#8&v2:2]-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#6&v4](-[#6&v4](-[#16&+&v3](-[#6&v4:3](-[#1&v1:4])(-[#1&v1:5])-[#1&v1:6])-[#6&v4](-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1]),2.1.1.114,1,2,1.4913616938342726,MNXR94862_MNXM3166,1,1,retro,0.2519592200006383
+RR-02-f63533d2ffe3b10d-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]2:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]4(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]5-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-5-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-4(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:2),1.1.1.102,1,2,2.8750612633917005,MNXR94866_MNXM302,1,1,retro,0.14873280218232202
+RR-02-6459dcac2f891b10-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3](=[#6&v4:4](-[#6&v4:5](=[#6&v4:6](-[#6&v4:7](-[#8&v2:8])=[#8&v2:9])-[#7&v3:10])-[#6&v4:11])-[#1&v1:12])-[#1&v1:13])-[#1&v1:14])>>([#6&v4:1]1(-[#1&v1:14]):[#6&v4:7](-[#8&v2:8]):[#6&v4:6](-[#7&v3:10]):[#6&v4:5](-[#6&v4:11]):[#6&v4:4](-[#1&v1:12]):[#6&v4:3]:1-[#1&v1:13].[#8&v2:9]=[#8&v2:2]),1.13.11.6,1,2,1.3222192947339193,MNXR94889_MNXM1372,-1,-1,retro,0.27531677913390795
+RR-02-f875bb9a9abcf524-02-F,([#6&v4:1]:[#6&v4:2](-[#8&v2:3]-[#1&v1:4]):[#6&v4:5])>>([#6&v4:1]:[#6&v4:2](-[#1&v1]):[#6&v4:5].[#7&v3](=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4]1=[#6&v4](-[#1&v1])-[#7&v3](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]4:[#6&v4]5:[#6&v4](:[#7&v3]:[#6&v4]:4-[#1&v1]):[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:5)(-[#1&v1])-[#8&v2]-3)(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])=[#6&v4](-[#1&v1])-[#6&v4]-1(-[#1&v1])-[#1&v1:4])-[#1&v1].[#8&v2:3]=[#8&v2]),1.14.13.127,1,2,2.0293837776852097,MNXR94893_MNXM1130,-1,-1,retro,0.19841458273896181
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),1.1.1.259;1.1.1.35,1,2,3.068556895072363,MNXR94897_MNXM2941,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1.259;1.1.1.35,1,2,2.8750612633917005,MNXR94897_MNXM2188,0,0,both,0.14873280218232202
+RR-02-7a8770f5506c2472-02-F,([#6&v4:1]:[#6&v4:2](-[#8&v2:3]-[#1&v1:4]):[#6&v4:5])>>([#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:4])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1.[#6&v4:1]:[#6&v4:2](-[#1&v1]):[#6&v4:5].[#8&v2:3]=[#8&v2]),1.14.13.3;1.14.14.9,1,2,2.0293837776852097,MNXR94899_MNXM645,1,1,retro,0.19841458273896181
+RR-02-2cff63453b0171e5-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#8&v2:4]-[#1&v1:5])>>([#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])(-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#6&v4:1](=[#8&v2:2])-[#6&v4:3])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1].[#8&v2:4](-[#1&v1:5])-[#1&v1]),3.1.2.4,1,2,1.2041199826559248,MNXR94900_MNXM872,1,1,retro,0.29437080821017125
+RR-02-480a129ecfd5b0b4-02-F,([#6&v4:1]:[#6&v4:2](-[#1&v1:3]):[#6&v4:4])>>([#6&v4:1]:[#6&v4:2](-[#6&v4](-[#8&v2]-[#1&v1:3])=[#8&v2]):[#6&v4:4]),4.1.1,1,2,1.3222192947339193,MNXR94901_MNXM4291,-1,-1,retro,0.27531677913390795
+RR-02-73267b1e71486aff-02-F,([#6&v4:1](-[#6&v4:2])(=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1](-[#6&v4:2])(-[#8&v2:3]-[#1&v1])(-[#1&v1])-[#1&v1:4]),1.1.1.59,1,2,1.0,MNXR94902_MNXM244,-1,-1,retro,0.33436669294558924
+RR-02-7a8770f5506c2472-02-F,([#6&v4:1]:[#6&v4:2](-[#8&v2:3]-[#1&v1:4]):[#6&v4:5])>>([#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:4])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1.[#6&v4:1]:[#6&v4:2](-[#1&v1]):[#6&v4:5].[#8&v2:3]=[#8&v2]),1.14.13.127,1,2,2.0293837776852097,MNXR94903_MNXM826,1,1,retro,0.19841458273896181
+RR-02-cd88ee6638db68ec-02-F,([#6&v4:1]-[#6&v4:2](-[#7&v3:3])(-[#1&v1:4])-[#1&v1:5])>>([#6&v4:1]-[#6&v4:2](-[#7&v3:3])(-[#6&v4](-[#8&v2]-[#1&v1:5])=[#8&v2])-[#1&v1:4]),4.1.1.-,1,2,1.7558748556724917,MNXR94906_MNXM36534,-1,-1,retro,0.22244614501928342
+RR-02-e60720acb585a9c4-02-F,([#8&v2:1](-[#8&v2:2]-[#1&v1:3])-[#1&v1:4])>>([#8&v2](-[#6&v4]1:[#6&v4](-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1:4])=[#8&v2]):[#6&v4]:1-[#7&v3](-[#1&v1])-[#1&v1:3])-[#1&v1].[#8&v2:1]=[#8&v2:2]),1.4.3.4,1,2,1.869231719730976,MNXR94907_MNXM22,-1,-1,retro,0.2118135684487
+RR-02-3396aba0f8fc3626-02-F,([#6&v4:1]:[#6&v4:2]1:[#7&v3:3]:[#6&v4:4](-[#1&v1:5]):[#6&v4:6](-[#1&v1:7]):[#6&v4:8](-[#8&v2:9]-[#1&v1:10]):[#6&v4:11]:1:[#6&v4:12])>>([#6&v4:1]:[#6&v4:2](-[#7&v3:3](-[#1&v1:10])-[#1&v1]):[#6&v4:11](-[#6&v4:8](-[#6&v4:6](-[#6&v4:4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:5])-[#1&v1])(-[#1&v1:7])-[#1&v1])=[#8&v2:9]):[#6&v4:12]),1.4.3.4,1,2,1.869231719730976,MNXR94907_MNXM9073,-1,-1,retro,0.2118135684487
+RR-02-479231fc7e1e4f9f-02-F,([#6&v4:1]-[#8&v2:2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])>>([#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])(-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#1&v1]),2.7.1.53,1,2,3.2140486794119414,MNXR94909_MNXM1170,-1,-1,retro,0.13516621742325569
+RR-02-68a607c37418ed18-02-F,([#6&v4:1]-[#16&v2:2]-[#1&v1:3].[#6&v4:4]-[#16&v2:5]-[#6&v4:6](=[#8&v2:7])-[#6&v4:8])>>([#6&v4:6](=[#8&v2:7])(-[#6&v4:8])-[#6&v4](-[#8&v2]-[#1&v1:3])=[#8&v2].[#6&v4:1]-[#16&v2:2]-[#16&v2:5]-[#6&v4:4]),1.2.4.4,1,2,1.8061799739838869,MNXR94910_MNXM7749,-1,-1,retro,0.21759878190509843
+RR-02-a6336c0751f69fd7-02-F,([#16&v2:1](-[#6&v4:2])-[#1&v1:3].[#6&v4:4]-[#16&v2:5]-[#6&v4:6](=[#8&v2:7])-[#6&v4:8])>>([#16&v2:1](-[#16&v2:5]-[#6&v4:4])-[#6&v4:2].[#6&v4:6](=[#8&v2:7])(-[#6&v4:8])-[#6&v4](-[#8&v2]-[#1&v1:3])=[#8&v2]),1.2.4.4,1,2,1.8061799739838869,MNXR94911_MNXM9096,-1,-1,retro,0.21759878190509843
+RR-02-377afb0fef578d15-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#1&v1:4])-[#1&v1]),1.1.1.21;1.1.1.90,1,2,2.4517864355242898,MNXR94914_MNXM4040,-1,-1,retro,0.17004370207003422
+RR-02-34ff923f816c8766-02-F,([#8&v2:1](-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])-[#1&v1:5])>>([#6&v4:2](=[#8&v2:3])(-[#6&v4:4])-[#1&v1].[#8&v2:1](-[#1&v1:5])-[#1&v1]),1.2.1.28;1.2.1.3;1.2.1.7,1,2,2.3201462861110542,MNXR94915_MNXM4661,-1,-1,retro,0.17797453536564026
+RR-02-3fd9b5b0c6bd3482-02-F,([#6&v4:1](-[#6&v4:2](=[#6&v4:3](-[#6&v4:4](=[#6&v4:5](-[#8&v2:6])-[#6&v4:7](-[#8&v2:8])=[#8&v2:9])-[#1&v1:10])-[#1&v1:11])-[#1&v1:12])(-[#6&v4:13])=[#8&v2:14])>>([#6&v4:1]1(-[#6&v4:13]):[#6&v4:7](-[#8&v2:8]):[#6&v4:5](-[#8&v2:6]):[#6&v4:4](-[#1&v1:10]):[#6&v4:3](-[#1&v1:11]):[#6&v4:2]:1-[#1&v1:12].[#8&v2:9]=[#8&v2:14]),1.13.11.-;1.13.11.2;1.13.11.39,1,2,0.0,MNXR94919_MNXM3948,1,1,retro,1.0
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),1.1.1,1,2,3.068556895072363,MNXR94921_MNXM2068,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1,1,2,2.8750612633917005,MNXR94921_MNXM2512,0,0,both,0.14873280218232202
+RR-02-803f02b70f45741d-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#1&v1:4])>>([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#6&v4](-[#8&v2]-[#1&v1:4])=[#8&v2]),4.1.1.72,1,2,0.6989700043360189,MNXR94922_MNXM5189,-1,-1,retro,0.41815468538290146
+RR-02-803f02b70f45741d-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#1&v1:4])>>([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#6&v4](-[#8&v2]-[#1&v1:4])=[#8&v2]),4.1.1.72,1,2,0.6989700043360189,MNXR94925_MNXM2604,-1,-1,retro,0.41815468538290146
+RR-02-3585e248271fb61c-02-F,([#8&v2:1](-[#8&v2:2]-[#1&v1:3])-[#1&v1:4])>>([#6&v4](-[#8&v2]-[#6&v4]1:[#6&v4](-[#8&v2]-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#6&v4](-[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1:3])(-[#1&v1])-[#1&v1]):[#6&v4]:1-[#1&v1])(-[#1&v1])(-[#1&v1])-[#1&v1].[#8&v2](-[#1&v1:4])-[#1&v1].[#8&v2:1]=[#8&v2:2]),1.4.3.4,1,2,1.8061799739838869,MNXR94931_MNXM22,-1,-1,retro,0.21759878190509843
+RR-02-585ce5656b8f31a2-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1]-[#6&v4:2](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:4])-[#1&v1].[#8&v2:3](-[#1&v1])-[#1&v1]),1.4.3.4,1,2,1.8061799739838869,MNXR94931_MNXM4183,-1,-1,retro,0.21759878190509843
+RR-02-a7836cb07a9fb282-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1:3])-[#1&v1]),3.1.3.6,1,2,3.3059958827708047,MNXR94932_MNXM288,-1,-1,retro,0.13190279921589496
+RR-02-c279b93647bbe181-02-F,([#6&v4:1]-[#8&v2:2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])>>([#6&v4:1]-[#8&v2:2]-[#1&v1].[#8&v2](-[#6&v4]1:[#7&v3]:[#6&v4](=[#8&v2]):[#7&v3](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4]:1-[#1&v1])-[#1&v1]),NOEC,1,2,3.3047058982127653,MNXR94933_MNXM1170,0,0,both,0.13194749347100665
+RR-02-a7836cb07a9fb282-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1:3])-[#1&v1]),NOEC,1,2,3.3059958827708047,MNXR94933_MNXM288,0,0,both,0.13190279921589496
+RR-02-edfb6d53c4ae6843-02-F,([#6&v4:1]-[#8&v2:2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])>>([#6&v4:1]-[#8&v2:2]-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#8&v2]-[#1&v1])(-[#6&v4](=[#8&v2])-[#6&v4](-[#8&v2]-[#1&v1])(-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])(-[#1&v1])-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1]),NOEC,1,2,3.3047058982127653,MNXR94933_MNXM2184,0,0,both,0.13194749347100665
+RR-02-178dd86b0979d514-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1:3])(-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1]),NOEC,1,2,3.3047058982127653,MNXR94933_MNXM736,0,0,both,0.13194749347100665
+RR-02-8faf41c0d270de69-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1])-[#1&v1:3]),3.1.3.6,1,2,3.3059958827708047,MNXR94934_MNXM338,1,1,retro,0.13190279921589496
+RR-02-8faf41c0d270de69-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1])-[#1&v1:3]),3.1.3.6,1,2,3.3059958827708047,MNXR94935_MNXM212,1,1,retro,0.13190279921589496
+RR-02-8faf41c0d270de69-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1])-[#1&v1:3]),3.1.3.6,1,2,3.3059958827708047,MNXR94936_MNXM401,1,1,retro,0.13190279921589496
+RR-02-661072f99fdfbbaf-02-F,([#8&v2:1](-[#8&v2:2]-[#1&v1:3])-[#1&v1:4])>>([#8&-&v1]-[#7&+&v4](-[#6&v4]1:[#6&v4](-[#8&v2]-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#6&v4](-[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1:3])(-[#1&v1])-[#1&v1]):[#6&v4]:1-[#1&v1])=[#8&v2].[#8&v2](-[#1&v1:4])-[#1&v1].[#8&v2:1]=[#8&v2:2]),NOEC,1,2,1.8061799739838869,MNXR94937_MNXM22,0,0,both,0.21759878190509843
+RR-02-585ce5656b8f31a2-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1]-[#6&v4:2](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:4])-[#1&v1].[#8&v2:3](-[#1&v1])-[#1&v1]),NOEC,1,2,1.8061799739838869,MNXR94937_MNXM97102,0,0,both,0.21759878190509843
+RR-02-0ccafd5c7a47401c-02-F,([#6&v4:1]-[#6&v4:2](-[#7&v3:3](-[#1&v1:4])-[#1&v1:5])(-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1]-[#6&v4:2](=[#8&v2])-[#1&v1:6].[#7&v3:3](-[#1&v1:4])(-[#1&v1:5])-[#1&v1].[#8&v2](-[#8&v2]-[#1&v1:7])-[#1&v1]),NOEC,1,2,1.8061799739838869,MNXR94937_MNXM97190,0,0,both,0.21759878190509843
+RR-02-f63533d2ffe3b10d-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]2:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]4(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]5-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-5-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-4(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:2),1.1.1.330,1,2,2.8750612633917005,MNXR94938_MNXM31746,1,1,retro,0.14873280218232202
+RR-02-a54299715cd27306-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])(-[#1&v1:6])-[#1&v1:7])>>([#6&v4:3](=[#8&v2:4])(-[#6&v4:5])-[#16&v2]-[#6&v4](-[#6&v4](-[#7&v3]=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4](-[#6&v4](-[#7&v3]=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1].[#6&v4:1]-[#6&v4:2](-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])(-[#1&v1:6])-[#1&v1:7]),2.3.1.199,1,2,1.7781512503836436,MNXR94939_MNXM513,-1,-1,retro,0.22027322602663954
+RR-02-391198512a8fc0d4-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3](-[#6&v4:4](=[#8&v2:5])-[#6&v4:6])(-[#1&v1:7])-[#1&v1:8])(-[#1&v1:9])-[#1&v1:10])>>([#6&v4:3](-[#6&v4:4](-[#6&v4:6])(-[#1&v1:7])-[#1&v1:8])(=[#8&v2:5])-[#8&v2]-[#1&v1].[#6&v4:1]-[#6&v4:2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1:9])-[#1&v1:10]),2.8.3.6,1,2,0.6989700043360189,MNXR94940_MNXM1264,-1,-1,retro,0.41815468538290146
+RR-02-ce4ed7d524419ece-02-F,([#6&v4:1](=[#8&v2:2])(-[#8&v2:3]-[#1&v1:4])-[#6&v4:5])>>([#8&v2](-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#8&v2])-[#8&v2:3]-[#1&v1:4])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4:1](=[#8&v2:2])-[#6&v4:5])(-[#1&v1])-[#1&v1])-[#1&v1]),2.8.3.6,1,2,0.6989700043360189,MNXR94940_MNXM25,-1,-1,retro,0.41815468538290146
+RR-02-6d2fe140bdd4bb66-02-F,([#6&v4:1]:[#6&v4:2](-[#8&v2:3]-[#1&v1:4]):[#6&v4:5])>>([#6&v4:1]:[#6&v4:2](-[#1&v1:4]):[#6&v4:5].[#8&v2:3]=[#8&v2]),NOEC,1,2,2.24551266781415,MNXR94965_MNXM2783,0,0,both,0.18280846932054326
+RR-02-0e609023fbda6ee1-02-F,([#6&v4:1]:[#6&v4:2](-[#1&v1:3]):[#6&v4:4])>>([#6&v4:1]:[#6&v4:2](-[#8&v2]-[#1&v1:3]):[#6&v4:4]),NOEC,1,2,2.24551266781415,MNXR94965_MNXM3167,0,0,both,0.18280846932054326
+RR-02-358afa1261aac3de-02-F,([#6&v4:1](-[#6&v4:2])(-[#1&v1:3])(-[#1&v1:4])-[#1&v1:5])>>([#8&v2](-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#1&v1:5])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](=[#8&v2])-[#6&v4:1](-[#6&v4:2])(-[#1&v1:3])-[#1&v1:4])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1]),2.3.1.16;2.3.1.174,1,2,0.6020599913279624,MNXR94967_MNXM21,1,1,retro,0.45484772422706443
+RR-02-1794eeb97a0ab9c0-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#16&v2:4]-[#6&v4:5])>>([#6&v4:5]-[#16&v2:4]-[#1&v1].[#8&v2](-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#6&v4](-[#6&v4](-[#6&v4:2](-[#6&v4:1])=[#8&v2:3])(-[#1&v1])-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1]),2.3.1.16;2.3.1.174,1,2,0.0,MNXR94967_MNXM92,1,1,retro,1.0
+RR-02-0c2385ca3117a379-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#8&v2:4]-[#1&v1:5])>>([#8&v2:4](-[#1&v1])-[#1&v1:5].[#8&v2](-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#6&v4:2](-[#6&v4:1])=[#8&v2:3])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1]),3.1.2;3.1.2.20;3.1.2.23,1,2,0.4771212547196624,MNXR94976_MNXM1639,-1,-1,retro,0.5128681484037748
+RR-02-18c81873156024c3-02-F,([#6&v4:1]-[#16&v4:2](=[#8&v2:3])-[#8&v2:4])>>([#6&v4:1]-[#16&v6:2](=[#8&v2:3])(-[#8&v2:4])=[#8&v2]),NOEC,1,2,4.295611076923876,MNXR94979_MNXM498,0,0,both,0.10469674387190456
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test-data/rules_out.csv	Wed Feb 02 14:29:14 2022 +0000
@@ -0,0 +1,100 @@
+Rule ID,Rule,EC number,Reaction order,Diameter,Score,Legacy ID,Reaction direction,Rule relative direction,Rule usage,Score normalized
+RR-02-fbdda75e23f518b6-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3](-[#6&v4:4])(-[#1&v1:5])-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1](-[#8&v2:2]-[#1&v1:6])(-[#6&v4:3](-[#6&v4:4])(-[#8&v2]-[#1&v1])-[#1&v1:5])(-[#1&v1:7])-[#1&v1]),NOEC,1,2,4.295611076923876,MNXR94682_MNXM821,0,0,both,0.10469674387190456
+RR-02-0250d458c4991a7d-02-F,([#6&v4:1](-[#8&v2:2]-[#1&v1:3])(-[#6&v4:4](-[#6&v4:5])(-[#8&v2:6]-[#1&v1:7])-[#1&v1:8])(-[#1&v1:9])-[#1&v1:10])>>([#6&v4:1](=[#8&v2:2])(-[#6&v4:4](-[#6&v4:5])(-[#1&v1:8])-[#1&v1:3])-[#1&v1:9].[#8&v2:6](-[#1&v1:7])-[#1&v1:10]),NOEC,1,2,4.295611076923876,MNXR94682_MNXM90191,0,0,both,0.10469674387190456
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),1.1.1.-,1,2,3.068556895072363,MNXR94689_MNXM101404,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1.-,1,2,2.8750612633917005,MNXR94689_MNXM9689,0,0,both,0.14873280218232202
+RR-02-2860703b5bba4808-02-F,([#8&v2:1](-[#8&v2:2]-[#6&v4:3])-[#1&v1:4])>>([#8&v2:1](-[#1&v1:4])-[#1&v1].[#8&v2:2](-[#6&v4:3])-[#1&v1]),NOEC,1,2,0.0,MNXR94690_MNXM2313,0,0,both,1.0
+RR-02-5594c358cc56f547-02-F,([#8&v2:1](-[#6&v4:2])-[#1&v1:3])>>([#1&+&v0:3].[#8&v2](-[#8&v2:1]-[#6&v4:2])-[#1&v1]),NOEC,1,2,0.0,MNXR94690_MNXM9689,0,0,both,1.0
+RR-02-40c5de14c04712c6-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#1&v1])-[#1&v1:4]),1.1.1.202,1,2,2.4517864355242898,MNXR94691_MNXM1526,0,0,both,0.17004370207003422
+RR-02-fcc8935f8e5c652c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#1&v1:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:6].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:5])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1.202,1,2,2.133538908370217,MNXR94691_MNXM2861,0,0,both,0.19057431907203484
+RR-02-2961e0cd92ffd16f-02-F,([#6&v4:1]-[#6&v4:2](-[#1&v1:3])(-[#7&v3:4](-[#1&v1:5])-[#6&v4:6])-[#6&v4:7])>>([#1&+&v0:5].[#6&v4:1]-[#6&v4:2](=[#7&v3:4]-[#6&v4:6])-[#6&v4:7].[#6&v4]1(-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]2:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]4(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]5-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:3])-[#6&v4](-[#1&v1])=[#6&v4]-5-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-4(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:2),1.5.1.1;1.5.1.21;1.5.1.25,1,2,1.2552725051033058,MNXR94711_MNXM684,1,1,retro,0.2858035578011269
+RR-02-348f4f56cd2f2fbd-02-F,([#6&v4:1]-[#6&v4:2](-[#1&v1:3])(-[#7&v3:4](-[#1&v1:5])-[#6&v4:6])-[#6&v4:7])>>([#1&+&v0:5].[#6&v4:1]-[#6&v4:2](=[#7&v3:4]-[#6&v4:6])-[#6&v4:7].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:3])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.5.1.1;1.5.1.21,1,2,1.2552725051033058,MNXR94712_MNXM684,1,1,retro,0.2858035578011269
+RR-02-081d4d214a20ffc4-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:7]-[#1&v1:8])-[#8&v2:9])>>([#6&v4:1]-[#8&v2:2]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:9])-[#8&v2:4].[#8&v2:7](-[#1&v1:3])-[#1&v1:8]),3.1.4.16,1,2,1.7075701760979365,MNXR94722_MNXM1985,-1,-1,retro,0.22730844438799006
+RR-02-2b105cf5afec5429-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:7]-[#1&v1:8])-[#8&v2:9])>>([#8&v2:7](-[#1&v1:8])-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:9])-[#8&v2:2]-[#6&v4:1]),3.1.4.16,1,2,1.3424226808222062,MNXR94723_MNXM2184,-1,-1,retro,0.27230155912227877
+RR-02-2b105cf5afec5429-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:7]-[#1&v1:8])-[#8&v2:9])>>([#8&v2:7](-[#1&v1:8])-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:9])-[#8&v2:2]-[#6&v4:1]),3.1.4.16,1,2,1.3424226808222062,MNXR94724_MNXM2182,-1,-1,retro,0.27230155912227877
+RR-02-2b105cf5afec5429-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:7]-[#1&v1:8])-[#8&v2:9])>>([#8&v2:7](-[#1&v1:8])-[#1&v1:3].[#8&v2:4]-[#15&v5:5](=[#8&v2:6])(-[#8&v2:9])-[#8&v2:2]-[#6&v4:1]),3.1.4.16,1,2,1.3424226808222062,MNXR94725_MNXM2183,-1,-1,retro,0.27230155912227877
+RR-02-914837f186d0084a-02-F,([#6&v4:1]1(-[#1&v1:2])(-[#1&v1:3])-[#6&v4:4](-[#6&v4:5])(-[#1&v1:6])-[#7&v3:7]=[#6&v4:8](-[#6&v4:9])-[#6&v4:10](-[#1&v1:11])=[#6&v4:12]-1-[#1&v1:13])>>([#1&+&v0:3].[#6&v4:1]1(-[#1&v1:2]):[#6&v4:4](-[#6&v4:5]):[#7&v3:7]:[#6&v4:8](-[#6&v4:9]):[#6&v4:10](-[#1&v1:11]):[#6&v4:12]:1-[#1&v1:13].[#7&v3](=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4]1=[#6&v4](-[#1&v1])-[#7&v3](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]4:[#6&v4]5:[#6&v4](:[#7&v3]:[#6&v4]:4-[#1&v1]):[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:5)(-[#1&v1])-[#8&v2]-3)(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])=[#6&v4](-[#1&v1])-[#6&v4]-1(-[#1&v1])-[#1&v1:6])-[#1&v1]),NOEC,1,2,4.295611076923876,MNXR94742_MNXM163139,0,0,both,0.10469674387190456
+RR-02-77612ec728280d3e-02-F,([#6&v4:1]1(-[#1&v1:2]):[#6&v4:3](-[#6&v4:4]):[#7&v3:5]:[#6&v4:6](-[#6&v4:7]):[#6&v4:8](-[#1&v1:9]):[#6&v4:10]:1-[#1&v1:11])>>([#6&v4:1]1(-[#1&v1:2])(-[#1&v1])-[#6&v4:3](-[#6&v4:4])(-[#1&v1])-[#7&v3:5]=[#6&v4:6](-[#6&v4:7])-[#6&v4:8](-[#1&v1:9])=[#6&v4:10]-1-[#1&v1:11]),NOEC,1,2,4.295611076923876,MNXR94742_MNXM5133,0,0,both,0.10469674387190456
+RR-02-816e42d0572b2247-02-F,([#8&v2:1](-[#6&v4:2])-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])>>([#8&v2](-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])-[#1&v1].[#8&v2:1](-[#6&v4:2])-[#1&v1]),2.3.1.40,1,2,1.0,MNXR94760_MNXM32178,1,1,retro,0.33436669294558924
+RR-02-f35f06f7fc99a0f4-02-F,([#6&v4:1]-[#8&v2:2]-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])>>([#6&v4:3](=[#8&v2:4])(-[#6&v4:5])-[#8&v2]-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#1&v1]),2.3.1.40,1,2,0.6989700043360189,MNXR94762_MNXM31536,-1,-1,retro,0.41815468538290146
+RR-02-873f6f84bb9517bc-02-F,([#8&v2:1](-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])-[#1&v1:5])>>([#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#8&v2]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])(-[#1&v1])-[#1&v1])-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1].[#8&v2:1](-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1:5]),NOEC,1,2,1.0,MNXR94774_MNXM108,0,0,both,0.33436669294558924
+RR-02-ebd515555840439f-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1:3])-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1]),NOEC,1,2,1.0,MNXR94774_MNXM34740,0,0,both,0.33436669294558924
+RR-02-334c97e8fb74f45c-02-F,([#6&v4:1]-[#8&v2:2]-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])>>([#6&v4:1]-[#8&v2:2]-[#1&v1].[#8&v2](-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])-[#1&v1]),NOEC,1,2,1.0,MNXR94774_MNXM32179,0,0,both,0.33436669294558924
+RR-02-f35f06f7fc99a0f4-02-F,([#6&v4:1]-[#8&v2:2]-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])>>([#6&v4:3](=[#8&v2:4])(-[#6&v4:5])-[#8&v2]-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#1&v1]),NOEC,1,2,0.6989700043360189,MNXR94776_MNXM75102,0,0,both,0.41815468538290146
+RR-02-1b2fdff51b8ec353-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1].[#6&v4]12:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1:3])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:2),NOEC,1,2,0.6989700043360189,MNXR94776_MNXM150642,0,0,both,0.41815468538290146
+RR-02-6e951c1863a79f0b-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#8&v2:4]-[#1&v1:5])>>([#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#8&v2]-[#6&v4:1](=[#8&v2:2])-[#6&v4:3])(-[#1&v1])-[#1&v1])-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1].[#8&v2](-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2:4]-[#1&v1:5])(-[#8&v2]-[#1&v1])=[#8&v2])-[#1&v1]),NOEC,1,2,0.6989700043360189,MNXR94776_MNXM236,0,0,both,0.41815468538290146
+RR-02-8055af678e755e16-02-F,([#6&v4:1](-[#6&v4:2](-[#6&v4:3])=[#8&v2:4])(-[#1&v1:5])(-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1](=[#6&v4:2](-[#6&v4:3])-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:5])-[#1&v1:6].[#8&v2:4](-[#1&v1:7])-[#1&v1]),4.3.1.17,1,2,1.740362689494244,MNXR94778_MNXM23,-1,-1,retro,0.22398475244054536
+RR-02-186c35d5e0e8b177-02-F,([#6&v4:1]-[#6&v4:2](-[#7&v3:3])=[#6&v4:4](-[#1&v1:5])-[#1&v1:6])>>([#16&v6](=[#8&v2])(=[#8&v2])(-[#8&v2]-[#1&v1])-[#6&v4:4](-[#6&v4:2](-[#6&v4:1])(-[#7&v3:3])-[#1&v1])(-[#1&v1:5])-[#1&v1:6]),NOEC,1,2,4.295611076923876,MNXR94779_MNXM3414,0,0,both,0.10469674387190456
+RR-02-ac3fbb034cd51e90-02-F,([#16&v6:1](=[#8&v2:2])(=[#8&v2:3])(-[#8&v2:4])-[#6&v4:5](-[#6&v4:6](-[#6&v4:7])(-[#7&v3:8])-[#1&v1:9])(-[#1&v1:10])-[#1&v1:11])>>([#1&+&v0:9].[#6&v4:7]-[#6&v4:6](-[#7&v3:8])=[#6&v4:5](-[#1&v1:10])-[#1&v1:11].[#8&v2](-[#6&v4]1(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#16&v6:1](=[#8&v2:2])(=[#8&v2:3])-[#8&v2:4])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])-[#1&v1]),NOEC,1,2,4.295611076923876,MNXR94779_MNXM713,0,0,both,0.10469674387190456
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),NOEC,1,2,3.068556895072363,MNXR94783_MNXM582,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),NOEC,1,2,2.8750612633917005,MNXR94783_MNXM341,0,0,both,0.14873280218232202
+RR-02-f63533d2ffe3b10d-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]2:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]4(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]5-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-5-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-4(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:2),1.1.1.215,1,2,2.8750612633917005,MNXR94784_MNXM341,1,1,retro,0.14873280218232202
+RR-02-479231fc7e1e4f9f-02-F,([#6&v4:1]-[#8&v2:2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])>>([#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])(-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#1&v1]),2.7.1.13,1,2,3.2140486794119414,MNXR94789_MNXM1218,-1,-1,retro,0.13516621742325569
+RR-02-d4dd36339f1e1062-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3])(-[#6&v4:4])-[#6&v4:5](-[#8&v2:6]-[#1&v1:7])(-[#1&v1:8])-[#1&v1:9])>>([#6&v4:1]-[#6&v4:2](-[#6&v4:3])(-[#6&v4:4])-[#1&v1:7].[#8&v2:6]=[#6&v4:5](-[#1&v1:8])-[#1&v1:9]),2.1.2.11;4.1.2.12,1,2,2.2741578492636805,MNXR94792_MNXM959,1,1,retro,0.18092242314657447
+RR-02-b1093ffda3d52a6e-02-F,([#8&v2:1](-[#6&v4:2])-[#1&v1:3])>>([#8&v2](-[#1&v1:3])-[#1&v1].[#8&v2:1](-[#6&v4:2])-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1]),3.1.3.68,1,2,2.093421685162235,MNXR94794_MNXM2925,-1,-1,retro,0.19351963794088398
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),1.1;1.1.1;1.1.1.27;1.1.1.272;1.1.1.28,1,2,3.068556895072363,MNXR94796_MNXM159,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1;1.1.1;1.1.1.27;1.1.1.272;1.1.1.28,1,2,2.8750612633917005,MNXR94796_MNXM4968,0,0,both,0.14873280218232202
+RR-02-02d12dace37b7fed-02-F,([#8&v2:1](-[#15&v5:2])-[#1&v1:3])>>([#8&v2](-[#1&v1])-[#1&v1:3].[#8&v2:1](-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#15&v5:2]),3.6.1,1,2,0.6989700043360189,MNXR94806_MNXM790,1,1,retro,0.41815468538290146
+RR-02-8faf41c0d270de69-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1])-[#1&v1:3]),3.1.3.77;3.1.3.87,1,2,3.3059958827708047,MNXR94815_MNXM494,1,1,retro,0.13190279921589496
+RR-02-f0f386d804878643-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#16&v2:4]-[#6&v4:5])>>([#16&v2:4](-[#6&v4:5])-[#1&v1].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2]),1.2.1.52;1.2.4.2;1.8.1.4;2.3.1.61,1,2,1.1760912590556811,MNXR94818_MNXM382,-1,-1,retro,0.29928664475564964
+RR-02-62cc105b2ac1e9c0-02-F,([#15&v5:1](=[#8&v2:2])(-[#8&v2:3])(-[#8&v2:4])-[#8&v2:5]-[#6&v4:6])>>([#7&v3](=[#6&v4]1:[#7&v3]:[#6&v4](-[#8&v2]-[#1&v1]):[#6&v4]2:[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3](-[#6&v4]3(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5:1](=[#8&v2:2])(-[#8&v2:3])-[#8&v2:4])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-3(-[#8&v2]-[#1&v1])-[#1&v1]):[#6&v4]:2:[#7&v3]:1-[#1&v1])-[#1&v1].[#8&v2:5](-[#6&v4:6])-[#1&v1]),NOEC,1,2,4.295611076923876,MNXR94829_MNXM2888,1,1,retro,0.10469674387190456
+RR-02-02e89bc594b88eee-02-F,([#6&v4:1]1(-[#1&v1:2])=[#6&v4:3](-[#1&v1:4])-[#6&v4:5](-[#1&v1:6])=[#6&v4:7](-[#6&v4:8](-[#6&v4:9](-[#6&v4:10](-[#6&v4:11])(-[#1&v1:12])-[#1&v1:13])(-[#1&v1:14])-[#1&v1:15])=[#8&v2:16])-[#6&v4:17](-[#6&v4:18])(-[#1&v1:19])-[#6&v4:20]-1)>>([#6&v4:11]-[#6&v4:10](-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1:12])-[#1&v1:13].[#6&v4:1]1(-[#8&v2:16]-[#6&v4:8](=[#6&v4:9](-[#1&v1:14])-[#1&v1:15])-[#6&v4](-[#8&v2]-[#1&v1:19])=[#8&v2])(-[#1&v1:2])-[#6&v4:20]-[#6&v4:17](-[#6&v4:18])=[#6&v4:7](-[#1&v1])-[#6&v4:5](-[#1&v1:6])=[#6&v4:3]-1-[#1&v1:4]),2.2.1.9;4.2.99.20,1,2,2.369215857410143,MNXR94830_MNXM162721,-1,-1,retro,0.17493326817536234
+RR-02-24fd33f20c676110-02-F,([#6&v4:1](-[#6&v4:2])(-[#1&v1:3])(-[#1&v1:4])-[#1&v1:5])>>([#6&v4]1(-[#8&v2]-[#6&v4](=[#6&v4](-[#1&v1])-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](=[#8&v2])-[#8&v2]-[#1&v1])=[#6&v4](-[#1&v1:5])-[#6&v4](-[#1&v1])=[#6&v4]-1-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4:1](-[#6&v4:2])(-[#1&v1:3])-[#1&v1:4])(-[#1&v1])-[#1&v1])-[#1&v1]),2.2.1.9;4.2.99.20,1,2,2.369215857410143,MNXR94830_MNXM23,-1,-1,retro,0.17493326817536234
+RR-02-75c9bbb89a33f621-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#8&v2:4]-[#1&v1:5])>>([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1].[#8&v2:4](-[#1&v1:5])-[#1&v1]),1.2.1.29;1.2.1.3;1.2.1.5,1,2,1.8808135922807916,MNXR94831_MNXM645,1,1,retro,0.21078417217878098
+RR-02-fcc8935f8e5c652c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#1&v1:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:6].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:5])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1.1,1,2,2.133538908370217,MNXR94833_MNXM2931,1,1,retro,0.19057431907203484
+RR-02-07e04c0ce02f2452-02-F,([#8&v2:1]=[#6&v4:2](-[#6&v4:3](-[#6&v4:4])=[#6&v4:5](-[#6&v4:6](=[#6&v4:7](-[#6&v4:8](-[#8&v2:9])=[#8&v2:10])-[#8&v2:11])-[#1&v1:12])-[#1&v1:13])-[#1&v1:14])>>([#8&v2:9]-[#6&v4:8]1:[#6&v4:7](-[#8&v2:11]):[#6&v4:6](-[#1&v1:12]):[#6&v4:5](-[#1&v1:13]):[#6&v4:3](-[#6&v4:4]):[#6&v4:2]:1-[#1&v1:14].[#8&v2:1]=[#8&v2:10]),1.13.11.15,1,2,0.3010299956639812,MNXR94835_MNXM1628,-1,-1,retro,0.6252856799411323
+RR-02-75c9bbb89a33f621-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#8&v2:4]-[#1&v1:5])>>([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1].[#8&v2:4](-[#1&v1:5])-[#1&v1]),1.2.1.5,1,2,1.8808135922807916,MNXR94839_MNXM645,1,1,retro,0.21078417217878098
+RR-02-3e90117b0d247e8d-02-F,([#6&v4:1](-[#8&v2:2]-[#1&v1:3])(-[#6&v4:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:3].[#6&v4:1](=[#8&v2:2])(-[#6&v4:4])-[#6&v4:5].[#7&v3](=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4]1=[#6&v4](-[#1&v1])-[#7&v3](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]4:[#6&v4]5:[#6&v4](:[#7&v3]:[#6&v4]:4-[#1&v1]):[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:5)(-[#1&v1])-[#8&v2]-3)(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])=[#6&v4](-[#1&v1])-[#6&v4]-1(-[#1&v1])-[#1&v1:6])-[#1&v1]),1.1.1.222;1.1.1.237,1,2,1.740362689494244,MNXR94842_MNXM114141,-1,-1,retro,0.22398475244054536
+RR-02-d1481b6c6a9f6113-02-F,([#8&v2:1](-[#6&v4:2]1:[#6&v4:3](-[#1&v1:4]):[#6&v4:5]:[#6&v4:6](-[#8&v2:7]-[#1&v1:8]):[#6&v4:9](-[#6&v4:10]-[#6&v4:11](=[#8&v2:12])-[#8&v2:13]-[#1&v1:14]):[#6&v4:15]:1)-[#1&v1:16])>>([#8&v2:1](-[#6&v4:3]1:[#6&v4:2](-[#1&v1:14]):[#6&v4:15]:[#6&v4:9](-[#6&v4:10]-[#6&v4:11](=[#8&v2:12])-[#6&v4](-[#8&v2]-[#1&v1:4])=[#8&v2]):[#6&v4:6](-[#1&v1:8]):[#6&v4:5]:1)-[#1&v1:16].[#8&v2:7]=[#8&v2:13]),1.13.11.27,1,2,1.230448921378274,MNXR94843_MNXM345,-1,-1,retro,0.28989794855663564
+RR-02-596aecb0c0a58be1-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#6&v4:4])(-[#7&v3](-[#1&v1])-[#1&v1])-[#1&v1].[#8&v2:3]=[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1]),2.6.1.40,1,2,0.6989700043360189,MNXR94851_MNXM20,0,0,both,0.41815468538290146
+RR-02-ee55943b06a73682-02-F,([#6&v4:1]-[#6&v4:2](-[#7&v3:3](-[#1&v1:4])-[#1&v1:5])(-[#1&v1:6])-[#1&v1:7])>>([#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#7&v3:3](-[#1&v1:4])-[#1&v1:5])-[#1&v1:7])-[#1&v1].[#8&v2]=[#6&v4:2](-[#6&v4:1])-[#1&v1:6]),2.6.1.40,1,2,1.0413926851582251,MNXR94851_MNXM786,0,0,both,0.32540112722720427
+RR-02-9302cd2c12af07f6-02-F,([#8&v2:1]=[#6&v4:2](-[#6&v4:3])-[#1&v1:4])>>([#6&v4:3]-[#6&v4:2](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:4])-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](=[#8&v2:1])-[#6&v4](-[#6&v4](-[#6&v4](=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1]),2.6.1.40,1,2,1.0413926851582251,MNXR94851_MNXM305,0,0,both,0.32540112722720427
+RR-02-cb87072f2b4d808b-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3])(-[#7&v3:4](-[#1&v1:5])-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1]-[#6&v4:2](=[#8&v2])-[#6&v4:3].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#7&v3:4](-[#1&v1:5])-[#1&v1:6])(-[#1&v1])-[#1&v1:7])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1]),2.6.1.40,1,2,0.6989700043360189,MNXR94851_MNXM89557,0,0,both,0.41815468538290146
+RR-02-95bf19d9e7a1be1d-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3](=[#8&v2:4])-[#1&v1:5])(-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1]-[#6&v4:2](=[#6&v4:3](-[#7&v3](-[#1&v1])-[#1&v1])-[#1&v1:5])-[#1&v1:7].[#8&v2:4](-[#1&v1:6])-[#1&v1]),3.5.1.-,1,2,0.0,MNXR94854_MNXM244,-1,-1,retro,1.0
+RR-02-336a300dd2a49b5a-02-F,([#6&v4:1]-[#8&v2:2]-[#6&v4:3](-[#1&v1:4])(-[#1&v1:5])-[#1&v1:6])>>([#6&v4:1]-[#8&v2:2]-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#6&v4](-[#6&v4](-[#16&+&v3](-[#6&v4:3](-[#1&v1:4])(-[#1&v1:5])-[#1&v1:6])-[#6&v4](-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1]),2.1.1.114,1,2,1.4913616938342726,MNXR94862_MNXM3166,1,1,retro,0.2519592200006383
+RR-02-f63533d2ffe3b10d-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]2:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]4(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]5-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-5-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-4(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:2),1.1.1.102,1,2,2.8750612633917005,MNXR94866_MNXM302,1,1,retro,0.14873280218232202
+RR-02-6459dcac2f891b10-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3](=[#6&v4:4](-[#6&v4:5](=[#6&v4:6](-[#6&v4:7](-[#8&v2:8])=[#8&v2:9])-[#7&v3:10])-[#6&v4:11])-[#1&v1:12])-[#1&v1:13])-[#1&v1:14])>>([#6&v4:1]1(-[#1&v1:14]):[#6&v4:7](-[#8&v2:8]):[#6&v4:6](-[#7&v3:10]):[#6&v4:5](-[#6&v4:11]):[#6&v4:4](-[#1&v1:12]):[#6&v4:3]:1-[#1&v1:13].[#8&v2:9]=[#8&v2:2]),1.13.11.6,1,2,1.3222192947339193,MNXR94889_MNXM1372,-1,-1,retro,0.27531677913390795
+RR-02-f875bb9a9abcf524-02-F,([#6&v4:1]:[#6&v4:2](-[#8&v2:3]-[#1&v1:4]):[#6&v4:5])>>([#6&v4:1]:[#6&v4:2](-[#1&v1]):[#6&v4:5].[#7&v3](=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4]1=[#6&v4](-[#1&v1])-[#7&v3](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]4:[#6&v4]5:[#6&v4](:[#7&v3]:[#6&v4]:4-[#1&v1]):[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:5)(-[#1&v1])-[#8&v2]-3)(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])=[#6&v4](-[#1&v1])-[#6&v4]-1(-[#1&v1])-[#1&v1:4])-[#1&v1].[#8&v2:3]=[#8&v2]),1.14.13.127,1,2,2.0293837776852097,MNXR94893_MNXM1130,-1,-1,retro,0.19841458273896181
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),1.1.1.259;1.1.1.35,1,2,3.068556895072363,MNXR94897_MNXM2941,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1.259;1.1.1.35,1,2,2.8750612633917005,MNXR94897_MNXM2188,0,0,both,0.14873280218232202
+RR-02-7a8770f5506c2472-02-F,([#6&v4:1]:[#6&v4:2](-[#8&v2:3]-[#1&v1:4]):[#6&v4:5])>>([#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:4])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1.[#6&v4:1]:[#6&v4:2](-[#1&v1]):[#6&v4:5].[#8&v2:3]=[#8&v2]),1.14.13.3;1.14.14.9,1,2,2.0293837776852097,MNXR94899_MNXM645,1,1,retro,0.19841458273896181
+RR-02-2cff63453b0171e5-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#8&v2:4]-[#1&v1:5])>>([#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])(-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#6&v4:1](=[#8&v2:2])-[#6&v4:3])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1].[#8&v2:4](-[#1&v1:5])-[#1&v1]),3.1.2.4,1,2,1.2041199826559248,MNXR94900_MNXM872,1,1,retro,0.29437080821017125
+RR-02-480a129ecfd5b0b4-02-F,([#6&v4:1]:[#6&v4:2](-[#1&v1:3]):[#6&v4:4])>>([#6&v4:1]:[#6&v4:2](-[#6&v4](-[#8&v2]-[#1&v1:3])=[#8&v2]):[#6&v4:4]),4.1.1,1,2,1.3222192947339193,MNXR94901_MNXM4291,-1,-1,retro,0.27531677913390795
+RR-02-73267b1e71486aff-02-F,([#6&v4:1](-[#6&v4:2])(=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1](-[#6&v4:2])(-[#8&v2:3]-[#1&v1])(-[#1&v1])-[#1&v1:4]),1.1.1.59,1,2,1.0,MNXR94902_MNXM244,-1,-1,retro,0.33436669294558924
+RR-02-7a8770f5506c2472-02-F,([#6&v4:1]:[#6&v4:2](-[#8&v2:3]-[#1&v1:4]):[#6&v4:5])>>([#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:4])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1.[#6&v4:1]:[#6&v4:2](-[#1&v1]):[#6&v4:5].[#8&v2:3]=[#8&v2]),1.14.13.127,1,2,2.0293837776852097,MNXR94903_MNXM826,1,1,retro,0.19841458273896181
+RR-02-cd88ee6638db68ec-02-F,([#6&v4:1]-[#6&v4:2](-[#7&v3:3])(-[#1&v1:4])-[#1&v1:5])>>([#6&v4:1]-[#6&v4:2](-[#7&v3:3])(-[#6&v4](-[#8&v2]-[#1&v1:5])=[#8&v2])-[#1&v1:4]),4.1.1.-,1,2,1.7558748556724917,MNXR94906_MNXM36534,-1,-1,retro,0.22244614501928342
+RR-02-e60720acb585a9c4-02-F,([#8&v2:1](-[#8&v2:2]-[#1&v1:3])-[#1&v1:4])>>([#8&v2](-[#6&v4]1:[#6&v4](-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1:4])=[#8&v2]):[#6&v4]:1-[#7&v3](-[#1&v1])-[#1&v1:3])-[#1&v1].[#8&v2:1]=[#8&v2:2]),1.4.3.4,1,2,1.869231719730976,MNXR94907_MNXM22,-1,-1,retro,0.2118135684487
+RR-02-3396aba0f8fc3626-02-F,([#6&v4:1]:[#6&v4:2]1:[#7&v3:3]:[#6&v4:4](-[#1&v1:5]):[#6&v4:6](-[#1&v1:7]):[#6&v4:8](-[#8&v2:9]-[#1&v1:10]):[#6&v4:11]:1:[#6&v4:12])>>([#6&v4:1]:[#6&v4:2](-[#7&v3:3](-[#1&v1:10])-[#1&v1]):[#6&v4:11](-[#6&v4:8](-[#6&v4:6](-[#6&v4:4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:5])-[#1&v1])(-[#1&v1:7])-[#1&v1])=[#8&v2:9]):[#6&v4:12]),1.4.3.4,1,2,1.869231719730976,MNXR94907_MNXM9073,-1,-1,retro,0.2118135684487
+RR-02-479231fc7e1e4f9f-02-F,([#6&v4:1]-[#8&v2:2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])>>([#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])(-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#1&v1]),2.7.1.53,1,2,3.2140486794119414,MNXR94909_MNXM1170,-1,-1,retro,0.13516621742325569
+RR-02-68a607c37418ed18-02-F,([#6&v4:1]-[#16&v2:2]-[#1&v1:3].[#6&v4:4]-[#16&v2:5]-[#6&v4:6](=[#8&v2:7])-[#6&v4:8])>>([#6&v4:6](=[#8&v2:7])(-[#6&v4:8])-[#6&v4](-[#8&v2]-[#1&v1:3])=[#8&v2].[#6&v4:1]-[#16&v2:2]-[#16&v2:5]-[#6&v4:4]),1.2.4.4,1,2,1.8061799739838869,MNXR94910_MNXM7749,-1,-1,retro,0.21759878190509843
+RR-02-a6336c0751f69fd7-02-F,([#16&v2:1](-[#6&v4:2])-[#1&v1:3].[#6&v4:4]-[#16&v2:5]-[#6&v4:6](=[#8&v2:7])-[#6&v4:8])>>([#16&v2:1](-[#16&v2:5]-[#6&v4:4])-[#6&v4:2].[#6&v4:6](=[#8&v2:7])(-[#6&v4:8])-[#6&v4](-[#8&v2]-[#1&v1:3])=[#8&v2]),1.2.4.4,1,2,1.8061799739838869,MNXR94911_MNXM9096,-1,-1,retro,0.21759878190509843
+RR-02-377afb0fef578d15-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#1&v1:4])-[#1&v1]),1.1.1.21;1.1.1.90,1,2,2.4517864355242898,MNXR94914_MNXM4040,-1,-1,retro,0.17004370207003422
+RR-02-34ff923f816c8766-02-F,([#8&v2:1](-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])-[#1&v1:5])>>([#6&v4:2](=[#8&v2:3])(-[#6&v4:4])-[#1&v1].[#8&v2:1](-[#1&v1:5])-[#1&v1]),1.2.1.28;1.2.1.3;1.2.1.7,1,2,2.3201462861110542,MNXR94915_MNXM4661,-1,-1,retro,0.17797453536564026
+RR-02-3fd9b5b0c6bd3482-02-F,([#6&v4:1](-[#6&v4:2](=[#6&v4:3](-[#6&v4:4](=[#6&v4:5](-[#8&v2:6])-[#6&v4:7](-[#8&v2:8])=[#8&v2:9])-[#1&v1:10])-[#1&v1:11])-[#1&v1:12])(-[#6&v4:13])=[#8&v2:14])>>([#6&v4:1]1(-[#6&v4:13]):[#6&v4:7](-[#8&v2:8]):[#6&v4:5](-[#8&v2:6]):[#6&v4:4](-[#1&v1:10]):[#6&v4:3](-[#1&v1:11]):[#6&v4:2]:1-[#1&v1:12].[#8&v2:9]=[#8&v2:14]),1.13.11.-;1.13.11.2;1.13.11.39,1,2,0.0,MNXR94919_MNXM3948,1,1,retro,1.0
+RR-02-c3681aa8011dc014-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:4])>>([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1])(-[#6&v4:4])-[#1&v1]),1.1.1,1,2,3.068556895072363,MNXR94921_MNXM2068,0,0,both,0.14067341551302287
+RR-02-1364a3f2a297c78c-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#1&v1]):[#7&v3]:[#6&v4]2:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:[#7&v3]:1-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]3-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-3-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-1),1.1.1,1,2,2.8750612633917005,MNXR94921_MNXM2512,0,0,both,0.14873280218232202
+RR-02-803f02b70f45741d-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#1&v1:4])>>([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#6&v4](-[#8&v2]-[#1&v1:4])=[#8&v2]),4.1.1.72,1,2,0.6989700043360189,MNXR94922_MNXM5189,-1,-1,retro,0.41815468538290146
+RR-02-803f02b70f45741d-02-F,([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#1&v1:4])>>([#6&v4:1](=[#8&v2:2])(-[#6&v4:3])-[#6&v4](-[#8&v2]-[#1&v1:4])=[#8&v2]),4.1.1.72,1,2,0.6989700043360189,MNXR94925_MNXM2604,-1,-1,retro,0.41815468538290146
+RR-02-3585e248271fb61c-02-F,([#8&v2:1](-[#8&v2:2]-[#1&v1:3])-[#1&v1:4])>>([#6&v4](-[#8&v2]-[#6&v4]1:[#6&v4](-[#8&v2]-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#6&v4](-[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1:3])(-[#1&v1])-[#1&v1]):[#6&v4]:1-[#1&v1])(-[#1&v1])(-[#1&v1])-[#1&v1].[#8&v2](-[#1&v1:4])-[#1&v1].[#8&v2:1]=[#8&v2:2]),1.4.3.4,1,2,1.8061799739838869,MNXR94931_MNXM22,-1,-1,retro,0.21759878190509843
+RR-02-585ce5656b8f31a2-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1]-[#6&v4:2](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:4])-[#1&v1].[#8&v2:3](-[#1&v1])-[#1&v1]),1.4.3.4,1,2,1.8061799739838869,MNXR94931_MNXM4183,-1,-1,retro,0.21759878190509843
+RR-02-a7836cb07a9fb282-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1:3])-[#1&v1]),3.1.3.6,1,2,3.3059958827708047,MNXR94932_MNXM288,-1,-1,retro,0.13190279921589496
+RR-02-c279b93647bbe181-02-F,([#6&v4:1]-[#8&v2:2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])>>([#6&v4:1]-[#8&v2:2]-[#1&v1].[#8&v2](-[#6&v4]1:[#7&v3]:[#6&v4](=[#8&v2]):[#7&v3](-[#6&v4]2(-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])(-[#1&v1])-[#6&v4]-2(-[#8&v2]-[#1&v1])-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4]:1-[#1&v1])-[#1&v1]),NOEC,1,2,3.3047058982127653,MNXR94933_MNXM1170,0,0,both,0.13194749347100665
+RR-02-a7836cb07a9fb282-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1:3])-[#1&v1]),NOEC,1,2,3.3059958827708047,MNXR94933_MNXM288,0,0,both,0.13190279921589496
+RR-02-edfb6d53c4ae6843-02-F,([#6&v4:1]-[#8&v2:2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])>>([#6&v4:1]-[#8&v2:2]-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#8&v2]-[#1&v1])(-[#6&v4](=[#8&v2])-[#6&v4](-[#8&v2]-[#1&v1])(-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5:3](=[#8&v2:4])(-[#8&v2:5])-[#8&v2:6])(-[#1&v1])-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1])-[#1&v1]),NOEC,1,2,3.3047058982127653,MNXR94933_MNXM2184,0,0,both,0.13194749347100665
+RR-02-178dd86b0979d514-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1:3])(-[#6&v4]1(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#8&v2]-1)(-[#1&v1])-[#1&v1].[#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1]),NOEC,1,2,3.3047058982127653,MNXR94933_MNXM736,0,0,both,0.13194749347100665
+RR-02-8faf41c0d270de69-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1])-[#1&v1:3]),3.1.3.6,1,2,3.3059958827708047,MNXR94934_MNXM338,1,1,retro,0.13190279921589496
+RR-02-8faf41c0d270de69-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1])-[#1&v1:3]),3.1.3.6,1,2,3.3059958827708047,MNXR94935_MNXM212,1,1,retro,0.13190279921589496
+RR-02-8faf41c0d270de69-02-F,([#6&v4:1]-[#8&v2:2]-[#1&v1:3])>>([#6&v4:1]-[#8&v2:2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1].[#8&v2](-[#1&v1])-[#1&v1:3]),3.1.3.6,1,2,3.3059958827708047,MNXR94936_MNXM401,1,1,retro,0.13190279921589496
+RR-02-661072f99fdfbbaf-02-F,([#8&v2:1](-[#8&v2:2]-[#1&v1:3])-[#1&v1:4])>>([#8&-&v1]-[#7&+&v4](-[#6&v4]1:[#6&v4](-[#8&v2]-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#1&v1]):[#6&v4](-[#6&v4](-[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1:3])(-[#1&v1])-[#1&v1]):[#6&v4]:1-[#1&v1])=[#8&v2].[#8&v2](-[#1&v1:4])-[#1&v1].[#8&v2:1]=[#8&v2:2]),NOEC,1,2,1.8061799739838869,MNXR94937_MNXM22,0,0,both,0.21759878190509843
+RR-02-585ce5656b8f31a2-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#1&v1:4])>>([#6&v4:1]-[#6&v4:2](-[#7&v3](-[#1&v1])-[#1&v1])(-[#1&v1:4])-[#1&v1].[#8&v2:3](-[#1&v1])-[#1&v1]),NOEC,1,2,1.8061799739838869,MNXR94937_MNXM97102,0,0,both,0.21759878190509843
+RR-02-0ccafd5c7a47401c-02-F,([#6&v4:1]-[#6&v4:2](-[#7&v3:3](-[#1&v1:4])-[#1&v1:5])(-[#1&v1:6])-[#1&v1:7])>>([#6&v4:1]-[#6&v4:2](=[#8&v2])-[#1&v1:6].[#7&v3:3](-[#1&v1:4])(-[#1&v1:5])-[#1&v1].[#8&v2](-[#8&v2]-[#1&v1:7])-[#1&v1]),NOEC,1,2,1.8061799739838869,MNXR94937_MNXM97190,0,0,both,0.21759878190509843
+RR-02-f63533d2ffe3b10d-02-F,([#6&v4:1]-[#6&v4:2](-[#8&v2:3]-[#1&v1:4])(-[#6&v4:5])-[#1&v1:6])>>([#1&+&v0:4].[#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#6&v4:5].[#6&v4]1(-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]2:[#7&v3](-[#6&v4]3(-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4](-[#6&v4](-[#8&v2]-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]4(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]5-[#6&v4](-[#1&v1])=[#6&v4](-[#6&v4](=[#7&v3]-[#1&v1])-[#8&v2]-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1:6])-[#6&v4](-[#1&v1])=[#6&v4]-5-[#1&v1])(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-4(-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#8&v2]-3):[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:1:2),1.1.1.330,1,2,2.8750612633917005,MNXR94938_MNXM31746,1,1,retro,0.14873280218232202
+RR-02-a54299715cd27306-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3](=[#8&v2:4])-[#6&v4:5])(-[#1&v1:6])-[#1&v1:7])>>([#6&v4:3](=[#8&v2:4])(-[#6&v4:5])-[#16&v2]-[#6&v4](-[#6&v4](-[#7&v3]=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4](-[#6&v4](-[#7&v3]=[#6&v4](-[#8&v2]-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#6&v4](-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1].[#6&v4:1]-[#6&v4:2](-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])(-[#1&v1:6])-[#1&v1:7]),2.3.1.199,1,2,1.7781512503836436,MNXR94939_MNXM513,-1,-1,retro,0.22027322602663954
+RR-02-391198512a8fc0d4-02-F,([#6&v4:1]-[#6&v4:2](-[#6&v4:3](-[#6&v4:4](=[#8&v2:5])-[#6&v4:6])(-[#1&v1:7])-[#1&v1:8])(-[#1&v1:9])-[#1&v1:10])>>([#6&v4:3](-[#6&v4:4](-[#6&v4:6])(-[#1&v1:7])-[#1&v1:8])(=[#8&v2:5])-[#8&v2]-[#1&v1].[#6&v4:1]-[#6&v4:2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1:9])-[#1&v1:10]),2.8.3.6,1,2,0.6989700043360189,MNXR94940_MNXM1264,-1,-1,retro,0.41815468538290146
+RR-02-ce4ed7d524419ece-02-F,([#6&v4:1](=[#8&v2:2])(-[#8&v2:3]-[#1&v1:4])-[#6&v4:5])>>([#8&v2](-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#8&v2])-[#8&v2:3]-[#1&v1:4])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4:1](=[#8&v2:2])-[#6&v4:5])(-[#1&v1])-[#1&v1])-[#1&v1]),2.8.3.6,1,2,0.6989700043360189,MNXR94940_MNXM25,-1,-1,retro,0.41815468538290146
+RR-02-6d2fe140bdd4bb66-02-F,([#6&v4:1]:[#6&v4:2](-[#8&v2:3]-[#1&v1:4]):[#6&v4:5])>>([#6&v4:1]:[#6&v4:2](-[#1&v1:4]):[#6&v4:5].[#8&v2:3]=[#8&v2]),NOEC,1,2,2.24551266781415,MNXR94965_MNXM2783,0,0,both,0.18280846932054326
+RR-02-0e609023fbda6ee1-02-F,([#6&v4:1]:[#6&v4:2](-[#1&v1:3]):[#6&v4:4])>>([#6&v4:1]:[#6&v4:2](-[#8&v2]-[#1&v1:3]):[#6&v4:4]),NOEC,1,2,2.24551266781415,MNXR94965_MNXM3167,0,0,both,0.18280846932054326
+RR-02-358afa1261aac3de-02-F,([#6&v4:1](-[#6&v4:2])(-[#1&v1:3])(-[#1&v1:4])-[#1&v1:5])>>([#8&v2](-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#1&v1:5])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1].[#8&v2](-[#6&v4](=[#8&v2])-[#6&v4](-[#6&v4](-[#6&v4](=[#8&v2])-[#6&v4:1](-[#6&v4:2])(-[#1&v1:3])-[#1&v1:4])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#1&v1]),2.3.1.16;2.3.1.174,1,2,0.6020599913279624,MNXR94967_MNXM21,1,1,retro,0.45484772422706443
+RR-02-1794eeb97a0ab9c0-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#16&v2:4]-[#6&v4:5])>>([#6&v4:5]-[#16&v2:4]-[#1&v1].[#8&v2](-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#6&v4](-[#6&v4](-[#6&v4:2](-[#6&v4:1])=[#8&v2:3])(-[#1&v1])-[#1&v1])=[#8&v2])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1]),2.3.1.16;2.3.1.174,1,2,0.0,MNXR94967_MNXM92,1,1,retro,1.0
+RR-02-0c2385ca3117a379-02-F,([#6&v4:1]-[#6&v4:2](=[#8&v2:3])-[#8&v2:4]-[#1&v1:5])>>([#8&v2:4](-[#1&v1])-[#1&v1:5].[#8&v2](-[#6&v4](-[#6&v4]1(-[#1&v1])-[#8&v2]-[#6&v4](-[#7&v3]2:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]3:[#6&v4](-[#7&v3](-[#1&v1])-[#1&v1]):[#7&v3]:[#6&v4](-[#1&v1]):[#7&v3]:[#6&v4]:2:3)(-[#1&v1])-[#6&v4](-[#8&v2]-[#1&v1])(-[#1&v1])-[#6&v4]-1(-[#8&v2]-[#15&v5](=[#8&v2])(-[#8&v2]-[#1&v1])-[#8&v2]-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#15&v5](-[#8&v2]-[#15&v5](-[#8&v2]-[#6&v4](-[#6&v4](-[#6&v4](-[#6&v4](=[#7&v3]-[#6&v4](-[#6&v4](-[#6&v4](-[#8&v2]-[#1&v1])=[#7&v3]-[#6&v4](-[#6&v4](-[#16&v2]-[#6&v4:2](-[#6&v4:1])=[#8&v2:3])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])-[#8&v2]-[#1&v1])(-[#8&v2]-[#1&v1])-[#1&v1])(-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])-[#6&v4](-[#1&v1])(-[#1&v1])-[#1&v1])(-[#1&v1])-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1])(=[#8&v2])-[#8&v2]-[#1&v1]),3.1.2;3.1.2.20;3.1.2.23,1,2,0.4771212547196624,MNXR94976_MNXM1639,-1,-1,retro,0.5128681484037748
+RR-02-18c81873156024c3-02-F,([#6&v4:1]-[#16&v4:2](=[#8&v2:3])-[#8&v2:4])>>([#6&v4:1]-[#16&v6:2](=[#8&v2:3])(-[#8&v2:4])=[#8&v2]),NOEC,1,2,4.295611076923876,MNXR94979_MNXM498,0,0,both,0.10469674387190456