Quelle  s3s3.out   Sprache: unbekannt

FS3 := FreeGroup(8);

# pg_s3s3 := PregroupOfFreeProduct(SymmetricGroup(3), SymmetricGroup(3));
# This pregroup is constructed to ease comparison between Derek's code
# and mine. 
table :=
[ [   1,   2,   3,   4,   5,   6,   7,   8,   9,  10,  11 ],
  [   2,   1,   5,   6,   3,   4,   0,   0,   0,   0,   0 ],
  [   3,   6,   1,   5,   4,   2,   0,   0,   0,   0,   0 ],
  [   4,   5,   6,   1,   2,   3,   0,   0,   0,   0,   0 ],
  [   5,   4,   2,   3,   6,   1,   0,   0,   0,   0,   0 ],
  [   6,   3,   4,   2,   1,   5,   0,   0,   0,   0,   0 ],
  [   7,   0,   0,   0,   0,   0,   1,  10,  11,   8,   9 ],
  [   8,   0,   0,   0,   0,   0,  11,   1,  10,   9,   7 ],
  [   9,   0,   0,   0,   0,   0,  10,  11,   1,   7,   8 ],
  [  10,   0,   0,   0,   0,   0,   9,   7,   8,  11,   1 ],
  [  11,   0,   0,   0,   0,   0,   8,   9,   7,   1,  10 ] ];

pg_s3s3 := PregroupByTable( [ "1", "f1", "f2", "f3", "f4", "F4", "f5", "f6", "f7", "f8", "F8" ]
                          , table );


