Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/walrus/tst/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 21.1.2022 mit Größe 574 kB image not shown  

Quelle  F20.out   Sprache: unbekannt

 
F20 := FreeGroup(20);
pg20 := PregroupOfFreeGroup(20);
rgreens20:= [
    [ F20.20 * F20.19^-1 * F20.13, F20.3^-1 * F20.18 * F20.4, F20.16 * F20.11^-1
    * F20.20^-1, F20.20 * F20.4^-1 * F20.9, F20.11^-1 * F20.17 * F20.2^-1 ],
    [ F20.19^-1 * F20.13^2, F20.10 * F20.9^-1 * F20.1^-1, F20.3 * F20.7^-1 * 
    F20.13, F20.2^-1 * F20.10^-1 * F20.7^-1, F20.17 * F20.10^-1 * F20.11^-1 ],
    [ F20.11 * F20.9 * F20.6, F20.12^-1 * F20.10 * F20.18^-1, F20.12^-1 * 
    F20.8^-1 * F20.11, F20.1^-1 * F20.18 * F20.15^-1, F20.20 * F20.4^2 ],
    [ F20.4^-1 * F20.5 * F20.15^-1, F20.20 * F20.2 * F20.6^-1, F20.17^-1 * F20.7
    * F20.12^-1, F20.2^-1 * F20.5^-1 * F20.1, F20.7 * F20.8 * F20.11^-1 ],
    [ F20.4 * F20.15 * F20.7, F20.8 * F20.13 * F20.19^-1, F20.20^-1 * F20.3 * 
    F20.9^-1, F20.2^-1 * F20.15 * F20.16^-1, F20.3 * F20.1^-1 * F20.19 ],
    [ F20.4^-1 * F20.17 * F20.4^-1, F20.17^-2 * F20.7, F20.17 * F20.14^2, 
    F20.9^-1 * F20.6 * F20.20, F20.8^-1 * F20.2 * F20.7 ],
    [ F20.11 * F20.13 * F20.15, F20.15 * F20.19^-1 * F20.2^-1, F20.11 * F20.5 * 
    F20.3, F20.18^-1 * F20.15^-1 * F20.12, F20.6^-1 * F20.17 * F20.6^-1 ],
    [ F20.15^-1 * F20.13^-1 * F20.6^-1, F20.11^2 * F20.9^-1, F20.11^-1 * 
    F20.9^-1 * F20.10^-1, F20.6^-1 * F20.19 * F20.8, F20.16 * F20.9^-1 * 
    F20.5^-1 ],
    [ F20.4^-1 * F20.17^-1 * F20.14, F20.11 * F20.19 * F20.11, F20.8 * F20.17^-1
    * F20.11, F20.8 * F20.19^-1 * F20.7, F20.4 * F20.6^-1 * F20.5 ],
    [ F20.5 * F20.3 * F20.8, F20.2 * F20.9 * F20.20, F20.3 * F20.7 * F20.2, 
    F20.17 * F20.13^-1 * F20.4^-1, F20.6^-1 * F20.14^-1 * F20.7 ],
    [ F20.19^-1 * F20.17^-1 * F20.14, F20.17^2 * F20.12, F20.20^-1 * F20.16^-1 *
    F20.12, F20.14 * F20.16 * F20.15, F20.4 * F20.12^-1 * F20.8 ],
    [ F20.20 * F20.6^-1 * F20.19^-1, F20.3^-1 * F20.2 * F20.9^-1, F20.3^-2 * 
    F20.10^-1, F20.19^-1 * F20.4 * F20.8^-1, F20.17 * F20.6 * F20.13^-1 ],
    [ F20.11^-1 * F20.9^-1 * F20.14^-1, F20.19 * F20.5^-1 * F20.16^-1, F20.13 * 
    F20.18^-1 * F20.14^-1, F20.8 * F20.15 * F20.3, F20.8^-1 * F20.7 * F20.20 ],
    [ F20.9 * F20.20^-1 * F20.16^-1, F20.9 * F20.4^-1 * F20.18, F20.16 * 
    F20.6^-1 * F20.19^-1, F20.8 * F20.1^-1 * F20.19^-1, F20.16 * F20.14^-1 * 
    F20.5 ],
    [ F20.2^-1 * F20.13^-1 * F20.18^-1, F20.16^-1 * F20.1 * F20.8, F20.4 * 
    F20.9^-1 * F20.6^-1, F20.8^-1 * F20.10^2, F20.18 * F20.9^-1 * F20.8^-1 ],
    [ F20.3^-1 * F20.2 * F20.20, F20.17 * F20.2^-1 * F20.12, F20.14^-1 * F20.8 *
    F20.7^-1, F20.12^-1 * F20.15 * F20.16, F20.5 * F20.13^2 ],
    [ F20.19^-1 * F20.9^-1 * F20.16, F20.9 * F20.6^-1 * F20.3^-1, F20.7^-1 * 
    F20.17^-1 * F20.13^-1, F20.11 * F20.4^-1 * F20.16^-1, F20.18^-1 * F20.1^-1 *
    F20.20 ],
    [ F20.3^-1 * F20.2^-1 * F20.20, F20.19 * F20.12^-1 * F20.1^-1, F20.4^-1 * 
    F20.1^-1 * F20.6^-1, F20.9 * F20.6^-1 * F20.9, F20.13^-1 * F20.9 * F20.1^-1 
    ],
    [ F20.16 * F20.13^-1 * F20.7, F20.4 * F20.10^-1 * F20.14^-1, F20.20^-1 * 
    F20.14^-1 * F20.7^-1, F20.3^-1 * F20.14 * F20.15, F20.8^-1 * F20.4 * 
    F20.20^-1 ],
    [ F20.8 * F20.2^-1 * F20.14, F20.12^-1 * F20.7 * F20.11, F20.15^-1 * 
    F20.5^-1 * F20.3^-1, F20.5 * F20.15^-1 * F20.14, F20.6 * F20.8^-1 * F20.9^-1
    ],
    [ F20.15 * F20.17 * F20.2 * F20.10^-1, F20.18^-1 * F20.20^-3, F20.11^-1 * 
    F20.13^-1 * F20.4 * F20.19, F20.16 * F20.9^-1 * F20.18 * F20.17, F20.15 * 
    F20.4^-1 * F20.11^-1 * F20.9, F20.14^-1 * F20.8^-1 * F20.16^-1 * F20.12 ],
    [ F20.9^-1 * F20.18 * F20.17^-1 * F20.18, F20.17 * F20.16 * F20.4^-1 * 
    F20.15, F20.13^-1 * F20.3 * F20.10^-1 * F20.19, F20.16^-1 * F20.14^-1 * 
    F20.12^-1 * F20.18, F20.5^-1 * F20.14^-1 * F20.5 * F20.19^-1, F20.15^-1 * 
    F20.8 * F20.18^-1 * F20.17^-1 ],
    [ F20.12 * F20.3^-1 * F20.9^-1 * F20.18, F20.16^-1 * F20.1 * F20.18^-1 * 
    F20.17^-1, F20.12 * F20.17 * F20.7 * F20.13^-1, F20.10^-1 * F20.16 * 
    F20.11^-1 * F20.18, F20.2^-1 * F20.4^2 * F20.9^-1, F20.17 * F20.9^-1 * 
    F20.2^-1 * F20.7^-1 ],
    [ F20.13 * F20.6 * F20.9^-1 * F20.20^-1, F20.3 * F20.1 * F20.20 * F20.6, 
    F20.10 * F20.12^-1 * F20.3^-2, F20.5^-1 * F20.15 * F20.11^-1 * F20.2^-1, 
    F20.15^-1 * F20.17 * F20.19 * F20.8^-1, F20.17 * F20.12^-1 * F20.5 * F20.13 
    ],
    [ F20.16^-1 * F20.12 * F20.14^-1 * F20.3^-1, F20.8 * F20.3 * F20.8^-1 * 
    F20.14, F20.11 * F20.16 * F20.1 * F20.3, F20.15 * F20.2 * F20.6 * F20.7^-1, 
    F20.1 * F20.12 * F20.9^-1 * F20.12, F20.7 * F20.3 * F20.9^-1 * F20.8^-1 ],
    [ F20.10 * F20.1 * F20.10 * F20.5^-1, F20.10 * F20.13^-1 * F20.15^-1 * 
    F20.12^-1, F20.16 * F20.5 * F20.12 * F20.10, F20.9^-1 * F20.3^-1 * F20.20 * 
    F20.10^-1, F20.7 * F20.12 * F20.8 * F20.9, F20.9 * F20.12^-1 * F20.5 * 
    F20.12^-1 ],
    [ F20.12 * F20.17 * F20.14 * F20.16, F20.2 * F20.16 * F20.17 * F20.19, 
    F20.17 * F20.2 * F20.9 * F20.5, F20.3 * F20.1 * F20.12^-1 * F20.19^-1, 
    F20.12^-1 * F20.11^-1 * F20.6^-1 * F20.19, F20.15 * F20.4 * F20.11^-1 * 
    F20.20^-1 ],
    [ F20.20^2 * F20.18 * F20.8^-1, F20.2 * F20.12 * F20.13 * F20.4, F20.2^-1 * 
    F20.17 * F20.7 * F20.11, F20.1^-1 * F20.4 * F20.3 * F20.19, F20.8^-1 * 
    F20.11^-1 * F20.1 * F20.9, F20.9 * F20.10 * F20.9^-1 * F20.15^-1 ],
    [ F20.16 * F20.2 * F20.11^-1 * F20.15^-1, F20.9^-1 * F20.5^-1 * F20.18 * 
    F20.14^-1, F20.9^-1 * F20.16 * F20.2^2, F20.6^-1 * F20.11 * F20.15 * 
    F20.7^-1, F20.15^-1 * F20.12 * F20.14 * F20.1, F20.13^-1 * F20.7 * F20.18 * 
    F20.5^-1 ],
    [ F20.5 * F20.2 * F20.7^-2, F20.20 * F20.4^-1 * F20.15^-1 * F20.17^-1, 
    F20.12^-1 * F20.19^-2 * F20.17, F20.14^-1 * F20.16^-1 * F20.10^-1 * 
    F20.12^-1, F20.19^-2 * F20.7 * F20.17^-1, F20.3 * F20.16^-1 * F20.12 * F20.8
    ],
    [ F20.10 * F20.15^-1 * F20.8 * F20.15^-1, F20.15 * F20.17^-1 * F20.3^-1 * 
    F20.5^-1, F20.16^-1 * F20.5^-1 * F20.6 * F20.15, F20.19 * F20.7^-1 * 
    F20.17^-1 * F20.7, F20.7^-1 * F20.15^-1 * F20.16 * F20.1, F20.1^-2 * F20.18 
    * F20.13^-1 ],
    [ F20.18^-1 * F20.15^-1 * F20.1 * F20.20^-1, F20.7^-1 * F20.6 * F20.19^-1 * 
    F20.3^-1, F20.7 * F20.17 * F20.10^-1 * F20.20^-1, F20.8^-1 * F20.20^-1 * 
    F20.11 * F20.19, F20.12^-1 * F20.9^-1 * F20.5^-1 * F20.6, F20.10 * F20.19^-1
    * F20.4^-1 * F20.15^-1 ],
    [ F20.1^-1 * F20.14^-1 * F20.8^-1 * F20.9, F20.9^-1 * F20.10 * F20.3 * 
    F20.5, F20.4^-1 * F20.8^-1 * F20.20^-1 * F20.2, F20.5^-1 * F20.3 * F20.5 * 
    F20.12, F20.20 * F20.17^-1 * F20.16^-1 * F20.19^-1, F20.13^-1 * F20.5^-1 * 
    F20.1 * F20.12 ],
    [ F20.10 * F20.2^-1 * F20.16 * F20.8, F20.4^-1 * F20.3^-1 * F20.12 * 
    F20.4^-1, F20.8 * F20.20 * F20.14 * F20.15, F20.14 * F20.3 * F20.8 * F20.5, 
    F20.5 * F20.6 * F20.8 * F20.16^-1, F20.3^-1 * F20.19^-1 * F20.7^-1 * 
    F20.18^-1 ],
    [ F20.16 * F20.12 * F20.14 * F20.11, F20.7 * F20.12^-1 * F20.7 * F20.2, 
    F20.11^-1 * F20.20^-1 * F20.5^-1 * F20.17^-1, F20.2 * F20.17^-1 * F20.12^-1 
    * F20.16^-1, F20.3 * F20.5^-1 * F20.1 * F20.10^-1, F20.18^-1 * F20.6^-1 * 
    F20.16^-1 * F20.9^-1 ],
    [ F20.7^-1 * F20.1 * F20.2 * F20.13, F20.5^-1 * F20.20^-1 * F20.5^-1 * 
    F20.17^-1, F20.2 * F20.4^-1 * F20.17 * F20.7, F20.19^-1 * F20.18^-1 * F20.11
    * F20.8^-1, F20.1 * F20.2^-1 * F20.19 * F20.18, F20.8^-1 * F20.18 * F20.1^-1
    * F20.4^-1 ],
    [ F20.16^-1 * F20.15^-1 * F20.14^-1 * F20.7^-1, F20.4^-1 * F20.15 * 
    F20.17^-1 * F20.7, F20.19 * F20.20 * F20.4^2, F20.16^-1 * F20.4^-1 * 
    F20.16^-1 * F20.17^-1, F20.18 * F20.16^2 * F20.7^-1, F20.11^-1 * F20.1^-1 * 
    F20.15^-1 * F20.17^-1 ],
    [ F20.10 * F20.20^-1 * F20.8^-1 * F20.1, F20.10^-1 * F20.1^-1 * F20.2^-1 * 
    F20.1^-1, F20.6^-1 * F20.2^-1 * F20.13 * F20.17^-1, F20.20^-2 * F20.14 * 
    F20.1, F20.12^-1 * F20.3 * F20.12 * F20.9, F20.10 * F20.8 * F20.19^-1 * 
    F20.20^-1 ],
    [ F20.5^-1 * F20.17 * F20.20^2, F20.5^-1 * F20.18^-1 * F20.5 * F20.9, 
    F20.16^-1 * F20.12^-1 * F20.6^-1 * F20.9^-1, F20.16^-1 * F20.9^-1 * F20.1 * 
    F20.13, F20.6 * F20.8 * F20.17^-1 * F20.18^-1, F20.18 * F20.2 * F20.8 * 
    F20.1^-1 ],
    [ F20.4 * F20.7 * F20.10 * F20.11^-1, F20.11 * F20.13 * F20.8^-1 * F20.9, 
    F20.18 * F20.9^-1 * F20.8^-1 * F20.3, F20.14^-1 * F20.19^-1 * F20.15 * 
    F20.3^-1, F20.10 * F20.12 * F20.5 * F20.3^-1, F20.15^-1 * F20.8^-1 * 
    F20.12^-1 * F20.15^-1 ],
    [ F20.4 * F20.3^-1 * F20.13^-1 * F20.10^-1 * F20.12, F20.14 * F20.4^-1 * 
    F20.13^-1 * F20.15^-1 * F20.1^-1, F20.20^-1 * F20.9 * F20.15 * F20.9 * 
    F20.15, F20.18 * F20.7^-1 * F20.18^-1 * F20.13^-1 * F20.2, F20.6^-1 * 
    F20.1^-1 * F20.14^-1 * F20.20^-1 * F20.11^-1, F20.15^-1 * F20.19 * F20.15^-2
    * F20.9^-1, F20.6 * F20.3^-1 * F20.4 * F20.7 * F20.10^-1, F20.9 * F20.2 * 
    F20.12 * F20.15 * F20.11^-1, F20.8 * F20.4 * F20.18 * F20.13^-1 * F20.19, 
    F20.15^-1 * F20.7^-1 * F20.4^-1 * F20.5^-1 * F20.6^-1 ],
    [ F20.11^-1 * F20.9 * F20.4^-1 * F20.2^-1 * F20.16, F20.2 * F20.1^-1 * 
    F20.3^-1 * F20.4 * F20.9, F20.3^-1 * F20.5^-1 * F20.6^-1 * F20.12 * 
    F20.6^-1, F20.14^-1 * F20.4 * F20.15^-1 * F20.10 * F20.8^-1, F20.8 * 
    F20.9^-1 * F20.10 * F20.17^-1 * F20.19^-1, F20.4 * F20.8^-1 * F20.10 * F20.3
    * F20.13, F20.16^-1 * F20.3 * F20.18 * F20.19 * F20.7^-1, F20.1^-1 * F20.5 *
    F20.7^-2 * F20.4^-1, F20.6 * F20.17^-1 * F20.9^-1 * F20.14 * F20.2^-1, 
    F20.10 * F20.15 * F20.6 * F20.8^-1 * F20.17^-1 ],
    [ F20.11 * F20.18^-1 * F20.8^-1 * F20.12 * F20.5, F20.19 * F20.7^-1 * F20.11
    * F20.14 * F20.11, F20.12 * F20.13^-1 * F20.3^-1 * F20.14^-1 * F20.20^-1, 
    F20.7^-1 * F20.2 * F20.3 * F20.8 * F20.7^-1, F20.16^-1 * F20.12 * F20.11 * 
    F20.13 * F20.7, F20.20^-1 * F20.13^-1 * F20.6^-1 * F20.16^-1 * F20.11^-1, 
    F20.17 * F20.3 * F20.19^-1 * F20.4 * F20.20^-1, F20.11 * F20.2^-1 * F20.17 *
    F20.5^-1 * F20.8, F20.12^-1 * F20.20^-1 * F20.2 * F20.1 * F20.9, F20.11 * 
    F20.12^-1 * F20.4 * F20.15^-1 * F20.18 ],
    [ F20.15^-1 * F20.1^-1 * F20.3 * F20.1^-1 * F20.14, F20.15 * F20.1 * 
    F20.20^-1 * F20.17^-1 * F20.7, F20.16 * F20.7 * F20.9 * F20.14 * F20.1^-1, 
    F20.13 * F20.3 * F20.19^-1 * F20.20 * F20.3, F20.8 * F20.18^-1 * F20.11^-1 *
    F20.8^-1 * F20.14, F20.1^-1 * F20.5^-1 * F20.3 * F20.7 * F20.10, F20.11^-1 *
    F20.6^-1 * F20.16^-1 * F20.8^-1 * F20.5^-1, F20.6 * F20.13^-1 * F20.17^-1 * 
    F20.12 * F20.8^-1, F20.1^-1 * F20.6^-1 * F20.5 * F20.17 * F20.6, F20.8^-1 * 
    F20.17 * F20.13^-1 * F20.6 * F20.9 ],
    [ F20.11 * F20.7^-1 * F20.15^-1 * F20.11^-1 * F20.19^-1, F20.8^-1 * F20.2 * 
    F20.15 * F20.10^-1 * F20.17^-1, F20.13 * F20.19^-1 * F20.20^-1 * F20.18 * 
    F20.10, F20.1 * F20.19^-1 * F20.13^-1 * F20.5 * F20.11, F20.9 * F20.12^-1 * 
    F20.11^-1 * F20.8^-1 * F20.6^-1, F20.10^-1 * F20.13 * F20.16 * F20.4^-1 * 
    F20.15^-1, F20.10^-1 * F20.20^-1 * F20.12^-1 * F20.2^2, F20.15 * F20.9 * 
    F20.20 * F20.2^-1 * F20.16, F20.14 * F20.10 * F20.16 * F20.19 * F20.16^-1, 
    F20.8^-1 * F20.17^-1 * F20.10^-1 * F20.12 * F20.16^-1 ],
    [ F20.7^-1 * F20.16^-1 * F20.3^-1 * F20.10^-1 * F20.11, F20.3^-2 * F20.6 * 
    F20.3 * F20.14^-1, F20.6^-1 * F20.5 * F20.15 * F20.8 * F20.2, F20.12 * F20.6
    * F20.4^-1 * F20.5 * F20.2, F20.17^-1 * F20.10^-1 * F20.19^-1 * F20.16 * 
    F20.14, F20.11^-1 * F20.2 * F20.8 * F20.15 * F20.17, F20.2^-1 * F20.5 * 
    F20.15 * F20.16 * F20.20^-1, F20.9 * F20.6 * F20.11 * F20.7^-1 * F20.19, 
    F20.18^-1 * F20.14^-1 * F20.18^-1 * F20.7^-1 * F20.5^-1, F20.8^-1 * 
    F20.16^-1 * F20.12 * F20.14 * F20.2^-1 ],
    [ F20.20 * F20.18 * F20.19 * F20.20^-1 * F20.1^-1, F20.2^-1 * F20.7^-1 * 
    F20.12^-1 * F20.4 * F20.18^-1, F20.12^-1 * F20.18 * F20.7^-2 * F20.20, 
    F20.7^-1 * F20.12^-1 * F20.7^-1 * F20.5^-1 * F20.10, F20.12^-1 * F20.13^-1 *
    F20.15^-1 * F20.17^-1 * F20.20, F20.20 * F20.11 * F20.6^-1 * F20.8^-1 * 
    F20.3^-1, F20.2^-1 * F20.1 * F20.6^-1 * F20.18 * F20.11, F20.2 * F20.13 * 
    F20.2^-1 * F20.5 * F20.20, F20.3 * F20.15 * F20.12 * F20.18^-1 * F20.12, 
    F20.9 * F20.17 * F20.10^-1 * F20.2^-1 * F20.14 ],
    [ F20.13 * F20.15 * F20.6^-1 * F20.15 * F20.20^-1, F20.18 * F20.2^-1 * 
    F20.4^-1 * F20.11^-1 * F20.9^-1, F20.19 * F20.13 * F20.6^-1 * F20.19 * 
    F20.12, F20.19 * F20.18^-1 * F20.4^-1 * F20.3 * F20.14^-1, F20.15 * 
    F20.19^-1 * F20.2 * F20.9^-1 * F20.10^-1, F20.16^-1 * F20.4 * F20.11^-1 * 
    F20.17^-1 * F20.20^-1, F20.5 * F20.2^-1 * F20.8^-1 * F20.7^-1 * F20.2, 
    F20.10^-1 * F20.7 * F20.2 * F20.1 * F20.6^-1, F20.7^-1 * F20.4^-1 * F20.8 * 
    F20.15^-1 * F20.13, F20.9 * F20.17 * F20.15^-1 * F20.11^-1 * F20.20 ],
    [ F20.12^-1 * F20.20 * F20.2 * F20.15 * F20.8^-1, F20.17^-1 * F20.4^-1 * 
    F20.16^-1 * F20.18^-1 * F20.13, F20.9^-1 * F20.14 * F20.6 * F20.12 * 
    F20.1^-1, F20.17^2 * F20.1^-1 * F20.20 * F20.3^-1, F20.5 * F20.7 * F20.1^-1 
    * F20.19 * F20.8^-1, F20.18^-1 * F20.15^-1 * F20.1 * F20.8^-1 * F20.7, 
    F20.13^-1 * F20.4 * F20.18^-1 * F20.20^-2, F20.14^-1 * F20.8 * F20.10^-1 * 
    F20.1^-1 * F20.9^-1, F20.13^-1 * F20.20^-1 * F20.17 * F20.1 * F20.11, 
    F20.5^-1 * F20.18 * F20.4 * F20.15^-1 * F20.17^-1 ],
    [ F20.12 * F20.19 * F20.9^-1 * F20.6^-1 * F20.19^-1, F20.8^-1 * F20.18 * 
    F20.2 * F20.1^-1 * F20.3^-1, F20.16 * F20.10^-1 * F20.8^-1 * F20.1 * 
    F20.5^-1, F20.3^-1 * F20.18 * F20.6 * F20.2^-1 * F20.11^-1, F20.15^-1 * 
    F20.19 * F20.3^-1 * F20.18^-1 * F20.3^-1, F20.20^-1 * F20.18 * F20.13 * 
    F20.2^-1 * F20.12, F20.8^-1 * F20.18^-1 * F20.16 * F20.8^-1 * F20.10^-1, 
    F20.4^-1 * F20.15^-1 * F20.7^-1 * F20.8^-1 * F20.15^-1, F20.16 * F20.18^-1 *
    F20.7 * F20.2 * F20.20^-1, F20.10 * F20.15 * F20.11^-1 * F20.14 * F20.20^-1 
    ],
    [ F20.5 * F20.11 * F20.10^-1 * F20.20 * F20.5, F20.14 * F20.17 * F20.1 * 
    F20.14 * F20.17, F20.7^-1 * F20.2^-1 * F20.6 * F20.16 * F20.13, F20.17^-1 * 
    F20.18^-1 * F20.11^-1 * F20.15^-1 * F20.13^-1, F20.10 * F20.20 * F20.18 * 
    F20.12 * F20.17^-1, F20.19 * F20.12^-1 * F20.4^-1 * F20.12^-1 * F20.7, F20.8
    * F20.3 * F20.8^-1 * F20.19^-1 * F20.5, F20.6^-1 * F20.4 * F20.7^-1 * 
    F20.12^-1 * F20.4^-1, F20.15 * F20.14^-1 * F20.17 * F20.20 * F20.2^-1, 
    F20.11^-1 * F20.9^-1 * F20.3^-1 * F20.15^-1 * F20.9 ],
    [ F20.18 * F20.8^-1 * F20.9 * F20.11 * F20.6, F20.16 * F20.15 * F20.13 * 
    F20.6 * F20.4^-1, F20.19 * F20.18^-1 * F20.13^-1 * F20.19 * F20.12, F20.19 *
    F20.18 * F20.14^-1 * F20.11 * F20.8^-1, F20.20 * F20.9 * F20.20^-1 * F20.12 
    * F20.18, F20.13^-1 * F20.19^-1 * F20.14 * F20.5 * F20.12^-1, F20.11 * 
    F20.4^-1 * F20.15^-1 * F20.4^-1 * F20.15, F20.13^-1 * F20.2 * F20.19^-1 * 
    F20.11 * F20.2^-1, F20.13 * F20.7 * F20.14^-1 * F20.18^-1 * F20.17^-1, 
    F20.18 * F20.20^-1 * F20.17^-1 * F20.9 * F20.12 ],
    [ F20.4^-1 * F20.12 * F20.11^-1 * F20.7 * F20.2^-1, F20.15^-1 * F20.6^-1 * 
    F20.16 * F20.2 * F20.11, F20.13^-1 * F20.11 * F20.5^-1 * F20.19^-1 * 
    F20.9^-1, F20.14^-1 * F20.19 * F20.9 * F20.1 * F20.13, F20.16^-1 * F20.11 * 
    F20.9^-1 * F20.5 * F20.20^-1, F20.5 * F20.2 * F20.20 * F20.18 * F20.17^-1, 
    F20.20^-1 * F20.12 * F20.5^2 * F20.1^-1, F20.6^-1 * F20.15 * F20.3^-2 * 
    F20.10, F20.17^-1 * F20.13 * F20.1^-1 * F20.11 * F20.5^-1, F20.18 * 
    F20.20^-1 * F20.1^-1 * F20.10 * F20.12 ],
    [ F20.13 * F20.17 * F20.8^2 * F20.15, F20.15^-1 * F20.8^-1 * F20.2^-1 * 
    F20.20 * F20.7, F20.2 * F20.4^-1 * F20.5 * F20.16 * F20.8, F20.3 * F20.5^-1 
    * F20.18^-1 * F20.1^-1 * F20.7, F20.14 * F20.5^-1 * F20.12^-1 * F20.18^-1 * 
    F20.10, F20.10 * F20.3 * F20.12 * F20.16^-1 * F20.7^-1, F20.16 * F20.9^-1 * 
    F20.19^-1 * F20.17^-1 * F20.2^-1, F20.19^-1 * F20.1 * F20.8^-1 * F20.20^-1 *
    F20.2^-1, F20.1^-1 * F20.8 * F20.13 * F20.11^-1 * F20.12, F20.3^-1 * F20.14 
    * F20.10 * F20.5 * F20.15^-1 ],
    [ F20.17 * F20.14^-1 * F20.20 * F20.1^-1 * F20.7, F20.15 * F20.18^-1 * 
    F20.6^-1 * F20.17 * F20.7, F20.8^-1 * F20.6 * F20.13 * F20.20^-1 * F20.9^-1,
    F20.12 * F20.18^-1 * F20.16 * F20.11^-1 * F20.2, F20.1^-1 * F20.19 * 
    F20.15^2 * F20.14^-1, F20.20^-1 * F20.10 * F20.7^-1 * F20.20 * F20.13^-1, 
    F20.2 * F20.6 * F20.8 * F20.3 * F20.14^-1, F20.11^-1 * F20.15^-1 * F20.10^-1
    * F20.11^-1 * F20.2, F20.13^-2 * F20.11^-1 * F20.13^-1 * F20.4, F20.9^-1 * 
    F20.19^-1 * F20.20 * F20.16 * F20.19 ],
    [ F20.9^2 * F20.7^-1 * F20.1^-1 * F20.6, F20.19^-1 * F20.5^-1 * F20.20^-1 * 
    F20.11 * F20.12, F20.18^-1 * F20.17^-1 * F20.19^-1 * F20.13 * F20.14, F20.5 
    * F20.2 * F20.16^-1 * F20.5^-1 * F20.1, F20.6^-1 * F20.17^-1 * F20.14^-1 * 
    F20.1^-1 * F20.4, F20.17 * F20.7 * F20.10 * F20.14 * F20.19^-1, F20.1^-1 * 
    F20.15^-1 * F20.12 * F20.2^-1 * F20.4^-1, F20.13 * F20.8 * F20.9 * F20.17 * 
    F20.5, F20.1^-1 * F20.14^-1 * F20.15^-1 * F20.7^-1 * F20.18^-1, F20.12 * 
    F20.18^-1 * F20.17^-1 * F20.18^-1 * F20.6^-1 ],
    [ F20.2 * F20.13^-1 * F20.11^-1 * F20.8^-1 * F20.4^-1, F20.15^-2 * F20.10 * 
    F20.13^-1 * F20.2^-1, F20.2^-1 * F20.13^-1 * F20.2 * F20.11^-1 * F20.18, 
    F20.2 * F20.11 * F20.20^-1 * F20.14 * F20.18, F20.7^-1 * F20.14^-1 * 
    F20.7^-1 * F20.15^-1 * F20.12, F20.4^-1 * F20.17^-1 * F20.20 * F20.1^-1 * 
    F20.7, F20.3 * F20.11 * F20.3^-1 * F20.10^-1 * F20.13^-1, F20.7^-1 * F20.20 
    * F20.9 * F20.19 * F20.20^-1, F20.7 * F20.4^-1 * F20.18 * F20.9 * F20.4^-1, 
    F20.9 * F20.20 * F20.14^-1 * F20.5^-1 * F20.8^-1 ],
    [ F20.16 * F20.5^-1 * F20.14^-1 * F20.4 * F20.12, F20.16^-1 * F20.1^-1 * 
    F20.7^-1 * F20.10^-1 * F20.19, F20.14^-1 * F20.11 * F20.13^-1 * F20.15^-1 * 
    F20.16, F20.9 * F20.8 * F20.16^-1 * F20.11^-1 * F20.6^-1, F20.7^-1 * F20.18 
    * F20.8^-1 * F20.2 * F20.13^-1, F20.12 * F20.5^-1 * F20.15 * F20.3 * 
    F20.11^-1, F20.2 * F20.11 * F20.12^-1 * F20.11^-1 * F20.15^-1, F20.12 * 
    F20.20 * F20.10 * F20.1 * F20.16^-1, F20.15^-1 * F20.19^-1 * F20.13 * F20.11
    * F20.4, F20.12^-1 * F20.7^-1 * F20.3^-1 * F20.20^-1 * F20.10^-1 ],
    [ F20.16^-1 * F20.8 * F20.13^-1 * F20.9^-1 * F20.4^-1, F20.20^-1 * F20.8^-2 
    * F20.5 * F20.17, F20.14^2 * F20.7^-1 * F20.4^-1 * F20.13^-1, F20.8^-1 * 
    F20.14^-1 * F20.11^-1 * F20.14 * F20.3^-1, F20.12^-1 * F20.15^-1 * F20.11^-1
    * F20.10 * F20.11, F20.8 * F20.17 * F20.12^-1 * F20.10^-1 * F20.14^-1, 
    F20.4^-1 * F20.6^-1 * F20.3 * F20.15^-1 * F20.3, F20.1^-1 * F20.2 * F20.9 * 
    F20.5^-1 * F20.15, F20.10 * F20.12 * F20.5^-1 * F20.16^-1 * F20.14^-1, F20.5
    * F20.2 * F20.10^-1 * F20.14^-1 * F20.11 ],
    [ F20.12 * F20.4^-1 * F20.2^-1 * F20.1 * F20.6, F20.18^-1 * F20.16 * F20.11 
    * F20.20 * F20.15, F20.5^-1 * F20.6 * F20.18^-1 * F20.10^-1 * F20.13, F20.4 
    * F20.17^-1 * F20.13 * F20.14^-1 * F20.9^-1, F20.10 * F20.9^-1 * F20.2^-1 * 
    F20.16 * F20.4^-1, F20.7 * F20.19^-1 * F20.5^-1 * F20.15^-1 * F20.17, F20.8 
    * F20.16^-1 * F20.18^-1 * F20.7^-1 * F20.6, F20.8 * F20.1 * F20.16 * 
    F20.17^-1 * F20.6^-1, F20.17 * F20.20^-1 * F20.12 * F20.15^2, F20.10^-1 * 
    F20.2 * F20.18 * F20.5 * F20.4 ],
    [ F20.19^-1 * F20.9^-1 * F20.17^-1 * F20.16 * F20.20 * F20.15, F20.4^-1 * 
    F20.5 * F20.17^-1 * F20.6 * F20.16^-1 * F20.19^-1, F20.19^-1 * F20.17^-1 * 
    F20.12 * F20.11 * F20.10 * F20.7, F20.10 * F20.9 * F20.20^-1 * F20.1^-1 * 
    F20.3 * F20.5^-1, F20.9^-1 * F20.12^-1 * F20.16 * F20.5^-1 * F20.2^-1 * 
    F20.5^-1, F20.7 * F20.18^-1 * F20.7^-1 * F20.2 * F20.10^-1 * F20.11, F20.5 *
    F20.20 * F20.6 * F20.8 * F20.3^-1 * F20.19^-1, F20.12 * F20.4^-2 * F20.6 * 
    F20.19^-1 * F20.13, F20.20 * F20.12 * F20.2 * F20.6^-1 * F20.17^-1 * F20.19,
    F20.5^-1 * F20.12^-1 * F20.2^-1 * F20.10^-1 * F20.6 * F20.18, F20.12^-1 * 
    F20.19 * F20.1 * F20.11 * F20.5 * F20.3^-1, F20.6 * F20.17 * F20.12 * 
    F20.13^-1 * F20.6 * F20.5^-1, F20.10 * F20.16 * F20.5^-1 * F20.9 * F20.18^-1
    * F20.1^-1, F20.15^-1 * F20.17 * F20.4 * F20.1 * F20.11^-1 * F20.10, 
    F20.13^-1 * F20.12^-1 * F20.13^-1 * F20.3^-1 * F20.4^-1 * F20.19^-1, F20.7 *
    F20.8^-1 * F20.6 * F20.20 * F20.18 * F20.9, F20.6^-1 * F20.4 * F20.19^-1 * 
    F20.15^-1 * F20.9 * F20.7, F20.5 * F20.12^-1 * F20.19^-1 * F20.4^-1 * F20.5 
    * F20.9^-1, F20.19^-3 * F20.5^-1 * F20.1^-1 * F20.10, F20.16 * F20.8^-1 * 
    F20.7 * F20.10 * F20.2 * F20.14^-1 ],
    [ F20.6 * F20.15^-1 * F20.17^-1 * F20.11^-1 * F20.9 * F20.15^-1, F20.14 * 
    F20.2 * F20.14 * F20.17 * F20.12 * F20.9^-1, F20.4 * F20.15 * F20.4^-1 * 
    F20.3^-1 * F20.15 * F20.12, F20.17 * F20.4 * F20.18^-1 * F20.13^-1 * 
    F20.10^-1 * F20.1^-1, F20.7^2 * F20.16 * F20.6 * F20.12^-1 * F20.4, 
    F20.17^-1 * F20.11 * F20.1 * F20.11 * F20.12^-1 * F20.9^-1, F20.4 * F20.19 *
    F20.6 * F20.5 * F20.18^-1 * F20.19^-1, F20.6^-1 * F20.5 * F20.6 * F20.20^-1 
    * F20.1 * F20.9, F20.2^-1 * F20.3 * F20.4^-1 * F20.2^-1 * F20.12 * F20.6, 
    F20.8 * F20.13 * F20.2 * F20.10 * F20.6 * F20.2, F20.12 * F20.19 * F20.20^-1
    * F20.5 * F20.4^-1 * F20.2, F20.20 * F20.1^-1 * F20.20 * F20.3 * F20.11 * 
    F20.5^-1, F20.3 * F20.13^-1 * F20.4 * F20.9^-1 * F20.15 * F20.11^-1, 
    F20.18^-1 * F20.2 * F20.6 * F20.14 * F20.11^-1 * F20.7, F20.20 * F20.1 * 
    F20.6^-1 * F20.5 * F20.2^-1 * F20.4^-1, F20.16 * F20.4 * F20.1^-1 * F20.11 *
    F20.9^-1 * F20.20^-1, F20.5 * F20.18^-1 * F20.19 * F20.17 * F20.6 * 
    F20.2^-1, F20.19^-1 * F20.20 * F20.16^-1 * F20.2 * F20.18 * F20.12^-1, 
    F20.20 * F20.4 * F20.8 * F20.17^-2 * F20.2^-1, F20.5 * F20.18^-1 * F20.9 * 
    F20.13^-1 * F20.5 * F20.8^-1 ],
    [ F20.15 * F20.13^-1 * F20.10^-1 * F20.7^-1 * F20.16 * F20.14, F20.3^-1 * 
    F20.10^-1 * F20.8^-1 * F20.5^-1 * F20.13^-1 * F20.1^-1, F20.4 * F20.16 * 
    F20.8 * F20.13^-1 * F20.18^-2, F20.8 * F20.2 * F20.6^-1 * F20.16^-1 * F20.11
    * F20.3, F20.3 * F20.16^-1 * F20.11 * F20.6^-1 * F20.14^-1 * F20.9, 
    F20.16^-1 * F20.14 * F20.1^-1 * F20.11^-1 * F20.10^-1 * F20.13, F20.17^-1 * 
    F20.4^-1 * F20.20^-1 * F20.3 * F20.20^-1 * F20.4, F20.8^-1 * F20.10 * 
    F20.15^-1 * F20.7^-1 * F20.3^-1 * F20.18^-1, F20.13^-1 * F20.14^-1 * F20.8 *
    F20.18^-1 * F20.20^-1 * F20.15^-1, F20.19 * F20.9^-1 * F20.3^-1 * F20.15^-1 
    * F20.11^-1 * F20.7^-1, F20.1 * F20.2 * F20.7^-1 * F20.14 * F20.17^-1 * 
    F20.8, F20.9^-1 * F20.10 * F20.5 * F20.10 * F20.2^-1 * F20.18^-1, F20.12^-1 
    * F20.6 * F20.13 * F20.8^-1 * F20.17 * F20.2^-1, F20.16 * F20.8^-1 * F20.4 *
    F20.12^-1 * F20.13^-1 * F20.17^-1, F20.9 * F20.8^-1 * F20.20^-1 * F20.9^-1 *
    F20.7 * F20.2, F20.13^-1 * F20.14 * F20.9 * F20.11^-1 * F20.19 * F20.4^-1, 
    F20.18 * F20.15 * F20.7^-1 * F20.4^-1 * F20.6 * F20.15, F20.7 * F20.6 * 
    F20.15^-1 * F20.18 * F20.5 * F20.1^-1, F20.4 * F20.7 * F20.6 * F20.13^-1 * 
    F20.20 * F20.17^-1, F20.5 * F20.15 * F20.6 * F20.11^-1 * F20.7 * F20.4^-1 ],
    [ F20.2 * F20.5^-1 * F20.9^-1 * F20.5^-1 * F20.13^-1 * F20.3^-1, F20.3^-1 * 
    F20.4^-1 * F20.19^-1 * F20.5 * F20.17 * F20.18^-1, F20.14^-1 * F20.13^-2 * 
    F20.6 * F20.19 * F20.2^-1, F20.19 * F20.1^-1 * F20.10 * F20.15^-1 * 
    F20.11^-1 * F20.1^-1, F20.5 * F20.14 * F20.12^-1 * F20.17^-1 * F20.12 * 
    F20.17^-1, F20.19^-1 * F20.18^-1 * F20.17^-1 * F20.5^-1 * F20.2 * F20.6, 
    F20.16^-1 * F20.13 * F20.16 * F20.17^-1 * F20.14 * F20.6, F20.5 * F20.16 * 
    F20.2^-1 * F20.20 * F20.17^-1 * F20.8, F20.15 * F20.6^-1 * F20.14 * F20.3^-1
    * F20.8 * F20.20^-1, F20.12 * F20.7^2 * F20.17^-1 * F20.19 * F20.17, F20.12 
    * F20.8^-1 * F20.2^-1 * F20.14 * F20.7 * F20.10, F20.3 * F20.10 * F20.7 * 
    F20.6^-1 * F20.18 * F20.19^-1, F20.5^-1 * F20.17 * F20.15^-1 * F20.1 * F20.5
    * F20.8, F20.14^-2 * F20.4^-1 * F20.1 * F20.7^-1 * F20.20, F20.7^-1 * 
    F20.5^-2 * F20.10^-1 * F20.6 * F20.8^-1, F20.3^-1 * F20.11^-2 * F20.13 * 
    F20.4^-1 * F20.18, F20.9^-1 * F20.19 * F20.3^-1 * F20.10 * F20.12^-1 * 
    F20.7, F20.12^-1 * F20.11^-1 * F20.16 * F20.1 * F20.6 * F20.10, F20.9^-1 * 
    F20.18^-1 * F20.15^-1 * F20.13 * F20.14^-1 * F20.1, F20.11 * F20.17 * 
    F20.12^-1 * F20.9^-1 * F20.3^-1 * F20.7^-1 ],
    [ F20.5 * F20.4^-1 * F20.14^-1 * F20.10^-1 * F20.4^-1 * F20.14, F20.6 * 
    F20.2^-2 * F20.19 * F20.12^-1 * F20.5, F20.6^-1 * F20.1^-1 * F20.13 * 
    F20.20^-1 * F20.13^-1 * F20.12, F20.17^-1 * F20.7 * F20.9^-1 * F20.3^2 * 
    F20.18, F20.19 * F20.20 * F20.17^-1 * F20.6^-1 * F20.11 * F20.14^-1, F20.3 *
    F20.2^-1 * F20.14^-1 * F20.17^-1 * F20.20^-1 * F20.8, F20.17 * F20.19^-1 * 
    F20.7^-1 * F20.2^-1 * F20.6^-1 * F20.4^-1, F20.10^-1 * F20.14 * F20.15 * 
    F20.13 * F20.6^-1 * F20.3, F20.14^-1 * F20.10^-1 * F20.6^-1 * F20.2^-1 * 
    F20.8^-1 * F20.5^-1, F20.3^-1 * F20.5^-2 * F20.15 * F20.7 * F20.1^-1, F20.1 
    * F20.4^-1 * F20.11^-1 * F20.18^-1 * F20.3 * F20.17, F20.14 * F20.16 * 
    F20.19 * F20.17^-1 * F20.19^-1 * F20.2^-1, F20.17^-1 * F20.16^-1 * F20.20 * 
    F20.1 * F20.19^-1 * F20.8, F20.3^-1 * F20.6 * F20.1 * F20.11 * F20.13^-1 * 
    F20.14^-1, F20.14^-1 * F20.6 * F20.9 * F20.7 * F20.2^-1 * F20.8^-1, F20.20 *
    F20.2^-1 * F20.11 * F20.9^-1 * F20.13 * F20.16, F20.17^-1 * F20.7 * F20.15 *
    F20.18 * F20.16 * F20.6, F20.1^-1 * F20.4 * F20.15 * F20.13^-1 * F20.16^-1 *
    F20.13, F20.9 * F20.12^-1 * F20.16 * F20.9 * F20.11 * F20.8, F20.14 * 
    F20.17^-1 * F20.7^-1 * F20.19 * F20.3 * F20.19^-1 ],
    [ F20.6^-1 * F20.18^-1 * F20.17 * F20.2 * F20.6^-1 * F20.17, F20.9 * 
    F20.1^-1 * F20.20 * F20.9^-1 * F20.17 * F20.8, F20.12 * F20.9^-1 * F20.11 * 
    F20.15 * F20.4 * F20.18, F20.18 * F20.7^-1 * F20.2 * F20.4 * F20.17^-1 * 
    F20.9^-1, F20.16 * F20.14 * F20.16^-1 * F20.2 * F20.13 * F20.4, F20.1^-1 * 
    F20.6^-1 * F20.12 * F20.2 * F20.17 * F20.4, F20.12^-2 * F20.4^3 * F20.9, 
    F20.1 * F20.13 * F20.1 * F20.20 * F20.15^-1 * F20.8, F20.9^-1 * F20.3^-1 * 
    F20.15 * F20.6^-1 * F20.9 * F20.18, F20.5 * F20.7^-1 * F20.8^-1 * F20.5^-1 *
    F20.7^-1 * F20.2^-1, F20.15^-1 * F20.9 * F20.3^-1 * F20.16 * F20.20 * 
    F20.10, F20.10 * F20.4 * F20.9 * F20.7^-1 * F20.18 * F20.20^-1, F20.8 * 
    F20.15 * F20.4 * F20.8^-2 * F20.17, F20.13 * F20.1^-1 * F20.4^-1 * F20.12 * 
    F20.20 * F20.10^-1, F20.6^-1 * F20.4^-1 * F20.8 * F20.14^-1 * F20.15 * 
    F20.13^-1, F20.11^2 * F20.14 * F20.11^-1 * F20.4^-1 * F20.8, F20.17^-1 * 
    F20.9 * F20.20^-1 * F20.9^-1 * F20.18^-1 * F20.1, F20.15^-1 * F20.2^-1 * 
    F20.7 * F20.16 * F20.1^-2, F20.15^-1 * F20.14^-1 * F20.4^-1 * F20.17^-1 * 
    F20.6 * F20.10, F20.14^-1 * F20.12 * F20.20^-1 * F20.13 * F20.19^-1 * F20.2 
    ],
    [ F20.5^-1 * F20.1^-1 * F20.19^2 * F20.16 * F20.10^-1, F20.14^-1 * F20.15^-1
    * F20.19^-1 * F20.12 * F20.16 * F20.5^-1, F20.9 * F20.16 * F20.9^-1 * 
    F20.18^-1 * F20.11 * F20.7^-1, F20.6^-1 * F20.5^-1 * F20.11^-1 * F20.5^-1 * 
    F20.16^-1 * F20.10^-1, F20.19 * F20.20 * F20.19 * F20.2 * F20.18^-1 * F20.6,
    F20.10 * F20.7 * F20.13^-1 * F20.9 * F20.17 * F20.8^-1, F20.3^-1 * F20.8^-1 
    * F20.9 * F20.4^-1 * F20.18^-1 * F20.19, F20.4^-1 * F20.14 * F20.16^-1 * 
    F20.5^2 * F20.9^-1, F20.6 * F20.18 * F20.11^-1 * F20.12^-1 * F20.18 * 
    F20.2^-1, F20.9 * F20.18 * F20.20^-1 * F20.19^-1 * F20.3 * F20.11, F20.20 * 
    F20.3^-1 * F20.9 * F20.11 * F20.1^-1 * F20.6, F20.13^-1 * F20.7^-1 * 
    F20.16^-1 * F20.15^-1 * F20.17^-1 * F20.8^-1, F20.10^-1 * F20.1 * F20.15 * 
    F20.17^-1 * F20.4 * F20.20, F20.11^-1 * F20.1 * F20.18 * F20.6 * F20.1 * 
    F20.20^-1, F20.14^-1 * F20.6 * F20.4^-1 * F20.15^-1 * F20.16^-1 * F20.17, 
    F20.20^-1 * F20.3 * F20.7^-2 * F20.9^-1 * F20.6^-1, F20.2 * F20.12^-2 * 
    F20.6^-1 * F20.12 * F20.5, F20.18^-1 * F20.3^-1 * F20.12 * F20.4 * F20.19 * 
    F20.16, F20.15 * F20.20^-1 * F20.3 * F20.2^-1 * F20.19^-1 * F20.16^-1, 
    F20.2^2 * F20.8^-1 * F20.11^-1 * F20.1 * F20.16 ],
    [ F20.7 * F20.20 * F20.4 * F20.5^-1 * F20.4 * F20.6, F20.18 * F20.16^-1 * 
    F20.7 * F20.16 * F20.8^-1 * F20.20, F20.9 * F20.10 * F20.13 * F20.8 * F20.18
    * F20.3, F20.6 * F20.13^-1 * F20.15^-1 * F20.13^-1 * F20.9^-1 * F20.12^-1, 
    F20.20 * F20.14 * F20.8 * F20.20 * F20.9 * F20.6, F20.9^-1 * F20.20 * F20.2 
    * F20.13^-1 * F20.4 * F20.15, F20.11 * F20.7 * F20.1^-1 * F20.10 * F20.2 * 
    F20.19, F20.1 * F20.8 * F20.2 * F20.16 * F20.13 * F20.2^-1, F20.4^-1 * 
    F20.20^-1 * F20.12^2 * F20.13 * F20.10^-1, F20.4 * F20.9^-1 * F20.1 * F20.15
    * F20.12^-1 * F20.20^-1, F20.15 * F20.3^-1 * F20.6^-3 * F20.16, F20.8^-1 * 
    F20.4^-1 * F20.5 * F20.11 * F20.4^-1 * F20.8^-1, F20.18 * F20.5 * F20.10 * 
    F20.9^-1 * F20.18^-1 * F20.15, F20.1 * F20.3^-1 * F20.18 * F20.2^-1 * F20.12
    * F20.18, F20.19 * F20.5^-1 * F20.11^-1 * F20.3^-1 * F20.7 * F20.9, F20.4^-1
    * F20.20^-1 * F20.7^-1 * F20.12 * F20.9 * F20.7, F20.20 * F20.16^-1 * 
    F20.18^-1 * F20.6 * F20.10 * F20.9^-1, F20.15 * F20.4^-1 * F20.19^-1 * 
    F20.7^-1 * F20.1^-2, F20.7 * F20.11^-1 * F20.10^-1 * F20.1^-1 * F20.7^-1 * 
    F20.17^-1, F20.5 * F20.17^-1 * F20.1^-1 * F20.9 * F20.1 * F20.5 ],
    [ F20.8^-1 * F20.9 * F20.8 * F20.1^-1 * F20.5 * F20.11, F20.17 * F20.20 * 
    F20.19 * F20.2^-1 * F20.15^-1 * F20.17, F20.13 * F20.20^-1 * F20.4^-1 * 
    F20.1^-1 * F20.17 * F20.14, F20.18^-1 * F20.2 * F20.15 * F20.11 * F20.4 * 
    F20.18^-1, F20.15^-1 * F20.18^-1 * F20.9 * F20.20 * F20.7^-1 * F20.14^-1, 
    F20.3 * F20.6^-1 * F20.8 * F20.18^-1 * F20.16^-1 * F20.12, F20.19^-1 * F20.4
    * F20.12^-1 * F20.10^-1 * F20.1^-1 * F20.17, F20.18 * F20.12^-1 * F20.13^-1 
    * F20.3^-1 * F20.11^-1 * F20.16^-1, F20.18 * F20.8^-1 * F20.4 * F20.5 * 
    F20.15^-2, F20.3^-1 * F20.1 * F20.2^-1 * F20.3^-1 * F20.5 * F20.14^-1, 
    F20.2^-1 * F20.20 * F20.8^-1 * F20.10 * F20.9^-1 * F20.3^-1, F20.20 * 
    F20.1^-1 * F20.6 * F20.20 * F20.18^-1 * F20.13^-1, F20.9^-1 * F20.2 * 
    F20.18^-1 * F20.13 * F20.6^2, F20.9^-1 * F20.15^-1 * F20.20 * F20.7 * 
    F20.2^-2, F20.1 * F20.12^-1 * F20.5 * F20.4 * F20.6^-1 * F20.20^-1, 
    F20.12^-1 * F20.10^2 * F20.14 * F20.15 * F20.17, F20.5^-1 * F20.7^-1 * F20.2
    * F20.5^-1 * F20.18 * F20.4, F20.11^-1 * F20.18^-1 * F20.2 * F20.14^-1 * 
    F20.7^-1 * F20.20^-1, F20.16 * F20.1^-1 * F20.12^-1 * F20.1 * F20.16 * 
    F20.1^-1, F20.15 * F20.11^-1 * F20.1 * F20.17 * F20.9 * F20.13^-1 ],
    [ F20.20 * F20.19^-1 * F20.15^-1 * F20.17^-1 * F20.15^-1 * F20.6^-1, 
    F20.16^-1 * F20.14^-1 * F20.9 * F20.1 * F20.9^-1 * F20.12, F20.19^-1 * 
    F20.2^-1 * F20.8^-1 * F20.20 * F20.1^-1 * F20.7^-1, F20.18^-1 * F20.6 * 
    F20.18 * F20.2 * F20.7^-1 * F20.4, F20.2^-1 * F20.12 * F20.15^-1 * F20.18^-1
    * F20.12 * F20.1, F20.3 * F20.19 * F20.18 * F20.15 * F20.8 * F20.3, F20.7^-1
    * F20.11 * F20.9^-1 * F20.6 * F20.10^-1 * F20.8^-1, F20.6 * F20.8^-1 * 
    F20.18 * F20.7^-1 * F20.12 * F20.18, F20.3^-1 * F20.6^-1 * F20.15 * F20.11 *
    F20.16^-1 * F20.13, F20.15 * F20.10 * F20.3 * F20.14^-1 * F20.8 * F20.15, 
    F20.11 * F20.6^-1 * F20.7^-1 * F20.18^-1 * F20.15^-1 * F20.8, F20.9 * F20.5 
    * F20.8 * F20.13^-1 * F20.5^-1 * F20.3, F20.3^-1 * F20.19 * F20.9^-1 * F20.5
    * F20.11 * F20.13, F20.10^-1 * F20.11 * F20.5^-1 * F20.2^-1 * F20.12^-1 * 
    F20.18^-1, F20.4^-1 * F20.10 * F20.8 * F20.2^-1 * F20.10 * F20.20, F20.10^-1
    * F20.2^-1 * F20.5^-1 * F20.4 * F20.6^-1 * F20.8, F20.10 * F20.9 * F20.11^-1
    * F20.10 * F20.12 * F20.20, F20.16^-1 * F20.13 * F20.3^-1 * F20.19 * 
    F20.15^2, F20.16^-1 * F20.18 * F20.3^-1 * F20.10^-1 * F20.13 * F20.20^-1, 
    F20.1 * F20.18 * F20.17^-1 * F20.15 * F20.4^-1 * F20.7 ],
    [ F20.16 * F20.9^-1 * F20.5 * F20.14 * F20.15 * F20.9, F20.2^-1 * F20.10^-1 
    * F20.5^-1 * F20.1 * F20.2 * F20.5^-1, F20.12^-1 * F20.17 * F20.1 * 
    F20.11^-1 * F20.10 * F20.7^-1, F20.14 * F20.8 * F20.2^-1 * F20.14 * 
    F20.12^-1 * F20.6^-1, F20.10 * F20.12^-1 * F20.5 * F20.16^-1 * F20.9^-1 * 
    F20.3, F20.8 * F20.9 * F20.5 * F20.11^-1 * F20.4^-1 * F20.10, F20.20^-1 * 
    F20.1^-1 * F20.3 * F20.12 * F20.10^-1 * F20.4^-1, F20.18 * F20.1^-1 * 
    F20.2^-1 * F20.9 * F20.7^-1 * F20.3^-1, F20.12^-1 * F20.7 * F20.3 * 
    F20.13^-1 * F20.12^-1 * F20.11, F20.6^-1 * F20.2^-1 * F20.6 * F20.18 * 
    F20.2^-1 * F20.3^-1, F20.1^-1 * F20.8^-1 * F20.13^-1 * F20.5 * F20.12^-1 * 
    F20.14^-1, F20.7 * F20.15 * F20.12 * F20.19^-1 * F20.10 * F20.8, F20.14^-1 *
    F20.2^-1 * F20.14^-1 * F20.11 * F20.18 * F20.7^-1, F20.17^-1 * F20.5 * 
    F20.19 * F20.5 * F20.4^-1 * F20.19^-1, F20.14 * F20.17 * F20.18 * F20.8^-1 *
    F20.20^-1 * F20.5^-1, F20.15 * F20.6 * F20.19 * F20.9 * F20.20^-1 * F20.8, 
    F20.15^-1 * F20.6 * F20.13 * F20.4 * F20.9 * F20.19^-1, F20.14^-1 * F20.8 * 
    F20.3 * F20.7^-1 * F20.16^-1 * F20.12, F20.2 * F20.10 * F20.8 * F20.14^-1 * 
    F20.1^-1 * F20.9^-1, F20.20 * F20.8 * F20.17 * F20.2^2 * F20.13^-1 ],
    [ F20.6^2 * F20.1 * F20.11 * F20.4^-1 * F20.20, F20.1 * F20.6 * F20.20^-1 * 
    F20.10 * F20.4 * F20.10, F20.12 * F20.2^-1 * F20.9 * F20.18^-1 * F20.11 * 
    F20.2^-1, F20.12^-1 * F20.4 * F20.20^-1 * F20.3 * F20.1^-1 * F20.5^-1, 
    F20.10^-1 * F20.4^-1 * F20.3^-1 * F20.20 * F20.2^-1 * F20.18, F20.2^-1 * 
    F20.16^-1 * F20.20 * F20.17 * F20.16^-1 * F20.14, F20.17^-1 * F20.14 * 
    F20.16 * F20.14^-1 * F20.4 * F20.10, F20.10^-1 * F20.7^-1 * F20.15^-1 * 
    F20.11 * F20.20 * F20.18^-1, F20.15 * F20.3^-1 * F20.11^-1 * F20.1 * 
    F20.11^-1 * F20.5, F20.11 * F20.12^-1 * F20.18 * F20.14 * F20.19^-1 * F20.6,
    F20.12 * F20.1^-1 * F20.13 * F20.8 * F20.13^-1 * F20.7^-1, F20.16 * F20.20 *
    F20.17^-1 * F20.15 * F20.17 * F20.1^-1, F20.11^-1 * F20.20^-1 * F20.18 * 
    F20.20 * F20.4^2, F20.7 * F20.19 * F20.5 * F20.15^-1 * F20.3^-1 * F20.16^-1,
    F20.15^-1 * F20.8^-1 * F20.13^-1 * F20.20^-1 * F20.11^-1 * F20.6^-1, 
    F20.13^-1 * F20.6^-1 * F20.14^-1 * F20.1 * F20.14^-2, F20.9 * F20.6 * F20.10
    * F20.4^-1 * F20.10 * F20.6^-1, F20.9^-1 * F20.6^-1 * F20.14^-1 * F20.10 * 
    F20.20 * F20.3^-1, F20.9 * F20.15^-1 * F20.19^-1 * F20.4^-1 * F20.2^-1 * 
    F20.12, F20.10^-1 * F20.7 * F20.15 * F20.6^-1 * F20.8 * F20.13^-1 ],
    [ F20.12^-1 * F20.16^-1 * F20.7^-1 * F20.20 * F20.14^-1 * F20.13^-1, F20.19 
    * F20.17^-1 * F20.16^2 * F20.20^-1 * F20.3, F20.4 * F20.18^-1 * F20.5 * 
    F20.3 * F20.19 * F20.10^-1, F20.1^-1 * F20.9^-1 * F20.1^-1 * F20.19^-1 * 
    F20.7^-1 * F20.5^-1, F20.6^-1 * F20.13^-1 * F20.15 * F20.10^-1 * F20.16 * 
    F20.2^-1, F20.12^-1 * F20.4^-1 * F20.2^-1 * F20.13^-1 * F20.16 * F20.2, 
    F20.3 * F20.15 * F20.3 * F20.20^-1 * F20.3^-1 * F20.8, F20.20^-1 * F20.19^-1
    * F20.6^-1 * F20.14^-1 * F20.5^-1 * F20.3, F20.7^-1 * F20.18^-1 * F20.8 * 
    F20.12^-1 * F20.17 * F20.16^-1, F20.17^-1 * F20.12 * F20.6 * F20.13^-1 * 
    F20.20^-1 * F20.12^-1, F20.11 * F20.3 * F20.12^-1 * F20.7^-1 * F20.18 * 
    F20.4, F20.15 * F20.2 * F20.5^-1 * F20.7 * F20.8 * F20.16, F20.16 * F20.7^-2
    * F20.16^-2 * F20.17, F20.3^-1 * F20.19 * F20.4^-1 * F20.6 * F20.12^-1 * 
    F20.18^-1, F20.20^-1 * F20.9^-1 * F20.4 * F20.17 * F20.19 * F20.17, F20.7^-1
    * F20.15^-1 * F20.12 * F20.5 * F20.14 * F20.13, F20.2^-1 * F20.17 * F20.8 * 
    F20.19^-1 * F20.1^-1 * F20.12^-1, F20.15 * F20.9^-1 * F20.4 * F20.16 * 
    F20.7^-1 * F20.5, F20.6 * F20.14 * F20.1^-1 * F20.5^-1 * F20.12 * F20.9^-1, 
    F20.5^-1 * F20.20^-1 * F20.15 * F20.4^-1 * F20.15 * F20.1^-1 ],
    [ F20.16 * F20.14 * F20.4 * F20.18^-1 * F20.16 * F20.6, F20.19^-1 * F20.15 *
    F20.9 * F20.11 * F20.17 * F20.11^-1, F20.20^-1 * F20.6^-1 * F20.4^2 * 
    F20.13^-1 * F20.2^-1, F20.12 * F20.20^-1 * F20.14^-1 * F20.18^-1 * F20.11 * 
    F20.13, F20.11^-1 * F20.4^-1 * F20.13 * F20.9 * F20.12 * F20.10^-1, 
    F20.14^-1 * F20.15 * F20.9^-1 * F20.11^-1 * F20.13 * F20.17, F20.15^-1 * 
    F20.4 * F20.14 * F20.13 * F20.15^-1 * F20.5^-1, F20.2 * F20.18 * F20.17^-1 *
    F20.8 * F20.19 * F20.4, F20.15^-1 * F20.13^-1 * F20.16^-1 * F20.14 * F20.1 *
    F20.8, F20.14^-1 * F20.12 * F20.18^-1 * F20.8 * F20.7 * F20.12^-1, F20.12^-1
    * F20.14^-1 * F20.20^-1 * F20.3 * F20.19^-1 * F20.3^-1, F20.12^-1 * F20.4 * 
    F20.17^-1 * F20.12^-1 * F20.11^-1 * F20.6, F20.15 * F20.1 * F20.17^-1 * 
    F20.7 * F20.1^-1 * F20.18^-1, F20.3^-1 * F20.15^-1 * F20.6^-1 * F20.2^-1 * 
    F20.17 * F20.7, F20.3 * F20.12^-1 * F20.8 * F20.11 * F20.16^-1 * F20.8, 
    F20.11^-2 * F20.12^-1 * F20.1^-1 * F20.14 * F20.9^-1, F20.10^2 * F20.19^-1 *
    F20.5^-1 * F20.20 * F20.17, F20.5 * F20.8^-1 * F20.18 * F20.2^-1 * F20.15^-1
    * F20.10^-1, F20.8^-1 * F20.9 * F20.5^-1 * F20.6^2 * F20.19, F20.5 * F20.9 *
    F20.17^-1 * F20.14 * F20.15 * F20.12^-1 ],
    [ F20.19^-1 * F20.12 * F20.6 * F20.19 * F20.2 * F20.9^-1, F20.19 * F20.2 * 
    F20.13^-1 * F20.16^-1 * F20.5^-1 * F20.3, F20.14 * F20.2^-1 * F20.3^-1 * 
    F20.18^-1 * F20.5^-1 * F20.12, F20.8 * F20.15^-1 * F20.1^-1 * F20.14 * 
    F20.18^-2, F20.6^-1 * F20.5 * F20.13 * F20.5^-1 * F20.17 * F20.4^-1, F20.10 
    * F20.17 * F20.12^-1 * F20.9 * F20.16^-1 * F20.1, F20.16^-1 * F20.19 * 
    F20.10 * F20.18^2 * F20.11, F20.2^-1 * F20.15^-1 * F20.11^-1 * F20.20^-1 * 
    F20.11^-1 * F20.14^-1, F20.4^-1 * F20.9^-1 * F20.3 * F20.4 * F20.13^2, 
    F20.12^-1 * F20.15^-1 * F20.2 * F20.13 * F20.2^-1 * F20.13^-1, F20.13 * 
    F20.7 * F20.13^-1 * F20.8^-1 * F20.17 * F20.19^-1, F20.16 * F20.2 * F20.9 * 
    F20.10^-1 * F20.4 * F20.18^-1, F20.20 * F20.1^-1 * F20.13^-1 * F20.1^-1 * 
    F20.17 * F20.1, F20.17^-1 * F20.15^-1 * F20.20^-1 * F20.3 * F20.18 * 
    F20.3^-1, F20.13^-1 * F20.4 * F20.3 * F20.15 * F20.6 * F20.16^-1, F20.10 * 
    F20.17^-1 * F20.11^-1 * F20.15^-1 * F20.3 * F20.7, F20.11 * F20.12 * 
    F20.10^-1 * F20.14^-1 * F20.7 * F20.17, F20.7 * F20.12^-1 * F20.4^-1 * F20.2
    * F20.12 * F20.4, F20.11^-1 * F20.9 * F20.6 * F20.17^-1 * F20.2^-1 * F20.3, 
    F20.11^-1 * F20.1^-1 * F20.16^-1 * F20.11^-1 * F20.1 * F20.13 ],
    [ F20.8 * F20.7^-1 * F20.1 * F20.20^-1 * F20.9^-1 * F20.4^-1, F20.6^-1 * 
    F20.19 * F20.5^-1 * F20.14 * F20.15^-1 * F20.11, F20.11 * F20.9 * F20.5^-1 *
    F20.12^-1 * F20.8 * F20.20, F20.19 * F20.4^-2 * F20.11 * F20.10 * F20.18, 
    F20.4 * F20.19^-1 * F20.20 * F20.7^-1 * F20.12^-1 * F20.11, F20.1 * 
    F20.18^-1 * F20.3 * F20.15^2 * F20.14^-1, F20.7 * F20.19^-1 * F20.5 * 
    F20.20^2 * F20.7, F20.4^-1 * F20.2^-1 * F20.16^-1 * F20.4^-1 * F20.6^-1 * 
    F20.11^-1, F20.19 * F20.6 * F20.16 * F20.15 * F20.6 * F20.15^-1, F20.12^-2 *
    F20.5 * F20.2^2 * F20.10^-1, F20.11^-1 * F20.19 * F20.11^-2 * F20.15^-1 * 
    F20.10, F20.6^-1 * F20.4 * F20.15 * F20.14 * F20.8^-1 * F20.3, F20.12 * 
    F20.3 * F20.18 * F20.6^2 * F20.11^-1, F20.14^-1 * F20.17^-1 * F20.13 * 
    F20.5^-1 * F20.1^-1 * F20.11^-1, F20.15^-1 * F20.8 * F20.5 * F20.14^-1 * 
    F20.3^-1 * F20.16, F20.1^-1 * F20.5^-1 * F20.20^-1 * F20.9 * F20.11 * 
    F20.17^-1, F20.19 * F20.15 * F20.7^-1 * F20.19 * F20.12 * F20.14, F20.15^-1 
    * F20.19 * F20.20^-1 * F20.10^-1 * F20.14^-2, F20.10 * F20.16^-1 * F20.13 * 
    F20.2^-1 * F20.8^-1 * F20.12, F20.14^-1 * F20.13 * F20.18^-1 * F20.10 * 
    F20.13 * F20.8 ],
    [ F20.18 * F20.6^-1 * F20.8 * F20.18^-1 * F20.5^2, F20.15^-2 * F20.18 * 
    F20.14 * F20.19^-1 * F20.6, F20.13^-1 * F20.4 * F20.15^-1 * F20.1^-1 * 
    F20.6^-1 * F20.12, F20.5^-1 * F20.7 * F20.2^-1 * F20.3^-1 * F20.6^-1 * 
    F20.14^-1, F20.8^-1 * F20.18 * F20.6^-1 * F20.2 * F20.20 * F20.14, F20.1^-1 
    * F20.14 * F20.11 * F20.20 * F20.19^-1 * F20.3, F20.6 * F20.13^-1 * F20.20 *
    F20.18 * F20.4^-1 * F20.20, F20.1 * F20.2 * F20.1^-1 * F20.6^-2 * F20.13, 
    F20.9^-2 * F20.13^-1 * F20.11 * F20.9^-1 * F20.19, F20.6^-1 * F20.18 * 
    F20.9^-1 * F20.10^-1 * F20.14 * F20.16, F20.16^-1 * F20.5 * F20.19 * 
    F20.3^-1 * F20.1^-1 * F20.5^-1, F20.14 * F20.10 * F20.6 * F20.13^-1 * F20.7 
    * F20.13^-1, F20.4 * F20.3 * F20.13^-1 * F20.7^-1 * F20.6 * F20.17, F20.16 *
    F20.5^-1 * F20.14^-1 * F20.6^-1 * F20.4^-1 * F20.15^-1, F20.15^-1 * F20.10 *
    F20.4 * F20.16^-1 * F20.2^-1 * F20.11^-1, F20.6^-1 * F20.20 * F20.5^-1 * 
    F20.6^-1 * F20.11^-1 * F20.9^-1, F20.17 * F20.4 * F20.6^-1 * F20.10^-1 * 
    F20.2^-1 * F20.1^-1, F20.14 * F20.13^-1 * F20.17 * F20.16 * F20.20^-1 * 
    F20.19^-1, F20.16^-1 * F20.6^-1 * F20.9 * F20.19 * F20.2 * F20.15^-1, 
    F20.14^-1 * F20.12 * F20.8 * F20.1^-1 * F20.8 * F20.20 ],
    [ F20.20 * F20.3 * F20.5 * F20.13^-1 * F20.2 * F20.6, F20.13 * F20.17 * 
    F20.4^-1 * F20.3^-1 * F20.13 * F20.17, F20.20 * F20.19 * F20.5^-1 * F20.11 *
    F20.10 * F20.4, F20.12 * F20.2 * F20.3^-2 * F20.1 * F20.3^-1, F20.8 * F20.18
    * F20.10 * F20.7 * F20.4^-1 * F20.10, F20.16^-1 * F20.2 * F20.13^-1 * 
    F20.14^-1 * F20.8^-2, F20.10 * F20.13^-1 * F20.5 * F20.15 * F20.10^2, F20.1 
    * F20.15^-1 * F20.1 * F20.4 * F20.1^-1 * F20.6, F20.17^-2 * F20.8^-1 * 
    F20.16 * F20.20 * F20.2, F20.14^-1 * F20.11 * F20.16^-2 * F20.15 * 
    F20.13^-1, F20.12^-1 * F20.1 * F20.9 * F20.1^2 * F20.17, F20.20 * F20.19 * 
    F20.7^-1 * F20.3 * F20.12 * F20.5, F20.2^-1 * F20.19 * F20.13 * F20.11^-1 * 
    F20.19^-1 * F20.1, F20.5 * F20.7^-1 * F20.1^-1 * F20.16^-1 * F20.1^-1 * 
    F20.7, F20.12^-1 * F20.15 * F20.10^-1 * F20.2 * F20.17 * F20.6, F20.2 * 
    F20.5^-1 * F20.4 * F20.3 * F20.19 * F20.3^-1, F20.3 * F20.10 * F20.14 * 
    F20.12 * F20.19^-1 * F20.4, F20.7^-2 * F20.14^-1 * F20.11 * F20.19 * F20.18,
    F20.7^-1 * F20.3^-1 * F20.17 * F20.10 * F20.8^-1 * F20.10^-1, F20.9 * 
    F20.14^-1 * F20.2^-1 * F20.13^-1 * F20.19^2 ],
    [ F20.3 * F20.9^-1 * F20.4^-1 * F20.14^-1 * F20.16 * F20.11, F20.17^-1 * 
    F20.15^-1 * F20.17 * F20.13^-1 * F20.18 * F20.11, F20.4^-1 * F20.9^-1 * 
    F20.10 * F20.12 * F20.15^-1 * F20.13, F20.12 * F20.15 * F20.10 * F20.8 * 
    F20.5 * F20.16^-1, F20.12^-1 * F20.15^-1 * F20.16 * F20.10 * F20.3^-1 * 
    F20.12^-1, F20.8^-1 * F20.16^-1 * F20.12 * F20.2^-1 * F20.8^-1 * F20.6, 
    F20.4 * F20.10 * F20.15^-1 * F20.3 * F20.2^-1 * F20.7, F20.13^-1 * F20.3^-1 
    * F20.7^-1 * F20.12^-1 * F20.17 * F20.12^-1, F20.1 * F20.7^-1 * F20.19 * 
    F20.17 * F20.9 * F20.16^-1, F20.19 * F20.2^-1 * F20.9^-1 * F20.6^-1 * F20.1 
    * F20.5^-1, F20.12 * F20.17 * F20.11^-1 * F20.2 * F20.7 * F20.6, F20.15^-1 *
    F20.19^-1 * F20.18^-1 * F20.17^-1 * F20.18 * F20.17^-1, F20.13^-1 * F20.6 * 
    F20.10 * F20.20 * F20.19 * F20.20^-1, F20.19^-1 * F20.18 * F20.3 * F20.18 * 
    F20.10 * F20.12, F20.19 * F20.6 * F20.12^-1 * F20.13^-1 * F20.1 * F20.7, 
    F20.4 * F20.20^2 * F20.15 * F20.2^-1 * F20.3, F20.9 * F20.2^-1 * F20.5 * 
    F20.8 * F20.11 * F20.7, F20.13^-2 * F20.10 * F20.20 * F20.6^-1 * F20.14, 
    F20.7^-1 * F20.1 * F20.16 * F20.18^-1 * F20.11^-1 * F20.17^-1, F20.11 * 
    F20.12 * F20.20^-1 * F20.18^-1 * F20.12 * F20.14 ],
    [ F20.4^-1 * F20.2 * F20.15 * F20.6 * F20.2 * F20.5^-1, F20.8 * F20.15 * 
    F20.4 * F20.16 * F20.9^-1 * F20.19, F20.18 * F20.16 * F20.3 * F20.9 * 
    F20.5^-1 * F20.10, F20.18^-1 * F20.1^-1 * F20.19^-1 * F20.10^-1 * F20.17^-1 
    * F20.7, F20.18 * F20.10 * F20.5 * F20.11 * F20.5 * F20.17^-1, F20.19^-1 * 
    F20.14 * F20.4^-1 * F20.10 * F20.8 * F20.4, F20.17 * F20.19 * F20.10 * 
    F20.1^2 * F20.4, F20.18^-1 * F20.11^-1 * F20.15 * F20.1 * F20.19^-1 * 
    F20.1^-1, F20.15 * F20.7^-1 * F20.2^-1 * F20.1^-1 * F20.9^-1 * F20.6, 
    F20.11^-1 * F20.20 * F20.12 * F20.6 * F20.15 * F20.14, F20.1^-1 * F20.5^-1 *
    F20.11 * F20.10^-1 * F20.4^-1 * F20.13^-1, F20.12 * F20.17^-1 * F20.9^-1 * 
    F20.6^-1 * F20.14 * F20.11^-1, F20.11^-1 * F20.5 * F20.18^-1 * F20.10^-1 * 
    F20.14^-1 * F20.6, F20.3^-1 * F20.1^-1 * F20.4^-1 * F20.17^-1 * F20.19^-1 * 
    F20.1^-1, F20.19^-1 * F20.18 * F20.3 * F20.4 * F20.13^-1 * F20.20^-1, F20.20
    * F20.8 * F20.17 * F20.12 * F20.17 * F20.13^-1, F20.14^-1 * F20.10 * 
    F20.11^-1 * F20.2^-1 * F20.1^-1 * F20.6, F20.10^-1 * F20.14 * F20.7^-1 * 
    F20.13 * F20.1 * F20.5, F20.11 * F20.17 * F20.16 * F20.4 * F20.15^-1 * 
    F20.8^-1, F20.12^-1 * F20.3 * F20.4^-1 * F20.14 * F20.9 * F20.12^-1 ],
    [ F20.5 * F20.2^2 * F20.5^-1 * F20.11^-1 * F20.18 * F20.6, F20.7 * F20.9^-1 
    * F20.17^-1 * F20.1^-1 * F20.16 * F20.6^-1 * F20.14^-1, F20.10^-1 * F20.2 * 
    F20.16 * F20.13^-1 * F20.14^-1 * F20.20^-1 * F20.2^-1, F20.6^-1 * F20.13 * 
    F20.11^-1 * F20.16^-1 * F20.17^-1 * F20.10 * F20.17^-1, F20.7 * F20.1 * 
    F20.16 * F20.5 * F20.13^-1 * F20.7^-1 * F20.6^-1, F20.4^-1 * F20.1^-1 * 
    F20.12^-1 * F20.3 * F20.18^-1 * F20.10 * F20.3^-1, F20.16 * F20.9 * F20.20 *
    F20.3 * F20.11 * F20.19 * F20.10, F20.4^-1 * F20.7 * F20.16 * F20.19^-1 * 
    F20.18 * F20.10 * F20.5^-1, F20.5 * F20.18^-1 * F20.19 * F20.1 * F20.16 * 
    F20.13 * F20.6, F20.16^-1 * F20.2 * F20.15^-1 * F20.9^-1 * F20.11 * F20.6 * 
    F20.8^-1, F20.11^-1 * F20.12^-1 * F20.10^-1 * F20.14 * F20.17 * F20.18 * 
    F20.19, F20.18 * F20.17 * F20.1^-1 * F20.3 * F20.6^-1 * F20.19 * F20.18, 
    F20.4^-1 * F20.13^-1 * F20.17^-1 * F20.9 * F20.10^-1 * F20.15 * F20.10^-1, 
    F20.3 * F20.5 * F20.13^-1 * F20.20 * F20.7 * F20.4^-1 * F20.13^-1, F20.16^-1
    * F20.9^-1 * F20.16 * F20.20 * F20.15 * F20.19^-1 * F20.2^-1, F20.8 * 
    F20.11^-1 * F20.19^-1 * F20.14^-1 * F20.7 * F20.9^-1 * F20.8, F20.1 * 
    F20.11^-1 * F20.4 * F20.10^-1 * F20.18^-1 * F20.9 * F20.13, F20.10^-1 * 
    F20.19 * F20.20^-1 * F20.6 * F20.10 * F20.17 * F20.9^-1, F20.20^-2 * F20.9 *
    F20.17 * F20.11 * F20.2 * F20.11^-1, F20.8 * F20.20 * F20.11 * F20.1 * 
    F20.20 * F20.6 * F20.13^-1, F20.9 * F20.10^-1 * F20.7 * F20.18^-1 * F20.1^-1
    * F20.14 * F20.10, F20.3^-1 * F20.8 * F20.9 * F20.14^-1 * F20.9 * F20.10^-1 
    * F20.2^-1, F20.7^-1 * F20.5^-1 * F20.15 * F20.5 * F20.1 * F20.12 * F20.19, 
    F20.4 * F20.17 * F20.3^-1 * F20.16 * F20.6 * F20.17^-1 * F20.11, F20.18 * 
    F20.20 * F20.10^-1 * F20.19^-1 * F20.2^-1 * F20.18 * F20.20^-1, F20.19^-1 * 
    F20.2 * F20.12 * F20.11 * F20.3 * F20.11^-1 * F20.14^-1, F20.2^-1 * F20.13 *
    F20.4 * F20.10 * F20.1^-1 * F20.13^-1 * F20.17, F20.17^-1 * F20.14 * F20.17 
    * F20.10^2 * F20.19 * F20.2^-1, F20.9^-1 * F20.17^-1 * F20.18 * F20.4 * 
    F20.1^-1 * F20.17 * F20.10^-1, F20.14 * F20.16^-1 * F20.14^-1 * F20.13 * 
    F20.15^-2 * F20.10 ],
    [ F20.6^-1 * F20.8^-1 * F20.1^-1 * F20.4 * F20.7^-1 * F20.13^-1 * F20.17, 
    F20.17 * F20.13 * F20.17^2 * F20.5^-1 * F20.16^-1 * F20.12^-1, F20.12^-2 * 
    F20.14 * F20.12 * F20.19 * F20.18^-1 * F20.17, F20.17 * F20.13 * F20.9^-1 * 
    F20.2^-1 * F20.1 * F20.20^-1 * F20.18^-1, F20.6^-1 * F20.10^-1 * F20.20^-1 *
    F20.7 * F20.1^-1 * F20.8^-1 * F20.7, F20.13^-1 * F20.5 * F20.2^-1 * 
    F20.11^-1 * F20.19^-1 * F20.17 * F20.16, F20.20 * F20.8 * F20.14^-1 * 
    F20.15^-1 * F20.11^-1 * F20.9^-1 * F20.19^-1, F20.16 * F20.6 * F20.13 * 
    F20.15^-1 * F20.10^-1 * F20.11^-1 * F20.15^-1, F20.15 * F20.1 * F20.14^2 * 
    F20.2^-1 * F20.9 * F20.13, F20.14^-1 * F20.19^-1 * F20.11^-1 * F20.1^-1 * 
    F20.18^-1 * F20.11^-2, F20.16 * F20.13^-1 * F20.12 * F20.8 * F20.18 * F20.12
    * F20.17^-1, F20.16 * F20.1^-1 * F20.9^-1 * F20.17^-1 * F20.13^-1 * 
    F20.10^-1 * F20.4, F20.4^-1 * F20.7 * F20.5 * F20.19^-1 * F20.6 * F20.3 * 
    F20.17^-1, F20.15^-1 * F20.9^-1 * F20.18 * F20.19 * F20.18^-1 * F20.15^-1 * 
    F20.2^-1, F20.2^-1 * F20.14^-1 * F20.6 * F20.5 * F20.8^-1 * F20.12 * F20.4, 
    F20.15^-1 * F20.5^-1 * F20.10 * F20.5 * F20.15 * F20.5 * F20.11^-1, 
    F20.13^-1 * F20.17^2 * F20.13 * F20.12^-1 * F20.6 * F20.16, F20.1 * 
    F20.13^-1 * F20.9^-1 * F20.2 * F20.5 * F20.19^-1 * F20.4^-1, F20.20^-1 * 
    F20.1^-1 * F20.16 * F20.3 * F20.14^-1 * F20.13 * F20.4, F20.8 * F20.19^-1 * 
    F20.4 * F20.1 * F20.8^-1 * F20.6^-1 * F20.13, F20.19 * F20.16 * F20.19^-1 * 
    F20.4 * F20.5 * F20.15^-1 * F20.13, F20.4^-1 * F20.18^-1 * F20.11^-1 * 
    F20.1^-1 * F20.11^-1 * F20.7 * F20.10^-1, F20.7^-1 * F20.8 * F20.14 * F20.2 
    * F20.1^-2 * F20.8, F20.9^-1 * F20.14^-1 * F20.16 * F20.14^-1 * F20.16 * 
    F20.3^-1 * F20.7^-1, F20.2^-1 * F20.20^-1 * F20.11^-1 * F20.3^-1 * F20.7^-1 
    * F20.18 * F20.9, F20.14^-1 * F20.16 * F20.8 * F20.19 * F20.1 * F20.15^-1 * 
    F20.2, F20.5^-1 * F20.9^-1 * F20.7 * F20.20^-1 * F20.3 * F20.6 * F20.7^-1, 
    F20.11^-1 * F20.12^-1 * F20.16^-1 * F20.1 * F20.19^-1 * F20.12^-1 * 
    F20.8^-1, F20.17^-1 * F20.9^-1 * F20.5 * F20.1^-1 * F20.11^-1 * F20.9 * 
    F20.19^-1, F20.2^-1 * F20.1 * F20.14 * F20.3 * F20.13^-1 * F20.6^-1 * F20.15
    ],
    [ F20.9^-1 * F20.17 * F20.8^-1 * F20.9^-1 * F20.6^-1 * F20.13^-1 * F20.5^-1,
    F20.18 * F20.2 * F20.5^-1 * F20.3 * F20.10 * F20.5 * F20.11^-1, F20.9 * 
    F20.10^-1 * F20.2 * F20.6^-1 * F20.5^-1 * F20.11^-1 * F20.13^-1, F20.14^-1 *
    F20.17^-1 * F20.14 * F20.9^-1 * F20.13 * F20.14^-1 * F20.4, F20.11 * F20.16 
    * F20.18 * F20.11 * F20.19^-1 * F20.12 * F20.3, F20.2^-1 * F20.13^-1 * 
    F20.9^2 * F20.2 * F20.18^-1 * F20.10, F20.9 * F20.18 * F20.1^-1 * F20.2^-1 *
    F20.15^-1 * F20.6^-1 * F20.4^-1, F20.3 * F20.19^-1 * F20.17^-1 * F20.18^-1 *
    F20.20^-1 * F20.3^-1 * F20.15^-1, F20.7^-1 * F20.4 * F20.11^-1 * F20.7 * 
    F20.5 * F20.17 * F20.5^-1, F20.2 * F20.18^2 * F20.8 * F20.20 * F20.9 * 
    F20.20, F20.3^-1 * F20.14^-1 * F20.5^-1 * F20.20 * F20.16 * F20.5^-1 * 
    F20.14^-1, F20.13^-1 * F20.17^-1 * F20.5^-1 * F20.18 * F20.20^-1 * F20.6^-1 
    * F20.16, F20.16 * F20.8 * F20.4 * F20.14 * F20.4 * F20.3 * F20.15, F20.4^2 
    * F20.19 * F20.11^-1 * F20.3 * F20.10 * F20.1, F20.15^-1 * F20.7 * F20.19^-1
    * F20.9 * F20.3 * F20.9^-1 * F20.8, F20.16^-1 * F20.1 * F20.6^2 * F20.11 * 
    F20.4^-1 * F20.13, F20.3^2 * F20.8^-1 * F20.14^-1 * F20.4^-1 * F20.10 * 
    F20.8^-1, F20.1^-1 * F20.6 * F20.18^-1 * F20.13 * F20.15 * F20.2^-1 * 
    F20.10^-1, F20.7^-1 * F20.6 * F20.11 * F20.2 * F20.17 * F20.18^-1 * F20.13, 
    F20.3 * F20.9^-1 * F20.1 * F20.12 * F20.11 * F20.4 * F20.18^-1, F20.20 * 
    F20.1^-1 * F20.18 * F20.16^-1 * F20.1 * F20.15^-1 * F20.10, F20.5 * 
    F20.11^-1 * F20.10^-1 * F20.15 * F20.14^-1 * F20.17^-1 * F20.7^-1, F20.19^-1
    * F20.2 * F20.1 * F20.5^-1 * F20.13 * F20.14 * F20.20, F20.2 * F20.3^-1 * 
    F20.9^-1 * F20.5^-1 * F20.8^-1 * F20.15^-1 * F20.18^-1, F20.2 * F20.9 * 
    F20.17^-1 * F20.10 * F20.2^-1 * F20.8^-1 * F20.12^-1, F20.18^-1 * F20.16^-1 
    * F20.20^-1 * F20.1^-1 * F20.17 * F20.20^-1 * F20.5, F20.2^-1 * F20.9 * 
    F20.20^-1 * F20.17 * F20.6 * F20.4 * F20.15, F20.16^-1 * F20.20^-1 * F20.9 *
    F20.3 * F20.1 * F20.19^-1 * F20.20, F20.4 * F20.16^-1 * F20.17^-1 * 
    F20.20^-1 * F20.2 * F20.20^-1 * F20.12^-1, F20.16^-1 * F20.12 * F20.6^-1 * 
    F20.4 * F20.3 * F20.8 * F20.18^-1 ],
    [ F20.5 * F20.1 * F20.6^-1 * F20.9 * F20.15 * F20.2^-1 * F20.4, F20.19^-1 * 
    F20.2^-1 * F20.9^-1 * F20.3^-1 * F20.6^-1 * F20.4^-1 * F20.5^-1, F20.20^-1 *
    F20.3^-2 * F20.19 * F20.16^-1 * F20.1 * F20.6, F20.18 * F20.16 * F20.5 * 
    F20.18 * F20.1^-1 * F20.10^-1 * F20.3^-1, F20.10^-1 * F20.5 * F20.20 * F20.6
    * F20.18^-1 * F20.16 * F20.12, F20.15^-1 * F20.4^-1 * F20.11^-1 * F20.20^-1 
    * F20.16^-1 * F20.10^-1 * F20.12^-1, F20.18^-1 * F20.3^-2 * F20.7^-1 * 
    F20.20^-1 * F20.11^-1 * F20.20^-1, F20.17 * F20.9^-1 * F20.13 * F20.14^-1 * 
    F20.12 * F20.16 * F20.1, F20.5^-1 * F20.10^-1 * F20.17^-1 * F20.4^-1 * 
    F20.10^-1 * F20.3^-1 * F20.1^-1, F20.20^-1 * F20.13 * F20.20^-1 * F20.10^-1 
    * F20.13 * F20.11 * F20.13, F20.18 * F20.19 * F20.13^-1 * F20.3 * F20.18 * 
    F20.3 * F20.7^-1, F20.20^-1 * F20.4^-2 * F20.20 * F20.4^-1 * F20.18^-1 * 
    F20.5^-1, F20.14 * F20.20^-1 * F20.14^-1 * F20.4 * F20.11^-1 * F20.18^-1 * 
    F20.10^-1, F20.17 * F20.6 * F20.17^-1 * F20.5 * F20.11^-1 * F20.3 * F20.6, 
    F20.4 * F20.11^-1 * F20.6 * F20.20 * F20.10^-1 * F20.2 * F20.17^-1, F20.7 * 
    F20.8 * F20.6 * F20.2^-1 * F20.12 * F20.2^-1 * F20.8, F20.1 * F20.14 * F20.9
    * F20.18^-1 * F20.13^-1 * F20.12 * F20.3^-1, F20.11 * F20.9 * F20.14 * 
    F20.15^-1 * F20.2 * F20.4^-1 * F20.12, F20.2^-1 * F20.17 * F20.6^-1 * 
    F20.17^-1 * F20.18 * F20.17 * F20.9, F20.15^-1 * F20.1^2 * F20.20 * F20.3 * 
    F20.10^-2, F20.10 * F20.18^-1 * F20.10^-1 * F20.4 * F20.10^-1 * F20.12 * 
    F20.16, F20.5^-1 * F20.9^-1 * F20.6^-1 * F20.7 * F20.6^-1 * F20.13^-1 * 
    F20.15, F20.13^-1 * F20.18^-1 * F20.3 * F20.9^-1 * F20.4^-1 * F20.20 * 
    F20.12^-1, F20.4^-1 * F20.8 * F20.6 * F20.3 * F20.7 * F20.1 * F20.9^-1, 
    F20.5 * F20.3 * F20.12^-1 * F20.7^-1 * F20.15 * F20.20^-1 * F20.4, F20.3 * 
    F20.9 * F20.15 * F20.12 * F20.14 * F20.5 * F20.19^-1, F20.6 * F20.19 * 
    F20.11^-1 * F20.1^-1 * F20.15^-1 * F20.11^-1 * F20.2, F20.6 * F20.1^-1 * 
    F20.8 * F20.6 * F20.4^-1 * F20.13^-1 * F20.16^-1, F20.12 * F20.14^-1 * F20.3
    * F20.13 * F20.1^-1 * F20.8^-2, F20.10^-1 * F20.7 * F20.20^-1 * F20.15^-1 * 
    F20.18^-1 * F20.1^2 ],
    [ F20.13^-1 * F20.5 * F20.3 * F20.9 * F20.2^-1 * F20.7^-2, F20.5 * F20.13 * 
    F20.12 * F20.13^-1 * F20.2 * F20.18 * F20.8^-1, F20.8^-1 * F20.9^-1 * F20.16
    * F20.13^-1 * F20.8 * F20.7^-1 * F20.2, F20.1^-1 * F20.18^-1 * F20.19 * 
    F20.14^-1 * F20.10^-1 * F20.2^-1 * F20.3^-1, F20.18^-1 * F20.4^-1 * 
    F20.11^-1 * F20.7^-1 * F20.13 * F20.5^-1 * F20.18^-1, F20.1 * F20.15^-1 * 
    F20.8^-1 * F20.4 * F20.12 * F20.5 * F20.16^-1, F20.9^-1 * F20.2^-1 * F20.7 *
    F20.20^-1 * F20.6 * F20.16 * F20.13, F20.1 * F20.6 * F20.3^-1 * F20.1^-1 * 
    F20.3^-1 * F20.17 * F20.11, F20.9 * F20.10 * F20.9^-1 * F20.14^-1 * F20.5 * 
    F20.6 * F20.19^-1, F20.5 * F20.20 * F20.14^-1 * F20.18 * F20.11^-1 * F20.7 *
    F20.1^-1, F20.8 * F20.9^-1 * F20.11^-1 * F20.3^-1 * F20.5^-1 * F20.15^-1 * 
    F20.10, F20.13 * F20.7^-1 * F20.9^-1 * F20.4 * F20.7 * F20.8 * F20.5, F20.3 
    * F20.9 * F20.16^-1 * F20.9^-1 * F20.18^-1 * F20.2^-1 * F20.10, F20.1 * 
    F20.3^-2 * F20.2 * F20.12^-1 * F20.6^-1 * F20.2, F20.1^-1 * F20.4 * F20.6 * 
    F20.20 * F20.18 * F20.19^-1 * F20.8, F20.19^-1 * F20.15^2 * F20.1^-1 * 
    F20.19^-1 * F20.14 * F20.8, F20.11^-1 * F20.10^-1 * F20.2^-1 * F20.16 * 
    F20.3^-1 * F20.10 * F20.15, F20.9 * F20.1 * F20.4^-1 * F20.1 * F20.15 * 
    F20.8^-1 * F20.15^-1, F20.13^-1 * F20.3^-1 * F20.5^-1 * F20.7^-1 * F20.2 * 
    F20.10 * F20.6, F20.13 * F20.1 * F20.13 * F20.3^-1 * F20.19 * F20.11 * 
    F20.18^-1, F20.20 * F20.2^-1 * F20.6^-1 * F20.12^-1 * F20.4^-1 * F20.18^-1 *
    F20.11^-1, F20.18 * F20.9^-1 * F20.14^-1 * F20.18^-1 * F20.1 * F20.6^-1 * 
    F20.4^-1, F20.4^-1 * F20.10^-1 * F20.16^-1 * F20.1^-1 * F20.14 * F20.3 * 
    F20.9^-1, F20.12 * F20.17 * F20.13 * F20.11^-1 * F20.2 * F20.20^-1 * F20.7, 
    F20.9^-1 * F20.19 * F20.20^-1 * F20.10^-1 * F20.14 * F20.9^-1 * F20.7, 
    F20.18^-1 * F20.11 * F20.17^-1 * F20.9 * F20.15 * F20.9^-1 * F20.18^-1, 
    F20.11^-1 * F20.10^-1 * F20.14 * F20.4 * F20.6^-1 * F20.3^-1 * F20.15, F20.1
    * F20.2^-1 * F20.18 * F20.6 * F20.14 * F20.3 * F20.5, F20.8^-1 * F20.3^-1 * 
    F20.9 * F20.13^-1 * F20.4^-1 * F20.15 * F20.2^-1, F20.2 * F20.16^-1 * 
    F20.3^-1 * F20.20^-1 * F20.15 * F20.14 * F20.20^-1 ],
    [ F20.17^-1 * F20.14^-1 * F20.9^-1 * F20.14^-1 * F20.8^-1 * F20.5 * F20.20, 
    F20.13 * F20.4^-1 * F20.11 * F20.9 * F20.13 * F20.8 * F20.7, F20.5 * 
    F20.1^-1 * F20.9 * F20.19^-1 * F20.14^-1 * F20.8^-1 * F20.11, F20.14 * F20.8
    * F20.17^-1 * F20.3 * F20.15 * F20.14 * F20.2, F20.15^-1 * F20.12 * 
    F20.15^-1 * F20.20 * F20.1^-1 * F20.18^-1 * F20.5^-1, F20.6 * F20.20 * 
    F20.10 * F20.4^-1 * F20.3^-1 * F20.18^-1 * F20.1^-1, F20.3^-1 * F20.5^-1 * 
    F20.11^-1 * F20.18^-1 * F20.16^-1 * F20.8^-1 * F20.7^-1, F20.7^-2 * F20.19 *
    F20.18 * F20.8^-1 * F20.1^-1 * F20.2^-1, F20.19^-1 * F20.3 * F20.4 * 
    F20.6^-1 * F20.18 * F20.9^-1 * F20.16^-1, F20.11^-1 * F20.4 * F20.17 * 
    F20.11^-1 * F20.7 * F20.5 * F20.15^-1, F20.2 * F20.5^-1 * F20.19 * F20.18 * 
    F20.6^-1 * F20.17 * F20.11, F20.11^-1 * F20.2^-1 * F20.16 * F20.7 * 
    F20.10^-1 * F20.6 * F20.19^-1, F20.3 * F20.19 * F20.1^-1 * F20.5^-2 * F20.16
    * F20.15^-1, F20.17^-1 * F20.11^-1 * F20.6 * F20.14^2 * F20.7 * F20.8^-1, 
    F20.16 * F20.20 * F20.8^-3 * F20.19 * F20.12, F20.3 * F20.16 * F20.2 * 
    F20.8^-1 * F20.17 * F20.16 * F20.12, F20.19 * F20.15^-1 * F20.4 * F20.10 * 
    F20.19 * F20.8 * F20.20, F20.4 * F20.7^-1 * F20.14^-1 * F20.1^-1 * F20.17 * 
    F20.3 * F20.7, F20.1^-1 * F20.16 * F20.8^-1 * F20.12^-1 * F20.1 * F20.19 * 
    F20.8^-1, F20.6^-1 * F20.4 * F20.5^-1 * F20.20^-1 * F20.9^-1 * F20.16^-1 * 
    F20.5, F20.9 * F20.10 * F20.3^-1 * F20.8^-1 * F20.14 * F20.17^-1 * F20.7, 
    F20.19^-1 * F20.17 * F20.7 * F20.16^-1 * F20.17^-2 * F20.14, F20.5 * F20.10 
    * F20.4 * F20.2^-1 * F20.1^-1 * F20.20 * F20.16, F20.13 * F20.12^-1 * F20.5 
    * F20.13 * F20.3^-1 * F20.19 * F20.12, F20.6^-1 * F20.1^-1 * F20.10 * F20.4 
    * F20.6 * F20.12^-1 * F20.13, F20.7^-1 * F20.13 * F20.8 * F20.18^-1 * 
    F20.13^-1 * F20.7 * F20.13^-1, F20.11^-1 * F20.4^-1 * F20.1 * F20.16^-1 * 
    F20.11^-1 * F20.18 * F20.1^-1, F20.18^-1 * F20.10^2 * F20.4 * F20.7^-1 * 
    F20.13 * F20.12^-1, F20.17^-1 * F20.16^-1 * F20.5^-1 * F20.15^-1 * F20.9^-1 
    * F20.13 * F20.12^-1, F20.20^-1 * F20.2 * F20.13^-1 * F20.20^-1 * F20.6^-1 *
    F20.20 * F20.18 ],
    [ F20.12 * F20.5^-1 * F20.18 * F20.2 * F20.15^-1 * F20.6 * F20.2, F20.18^-1 
    * F20.19 * F20.6^-2 * F20.2 * F20.14^-1 * F20.9^-1, F20.10^-1 * F20.5 * 
    F20.3 * F20.2^-1 * F20.15 * F20.17^-1 * F20.8^-1, F20.15 * F20.4^-1 * 
    F20.11^-1 * F20.1 * F20.4^-1 * F20.6^2, F20.19^-1 * F20.3^-1 * F20.9 * 
    F20.11 * F20.3^-1 * F20.6 * F20.20, F20.4 * F20.12^-1 * F20.16 * F20.15^-1 *
    F20.4^-1 * F20.14^-1 * F20.15^-1, F20.13 * F20.20 * F20.4 * F20.8 * 
    F20.20^-1 * F20.18 * F20.2, F20.5^-1 * F20.16^-1 * F20.8^-1 * F20.14^-1 * 
    F20.16 * F20.13^-1 * F20.1, F20.18^-1 * F20.11 * F20.7^-1 * F20.13^-1 * 
    F20.15 * F20.11^-1 * F20.12^-1, F20.12^-1 * F20.10 * F20.2^-1 * F20.14^-1 * 
    F20.8^-1 * F20.1^-1 * F20.6^-1, F20.14 * F20.19^-1 * F20.8 * F20.6^-1 * 
    F20.4 * F20.17 * F20.7^-1, F20.12^-1 * F20.8 * F20.20 * F20.11^-2 * F20.7 * 
    F20.20, F20.18^-1 * F20.16 * F20.2 * F20.3^-1 * F20.4 * F20.11^-1 * F20.20, 
    F20.8 * F20.10^-1 * F20.16 * F20.19^-1 * F20.4 * F20.17^-1 * F20.4, F20.12 *
    F20.5^-1 * F20.16 * F20.18 * F20.16^-1 * F20.5 * F20.13, F20.9 * F20.8 * 
    F20.3 * F20.9 * F20.18^-1 * F20.14^-1 * F20.3^-1, F20.18^-1 * F20.11^-1 * 
    F20.17^-1 * F20.1 * F20.5 * F20.4 * F20.5, F20.15^-1 * F20.10 * F20.2^-1 * 
    F20.5^-1 * F20.13 * F20.14 * F20.5^-1, F20.13^-1 * F20.6^-1 * F20.10^-1 * 
    F20.1 * F20.7^-1 * F20.12^-1 * F20.5^-1, F20.17^-1 * F20.19 * F20.15^-1 * 
    F20.20^-1 * F20.8^-1 * F20.13^-1 * F20.8, F20.9^-1 * F20.2 * F20.12^-1 * 
    F20.11^-1 * F20.16 * F20.15 * F20.1, F20.18^-1 * F20.4 * F20.18 * F20.9^2 * 
    F20.6^-1 * F20.8, F20.6^-1 * F20.19^-1 * F20.8 * F20.11 * F20.20^-1 * F20.16
    * F20.17, F20.19^-1 * F20.5^-1 * F20.4^-1 * F20.12 * F20.2^-1 * F20.13 * 
    F20.15^-1, F20.8 * F20.7 * F20.2^-1 * F20.16 * F20.5^-1 * F20.7^-1 * 
    F20.2^-1, F20.1^-1 * F20.12^-1 * F20.5^-1 * F20.9^-1 * F20.3^-1 * F20.10 * 
    F20.12, F20.6^-1 * F20.17^-1 * F20.7^-1 * F20.18 * F20.13 * F20.12^-1 * 
    F20.10^-1, F20.12^-1 * F20.16^-1 * F20.9 * F20.5 * F20.12 * F20.15 * F20.11,
    F20.7^-1 * F20.17 * F20.15^-1 * F20.3^-1 * F20.4 * F20.18^-1 * F20.12^-1, 
    F20.6 * F20.4^-1 * F20.11 * F20.19^-1 * F20.5 * F20.10 * F20.3 ],
    [ F20.18 * F20.4^-1 * F20.9^-1 * F20.2^-1 * F20.13 * F20.10^-1 * F20.16^-1, 
    F20.11 * F20.5 * F20.12^-1 * F20.1^-1 * F20.15 * F20.8 * F20.1^-1, F20.18 * 
    F20.9 * F20.3 * F20.19^-1 * F20.16^-1 * F20.11 * F20.16, F20.17 * F20.15 * 
    F20.6^-1 * F20.14^-1 * F20.1 * F20.6^-1 * F20.7^-1, F20.10 * F20.2^-1 * 
    F20.4 * F20.7 * F20.8^-1 * F20.9^-1 * F20.8, F20.9 * F20.18 * F20.4^-1 * 
    F20.10^-1 * F20.15^-1 * F20.2^-1 * F20.14^-1, F20.17^-1 * F20.15^-1 * F20.6 
    * F20.20^-1 * F20.18^-1 * F20.6 * F20.8^-1, F20.1 * F20.6^-1 * F20.9^2 * 
    F20.17^-1 * F20.20 * F20.3, F20.1 * F20.15^-1 * F20.2 * F20.17 * F20.3^-2 * 
    F20.17, F20.14^-1 * F20.15 * F20.3 * F20.7 * F20.10^-1 * F20.20^-1 * F20.16,
    F20.14 * F20.7 * F20.9^-1 * F20.2 * F20.12^-1 * F20.17 * F20.3, F20.8^-1 * 
    F20.6 * F20.9 * F20.7^-2 * F20.6 * F20.20^-1, F20.8 * F20.13 * F20.11 * 
    F20.7 * F20.5^-1 * F20.14 * F20.2^-1, F20.6^-1 * F20.3^-1 * F20.12 * F20.8 *
    F20.17^-1 * F20.6^-1 * F20.2, F20.6^-1 * F20.9 * F20.19^-1 * F20.14^-1 * 
    F20.10^-1 * F20.11^-1 * F20.15, F20.17 * F20.18^-1 * F20.13^-1 * F20.9^-1 * 
    F20.20 * F20.1^-1 * F20.3, F20.8 * F20.5^-1 * F20.4 * F20.5^-1 * F20.18^-1 *
    F20.15 * F20.13^-1, F20.5 * F20.6^-1 * F20.18^-1 * F20.7 * F20.1^-1 * 
    F20.6^-1 * F20.16, F20.11 * F20.13^-1 * F20.2^-1 * F20.8^-1 * F20.7^-1 * 
    F20.15 * F20.8^-1, F20.3 * F20.16^-1 * F20.13^-1 * F20.1 * F20.18^-1 * 
    F20.3^-1 * F20.4^-1, F20.9^-1 * F20.4^-1 * F20.20^-1 * F20.19^-1 * F20.20^-1
    * F20.1^-1 * F20.8, F20.6^-1 * F20.14 * F20.6^-1 * F20.17^2 * F20.11 * 
    F20.18, F20.11 * F20.19^-1 * F20.3^-1 * F20.19 * F20.9^-1 * F20.1^-1 * 
    F20.7, F20.17^-1 * F20.11^-1 * F20.2^-1 * F20.11^-1 * F20.14^-1 * F20.11^-1 
    * F20.13, F20.2 * F20.16^-1 * F20.4 * F20.10^-1 * F20.11 * F20.12 * 
    F20.8^-1, F20.3^-1 * F20.9 * F20.13 * F20.1 * F20.6 * F20.10^-1 * F20.1, 
    F20.20^-1 * F20.15 * F20.12^-1 * F20.6 * F20.10^-1 * F20.14 * F20.13^-1, 
    F20.7^-2 * F20.5^-1 * F20.18^-1 * F20.1^-1 * F20.11 * F20.15, F20.1^-1 * 
    F20.13^-1 * F20.14 * F20.13^-1 * F20.4 * F20.13^-1 * F20.15^-1, F20.16^-1 * 
    F20.3 * F20.11 * F20.8^-1 * F20.14^-1 * F20.10^-1 * F20.16^-1 ],
    [ F20.19^-1 * F20.13^-1 * F20.9^-1 * F20.5^-1 * F20.4^-1 * F20.2^-1 * F20.5,
    F20.2^-1 * F20.3^-1 * F20.12 * F20.7 * F20.1 * F20.19 * F20.3, F20.13^-1 * 
    F20.9^-1 * F20.14^-1 * F20.13^-1 * F20.15 * F20.17 * F20.14^-1, F20.3 * 
    F20.7 * F20.1 * F20.13 * F20.6 * F20.12^-1 * F20.7^-1, F20.2^-1 * F20.19 * 
    F20.2^-2 * F20.4^-1 * F20.14 * F20.7^-1, F20.3^-1 * F20.8 * F20.7 * 
    F20.19^-1 * F20.9 * F20.11 * F20.15^-1, F20.5 * F20.14^-1 * F20.6^-1 * 
    F20.15^-1 * F20.7^-1 * F20.2^-1 * F20.19^-1, F20.14 * F20.17^-1 * F20.15^-1 
    * F20.5^-1 * F20.10 * F20.2^-1 * F20.4^-1, F20.13 * F20.12 * F20.7^-1 * 
    F20.15^-1 * F20.14^-1 * F20.18^-1 * F20.1, F20.16 * F20.14 * F20.20 * 
    F20.6^-1 * F20.4 * F20.1^-1 * F20.7^-1, F20.4 * F20.2^-1 * F20.15 * F20.20 *
    F20.17^-1 * F20.2 * F20.8, F20.10^-1 * F20.18^-1 * F20.2^-1 * F20.4^-1 * 
    F20.8^-1 * F20.18^-1 * F20.14, F20.10^-1 * F20.9^-1 * F20.6^-1 * F20.16^-1 *
    F20.12 * F20.5 * F20.4, F20.10 * F20.13 * F20.1^-1 * F20.7^-1 * F20.17^-1 * 
    F20.15^-1 * F20.9, F20.5 * F20.13^-2 * F20.14^2 * F20.18^2, F20.1 * 
    F20.12^-1 * F20.16 * F20.19^-1 * F20.15^-1 * F20.19 * F20.12, F20.13^-1 * 
    F20.5 * F20.14 * F20.10 * F20.16^-1 * F20.10 * F20.5, F20.18 * F20.20^-1 * 
    F20.7^-1 * F20.13^-2 * F20.18 * F20.10^-1, F20.15 * F20.18^-1 * F20.15 * 
    F20.11^-1 * F20.14 * F20.8 * F20.14^-1, F20.5 * F20.8^-1 * F20.7 * F20.9^-1 
    * F20.14^-1 * F20.18^-1 * F20.14^-1, F20.12^-1 * F20.16^-1 * F20.6^-1 * 
    F20.10^-1 * F20.8^-1 * F20.9^-1 * F20.19, F20.16^-1 * F20.18^-1 * F20.16 * 
    F20.11^-1 * F20.5 * F20.16^-1 * F20.3, F20.7^-1 * F20.10^-1 * F20.4 * 
    F20.15^-1 * F20.19 * F20.8^-1 * F20.15^-1, F20.5^-1 * F20.16 * F20.14^-1 * 
    F20.9^-1 * F20.16 * F20.8 * F20.17^-1, F20.13^-1 * F20.1 * F20.9 * F20.19 * 
    F20.8 * F20.6 * F20.5, F20.12^-1 * F20.5 * F20.20^-1 * F20.14 * F20.19^-1 * 
    F20.4 * F20.5^-1, F20.19^-1 * F20.17^-1 * F20.18^-1 * F20.1^-1 * F20.17 * 
    F20.20 * F20.6^-1, F20.8 * F20.17 * F20.19 * F20.3^-1 * F20.11 * F20.2 * 
    F20.11^-1, F20.11^-1 * F20.19^-1 * F20.9 * F20.5^-1 * F20.9 * F20.7 * 
    F20.14^-1, F20.8^-1 * F20.10 * F20.13 * F20.19 * F20.11 * F20.13^-1 * 
    F20.8^-1 ],
    [ F20.16^-1 * F20.8^-1 * F20.11^-1 * F20.2 * F20.16^-1 * F20.6 * F20.1, 
    F20.13^-1 * F20.14 * F20.1 * F20.19 * F20.1 * F20.2 * F20.8, F20.8 * F20.18 
    * F20.16 * F20.2^-1 * F20.13 * F20.14^-1 * F20.19, F20.11 * F20.8 * F20.9^-1
    * F20.1 * F20.14 * F20.10 * F20.3, F20.5^-1 * F20.17 * F20.5 * F20.11 * 
    F20.8^-1 * F20.7^2, F20.10^-1 * F20.16 * F20.15^-1 * F20.18^-1 * F20.11^-1 *
    F20.5^-1 * F20.1^-1, F20.9^-1 * F20.8 * F20.20^-1 * F20.11^-1 * F20.1 * 
    F20.6^-1 * F20.5^-1, F20.14^-1 * F20.2^-1 * F20.9^-1 * F20.17 * F20.2 * 
    F20.1^-2, F20.16 * F20.1 * F20.20 * F20.8 * F20.16^-1 * F20.9 * F20.10, 
    F20.7^-1 * F20.11 * F20.1 * F20.19^-1 * F20.3 * F20.19 * F20.8, F20.3^-1 * 
    F20.8 * F20.9 * F20.2 * F20.18^-1 * F20.3^-1 * F20.1^-1, F20.12 * F20.1 * 
    F20.5 * F20.7 * F20.20 * F20.9^-1 * F20.5, F20.7 * F20.9^-1 * F20.4^-1 * 
    F20.7 * F20.11^-1 * F20.3^-1 * F20.10, F20.1^-1 * F20.14^-1 * F20.8^-1 * 
    F20.14 * F20.17^-1 * F20.12^-1 * F20.11, F20.20^-1 * F20.18^-1 * F20.19 * 
    F20.16^-1 * F20.15 * F20.6 * F20.14^-1, F20.1 * F20.18^-1 * F20.15^-1 * 
    F20.3 * F20.7^-1 * F20.15^-1 * F20.10^-1, F20.13^-1 * F20.11 * F20.10^-1 * 
    F20.19^-1 * F20.14 * F20.9^-1 * F20.1, F20.6^-1 * F20.16^-1 * F20.5^-2 * 
    F20.13^-1 * F20.2 * F20.5^-1, F20.1 * F20.7 * F20.10^-1 * F20.16^-1 * 
    F20.20^-1 * F20.19 * F20.17, F20.15^-1 * F20.9 * F20.4^-1 * F20.19^-1 * 
    F20.9 * F20.4^-1 * F20.5, F20.7^-1 * F20.14 * F20.15 * F20.17^-1 * F20.19 * 
    F20.10 * F20.1^-1, F20.6^-1 * F20.1 * F20.9 * F20.20 * F20.19 * F20.18 * 
    F20.13, F20.4^-1 * F20.12 * F20.16 * F20.14 * F20.9^-1 * F20.13 * F20.18^-1,
    F20.3 * F20.11 * F20.9^-1 * F20.2^-1 * F20.14^-1 * F20.17^-1 * F20.13^-1, 
    F20.4 * F20.19 * F20.17 * F20.1 * F20.5^-1 * F20.19 * F20.15, F20.16^-1 * 
    F20.18 * F20.11 * F20.9 * F20.17^-1 * F20.18 * F20.19, F20.19 * F20.9^-1 * 
    F20.17 * F20.10 * F20.5 * F20.2 * F20.15^-1, F20.8^2 * F20.19^-1 * F20.12^-1
    * F20.3 * F20.12 * F20.16^-1, F20.19^-1 * F20.15^-1 * F20.2 * F20.6^-1 * 
    F20.7^-1 * F20.6 * F20.16, F20.18^-1 * F20.2 * F20.13^-1 * F20.12^-1 * 
    F20.17^-1 * F20.6 * F20.15^-1 ],
    [ F20.2 * F20.3^-1 * F20.19^-1 * F20.18^-1 * F20.19^-1 * F20.1^2, F20.17^-1 
    * F20.20^-1 * F20.1^-1 * F20.6^-1 * F20.9 * F20.12^-1 * F20.1^-1, F20.10 * 
    F20.6 * F20.9 * F20.8 * F20.18^-1 * F20.13^-1 * F20.9^-1, F20.10 * F20.3^-1 
    * F20.1^-1 * F20.12 * F20.17 * F20.12 * F20.10, F20.18^-1 * F20.20^-1 * 
    F20.17 * F20.2^-1 * F20.12 * F20.7 * F20.8, F20.4^-1 * F20.11 * F20.17 * 
    F20.1^-1 * F20.12^-1 * F20.3 * F20.17^-1, F20.4 * F20.18 * F20.16^-1 * 
--> --------------------

--> maximum size reached

--> --------------------

[ Dauer der Verarbeitung: 0.31 Sekunden  (vorverarbeitet)  ]