rgreenS3S3:= [
    [ FS3.4^-1 * FS3.7 * 
    FS3.3 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.4 * FS3.7 * FS3.4 * FS3.8 * FS3.2 * 
    FS3.5 * FS3.1 * FS3.7 ],
    [ FS3.2 * FS3.5 * 
    FS3.1 * FS3.8 * FS3.3 * FS3.8 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.1 * 
    FS3.8^-1 * FS3.4 * FS3.7 ],
    [ FS3.1 * FS3.5 * 
    FS3.2 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.4 * FS3.8 * FS3.4^-1 
    * FS3.6 * FS3.2 * FS3.8 ],
    [ FS3.3 * FS3.7 * 
    FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.5 * 
    FS3.1 * FS3.8 * FS3.1 * FS3.7 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.7 * FS3.3 * FS3.6 * FS3.4 * FS3.6 * FS3.4 
    * FS3.6 * FS3.4 * FS3.6 ],
    [ FS3.3 * FS3.8^-1 * 
    FS3.4^-1 * FS3.5 * FS3.2 * FS3.7 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.5 * 
    FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.7 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.4 * FS3.8 * FS3.1 * FS3.8 * FS3.2 * FS3.8 * FS3.3 * FS3.8 * FS3.2 * 
    FS3.6 * FS3.4 * FS3.8^-1 ],
    [ FS3.3 * FS3.8^-1 * 
    FS3.3 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.4 
    * FS3.8^-1 * FS3.2 * FS3.6 ],
    [ FS3.1 * FS3.6 * 
    FS3.3 * FS3.7 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.5 * FS3.4 * 
    FS3.8 * FS3.2 * FS3.5 ],
    [ FS3.4 * FS3.5 * 
    FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.1 * FS3.8 * 
    FS3.4^-1 * FS3.7 * FS3.1 * FS3.5 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.2 * FS3.8 * FS3.1 * FS3.5 * FS3.1 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.4 * 
    FS3.5 * FS3.3 * FS3.8^-1 ],
    [ FS3.4^-1 * FS3.6 * 
    FS3.3 * FS3.8 * FS3.3 * FS3.8 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.5 * FS3.1 * 
    FS3.6 * FS3.4^-1 * FS3.7 ],
    [ FS3.4 * FS3.6 * 
    FS3.2 * FS3.7 * FS3.4 * FS3.6 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.2 * 
    FS3.8 * FS3.1 * FS3.6 ],
    [ FS3.4^-1 * FS3.8^-1 
    * FS3.2 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.3 * FS3.8 * FS3.3 *
    FS3.5 * FS3.3 * FS3.8^-1 ],
    [ FS3.2 * FS3.7 * 
    FS3.3 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.1 * FS3.5 * FS3.3 * FS3.7 * FS3.3 * 
    FS3.7 * FS3.3 * FS3.6 ],
    [ FS3.2 * FS3.7 * 
    FS3.2 * FS3.8 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.3 * FS3.5 * FS3.4 * 
    FS3.5 * FS3.2 * FS3.8^-1 ],
    [ FS3.1 * FS3.8 * 
    FS3.3 * FS3.8 * FS3.1 * FS3.5 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.8 * FS3.2 * 
    FS3.7 * FS3.4 * FS3.6 ],
    [ FS3.3 * FS3.5 * 
    FS3.4 * FS3.5 * FS3.1 * FS3.7 * FS3.4 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.4^-1 
    * FS3.8^-1 * FS3.2 * FS3.7 ],
    [ FS3.2 * FS3.6 * 
    FS3.2 * FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.6 * 
    FS3.4 * FS3.7 * FS3.2 * FS3.8 ],
    [ FS3.2 * FS3.6 * 
    FS3.3 * FS3.8 * FS3.3 * FS3.5 * FS3.3 * FS3.8 * FS3.4 * FS3.6 * FS3.4^-1 * 
    FS3.6 * FS3.4 * FS3.8 ],
    [ FS3.1 * FS3.8 * 
    FS3.1 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.1 * FS3.6 * FS3.3 * FS3.5 * FS3.1 * 
    FS3.6 * FS3.2 * FS3.8 * FS3.3 * FS3.5 * FS3.2 * FS3.7, FS3.2 * FS3.7 * FS3.4
    * FS3.5 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.7 * FS3.4 * FS3.6 * FS3.2 * 
    FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.1 * FS3.6 * FS3.3 * 
    FS3.5 * FS3.3 * FS3.6 * FS3.4 * FS3.5 ],
    [ FS3.4^-1 * FS3.5 * 
    FS3.1 * FS3.7 * FS3.4 * FS3.8 * FS3.2 * FS3.8 * FS3.3 * FS3.7 * FS3.3 * 
    FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.8, FS3.4^-1 
    * FS3.8 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.8^-1 * FS3.4 
    * FS3.5 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.4 * FS3.6 * FS3.2 * 
    FS3.8^-1 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.7 ],
    [ FS3.4^-1 * FS3.7 * 
    FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.5 * 
    FS3.3 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.6 * FS3.4 * FS3.7, FS3.4^-1 *
    FS3.8^-1 * FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.1 * FS3.7 * FS3.2 * 
    FS3.8 * FS3.4 * FS3.8 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.8 * 
    FS3.4^-1 * FS3.5 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.6 ],
    [ FS3.3 * FS3.8 * 
    FS3.3 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.7 * FS3.3 
    * FS3.7 * FS3.1 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.5, FS3.3 * FS3.8 * 
    FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.5 * FS3.4 * FS3.6 * FS3.4 
    * FS3.7 * FS3.2 * FS3.5 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.4^-1 * 
    FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.6 ],
    [ FS3.2 * FS3.7 * 
    FS3.4^-1 * FS3.7 * FS3.1 * FS3.8 * FS3.1 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.2 
    * FS3.5 * FS3.4 * FS3.8 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.6, FS3.4 * FS3.7 * 
    FS3.4^-1 * FS3.6 * FS3.1 * FS3.8 * FS3.2 * FS3.6 * FS3.3 * FS3.7 * FS3.4^-1 
    * FS3.6 * FS3.3 * FS3.8 * FS3.2 * FS3.5 * FS3.3 * FS3.8 * FS3.3 * FS3.6 * 
    FS3.2 * FS3.8 * FS3.4 * FS3.8^-1 ],
    [ FS3.2 * FS3.5 * 
    FS3.1 * FS3.8 * FS3.3 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.2 
    * FS3.8 * FS3.3 * FS3.7 * FS3.3 * FS3.6 * FS3.1 * FS3.6, FS3.2 * FS3.8 * 
    FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.8 * 
    FS3.2 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.3 
    * FS3.8^-1 * FS3.1 * FS3.7 * FS3.2 * FS3.6 ],
    [ FS3.2 * FS3.8 * 
    FS3.4 * FS3.8 * FS3.1 * FS3.8 * FS3.1 * FS3.8 * FS3.4 * FS3.6 * FS3.3 * 
    FS3.6 * FS3.3 * FS3.5 * FS3.4 * FS3.8 * FS3.1 * FS3.5, FS3.3 * FS3.5 * FS3.3
    * FS3.7 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.4^-1 * 
    FS3.7 * FS3.3 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.4^-1 * 
    FS3.8 * FS3.4 * FS3.8 * FS3.1 * FS3.5 ],
    [ FS3.4 * FS3.8^-1 * 
    FS3.1 * FS3.5 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.4 * FS3.5 * FS3.4^-1 
    * FS3.5 * FS3.4^-1 * FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.6, FS3.4 * 
    FS3.8 * FS3.4 * FS3.5 * FS3.2 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.5 * 
    FS3.3 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.8^-1 * 
    FS3.1 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.4 * FS3.8 ],
    [ FS3.4 * FS3.8^-1 * 
    FS3.1 * FS3.5 * FS3.3 * FS3.6 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.1 * 
    FS3.7 * FS3.3 * FS3.7 * FS3.1 * FS3.8 * FS3.2 * FS3.8^-1, FS3.4^-1 * FS3.7 *
    FS3.2 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.1 * FS3.7 * FS3.4 * 
    FS3.8 * FS3.3 * FS3.8 * FS3.1 * FS3.5 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.8 * 
    FS3.2 * FS3.7 * FS3.2 * FS3.6 ],
    [ FS3.3 * FS3.7 * 
    FS3.3 * FS3.8 * FS3.3 * FS3.5 * FS3.1 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.1 * 
    FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.6 * FS3.4 * FS3.8^-1, FS3.4 * 
    FS3.8^-1 * FS3.1 * FS3.5 * FS3.1 * FS3.5 * FS3.1 * FS3.5 * FS3.1 * FS3.8 * 
    FS3.3 * FS3.8 * FS3.3 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.3 
    * FS3.5 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.8 ],
    [ FS3.2 * FS3.6 * 
    FS3.3 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.2 
    * FS3.5 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.3 * FS3.6, FS3.2 * FS3.8 * 
    FS3.3 * FS3.8 * FS3.1 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.4^-1 
    * FS3.7 * FS3.3 * FS3.7 * FS3.1 * FS3.6 * FS3.4 * FS3.7 * FS3.1 * FS3.7 * 
    FS3.3 * FS3.8 * FS3.4 * FS3.5 ],
    [ FS3.4^-1 * FS3.8 * 
    FS3.1 * FS3.7 * FS3.4 * FS3.8 * FS3.2 * FS3.6 * FS3.4 * FS3.8 * FS3.1 * 
    FS3.8 * FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.8^-1, FS3.3 * 
    FS3.7 * FS3.1 * FS3.5 * FS3.3 * FS3.7 * FS3.3 * FS3.8 * FS3.2 * FS3.8^-1 * 
    FS3.1 * FS3.8 * FS3.4 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.8 * FS3.2 * 
    FS3.6 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.5 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.7 * FS3.1 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.6 * FS3.4 
    * FS3.6 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.2 * FS3.5, FS3.1 * FS3.8 * 
    FS3.1 * FS3.5 * FS3.1 * FS3.8 * FS3.3 * FS3.8 * FS3.3 * FS3.5 * FS3.1 * 
    FS3.8 * FS3.4 * FS3.7 * FS3.4 * FS3.5 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.8 * 
    FS3.2 * FS3.7 * FS3.1 * FS3.6 ],
    [ FS3.2 * FS3.6 * 
    FS3.1 * FS3.7 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.4 
    * FS3.7 * FS3.1 * FS3.7 * FS3.3 * FS3.5 * FS3.1 * FS3.6, FS3.1 * FS3.5 * 
    FS3.4^-1 * FS3.5 * FS3.3 * FS3.6 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.4^-1 * FS3.8 * 
    FS3.2 * FS3.7 * FS3.3 * FS3.8 * FS3.4 * FS3.5 ],
    [ FS3.2 * FS3.7 * 
    FS3.4 * FS3.5 * FS3.1 * FS3.7 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.2 * 
    FS3.6 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.1 * FS3.8^-1, FS3.4^-1 * 
    FS3.5 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.5 
    * FS3.2 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.8 * FS3.1 * FS3.8^-1 * 
    FS3.1 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.8 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.5 * FS3.3 * FS3.6 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.3 
    * FS3.7 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.7, FS3.3 * FS3.7
    * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.6 * 
    FS3.1 * FS3.8 * FS3.1 * FS3.8 * FS3.1 * FS3.8 * FS3.1 * FS3.7 * FS3.1 * 
    FS3.7 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.8^-1 ],
    [ FS3.2 * FS3.6 * 
    FS3.1 * FS3.8 * FS3.1 * FS3.5 * FS3.3 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.2 * 
    FS3.5 * FS3.1 * FS3.6 * FS3.1 * FS3.6 * FS3.1 * FS3.8^-1, FS3.4 * FS3.5 * 
    FS3.3 * FS3.7 * FS3.2 * FS3.7 * FS3.1 * FS3.6 * FS3.2 * FS3.6 * FS3.4^-1 * 
    FS3.8^-1 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.8 * FS3.1 * FS3.7 * FS3.1 * FS3.5 
    * FS3.1 * FS3.8^-1 * FS3.4 * FS3.5 ],
    [ FS3.3 * FS3.8^-1 * 
    FS3.4 * FS3.8^-1 * FS3.3 * FS3.7 * FS3.3 * FS3.7 * FS3.4 * FS3.8 * FS3.3 * 
    FS3.7 * FS3.2 * FS3.8 * FS3.2 * FS3.7 * FS3.4 * FS3.6, FS3.1 * FS3.8 * FS3.2
    * FS3.5 * FS3.2 * FS3.6 * FS3.2 * FS3.8 * FS3.3 * FS3.8 * FS3.3 * FS3.8^-1 *
    FS3.3 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.7 * FS3.4 * FS3.6 * FS3.2 
    * FS3.8 * FS3.2 * FS3.6 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.3 * FS3.8 * FS3.4 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.3 * FS3.6 * FS3.4^-1 
    * FS3.6 * FS3.4^-1 * FS3.8 * FS3.2 * FS3.8 * FS3.4 * FS3.6, FS3.4 * FS3.8^-1
    * FS3.2 * FS3.7 * FS3.3 * FS3.7 * FS3.1 * FS3.5 * FS3.1 * FS3.8 * FS3.1 * 
    FS3.8 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.8 * FS3.4 * FS3.8 * 
    FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.8^-1 ],
    [ FS3.2 * FS3.5 * 
    FS3.2 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.8 * FS3.1 * FS3.5 * 
    FS3.1 * FS3.5 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.5, FS3.2 *
    FS3.8 * FS3.4 * FS3.5 * FS3.4 * FS3.7 * FS3.2 * FS3.5 * FS3.4 * FS3.8 * 
    FS3.4 * FS3.6 * FS3.2 * FS3.7 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.8 * FS3.4 * 
    FS3.8^-1 * FS3.2 * FS3.5 * FS3.1 * FS3.7 ],
    [ FS3.2 * FS3.5 * 
    FS3.2 * FS3.7 * FS3.3 * FS3.7 * FS3.2 * FS3.8 * FS3.4 * FS3.7 * FS3.3 * 
    FS3.7 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.7 * FS3.4^-1 * 
    FS3.5, FS3.1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4 * 
    FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.8 * FS3.1 * 
    FS3.6 * FS3.4 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.3 * FS3.6 * FS3.3 * FS3.6, 
    FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.3 * FS3.8 * FS3.2 * FS3.8^-1 * 
    FS3.1 * FS3.6 * FS3.1 * FS3.6 * FS3.2 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.4^-1 
    * FS3.7 * FS3.1 * FS3.6 * FS3.2 * FS3.6 * FS3.1 * FS3.8 * FS3.2 * FS3.8^-1 *
    FS3.4 * FS3.6 * FS3.4 * FS3.7 ],
    [ FS3.4 * FS3.8^-1 * 
    FS3.3 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.5 * 
    FS3.4^-1 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.8 * 
    FS3.3 * FS3.8, FS3.3 * FS3.6 * FS3.4 * FS3.7 * FS3.3 * FS3.8^-1 * FS3.1 * 
    FS3.6 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.6 * FS3.4 * FS3.6 * FS3.2 * FS3.8 * 
    FS3.3 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.2 * FS3.8 * FS3.4 * FS3.5, FS3.3 * 
    FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.4 * FS3.8 * FS3.4 * FS3.5 
    * FS3.1 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.7 * 
    FS3.1 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.1 * FS3.6 * FS3.4 * FS3.5 * FS3.4^-1 
    * FS3.6 * FS3.3 * FS3.5 ],
    [ FS3.4^-1 * FS3.7 * 
    FS3.3 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.5 * 
    FS3.4^-1 * FS3.5 * FS3.1 * FS3.7 * FS3.2 * FS3.5 * FS3.3 * FS3.8 * FS3.3 * 
    FS3.7, FS3.4 * FS3.5 * FS3.3 * FS3.6 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.5 * 
    FS3.3 * FS3.7 * FS3.2 * FS3.8 * FS3.1 * FS3.7 * FS3.3 * FS3.8^-1 * FS3.4 * 
    FS3.7 * FS3.3 * FS3.7 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.5, FS3.4 * FS3.7 * 
    FS3.1 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.6 * FS3.3 * FS3.6 * 
    FS3.4^-1 * FS3.5 * FS3.2 * FS3.8 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.8^-1 * 
    FS3.4 * FS3.8 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.6 * 
    FS3.4^-1 * FS3.6 * FS3.3 * FS3.8^-1 ],
    [ FS3.3 * FS3.8^-1 * 
    FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.5 * 
    FS3.1 * FS3.7 * FS3.4 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.1 
    * FS3.8, FS3.3 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.1 * FS3.6
    * FS3.1 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.4^-1 * FS3.8 * 
    FS3.3 * FS3.8 * FS3.4^-1 * FS3.8 * FS3.1 * FS3.8 * FS3.1 * FS3.7, FS3.4 * 
    FS3.5 * FS3.2 * FS3.5 * FS3.4 * FS3.8 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.5 * 
    FS3.1 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.4 * FS3.5 * FS3.3 * FS3.8 * FS3.3 * 
    FS3.5 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.3 * 
    FS3.5 * FS3.2 * FS3.8^-1 ],
    [ FS3.4 * FS3.6 * 
    FS3.4 * FS3.7 * FS3.1 * FS3.5 * FS3.3 * FS3.7 * FS3.1 * FS3.5 * FS3.3 * 
    FS3.5 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.3 * FS3.8,
    FS3.1 * FS3.6 * FS3.1 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.1 * 
    FS3.6 * FS3.1 * FS3.6 * FS3.1 * FS3.8 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.7 * 
    FS3.3 * FS3.6 * FS3.1 * FS3.5 * FS3.3 * FS3.7, FS3.4^-1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.6 * 
    FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.5 * 
    FS3.3 * FS3.6 * FS3.1 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.3 
    * FS3.7 * FS3.1 * FS3.8 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.2 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.3 * FS3.8 * FS3.2 
    * FS3.7 * FS3.4 * FS3.8 * FS3.2 * FS3.5 * FS3.1 * FS3.5 * FS3.3 * FS3.5, 
    FS3.4 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.5 * 
    FS3.4 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.3 * FS3.5 * FS3.3 * FS3.8 * FS3.4 * 
    FS3.7 * FS3.3 * FS3.8 * FS3.2 * FS3.8 * FS3.1 * FS3.5, FS3.2 * FS3.7 * FS3.4
    * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.2 * 
    FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.2 * FS3.6 * FS3.2 * FS3.8 * FS3.2 * 
    FS3.8^-1 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.4^-1 * FS3.8 * FS3.4^-1 * 
    FS3.8^-1 * FS3.4 * FS3.8 ],
    [ FS3.3 * FS3.5 * 
    FS3.2 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.8 * 
    FS3.4^-1 * FS3.8 * FS3.1 * FS3.5 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.7 * 
    FS3.4^-1 * FS3.5, FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.7 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.7 * FS3.4 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8, FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.4^-1 * FS3.5 * 
    FS3.3 * FS3.5 * FS3.2 * FS3.7 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.2 * 
    FS3.8^-1 * FS3.4 * FS3.6 * FS3.3 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.5 
    * FS3.3 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.6 ],
    [ FS3.1 * FS3.5 * 
    FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.1 * FS3.6 * FS3.3 * FS3.8^-1 * 
    FS3.1 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.7 * FS3.1 
    * FS3.7, FS3.4^-1 * FS3.8 * FS3.1 * FS3.5 * FS3.1 * FS3.5 * FS3.1 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.5 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.8 * FS3.4^-1 * 
    FS3.8^-1, FS3.3 * FS3.8 * FS3.1 * FS3.7 * FS3.2 * FS3.8 * FS3.1 * FS3.5 * 
    FS3.4^-1 * FS3.6 * FS3.1 * FS3.6 * FS3.1 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.2 
    * FS3.8^-1 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.3 * FS3.5 * FS3.1 * 
    FS3.5 * FS3.1 * FS3.6 * FS3.2 * FS3.8^-1 ],
    [ FS3.3 * FS3.8^-1 * 
    FS3.1 * FS3.7 * FS3.4 * FS3.8 * FS3.1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.2 * 
    FS3.6 * FS3.3 * FS3.8 * FS3.3 * FS3.8 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.8^-1,
    FS3.4^-1 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.3 * FS3.8 * 
    FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.7 * 
    FS3.3 * FS3.5 * FS3.3 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.1 * FS3.5, FS3.3 * 
    FS3.7 * FS3.1 * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.4^-1 * 
    FS3.6 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.3 * FS3.5 
    * FS3.4^-1 * FS3.5 * FS3.3 * FS3.7 * FS3.4 * FS3.8 * FS3.1 * FS3.7 * FS3.2 *
    FS3.8 * FS3.4^-1 * FS3.7 ],
    [ FS3.1 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.4 * FS3.6 * FS3.2 * FS3.6 * FS3.3 * FS3.8 * FS3.4 * 
    FS3.7 * FS3.1 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.3 * FS3.6 * FS3.1 * FS3.6, 
    FS3.4 * FS3.7 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.1 
    * FS3.8 * FS3.2 * FS3.8 * FS3.3 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.7 *
    FS3.3 * FS3.8 * FS3.2 * FS3.7 * FS3.4 * FS3.6, FS3.2 * FS3.7 * FS3.1 * FS3.8
    * FS3.4^-1 * FS3.8 * FS3.2 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.6 * 
    FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.6 * FS3.4 * FS3.7 * FS3.2 
    * FS3.6 * FS3.2 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.4 * FS3.6 * FS3.4^-1 * 
    FS3.5 ],
    [ FS3.4 * FS3.8^-1 * 
    FS3.4^-1 * FS3.5 * FS3.1 * FS3.7 * FS3.1 * FS3.8 * FS3.2 * FS3.5 * FS3.4^-1 
    * FS3.5 * FS3.2 * FS3.7 * FS3.2 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.2 * 
    FS3.8^-1, FS3.4^-1 * FS3.8 * FS3.4 * FS3.5 * FS3.3 * FS3.8 * FS3.4 * FS3.5 *
    FS3.1 * FS3.5 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.2 
    * FS3.8 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.6, FS3.4 * FS3.6
    * FS3.1 * FS3.7 * FS3.3 * FS3.8 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.1 *
    FS3.7 * FS3.1 * FS3.8 * FS3.1 * FS3.8^-1 * FS3.3 * FS3.7 * FS3.2 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.6 * FS3.1 
    * FS3.8^-1 ],
    [ FS3.2 * FS3.8^-1 * 
    FS3.2 * FS3.5 * FS3.3 * FS3.5 * FS3.1 * FS3.7 * FS3.3 * FS3.8 * FS3.4 * 
    FS3.8^-1 * FS3.2 * FS3.7 * FS3.1 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.1 * FS3.8,
    FS3.1 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.6 * FS3.3 * FS3.6 * FS3.4^-1 
    * FS3.7 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.2 * 
    FS3.5 * FS3.4 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.8, FS3.4^-1 * FS3.6 *
    FS3.4 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.3 * FS3.6 * FS3.2 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.5 * 
    FS3.4 * FS3.6 * FS3.1 * FS3.7 * FS3.1 * FS3.6 * FS3.1 * FS3.8 * FS3.2 * 
    FS3.8^-1 * FS3.2 * FS3.7 ],
    [ FS3.1 * FS3.8 * 
    FS3.1 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.3 
    * FS3.8 * FS3.1 * FS3.6 * FS3.4 * FS3.8 * FS3.4^-1 * FS3.8 * FS3.1 * 
    FS3.8^-1, FS3.4 * FS3.7 * FS3.4 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.3 * 
    FS3.8 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.4 * FS3.7 * FS3.1 * FS3.6 * 
    FS3.2 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.7, FS3.3 *
    FS3.7 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.6 * FS3.3 * FS3.5 * FS3.4^-1 * 
    FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.1 * FS3.6 * FS3.3 * FS3.6 
    * FS3.4^-1 * FS3.7 * FS3.3 * FS3.6 * FS3.4 * FS3.5 * FS3.2 * FS3.5 * FS3.4 *
    FS3.7 * FS3.1 * FS3.6 ],
    [ FS3.2 * FS3.5 * 
    FS3.4 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.3 * FS3.6 * FS3.2 * 
    FS3.7 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.7,
    FS3.4^-1 * FS3.6 * FS3.3 * FS3.6 * FS3.1 * FS3.5 * FS3.3 * FS3.5 * FS3.4 * 
    FS3.7 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.1 * FS3.7 * FS3.4^-1 * 
    FS3.8^-1 * FS3.4 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.6, FS3.1 * FS3.5 *
    FS3.4^-1 * FS3.8 * FS3.3 * FS3.8 * FS3.1 * FS3.8 * FS3.2 * FS3.7 * FS3.1 * 
    FS3.6 * FS3.1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.2 * FS3.6 * 
    FS3.3 * FS3.8 * FS3.3 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.7 * FS3.4^-1 
    * FS3.5 ],
    [ FS3.4^-1 * FS3.8^-1 
    * FS3.4 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.6 * 
    FS3.4 * FS3.6 * FS3.2 * FS3.7 * FS3.4 * FS3.6 * FS3.4 * FS3.6 * FS3.4^-1 * 
    FS3.7, FS3.3 * FS3.5 * FS3.3 * FS3.8 * FS3.3 * FS3.7 * FS3.2 * FS3.5 * 
    FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.3 * FS3.7 * 
    FS3.3 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.4^-1 * FS3.6, FS3.2 *
    FS3.8^-1 * FS3.3 * FS3.6 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.8 
    * FS3.2 * FS3.5 * FS3.2 * FS3.6 * FS3.3 * FS3.8 * FS3.1 * FS3.6 * FS3.1 * 
    FS3.5 * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.4^-1 * 
    FS3.5 * FS3.4 * FS3.5 ],
    [ FS3.4 * FS3.8^-1 * 
    FS3.3 * FS3.8 * FS3.3 * FS3.7 * FS3.4 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.1 * 
    FS3.5 * FS3.1 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.5 * FS3.1 * FS3.7, 
    FS3.4 * FS3.7 * FS3.1 * FS3.6 * FS3.1 * FS3.6 * FS3.4 * FS3.7 * FS3.1 * 
    FS3.5 * FS3.4 * FS3.5 * FS3.1 * FS3.5 * FS3.2 * FS3.8 * FS3.4 * FS3.5 * 
    FS3.4^-1 * FS3.7 * FS3.4 * FS3.8 * FS3.4 * FS3.7, FS3.3 * FS3.6 * FS3.2 * 
    FS3.8^-1 * FS3.2 * FS3.5 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.5 
    * FS3.3 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.7 * 
    FS3.1 * FS3.8 * FS3.1 * FS3.8 * FS3.4 * FS3.6 * FS3.3 * FS3.6 * FS3.2 * 
    FS3.7 ],
    [ FS3.4^-1 * FS3.6 * 
    FS3.4^-1 * FS3.8 * FS3.4 * FS3.8 * FS3.2 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.4 
    * FS3.7 * FS3.1 * FS3.5 * FS3.2 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.5, 
    FS3.1 * FS3.7 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.7 * FS3.4 * 
    FS3.8^-1 * FS3.1 * FS3.8 * FS3.3 * FS3.5 * FS3.2 * FS3.5 * FS3.3 * FS3.6 * 
    FS3.3 * FS3.6 * FS3.3 * FS3.6 * FS3.3 * FS3.5, FS3.4 * FS3.8 * FS3.3 * 
    FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.5 * FS3.2 * FS3.5 * FS3.4 * FS3.6 
    * FS3.1 * FS3.6 * FS3.1 * FS3.7 * FS3.2 * FS3.6 * FS3.4 * FS3.6 * FS3.1 * 
    FS3.5 * FS3.3 * FS3.6 * FS3.2 * FS3.7 * FS3.2 * FS3.8 * FS3.2 * FS3.7 ],
    [ FS3.2 * FS3.6 * 
    FS3.4 * FS3.7 * FS3.1 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.4 * 
    FS3.8 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.6 * FS3.3 * FS3.7 * FS3.2 * FS3.6, 
    FS3.1 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.6 * 
    FS3.4^-1 * FS3.6 * FS3.2 * FS3.8 * FS3.4 * FS3.5 * FS3.1 * FS3.7 * FS3.4^-1 
    * FS3.5 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.6, FS3.2 * FS3.6
    * FS3.2 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.3 * FS3.6 * 
    FS3.4^-1 * FS3.5 * FS3.2 * FS3.6 * FS3.2 * FS3.5 * FS3.3 * FS3.8 * FS3.3 * 
    FS3.8^-1 * FS3.1 * FS3.5 * FS3.3 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.5 
    * FS3.1 * FS3.5 ],
    [ FS3.3 * FS3.8^-1 * 
    FS3.4 * FS3.6 * FS3.2 * FS3.5 * FS3.1 * FS3.5 * FS3.4 * FS3.6 * FS3.4 * 
    FS3.8 * FS3.3 * FS3.5 * FS3.3 * FS3.8 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.5, 
    FS3.4 * FS3.6 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.7 * FS3.3 * 
    FS3.8^-1 * FS3.3 * FS3.7 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.8 
    * FS3.1 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.3 * FS3.5, FS3.4^-1 * FS3.8^-1 * 
    FS3.4 * FS3.8 * FS3.1 * FS3.6 * FS3.2 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.4 * 
    FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.4 * 
    FS3.7 * FS3.2 * FS3.7 * FS3.3 * FS3.8 * FS3.4 * FS3.6 * FS3.1 * FS3.8 * 
    FS3.2 * FS3.7 ],
    [ FS3.4^-1 * FS3.6 * 
    FS3.4^-1 * FS3.8 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.6 * 
    FS3.1 * FS3.8 * FS3.2 * FS3.6 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.4 * 
    FS3.8^-1, FS3.2 * FS3.6 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.3 * 
    FS3.8^-1 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.7 * FS3.4^-1 * 
    FS3.6 * FS3.3 * FS3.5 * FS3.1 * FS3.6 * FS3.2 * FS3.5 * FS3.4 * FS3.8, FS3.2
    * FS3.6 * FS3.2 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.2 * 
    FS3.7 * FS3.1 * FS3.5 * FS3.1 * FS3.5 * FS3.1 * FS3.5 * FS3.2 * FS3.7 * 
    FS3.2 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.8^-1 * 
    FS3.4^-1 * FS3.6 * FS3.1 * FS3.6 ],
    [ FS3.4 * FS3.5 * 
    FS3.3 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.6 * FS3.4 * FS3.6 * FS3.4 * 
    FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.1 * FS3.8 * FS3.2 * FS3.5 
    * FS3.2 * FS3.8 * FS3.4^-1 * FS3.8, FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.6 *
    FS3.2 * FS3.7 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.4 * FS3.5 * FS3.1 
    * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.2 * FS3.7 * FS3.4 * 
    FS3.6 * FS3.2 * FS3.5, FS3.1 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.3 * FS3.5 * 
    FS3.4 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.7 * FS3.1 * FS3.5 * FS3.3 * 
    FS3.8 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.2 * FS3.6 * FS3.2 * FS3.8^-1 
    * FS3.2 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.5, FS3.3 * FS3.5 * FS3.1 * 
    FS3.7 * FS3.4 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.4 * 
    FS3.8^-1 * FS3.1 * FS3.7 * FS3.1 * FS3.5 * FS3.1 * FS3.8 * FS3.2 * FS3.6 * 
    FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.7 * FS3.1 * FS3.8 * 
    FS3.4 * FS3.8 ],
    [ FS3.4^-1 * FS3.7 * 
    FS3.2 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.8 * FS3.3 
    * FS3.7 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.2 * 
    FS3.5 * FS3.1 * FS3.7 * FS3.3 * FS3.5, FS3.1 * FS3.5 * FS3.2 * FS3.5 * FS3.4
    * FS3.6 * FS3.4 * FS3.8 * FS3.4 * FS3.6 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.6 *
    FS3.1 * FS3.7 * FS3.4 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.4 * 
    FS3.8^-1, FS3.2 * FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.2 * 
    FS3.6 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.3 * FS3.5 
    * FS3.3 * FS3.7 * FS3.1 * FS3.6 * FS3.2 * FS3.7 * FS3.4 * FS3.6 * FS3.4^-1 *
    FS3.6 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.5, FS3.1 * FS3.8 * FS3.4^-1 * FS3.8 *
    FS3.3 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.7 * FS3.1 * FS3.7 * FS3.1 * 
    FS3.7 * FS3.1 * FS3.5 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.8 
    * FS3.4 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.4^-1 * FS3.5 * FS3.4 * FS3.5 ],
    [ FS3.4 * FS3.6 * 
    FS3.4 * FS3.7 * FS3.4 * FS3.6 * FS3.4 * FS3.5 * FS3.3 * FS3.5 * FS3.4 * 
    FS3.8^-1 * FS3.1 * FS3.6 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.1 * 
    FS3.8^-1 * FS3.3 * FS3.5 * FS3.3 * FS3.8, FS3.4 * FS3.5 * FS3.4 * FS3.6 * 
    FS3.1 * FS3.8 * FS3.1 * FS3.6 * FS3.1 * FS3.5 * FS3.3 * FS3.7 * FS3.2 * 
    FS3.8 * FS3.1 * FS3.8 * FS3.3 * FS3.5 * FS3.1 * FS3.5 * FS3.4^-1 * FS3.8 * 
    FS3.2 * FS3.6, FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.6 * 
    FS3.4^-1 * FS3.7 * FS3.1 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.6 * 
    FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.7 * 
    FS3.2 * FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.3 * FS3.5, 
    FS3.4^-1 * FS3.7 * FS3.3 * FS3.5 * FS3.3 * FS3.6 * FS3.2 * FS3.7 * FS3.3 * 
    FS3.8 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.8 
    * FS3.4 * FS3.6 * FS3.4 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.8 * 
    FS3.1 * FS3.8^-1 * FS3.2 * FS3.7 ],
    [ FS3.4^-1 * FS3.5 * 
    FS3.4 * FS3.8 * FS3.2 * FS3.8 * FS3.1 * FS3.5 * FS3.1 * FS3.6 * FS3.3 * 
    FS3.6 * FS3.1 * FS3.6 * FS3.3 * FS3.7 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.8^-1 
    * FS3.4 * FS3.8^-1 * FS3.1 * FS3.7, FS3.3 * FS3.5 * FS3.3 * FS3.5 * FS3.4 * 
    FS3.7 * FS3.1 * FS3.8 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.6 
    * FS3.4 * FS3.8 * FS3.2 * FS3.5 * FS3.3 * FS3.7 * FS3.2 * FS3.8 * FS3.1 * 
    FS3.8, FS3.3 * FS3.8 * FS3.2 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.4^-1 * 
    FS3.8^-1 * FS3.2 * FS3.6 * FS3.3 * FS3.8 * FS3.4 * FS3.7 * FS3.2 * FS3.6 * 
    FS3.4^-1 * FS3.8 * FS3.4 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.6 * 
    FS3.2 * FS3.7 * FS3.2 * FS3.7 * FS3.1 * FS3.7, FS3.4^-1 * FS3.5 * FS3.1 * 
    FS3.6 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.5 * FS3.1 * FS3.5 * FS3.1 * FS3.8^-1 
    * FS3.3 * FS3.7 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.5 * FS3.3 *
    FS3.8^-1 * FS3.4 * FS3.8 * FS3.4 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.3 * 
    FS3.8^-1 ],
    [ FS3.4 * FS3.6 * 
    FS3.3 * FS3.8 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.6 * FS3.1 
    * FS3.5 * FS3.1 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.4 * 
    FS3.6 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.8, FS3.4^-1 * FS3.8 * FS3.3 * FS3.5 *
    FS3.1 * FS3.6 * FS3.3 * FS3.6 * FS3.1 * FS3.7 * FS3.3 * FS3.8 * FS3.4^-1 * 
    FS3.7 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.4 * 
    FS3.8 * FS3.4^-1 * FS3.5, FS3.2 * FS3.6 * FS3.2 * FS3.7 * FS3.1 * FS3.5 * 
    FS3.3 * FS3.7 * FS3.4 * FS3.6 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.1 * 
    FS3.6 * FS3.3 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.6 * FS3.3 * FS3.7 * 
    FS3.4^-1 * FS3.7 * FS3.4^-1 * FS3.5 * FS3.2 * FS3.6, FS3.4 * FS3.8 * FS3.3 *
    FS3.8 * FS3.3 * FS3.7 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.5 
    * FS3.3 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.5 
    * FS3.2 * FS3.8 * FS3.4 * FS3.5 * FS3.2 * FS3.5 * FS3.3 * FS3.6 * FS3.2 * 
    FS3.8 ],
    [ FS3.3 * FS3.8 * 
    FS3.3 * FS3.6 * FS3.4 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.2 
    * FS3.8 * FS3.3 * FS3.6 * FS3.2 * FS3.7 * FS3.4 * FS3.5 * FS3.3 * FS3.8 * 
    FS3.4^-1 * FS3.6 * FS3.4 * FS3.8^-1, FS3.4 * FS3.8^-1 * FS3.3 * FS3.8^-1 * 
    FS3.4^-1 * FS3.7 * FS3.3 * FS3.5 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.2 
    * FS3.5 * FS3.4 * FS3.5 * FS3.2 * FS3.6 * FS3.4 * FS3.6 * FS3.1 * FS3.7 * 
    FS3.1 * FS3.8^-1, FS3.4 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.7 * 
    FS3.4^-1 * FS3.6 * FS3.2 * FS3.5 * FS3.3 * FS3.7 * FS3.1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.4 * FS3.5 * FS3.2 * FS3.6 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.4 * FS3.7 * FS3.2 * FS3.5, FS3.2 *
    FS3.8^-1 * FS3.3 * FS3.7 * FS3.2 * FS3.6 * FS3.3 * FS3.7 * FS3.2 * FS3.6 * 
    FS3.1 * FS3.7 * FS3.1 * FS3.7 * FS3.4 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.4^-1 
    * FS3.7 * FS3.3 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.4 * FS3.6 *
    FS3.2 * FS3.8^-1 ],
    [ FS3.1 * FS3.6 * 
    FS3.4^-1 * FS3.6 * FS3.4 * FS3.5 * FS3.4 * FS3.7 * FS3.1 * FS3.7 * FS3.3 * 
    FS3.8 * FS3.1 * FS3.6 * FS3.1 * FS3.6 * FS3.2 * FS3.6 * FS3.1 * FS3.8 * 
    FS3.4 * FS3.6 * FS3.4 * FS3.7, FS3.4 * FS3.7 * FS3.2 * FS3.7 * FS3.2 * FS3.7
    * FS3.3 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.6 * 
    FS3.3 * FS3.7 * FS3.4 * FS3.6 * FS3.3 * FS3.6 * FS3.2 * FS3.8 * FS3.4 * 
    FS3.6, FS3.4^-1 * FS3.8 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.7 *
    FS3.2 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.5 * FS3.1 * FS3.8 * FS3.1 * 
    FS3.7 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.3 * 
    FS3.8^-1 * FS3.4 * FS3.7 * FS3.1 * FS3.6, FS3.4 * FS3.8^-1 * FS3.4 * FS3.6 *
    FS3.3 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.3 * FS3.6 * FS3.2 * 
    FS3.8^-1 * FS3.2 * FS3.6 * FS3.1 * FS3.5 * FS3.2 * FS3.6 * FS3.4 * FS3.8 * 
    FS3.3 * FS3.6 * FS3.2 * FS3.6 * FS3.3 * FS3.6 * FS3.4 * FS3.7 ],
    [ FS3.1 * FS3.7 * 
    FS3.1 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.2 * FS3.7 * FS3.1 * 
    FS3.7 * FS3.2 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.6 
    * FS3.3 * FS3.8 * FS3.3 * FS3.6, FS3.4 * FS3.8 * FS3.1 * FS3.8 * FS3.3 * 
    FS3.7 * FS3.4 * FS3.8 * FS3.4 * FS3.6 * FS3.4 * FS3.5 * FS3.3 * FS3.6 * 
    FS3.3 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.3 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.1 
    * FS3.5, FS3.4 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.8
    * FS3.4^-1 * FS3.6 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.4^-1 * FS3.5 * 
    FS3.4 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.8^-1 * 
    FS3.2 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.4^-1 * FS3.8^-1, FS3.4 * FS3.5 * 
    FS3.1 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.6 * FS3.3 * FS3.6 * FS3.1 * 
    FS3.7 * FS3.1 * FS3.7 * FS3.1 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.5 * 
    FS3.4 * FS3.7 * FS3.3 * FS3.5 * FS3.4 * FS3.5 * FS3.3 * FS3.6 * FS3.4^-1 * 
    FS3.6 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.3 * FS3.5 * FS3.2 * FS3.5 * FS3.3 * FS3.8 * FS3.1 * FS3.6 * FS3.1 * 
    FS3.8^-1 * FS3.2 * FS3.6 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.8 
    * FS3.2 * FS3.8 * FS3.1 * FS3.5, FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.2
    * FS3.5 * FS3.4^-1 * FS3.7 * FS3.1 * FS3.5 * FS3.2 * FS3.7 * FS3.1 * FS3.7 *
    FS3.1 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.6, FS3.1 * FS3.8 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.3 *
    FS3.5 * FS3.2 * FS3.6 * FS3.4 * FS3.6 * FS3.1 * FS3.5 * FS3.2 * FS3.8 * 
    FS3.1 * FS3.6 * FS3.3 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.6 * FS3.4 * 
    FS3.5 * FS3.2 * FS3.6 * FS3.3 * FS3.7, FS3.1 * FS3.6 * FS3.4^-1 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.2 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.1 
    * FS3.7 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.3 * 
    FS3.7 * FS3.2 * FS3.5 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.7 ],
    [ FS3.2 * FS3.6 * 
    FS3.3 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.3 
    * FS3.8^-1 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.2 * 
    FS3.8^-1 * FS3.1 * FS3.7 * FS3.1 * FS3.5, FS3.4 * FS3.7 * FS3.3 * FS3.7 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.7 * 
    FS3.4 * FS3.7 * FS3.2 * FS3.7 * FS3.3 * FS3.8 * FS3.2 * FS3.7 * FS3.1 * 
    FS3.7 * FS3.1 * FS3.8, FS3.2 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.7 * 
    FS3.2 * FS3.7 * FS3.3 * FS3.6 * FS3.2 * FS3.5 * FS3.2 * FS3.6 * FS3.4^-1 * 
    FS3.6 * FS3.4 * FS3.5 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.6 * 
    FS3.4 * FS3.6 * FS3.2 * FS3.6 * FS3.1 * FS3.7, FS3.2 * FS3.6 * FS3.3 * FS3.8
    * FS3.2 * FS3.8 * FS3.1 * FS3.7 * FS3.1 * FS3.6 * FS3.4 * FS3.6 * FS3.1 * 
    FS3.5 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.4^-1 * 
    FS3.7 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.1 * FS3.8 
    ],
    [ FS3.3 * FS3.5 * 
    FS3.3 * FS3.8 * FS3.3 * FS3.6 * FS3.4 * FS3.6 * FS3.3 * FS3.6 * FS3.4 * 
    FS3.5 * FS3.3 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.2 * 
    FS3.8^-1 * FS3.1 * FS3.7 * FS3.4 * FS3.6, FS3.4^-1 * FS3.7 * FS3.4^-1 * 
    FS3.8^-1 * FS3.4 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.3 * FS3.7 * FS3.1 * FS3.8 
    * FS3.4 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.5 * 
    FS3.4^-1 * FS3.5 * FS3.4 * FS3.8^-1, FS3.2 * FS3.5 * FS3.1 * FS3.6 * FS3.4 *
    FS3.7 * FS3.4 * FS3.8 * FS3.3 * FS3.6 * FS3.4 * FS3.5 * FS3.2 * FS3.6 * 
    FS3.3 * FS3.7 * FS3.4 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.4 * 
    FS3.6 * FS3.2 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.2 * FS3.8^-1, FS3.4 * FS3.5 *
    FS3.2 * FS3.6 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.8 * 
    FS3.3 * FS3.8 * FS3.1 * FS3.6 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.2 
    * FS3.6 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.1 * FS3.7 * FS3.1 * FS3.8 *
    FS3.2 * FS3.6 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.2 * FS3.7 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.6 * FS3.2 * FS3.5 * FS3.4^-1 
    * FS3.8^-1 * FS3.1 * FS3.7 * FS3.1 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.2 * 
    FS3.8^-1 * FS3.1 * FS3.5 * FS3.4 * FS3.8^-1, FS3.4^-1 * FS3.6 * FS3.4^-1 * 
    FS3.7 * FS3.3 * FS3.5 * FS3.3 * FS3.7 * FS3.2 * FS3.7 * FS3.1 * FS3.8^-1 * 
    FS3.4 * FS3.8 * FS3.1 * FS3.7 * FS3.4 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.1 * 
    FS3.8 * FS3.2 * FS3.8, FS3.4^-1 * FS3.7 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.8 *
    FS3.4^-1 * FS3.8 * FS3.2 * FS3.8 * FS3.4 * FS3.7 * FS3.3 * FS3.8 * FS3.4 * 
    FS3.6 * FS3.4 * FS3.6 * FS3.3 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.8 * 
    FS3.3 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.7, FS3.1 * FS3.6 * FS3.1 *
    FS3.5 * FS3.3 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.4^-1 * 
    FS3.6 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.8 * FS3.2 * FS3.8 * FS3.1 * FS3.6 * 
    FS3.3 * FS3.6 * FS3.4 * FS3.6 * FS3.2 * FS3.7 * FS3.3 * FS3.8 * FS3.4^-1 * 
    FS3.5 ],
    [ FS3.4 * FS3.6 * 
    FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.2 * FS3.6 * FS3.2 * FS3.8 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.5 * FS3.2 * FS3.7 * 
    FS3.3 * FS3.8 * FS3.1 * FS3.7 * FS3.4 * FS3.7, FS3.2 * FS3.7 * FS3.4 * FS3.5
    * FS3.4 * FS3.5 * FS3.4 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.8^-1 * 
    FS3.4^-1 * FS3.6 * FS3.1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.2 
    * FS3.8 * FS3.4^-1 * FS3.5, FS3.1 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.1 * FS3.5
    * FS3.1 * FS3.5 * FS3.4 * FS3.5 * FS3.4 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.4 *
    FS3.6 * FS3.2 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.4 * FS3.8 * 
    FS3.4^-1 * FS3.8 * FS3.4 * FS3.8 * FS3.1 * FS3.8^-1, FS3.3 * FS3.8 * FS3.3 *
    FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.3 * 
    FS3.6 * FS3.2 * FS3.7 * FS3.2 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.6 * 
    FS3.3 * FS3.7 * FS3.1 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.2 * 
    FS3.8^-1 ],
    [ FS3.4^-1 * FS3.6 * 
    FS3.3 * FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.1 * FS3.8 * FS3.2 
    * FS3.8 * FS3.4 * FS3.6 * FS3.3 * FS3.6 * FS3.3 * FS3.8 * FS3.4 * FS3.8 * 
    FS3.1 * FS3.5 * FS3.4^-1 * FS3.6, FS3.1 * FS3.6 * FS3.3 * FS3.6 * FS3.4^-1 *
    FS3.6 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.3 * 
    FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.2 * 
    FS3.6 * FS3.4 * FS3.5, FS3.1 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.3 * FS3.7 *
    FS3.1 * FS3.6 * FS3.4 * FS3.7 * FS3.2 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.4 * 
    FS3.8^-1 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.6 * FS3.4 * FS3.8 
    * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.6, FS3.3 * FS3.8^-1 * 
    FS3.3 * FS3.8^-1 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.5 * 
    FS3.2 * FS3.8 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.2 * FS3.8^-1 * 
    FS3.4^-1 * FS3.7 * FS3.3 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.1 * FS3.7 * FS3.1 
    * FS3.8 * FS3.3 * FS3.7 ],
    [ FS3.2 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.3 * FS3.7 * FS3.1 * FS3.7 * FS3.3 * FS3.8 * FS3.4^-1 
    * FS3.8^-1 * FS3.4 * FS3.5 * FS3.2 * FS3.7 * FS3.2 * FS3.8 * FS3.3 * FS3.5 *
    FS3.4 * FS3.8 * FS3.4^-1 * FS3.8^-1, FS3.1 * FS3.8 * FS3.2 * FS3.5 * FS3.3 *
    FS3.6 * FS3.4 * FS3.6 * FS3.4 * FS3.8 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.7 * 
    FS3.3 * FS3.5 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.8 * FS3.1 * 
    FS3.8, FS3.3 * FS3.8 * FS3.4 * FS3.7 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.8 * 
    FS3.1 * FS3.8^-1 * FS3.1 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.8^-1 * 
    FS3.3 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.4 * FS3.7 * FS3.2 * 
    FS3.8^-1 * FS3.1 * FS3.5 * FS3.4^-1 * FS3.5, FS3.4^-1 * FS3.8^-1 * FS3.1 * 
    FS3.7 * FS3.4 * FS3.5 * FS3.3 * FS3.8 * FS3.1 * FS3.7 * FS3.1 * FS3.8 * 
    FS3.4 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.7 * 
    FS3.4 * FS3.5 * FS3.4 * FS3.8 * FS3.1 * FS3.7 * FS3.1 * FS3.8 * FS3.4^-1 * 
    FS3.7 ],
    [ FS3.3 * FS3.6 * 
    FS3.2 * FS3.5 * FS3.4 * FS3.6 * FS3.1 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.4 * 
    FS3.6 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.4^-1 * 
    FS3.8 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.5, FS3.4^-1 * FS3.6 * FS3.1 * FS3.7 *
    FS3.4^-1 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.4 * FS3.5 * FS3.1 
    * FS3.5 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.6 * FS3.1 * FS3.5 * FS3.4 * FS3.6 *
    FS3.3 * FS3.8, FS3.4 * FS3.8 * FS3.4 * FS3.7 * FS3.4 * FS3.8 * FS3.2 * FS3.7
    * FS3.4 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.8 * FS3.2 * FS3.5 * 
    FS3.4^-1 * FS3.7 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.5 * FS3.3 
    * FS3.6 * FS3.4^-1 * FS3.8 * FS3.1 * FS3.8^-1, FS3.3 * FS3.7 * FS3.4^-1 * 
    FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.7 * FS3.3 * FS3.6 * FS3.4^-1 * 
    FS3.7 * FS3.1 * FS3.8 * FS3.4 * FS3.8 * FS3.4 * FS3.8 * FS3.2 * FS3.6 * 
    FS3.4 * FS3.6 * FS3.3 * FS3.5 * FS3.1 * FS3.8 * FS3.4 * FS3.5 * FS3.3 * 
    FS3.8^-1 ],
    [ FS3.2 * FS3.8^-1 * 
    FS3.2 * FS3.7 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.2 * FS3.8 * FS3.2 * 
    FS3.6 * FS3.4^-1 * FS3.7 * FS3.4^-1 * FS3.8 * FS3.1 * FS3.5 * FS3.1 * 
    FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.1 * FS3.8^-1, FS3.1 * FS3.5 * FS3.4 * 
    FS3.8 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.2 * FS3.7 
    * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.2 * FS3.7 * FS3.4 * FS3.6 * 
    FS3.4 * FS3.8 * FS3.4^-1 * FS3.8, FS3.4 * FS3.5 * FS3.1 * FS3.6 * FS3.4 * 
    FS3.7 * FS3.3 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.1 * FS3.6 * FS3.1 * FS3.5 * 
    FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.5 * 
    FS3.2 * FS3.8 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8, 
    FS3.3 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.6 * FS3.1 * FS3.6 * FS3.1 
    * FS3.8 * FS3.3 * FS3.7 * FS3.4 * FS3.6 * FS3.3 * FS3.8 * FS3.4^-1 * 
    FS3.8^-1 * FS3.3 * FS3.6 * FS3.2 * FS3.7 * FS3.4 * FS3.7 * FS3.4 * FS3.5 * 
    FS3.4 * FS3.8^-1 * FS3.4 * FS3.7 ],
    [ FS3.4^-1 * FS3.8^-1 
    * FS3.4^-1 * FS3.6 * FS3.2 * FS3.5 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.8 * 
    FS3.2 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.6 * FS3.1 * FS3.5 * FS3.3 * 
    FS3.5 * FS3.3 * FS3.7 * FS3.4 * FS3.6, FS3.1 * FS3.5 * FS3.4 * FS3.6 * FS3.4
    * FS3.6 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.8^-1 * FS3.4 * 
    FS3.8 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.3 * FS3.7 * FS3.2 * FS3.8^-1 
    * FS3.4 * FS3.8, FS3.3 * FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.5 * 
    FS3.4^-1 * FS3.8 * FS3.3 * FS3.8 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.2 
    * FS3.5 * FS3.4 * FS3.8 * FS3.2 * FS3.5 * FS3.2 * FS3.8 * FS3.3 * FS3.6 * 
    FS3.2 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.4^-1 * FS3.7, FS3.1 * FS3.8^-1 * 
    FS3.2 * FS3.8 * FS3.3 * FS3.6 * FS3.1 * FS3.7 * FS3.3 * FS3.6 * FS3.4 * 
    FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.2 * 
    FS3.7 * FS3.2 * FS3.6 * FS3.2 * FS3.7 * FS3.4 * FS3.7 * FS3.2 * FS3.6 * 
    FS3.4^-1 * FS3.8 ],
    [ FS3.4^-1 * FS3.6 * 
    FS3.1 * FS3.6 * FS3.1 * FS3.8 * FS3.4 * FS3.5 * FS3.2 * FS3.7 * FS3.4^-1 * 
    FS3.7 * FS3.3 * FS3.8 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.5 * 
    FS3.2 * FS3.8^-1 * FS3.4 * FS3.8, FS3.4 * FS3.7 * FS3.3 * FS3.8^-1 * FS3.4 *
    FS3.5 * FS3.3 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.1 * FS3.7 * 
    FS3.4 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * 
    FS3.2 * FS3.8^-1, FS3.4^-1 * FS3.8 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.8^-1 * 
    FS3.2 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.3 * FS3.8 * FS3.2 
    * FS3.5 * FS3.2 * FS3.5 * FS3.3 * FS3.8 * FS3.2 * FS3.8 * FS3.4^-1 * 
    FS3.8^-1 * FS3.2 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.1 * FS3.7, FS3.1 * FS3.8 *
    FS3.4^-1 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.7 * 
    FS3.4^-1 * FS3.7 * FS3.2 * FS3.7 * FS3.3 * FS3.5 * FS3.3 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.2 * FS3.8^-1 * 
    FS3.4^-1 * FS3.7 * FS3.3 * FS3.8^-1 ],
    [ FS3.3 * FS3.8 * 
    FS3.2 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.3 
    * FS3.8 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.2 * FS3.5 * FS3.3 * 
    FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.7, FS3.3 * FS3.6 * FS3.4 * FS3.7 *
    FS3.2 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.2 * FS3.8 * FS3.2 
    * FS3.7 * FS3.3 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.1 * 
    FS3.8^-1 * FS3.4^-1 * FS3.8^-1, FS3.2 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.4^-1 
    * FS3.7 * FS3.3 * FS3.6 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.8 * FS3.2 * FS3.6 *
    FS3.3 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.7 * FS3.3 
    * FS3.6 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.7, FS3.1 * 
    FS3.7 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.7 * FS3.1 * FS3.5 * FS3.4^-1 * 
    FS3.8^-1 * FS3.2 * FS3.6 * FS3.1 * FS3.6 * FS3.4 * FS3.8 * FS3.1 * FS3.6 * 
    FS3.3 * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.3 * FS3.6 * FS3.4 
    * FS3.5 * FS3.4^-1 * FS3.6 ],
    [ FS3.4^-1 * FS3.5 * 
    FS3.1 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.5 * FS3.3 
    * FS3.7 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.3 * 
    FS3.8 * FS3.4 * FS3.7 * FS3.1 * FS3.6, FS3.2 * FS3.7 * FS3.1 * FS3.8 * FS3.4
    * FS3.8 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.5 * FS3.3 * 
    FS3.8^-1 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.6 * FS3.2 * 
    FS3.6 * FS3.3 * FS3.8, FS3.3 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.1 * FS3.8^-1 *
    FS3.2 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.4 * FS3.8 * FS3.2 * FS3.5 * FS3.1 * 
    FS3.5 * FS3.1 * FS3.8 * FS3.4 * FS3.6 * FS3.4 * FS3.7 * FS3.2 * FS3.6 * 
    FS3.1 * FS3.8, FS3.1 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.4^-1 * FS3.8^-1 * 
    FS3.3 * FS3.6 * FS3.3 * FS3.7 * FS3.4 * FS3.6 * FS3.1 * FS3.8 * FS3.2 * 
    FS3.5 * FS3.3 * FS3.5 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.6 * 
    FS3.4^-1 * FS3.6, FS3.4^-1 * FS3.7 * FS3.2 * FS3.6 * FS3.1 * FS3.5 * 
    FS3.4^-1 * FS3.7 * FS3.1 * FS3.5 * FS3.1 * FS3.8 * FS3.4 * FS3.5 * FS3.4 * 
    FS3.5 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.6 * FS3.2 * FS3.7 * FS3.4 * FS3.8^-1 
    * FS3.4^-1 * FS3.7 ],
    [ FS3.3 * FS3.8^-1 * 
    FS3.3 * FS3.8 * FS3.2 * FS3.7 * FS3.4 * FS3.7 * FS3.3 * FS3.6 * FS3.2 * 
    FS3.8^-1 * FS3.1 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.4 * 
    FS3.6 * FS3.2 * FS3.7 * FS3.1 * FS3.5, FS3.4^-1 * FS3.7 * FS3.4 * FS3.8 * 
    FS3.2 * FS3.6 * FS3.4 * FS3.8 * FS3.1 * FS3.5 * FS3.2 * FS3.6 * FS3.2 * 
    FS3.8^-1 * FS3.3 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.1 * 
    FS3.6 * FS3.4^-1 * FS3.6, FS3.2 * FS3.5 * FS3.1 * FS3.6 * FS3.1 * FS3.6 * 
    FS3.3 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.5 * 
    FS3.2 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.5 * FS3.1 
    * FS3.5 * FS3.3 * FS3.8, FS3.2 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.7 * 
    FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.1 * FS3.8 * 
    FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.7 * FS3.4 * FS3.8^-1 * 
    FS3.4 * FS3.8 * FS3.1 * FS3.7, FS3.2 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.1 * 
    FS3.8 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.3 * FS3.8 
    * FS3.4^-1 * FS3.8 * FS3.4 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.3 * FS3.8^-1 * 
    FS3.4 * FS3.8^-1 * FS3.1 * FS3.6 ],
    [ FS3.3 * FS3.8 * 
    FS3.2 * FS3.5 * FS3.2 * FS3.5 * FS3.2 * FS3.7 * FS3.1 * FS3.8 * FS3.4^-1 * 
    FS3.6 * FS3.1 * FS3.8 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.7 * FS3.1 * FS3.6 * 
    FS3.3 * FS3.6 * FS3.1 * FS3.6, FS3.3 * FS3.5 * FS3.2 * FS3.6 * FS3.2 * FS3.8
    * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.8 * 
    FS3.1 * FS3.7 * FS3.1 * FS3.7 * FS3.1 * FS3.8 * FS3.4 * FS3.8 * FS3.2 * 
    FS3.7, FS3.4^-1 * FS3.5 * FS3.3 * FS3.7 * FS3.1 * FS3.7 * FS3.3 * FS3.5 * 
    FS3.4 * FS3.5 * FS3.4 * FS3.5 * FS3.4 * FS3.7 * FS3.3 * FS3.8^-1 * FS3.2 * 
    FS3.8 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.7,
    FS3.1 * FS3.5 * FS3.3 * FS3.7 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.3 * 
    FS3.8 * FS3.3 * FS3.7 * FS3.1 * FS3.6 * FS3.3 * FS3.6 * FS3.3 * FS3.8^-1 * 
    FS3.4^-1 * FS3.6 * FS3.4 * FS3.6 * FS3.4 * FS3.7 * FS3.2 * FS3.8, FS3.2 * 
    FS3.8 * FS3.2 * FS3.7 * FS3.1 * FS3.7 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.8^-1 
    * FS3.4 * FS3.8 * FS3.3 * FS3.6 * FS3.4 * FS3.8 * FS3.4 * FS3.7 * FS3.3 * 
    FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.6 ],
    [ FS3.3 * FS3.5 * 
    FS3.4^-1 * FS3.8 * FS3.1 * FS3.5 * FS3.2 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.2 
    * FS3.7 * FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.4 * 
    FS3.5 * FS3.3 * FS3.7 * FS3.3 * FS3.8, FS3.2 * FS3.6 * FS3.2 * FS3.8 * FS3.4
    * FS3.6 * FS3.4 * FS3.5 * FS3.2 * FS3.6 * FS3.1 * FS3.6 * FS3.2 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.7 * 
    FS3.4 * FS3.6, FS3.3 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.3 * FS3.7 * FS3.4 * 
    FS3.5 * FS3.2 * FS3.8 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.8^-1 
    * FS3.4^-1 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.4 * FS3.8 * 
    FS3.4 * FS3.7, FS3.4^-1 * FS3.7 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.2 * FS3.5 * FS3.1 * FS3.7 * FS3.3 * FS3.5 * FS3.4^-1 
    * FS3.6 * FS3.3 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.2 * 
    FS3.8^-1 * FS3.4^-1 * FS3.7, FS3.4^-1 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.4^-1 
    * FS3.8 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.1 * 
    FS3.7 * FS3.1 * FS3.5 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.6 
    * FS3.3 * FS3.7 * FS3.1 * FS3.7 ],
    [ FS3.4^-1 * FS3.8 * 
    FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.5 * 
    FS3.1 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.8 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.2 * FS3.6, FS3.2 * FS3.5 * FS3.2 *
    FS3.6 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.3 * FS3.6 * FS3.1 * FS3.7 * 
    FS3.3 * FS3.6 * FS3.4 * FS3.6 * FS3.2 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.3 * 
    FS3.6 * FS3.1 * FS3.6, FS3.3 * FS3.7 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.5 * 
    FS3.1 * FS3.5 * FS3.4 * FS3.5 * FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.5 * 
    FS3.4^-1 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.2 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8 * FS3.3 * FS3.5, FS3.4 * FS3.6 * FS3.4 * FS3.5 * FS3.2 * 
    FS3.8^-1 * FS3.4^-1 * FS3.8 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.3 * 
    FS3.6 * FS3.3 * FS3.5 * FS3.2 * FS3.7 * FS3.1 * FS3.5 * FS3.3 * FS3.8^-1 * 
    FS3.2 * FS3.8 * FS3.3 * FS3.6, FS3.1 * FS3.6 * FS3.2 * FS3.5 * FS3.4^-1 * 
    FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.5 * FS3.4 * FS3.5 * FS3.1 * FS3.5 
    * FS3.2 * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.4 * FS3.7 * 
    FS3.1 * FS3.6 * FS3.4^-1 * FS3.8 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.1 * FS3.7 * FS3.2 * FS3.6 * FS3.2 
    * FS3.7 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.3 * 
    FS3.7 * FS3.3 * FS3.6 * FS3.2 * FS3.5, FS3.1 * FS3.7 * FS3.4 * FS3.5 * FS3.3
    * FS3.7 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.1 * 
    FS3.7 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.6 * FS3.3 * FS3.8 * FS3.3 * FS3.7 * 
    FS3.2 * FS3.8, FS3.2 * FS3.6 * FS3.2 * FS3.7 * FS3.4 * FS3.5 * FS3.4 * 
    FS3.8^-1 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.4^-1
    * FS3.7 * FS3.2 * FS3.8 * FS3.4 * FS3.5 * FS3.3 * FS3.5 * FS3.1 * FS3.8 * 
    FS3.4 * FS3.6, FS3.3 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.3 *
    FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.3 * FS3.6 * FS3.2 * FS3.8 
    * FS3.1 * FS3.5 * FS3.1 * FS3.5 * FS3.4 * FS3.6 * FS3.4 * FS3.6 * FS3.3 * 
    FS3.6, FS3.2 * FS3.8 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.5 *
    FS3.4 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.2 * FS3.7 * FS3.4 
    * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.1 * FS3.5 * FS3.1 * 
    FS3.8 ],
    [ FS3.3 * FS3.6 * 
    FS3.1 * FS3.6 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.7 * FS3.2 * 
    FS3.8 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.5 
    * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.6, FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.6 *
    FS3.4 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.2 * FS3.6 * FS3.3 * FS3.7 * FS3.4^-1 
    * FS3.7 * FS3.3 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.2 * 
    FS3.8^-1 * FS3.4^-1 * FS3.5, FS3.2 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 
    * FS3.8^-1 * FS3.3 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.1 * 
    FS3.5 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.8 * FS3.3 * FS3.6 * 
    FS3.4^-1 * FS3.5 * FS3.1 * FS3.8, FS3.3 * FS3.6 * FS3.4 * FS3.5 * FS3.4^-1 *
    FS3.6 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.1 * FS3.5 * FS3.2 * FS3.7 * 
    FS3.2 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.2 * FS3.5 * FS3.4 * FS3.5 * FS3.4 * 
    FS3.7 * FS3.1 * FS3.8, FS3.4 * FS3.5 * FS3.1 * FS3.8 * FS3.3 * FS3.8^-1 * 
    FS3.1 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.4 * FS3.8 * FS3.2 * FS3.5 * FS3.2 * 
    FS3.8^-1 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.8 * FS3.3 * FS3.7 
    * FS3.2 * FS3.7 ],
    [ FS3.4^-1 * FS3.5 * 
    FS3.4 * FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.1 * FS3.8^-1 * 
    FS3.4 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.5 * FS3.3 * FS3.6 * FS3.4 * FS3.5, FS3.4^-1 * FS3.6 * 
    FS3.4^-1 * FS3.5 * FS3.1 * FS3.8 * FS3.4 * FS3.7 * FS3.2 * FS3.8^-1 * FS3.1 
    * FS3.6 * FS3.3 * FS3.7 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.2 * 
    FS3.8^-1 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.6, FS3.1 * FS3.8^-1 * FS3.2 * 
    FS3.5 * FS3.4^-1 * FS3.8 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * 
    FS3.7 * FS3.2 * FS3.7 * FS3.1 * FS3.5 * FS3.4 * FS3.5 * FS3.1 * FS3.8^-1 * 
    FS3.3 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.8, FS3.4 * FS3.8 * FS3.4 * 
    FS3.8^-1 * FS3.4 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.4^-1 * 
    FS3.8 * FS3.4 * FS3.7 * FS3.3 * FS3.5 * FS3.4 * FS3.5 * FS3.3 * FS3.8 * 
    FS3.4 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.6, FS3.2 * FS3.8^-1 * 
    FS3.4^-1 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.8 * FS3.1 * FS3.8^-1 * 
    FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.7 * FS3.3 * FS3.8^-1 * 
    FS3.4 * FS3.5 * FS3.2 * FS3.6 * FS3.4 * FS3.8 * FS3.3 * FS3.8^-1 ],
    [ FS3.1 * FS3.5 * 
    FS3.2 * FS3.5 * FS3.3 * FS3.8 * FS3.3 * FS3.8 * FS3.2 * FS3.6 * FS3.3 * 
    FS3.6 * FS3.2 * FS3.8 * FS3.1 * FS3.6 * FS3.1 * FS3.7 * FS3.2 * FS3.7 * 
    FS3.3 * FS3.7 * FS3.4^-1 * FS3.5, FS3.1 * FS3.5 * FS3.4^-1 * FS3.5 * 
    FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.6 * FS3.4 * FS3.5 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.3 * FS3.5 * 
    FS3.2 * FS3.7 * FS3.4^-1 * FS3.6, FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.7 * 
    FS3.4^-1 * FS3.8 * FS3.2 * FS3.6 * FS3.3 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.1 
    * FS3.8^-1 * FS3.4 * FS3.8 * FS3.4 * FS3.5 * FS3.4 * FS3.6 * FS3.2 * FS3.8 *
    FS3.1 * FS3.8^-1 * FS3.3 * FS3.6, FS3.4 * FS3.7 * FS3.4 * FS3.8 * FS3.1 * 
    FS3.5 * FS3.1 * FS3.8 * FS3.2 * FS3.8 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.8^-1 
    * FS3.3 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.6 * 
    FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.7, FS3.4^-1 * FS3.6 * FS3.4 * FS3.6 * 
    FS3.2 * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.4 * FS3.7 * FS3.1 
    * FS3.7 * FS3.4 * FS3.5 * FS3.4 * FS3.5 * FS3.4 * FS3.7 * FS3.3 * FS3.8 * 
    FS3.3 * FS3.8 * FS3.4^-1 * FS3.6 ],
    [ FS3.4^-1 * FS3.8^-1 
    * FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.6 * 
    FS3.4 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.7 * FS3.3 * FS3.8 * FS3.4^-1 
    * FS3.8 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.8^-1, FS3.3 * FS3.6 * FS3.2 * FS3.5
    * FS3.4 * FS3.7 * FS3.4 * FS3.7 * FS3.1 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.3 *
    FS3.7 * FS3.3 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.4 * FS3.8 * FS3.1 * FS3.6 * 
    FS3.4 * FS3.6, FS3.4^-1 * FS3.5 * FS3.2 * FS3.7 * FS3.4 * FS3.5 * FS3.3 * 
    FS3.6 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.7 
    * FS3.1 * FS3.6 * FS3.1 * FS3.8 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.2 *
    FS3.8, FS3.3 * FS3.8^-1 * FS3.3 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.1 * FS3.5 *
    FS3.1 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.8^-1 * 
    FS3.2 * FS3.5 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.5 * 
    FS3.4^-1 * FS3.7, FS3.4^-1 * FS3.5 * FS3.3 * FS3.6 * FS3.4 * FS3.7 * FS3.2 *
    FS3.7 * FS3.3 * FS3.8 * FS3.3 * FS3.5 * FS3.3 * FS3.6 * FS3.1 * FS3.5 * 
    FS3.4 * FS3.6 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.3 
    * FS3.6 ],
    [ FS3.1 * FS3.8 * 
    FS3.1 * FS3.6 * FS3.3 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.3 * 
    FS3.6 * FS3.1 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.4^-1 * 
    FS3.6 * FS3.4 * FS3.7 * FS3.2 * FS3.7, FS3.4^-1 * FS3.5 * FS3.4 * FS3.8^-1 *
    FS3.4 * FS3.5 * FS3.1 * FS3.7 * FS3.3 * FS3.5 * FS3.3 * FS3.6 * FS3.4 * 
    FS3.8 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.8^-1 * FS3.3 * FS3.6 * FS3.4^-1 * 
    FS3.5 * FS3.4 * FS3.8^-1, FS3.4^-1 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.4 * 
    FS3.7 * FS3.3 * FS3.6 * FS3.2 * FS3.5 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.8 * 
    FS3.1 * FS3.5 * FS3.2 * FS3.6 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.8^-1 * FS3.1 
    * FS3.5 * FS3.4 * FS3.7, FS3.4^-1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.1 * 
    FS3.8^-1 * FS3.1 * FS3.7 * FS3.3 * FS3.6 * FS3.2 * FS3.8 * FS3.4 * FS3.5 * 
    FS3.4^-1 * FS3.7 * FS3.3 * FS3.6 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.3 
    * FS3.5 * FS3.2 * FS3.8^-1, FS3.4 * FS3.6 * FS3.4^-1 * FS3.6 * FS3.4 * 
    FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.3 * FS3.5 * FS3.1 * FS3.8 
    * FS3.1 * FS3.5 * FS3.4 * FS3.8^-1 * FS3.4^-1 * FS3.8 * FS3.2 * FS3.8 * 
    FS3.1 * FS3.8^-1 * FS3.3 * FS3.8 ],
    [ FS3.2 * FS3.8^-1 * 
    FS3.4 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.4 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.2 
    * FS3.5 * FS3.1 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.4 * 
    FS3.6 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.6, FS3.1 * FS3.8 * FS3.4 * FS3.6 * 
    FS3.3 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.2 * FS3.6 * FS3.3 * FS3.8^-1 * 
    FS3.1 * FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.8^-1 * 
    FS3.3 * FS3.6 * FS3.4^-1 * FS3.6, FS3.1 * FS3.8 * FS3.1 * FS3.8^-1 * FS3.1 *
    FS3.8^-1 * FS3.4 * FS3.8 * FS3.4 * FS3.7 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.7 
    * FS3.4 * FS3.8 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.1 * FS3.8 * FS3.2 *
    FS3.5 * FS3.4 * FS3.7, FS3.4 * FS3.6 * FS3.4^-1 * FS3.5 * FS3.2 * FS3.8^-1 *
    FS3.3 * FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.1 * FS3.7 * FS3.1 * FS3.5 * FS3.3 
    * FS3.5 * FS3.1 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.3 * 
    FS3.6 * FS3.2 * FS3.7, FS3.4 * FS3.6 * FS3.3 * FS3.7 * FS3.1 * FS3.5 * FS3.4
    * FS3.8^-1 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.8 * FS3.1 * FS3.8 * FS3.4^-1 
    * FS3.6 * FS3.1 * FS3.5 * FS3.3 * FS3.7 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.7 *
    FS3.2 * FS3.8^-1 ],
    [ FS3.4 * FS3.5 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.7 * FS3.1 * FS3.7 * 
    FS3.4 * FS3.5 * FS3.2 * FS3.7 * FS3.1 * FS3.7 * FS3.1 * FS3.8 * FS3.4 * 
    FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.1 * FS3.5, FS3.3 * FS3.8 * FS3.2 * FS3.8 *
    FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.3 * FS3.7 * FS3.2 * FS3.5 * FS3.1 
    * FS3.7 * FS3.4^-1 * FS3.5 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.4 * 
    FS3.6 * FS3.4^-1 * FS3.7, FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.3 * 
    FS3.8^-1 * FS3.4 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1
    * FS3.8 * FS3.3 * FS3.8^-1 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.5 * FS3.4^-1 * 
    FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.6, FS3.3 * FS3.8^-1 * FS3.1 * 
    FS3.8 * FS3.3 * FS3.8^-1 * FS3.2 * FS3.6 * FS3.1 * FS3.8^-1 * FS3.2 * FS3.7 
    * FS3.3 * FS3.7 * FS3.2 * FS3.5 * FS3.2 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.3 *
    FS3.6 * FS3.4^-1 * FS3.8^-1 * FS3.1 * FS3.8^-1, FS3.4^-1 * FS3.7 * FS3.4^-1 
    * FS3.8^-1 * FS3.4 * FS3.8 * FS3.3 * FS3.6 * FS3.3 * FS3.5 * FS3.3 * FS3.8 *
    FS3.2 * FS3.6 * FS3.1 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.5 * FS3.4^-1 
    * FS3.7 * FS3.1 * FS3.8 * FS3.2 * FS3.7 ],
    [ FS3.1 * FS3.5 * 
    FS3.4^-1 * FS3.5 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.2 * FS3.8 * FS3.1 
    * FS3.6 * FS3.3 * FS3.5 * FS3.3 * FS3.6 * FS3.2 * FS3.5 * FS3.1 * FS3.7 * 
    FS3.4^-1 * FS3.8 * FS3.2 * FS3.5, FS3.4 * FS3.7 * FS3.1 * FS3.8^-1 * FS3.2 *
    FS3.8 * FS3.2 * FS3.8 * FS3.4^-1 * FS3.8 * FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * 
    FS3.6 * FS3.3 * FS3.5 * FS3.3 * FS3.7 * FS3.2 * FS3.8 * FS3.2 * FS3.5 * 
    FS3.3 * FS3.6, FS3.1 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.2 *
    FS3.8^-1 * FS3.2 * FS3.7 * FS3.3 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.3 * 
    FS3.8^-1 * FS3.3 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.3 * FS3.8^-1 * FS3.3 * 
    FS3.5 * FS3.4 * FS3.8, FS3.1 * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.5 *
    FS3.3 * FS3.5 * FS3.1 * FS3.6 * FS3.4 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.3 * 
    FS3.8^-1 * FS3.1 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.2 * FS3.5 * FS3.3 * FS3.6 
    * FS3.4^-1 * FS3.6, FS3.2 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.1 * FS3.7 * FS3.4
    * FS3.8^-1 * FS3.3 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.5 * FS3.3 * 
    FS3.8^-1 * FS3.1 * FS3.7 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.2 * FS3.8 
    * FS3.2 * FS3.8^-1 ],
    [ FS3.1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.8^-1 * 
    FS3.2 * FS3.8^-1 * FS3.3 * FS3.7 * FS3.3 * FS3.5 * FS3.4 * FS3.6 * FS3.4^-1 
    * FS3.5 * FS3.4 * FS3.6 * FS3.2 * FS3.7, FS3.4 * FS3.8 * FS3.4 * FS3.7 * 
    FS3.3 * FS3.8^-1 * FS3.1 * FS3.6 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.7 * FS3.2 
    * FS3.5 * FS3.4^-1 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.1 * FS3.5 * FS3.1 * 
    FS3.5 * FS3.4 * FS3.8, FS3.3 * FS3.7 * FS3.4^-1 * FS3.5 * FS3.4 * FS3.8 * 
    FS3.4 * FS3.7 * FS3.2 * FS3.8 * FS3.3 * FS3.5 * FS3.4 * FS3.7 * FS3.2 * 
    FS3.5 * FS3.1 * FS3.7 * FS3.1 * FS3.5 * FS3.3 * FS3.8 * FS3.3 * FS3.8^-1 * 
    FS3.4^-1 * FS3.8, FS3.3 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.2 * FS3.8 * FS3.4 *
    FS3.7 * FS3.3 * FS3.7 * FS3.4 * FS3.7 * FS3.2 * FS3.5 * FS3.4 * FS3.8^-1 * 
    FS3.2 * FS3.5 * FS3.2 * FS3.8 * FS3.4 * FS3.8 * FS3.4^-1 * FS3.8^-1 * 
    FS3.4^-1 * FS3.7, FS3.3 * FS3.8^-1 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.7 * 
    FS3.4 * FS3.7 * FS3.1 * FS3.7 * FS3.4^-1 * FS3.5 * FS3.4^-1 * FS3.5 * 
    FS3.4^-1 * FS3.6 * FS3.3 * FS3.6 * FS3.3 * FS3.8^-1 * FS3.4^-1 * FS3.6 * 
    FS3.4 * FS3.8 * FS3.4 * FS3.5 ],
    [ FS3.1 * FS3.7 * 
    FS3.4^-1 * FS3.5 * FS3.4 * FS3.8 * FS3.3 * FS3.6 * FS3.4^-1 * FS3.8 * 
    FS3.4^-1 * FS3.5 * FS3.1 * FS3.6 * FS3.3 * FS3.7 * FS3.3 * FS3.7 * FS3.4^-1 
    * FS3.8^-1 * FS3.1 * FS3.7 * FS3.3 * FS3.7, FS3.3 * FS3.7 * FS3.4 * FS3.6 * 
    FS3.4 * FS3.8 * FS3.1 * FS3.6 * FS3.4 * FS3.5 * FS3.4 * FS3.5 * FS3.4^-1 * 
    FS3.8 * FS3.4 * FS3.6 * FS3.1 * FS3.7 * FS3.2 * FS3.5 * FS3.1 * FS3.7 * 
    FS3.4^-1 * FS3.6, FS3.1 * FS3.7 * FS3.4^-1 * FS3.6 * FS3.2 * FS3.8 * FS3.4 *
    FS3.7 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.6 * FS3.1 * 
    FS3.6 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.5 * FS3.3 * FS3.7 * FS3.2 * FS3.6 * 
    FS3.4 * FS3.8, FS3.3 * FS3.7 * FS3.4 * FS3.7 * FS3.2 * FS3.5 * FS3.2 * FS3.7
    * FS3.2 * FS3.8^-1 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.7 * FS3.3 * FS3.8 * 
    FS3.2 * FS3.5 * FS3.4 * FS3.6 * FS3.1 * FS3.8 * FS3.2 * FS3.8 * FS3.3 * 
    FS3.7, FS3.3 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.2 * FS3.8 * FS3.4^-1 * 
    FS3.8^-1 * FS3.3 * FS3.7 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.7 * FS3.4^-1 * 
    FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.4 * FS3.6 * FS3.4^-1 * FS3.8 * FS3.4 * 
    FS3.8 * FS3.4^-1 * FS3.6 ],
    [ FS3.1 * FS3.8 * 
    FS3.4 * FS3.8^-1 * FS3.3 * FS3.5 * FS3.3 * FS3.5 * FS3.4 * FS3.8 * FS3.3 * 
    FS3.5 * FS3.4 * FS3.8^-1 * FS3.2 * FS3.5 * FS3.4^-1 * FS3.6 * FS3.3 * FS3.7 
    * FS3.4 * FS3.6 * FS3.4^-1 * FS3.5, FS3.4^-1 * FS3.6 * FS3.4 * FS3.8 * 
    FS3.4^-1 * FS3.7 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.6 * 
    FS3.4^-1 * FS3.8^-1 * FS3.2 * FS3.8^-1 * FS3.4^-1 * FS3.5 * FS3.3 * FS3.5 * 
    FS3.3 * FS3.6 * FS3.1 * FS3.8^-1, FS3.2 * FS3.5 * FS3.2 * FS3.8 * FS3.2 * 
    FS3.7 * FS3.4 * FS3.7 * FS3.1 * FS3.6 * FS3.3 * FS3.5 * FS3.4 * FS3.6 * 
    FS3.1 * FS3.8 * FS3.1 * FS3.6 * FS3.4 * FS3.8 * FS3.4^-1 * FS3.5 * FS3.4 * 
    FS3.5 * FS3.2 * FS3.5, FS3.4^-1 * FS3.5 * FS3.1 * FS3.8 * FS3.4^-1 * FS3.7 *
    FS3.4 * FS3.8 * FS3.2 * FS3.8 * FS3.2 * FS3.8^-1 * FS3.4 * FS3.7 * FS3.1 * 
    FS3.7 * FS3.3 * FS3.7 * FS3.3 * FS3.7 * FS3.2 * FS3.7 * FS3.4^-1 * FS3.8^-1 
    * FS3.4^-1 * FS3.6, FS3.4^-1 * FS3.8^-1 * FS3.3 * FS3.8 * FS3.3 * FS3.8^-1 *
    FS3.4^-1 * FS3.8 * FS3.2 * FS3.8 * FS3.3 * FS3.8 * FS3.1 * FS3.5 * FS3.4^-1 
    * FS3.8^-1 * FS3.4^-1 * FS3.7 * FS3.4 * FS3.7 * FS3.3 * FS3.5 * FS3.4^-1 * 
    FS3.8 * FS3.4 * FS3.8 ],
    [ FS3.1 * FS3.5 * 
    FS3.4^-1 * FS3.8^-1 * FS3.4^-1 * FS3.8^-1 * FS3.4 * FS3.5 * FS3.1 * FS3.7 * 
    FS3.4^-1 * FS3.8 * FS3.2 * FS3.7 * FS3.3 * FS3.6 * FS3.3 * FS3.5 * FS3.1 * 
    FS3.5 * FS3.4^-1 * FS3.5 * FS3.4 * FS3.6, FS3.3 * FS3.7 * FS3.2 * FS3.8^-1 *
    FS3.1 * FS3.8^-1 * FS3.2 * FS3.8 * FS3.3 * FS3.6 * FS3.4 * FS3.6 * FS3.4^-1 
    * FS3.8 * FS3.4^-1 * FS3.6 * FS3.4 * FS3.5 * FS3.4^-1 * FS3.8 * FS3.1 * 
    FS3.8 * FS3.1 * FS3.8^-1, FS3.3 * FS3.5 * FS3.2 * FS3.6 * FS3.2 * FS3.7 * 
    FS3.4 * FS3.5 * FS3.1 * FS3.8 * FS3.3 * FS3.7 * FS3.4 * FS3.5 * FS3.4^-1 * 
--> --------------------

--> maximum size reached

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