Quelle  compositionfactors.g   Sprache: unbekannt

#############################################################################
##
#W  compositionfactors.g           GAP4 Package `RCWA'            Stefan Kohl
##
##  Data library of groups generated by 3 class transpositions which inter-
##  change residue classes with moduli <= 6: part containing lists of
##  orders of composition factors.
##
##  For all i in [1..52394] for which grps[i] is finite,
##  compositionfactors[i] is a list of the orders of the composition factors
##  of grps[i], with multiplicities.
##
#############################################################################

local  compfactset, compfactpos, compositionfactors;

compfactset :=
[ fail,[ 2,2 ],[ 2,2,2 ],[ 2,2,2,2 ],[ 2,2,2,2,2 ],
  [ 2,2,2,2,2,2,2 ],[ 2,2,2,2,2,2,2,2,2 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,
      3,3,3,60,360,20160,20160,20160,19958400,19958400,43589145600,
      10461394944000,3201186852864000,7755605021665492992000000,
      132626429906095529318154240000000 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,360,
      360,20160,19958400,239500800,3113510400,3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,60,60,360,
      360,360,360,2520,20160,181440,181440,1814400,1814400,1814400,
      19958400,19958400,19958400,19958400,239500800,239500800,
      239500800,239500800,239500800,3113510400,3113510400,3113510400,
      3113510400,43589145600,43589145600,653837184000,653837184000,
      10461394944000 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,60,
      60,60,60,360,360,181440,43589145600 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,
      60,360,20160,20160,19958400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,60,2520,
      2520,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,181440,19958400,
      43589145600,43589145600,653837184000,3201186852864000 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,60,168 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,2520,181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,239500800 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,360,
      2520,2520,2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,60,168,360,2520 ]
    ,[ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,2520,20160,
      1814400,19958400,239500800,653837184000,10461394944000,
      177843714048000,3201186852864000,60822550204416000,
      310224200866619719680000,201645730563302817792000000 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,360,2520,239500800,
      10461394944000,177843714048000,177843714048000,3201186852864000,
      152444172305856930250752000000,4420880996869850977271808000000 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,181440,239500800,
      3113510400,3113510400,43589145600 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,60,360,
      360,360,2520,2520,181440,19958400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,168 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,60,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,60,60,360,360,360,
      20160,181440,1814400,1814400,1814400,19958400,19958400,19958400,
      19958400,239500800,239500800,239500800,239500800,239500800,
      3113510400,3113510400,3113510400,3113510400,43589145600,
      43589145600,43589145600,653837184000,653837184000,10461394944000 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,360,2520,20160,
      181440,1814400 ],[ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,60 
     ],[ 2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,1814400,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,360,360,2520,
      2520,2520,181440,1814400,1814400,19958400,653837184000 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,360,360,2520,
      19958400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,168,360,360,
      2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,360,2520,
      20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,168,360,360,
      2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,168,360,2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,60,60,60,60,360,360,
      360,2520,239500800 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,60,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,60,2520,2520,2520,20160,
      3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,168,20160,181440,1814400,
      19958400,43589145600,3201186852864000 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,181440,19958400,
      3113510400,43589145600,177843714048000 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,60,60,360,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,60,360,2520,181440,181440,
      1814400,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,2,3,60,360,1814400,3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,5,360,360,
      2520,20160,20160,20160,20160,181440,181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,60,168,
      20160,181440,181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,360,20160,
      20160,181440,1814400,3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,168,19958400,19958400,
      239500800,43589145600 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,181440,181440,1814400,
      1814400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,360,360,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,2520,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,2,3,3,60,360,2520,2520,20160,
      20160,3113510400 ],[ 2,2,2,2,2,2,2,2,2,2,2,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,5,60,360,360,2520,
      20160,181440,1814400,19958400,239500800 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,60,360,360,360,
      2520,2520,2520,2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,60,360,2520,
      20160,20160,181440,181440,1814400,19958400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,360,2520,20160,
      20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,360,20160,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,5,60,360,360,360,2520,
      2520 ],[ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,2520,2520,
      20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,2520,181440,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,168,360,360,360,20160,
      19958400,19958400,239500800,3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,168,360,2520,2520,
      239500800 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,20160,19958400,19958400,
      19958400 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,20160,19958400,3113510400 ]
    ,[ 2,2,2,2,2,2,2,2,2,2,2,3,3,3,60,2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,60,168 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,60,168,2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,3,60,360,360,2520,2520,19958400 
     ],[ 2,2,2,2,2,2,2,2,2,2,2,3,3,60,181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,168,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,2,3,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,3 ],[ 2,2,2,2,2,2,2,2,2,2,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,3,5,2520,2520,
      3113510400,3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,60,60,60,168,2520,
      181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,5,60,60,60,60,360,
      2520,20160,181440,181440,181440,43589145600,653837184000 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,5,60,60,60,360,360,
      2520,2520,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,5,60,60,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,5,360,2520,181440,
      181440,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,60,60,360,360,
      360,2520,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,60,168,360,360,
      2520,20160,181440,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,60,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,168,360,360,2520,
      2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,5,360,2520,20160,19958400,
      239500800 ],[ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,60,360,20160,
      20160,20160,181440,181440,239500800,3113510400,3113510400,
      43589145600,43589145600,653837184000 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,168,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,168,360,360,
      2520,2520,20160,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,360,360,360,2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,360,2520,181440,
      181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,2520,2520,2520,
      20160,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,2520,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,2520,20160,20160,
      1814400 ],[ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,2520 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,3,1814400,19958400,19958400,
      19958400,653837184000 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,5,60,60,60,360,360,2520,
      2520,20160 ],[ 2,2,2,2,2,2,2,2,2,2,3,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,60,60,60,60,360,360,360,
      2520,19958400 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,60,60,60,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,60,360,2520,181440,181440,
      181440,1814400,19958400,239500800 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,60,360,2520,181440,19958400,
      3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,60,2520,1814400,239500800 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,2520,20160,181440,181440,
      43589145600,10461394944000 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,3,181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,60,2520,181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,60,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,60,181440 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,3,20160 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,60,60,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,360 ],
  [ 2,2,2,2,2,2,2,2,2,2,3,360,360 ],
  [ 2,2,2,2,2,2,2,2,2,3 ],[ 2,2,2,2,2,2,2,2,2,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,60,60,60,360,2520,2520,
      2520,181440 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3,5,5,360,2520,2520,20160,
      20160,20160 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3,5,360,360,2520,20160,
      20160,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,60,360,2520,181440,
      1814400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,360,20160,181440,
      181440,181440,1814400,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,2520,1814400,
      239500800 ],[ 2,2,2,2,2,2,2,2,2,3,3,3,3,5,60 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,5,360 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,168,360 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,168,360,360,
      2520,20160,181440,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,360 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,360,360,2520,
      20160,181440,1814400,1814400,239500800,3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,168,360,360,360,
      2520 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,168,360,20160 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,360,360 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,360,360,2520 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,360,20160,20160,
      20160,1814400,3113510400,653837184000 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,2520,239500800,
      3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,20160 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,360,360,2520,2520,
      20160,20160,181440,181440,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,360,2520,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,60,1814400,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,168,2520,2520,2520,20160,
      20160,181440,181440 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,360 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,360,2520,2520,2520,
      2520,20160 ],[ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,2520 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,2520,2520,2520,
      239500800 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,360,181440,181440,1814400,
      1814400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,60,20160,20160,20160,181440,
      19958400,19958400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,168,360,360,2520,2520,181440,
      1814400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,360,360,2520,2520,2520,181440 
     ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,360,20160,1814400,1814400,
      19958400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,3,2520,2520,1814400,3113510400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,5,60,60,360,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,60,60 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,60,60,60,60,360 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,60,60,168,360,360,2520 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,60,60,2520,181440 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,60,2520,20160,20160 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,60,20160 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,3,20160,181440,181440,1814400,
      19958400 ],[ 2,2,2,2,2,2,2,2,2,3,3,3,19958400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,5,2520,20160,181440,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,60,60,360,2520,2520,20160,20160,
      20160,239500800 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,60,360,2520,181440 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,168,2520,181440,181440,3113510400,
      653837184000,10461394944000 ],[ 2,2,2,2,2,2,2,2,2,3,3,360 ]
    ,[ 2,2,2,2,2,2,2,2,2,3,3,360,360 ],
  [ 2,2,2,2,2,2,2,2,2,3,3,360,2520,181440,239500800,239500800,
      239500800,43589145600 ],[ 2,2,2,2,2,2,2,2,2,3,60 ],
  [ 2,2,2,2,2,2,2,2,2,3,60,60,60,60 ],
  [ 2,2,2,2,2,2,2,2,2,3,60,360,360,2520,2520,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,2,3,60,360,360,2520,181440,1814400,
      19958400 ],
  [ 2,2,2,2,2,2,2,2,2,3,60,360,1814400,1814400,19958400 ],
  [ 2,2,2,2,2,2,2,2,2,3,2520 ],
  [ 2,2,2,2,2,2,2,2,2,3,1814400 ],
  [ 2,2,2,2,2,2,2,2,2,360 ],[ 2,2,2,2,2,2,2,2,3 ],
  [ 2,2,2,2,2,2,2,2,3,3 ],[ 2,2,2,2,2,2,2,2,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,5,60,60,360,360,360,2520,
      20160,181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,5,60,360,360,360,2520,2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,5,60,360,2520,20160,181440,
      1814400 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,60,360,2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,168,360 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,360,360,2520,2520,
      181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,60,60,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,60,168,360,360,2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,60,168,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,60,360,360,2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,3,360,360,2520,2520,20160,
      181440,1814400 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,5,5,60,60,360,360,2520,2520,
      20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,5,60,60,360,360,2520,2520,
      20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,5,60,60,360,360,2520,2520,
      20160,181440 ],[ 2,2,2,2,2,2,2,2,3,3,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,360 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,60,360,360 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,60,60,360,20160,181440,
      239500800 ],[ 2,2,2,2,2,2,2,2,3,3,3,3,60,60,168,360 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,60,168,360,360,360,2520,
      2520,20160,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,60,360,360,360,2520,2520,
      2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,60,360,360,2520,20160,
      1814400,19958400 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,60,360,2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,60,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,360,360,360,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,360,360,2520,2520,2520,
      20160,181440,1814400 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,60,360,360,2520,10461394944000,
      177843714048000 ],[ 2,2,2,2,2,2,2,2,3,3,3,3,360 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,360,2520,20160,1814400,1814400,
      19958400,239500800,653837184000,10461394944000 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,360,2520,20160,1814400,19958400 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,3,360,20160,20160,3201186852864000,
      3201186852864000 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,5,60,60,360,360,360,2520,2520,
      2520,20160,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,5,60,168,360,20160,20160,20160,
      1814400,3113510400,653837184000 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,5,60,360 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,60,60,60,60,360,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,60,60,60,360,360,2520,2520,
      20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,60,60,2520,2520,10461394944000,
      177843714048000 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,60,60,181440,653837184000 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,60,168,360,360,2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,60,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,60,20160,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,168 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,168,360,360,2520,2520,20160,
      181440,1814400,1814400 ],[ 2,2,2,2,2,2,2,2,3,3,3,60,360 ]
    ,[ 2,2,2,2,2,2,2,2,3,3,3,60,360,360,2520,181440,181440,
      1814400,1814400 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,2520,2520,20160,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,2520,2520,20160,181440,181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,2520,20160,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,2520,20160,181440,19958400,
      43589145600,177843714048000,3201186852864000,25545471085854720000,
      12926008369442488320000,310224200866619719680000,
      7755605021665492992000000,201645730563302817792000000,
      5444434725209176080384000000 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,2520,20160,3113510400,
      653837184000,3201186852864000,152444172305856930250752000000 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,2520,181440,181440,1814400,
      653837184000 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,2520,1814400,239500800,
      43589145600,177843714048000,3201186852864000,
      310224200866619719680000,7755605021665492992000000,
      201645730563302817792000000,5444434725209176080384000000,
      5444434725209176080384000000,4420880996869850977271808000000 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,2520,19958400 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,60,2520,19958400,239500800,
      653837184000 ],[ 2,2,2,2,2,2,2,2,3,3,3,168 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,360,360,2520,20160,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,360,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,2520,2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,2520,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,3,1814400 ],
  [ 2,2,2,2,2,2,2,2,3,3,5,60,60,60,3113510400 ],
  [ 2,2,2,2,2,2,2,2,3,3,5,60,60,20160,19958400 ],
  [ 2,2,2,2,2,2,2,2,3,3,60 ],
  [ 2,2,2,2,2,2,2,2,3,3,60,60,60,20160,181440,19958400 ],
  [ 2,2,2,2,2,2,2,2,3,3,60,60,168,168,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,60,60,360,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,60,168 ],
  [ 2,2,2,2,2,2,2,2,3,3,60,168,360,2520,2520,181440,181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,60,360,1814400 ],
  [ 2,2,2,2,2,2,2,2,3,3,60,1814400 ],
  [ 2,2,2,2,2,2,2,2,3,3,168 ],
  [ 2,2,2,2,2,2,2,2,3,3,168,168,360,360 ],
  [ 2,2,2,2,2,2,2,2,3,3,168,360,2520,2520,20160 ],
  [ 2,2,2,2,2,2,2,2,3,3,360 ],
  [ 2,2,2,2,2,2,2,2,3,3,2520 ],
  [ 2,2,2,2,2,2,2,2,3,3,2520,181440 ],
  [ 2,2,2,2,2,2,2,2,3,3,2520,1814400 ],
  [ 2,2,2,2,2,2,2,2,3,60 ],
  [ 2,2,2,2,2,2,2,2,3,60,360,181440 ],
  [ 2,2,2,2,2,2,2,2,3,60,2520 ],
  [ 2,2,2,2,2,2,2,2,3,60,2520,181440 ],
  [ 2,2,2,2,2,2,2,2,3,60,3113510400,10461394944000,
      177843714048000,177843714048000,60822550204416000,
      310224200866619719680000 ],[ 2,2,2,2,2,2,2,2,3,2520 ],
  [ 2,2,2,2,2,2,2,2,3,2520,181440,19958400 ],
  [ 2,2,2,2,2,2,2,2,3,20160,181440 ],
  [ 2,2,2,2,2,2,2,2,60 ],[ 2,2,2,2,2,2,2,2,60,60 ],
  [ 2,2,2,2,2,2,2,2,60,60,60,360 ],
  [ 2,2,2,2,2,2,2,2,60,360,181440,1814400,43589145600 ],
  [ 2,2,2,2,2,2,2,2,60,360,19958400 ],
  [ 2,2,2,2,2,2,2,2,60,181440 ],[ 2,2,2,2,2,2,2,3 ],
  [ 2,2,2,2,2,2,2,3,3 ],[ 2,2,2,2,2,2,2,3,3,3 ],
  [ 2,2,2,2,2,2,2,3,3,3,3 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,3,3,60,1814400,19958400,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,3,5,5,60,360,2520,2520,20160,
      20160,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,3,5,60,60,360,360,360,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,3,5,60,360,360,360,360,2520,
      2520,20160,181440 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,3,5,60,360,2520,2520,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,3,60,20160,181440,181440,1814400,
      1814400,10461394944000,177843714048000 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,3,360,360,2520,2520,20160,
      239500800,3113510400 ],[ 2,2,2,2,2,2,2,3,3,3,3,3,181440 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,5,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,5,181440 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,5,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,60,360,360,2520,2520,20160,
      20160,181440,1814400,1814400,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,60,360,360,2520,20160,
      181440 ],[ 2,2,2,2,2,2,2,3,3,3,3,60,60,60,360,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,60,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,60,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,168,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,168,360,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,360,360,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,360,360,2520,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,360,360,2520,2520,20160,
      181440,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,360,360,1814400,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,360,2520,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,360,2520,2520,20160,20160,
      20160,181440 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,2520,181440,181440,1814400,
      1814400,19958400,19958400,239500800,239500800,239500800,
      43589145600 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,20160,20160,181440,
      10461394944000,177843714048000 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,60,181440,239500800,
      177843714048000 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,168,168,360,360,360,181440,
      181440,1814400,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,168,360,360,360,2520,2520,
      20160,181440,181440,181440,1814400,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,360,360,181440,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,360,2520,2520,239500800,
      239500800,10461394944000 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,2520,2520,2520,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,2520,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,2520,2520,20160,181440,181440,
      181440 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,60,20160,19958400,239500800,
      653837184000 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,168,360,20160,181440,181440,
      19958400,239500800 ],[ 2,2,2,2,2,2,2,3,3,3,3,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,360,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,360,360,2520,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,360,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,360,2520,2520,2520,20160,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,360,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,360,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,2520,2520,20160,1814400,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,2520,2520,20160,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,3,3,20160,20160,181440,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,3,5,60,60,360,360,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,5,60,60,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,5,60,360,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,5,60,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,5,360,181440,181440,181440,1814400,
      43589145600 ],[ 2,2,2,2,2,2,2,3,3,3,60 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,60,60,360,2520,2520,2520,
      181440 ],[ 2,2,2,2,2,2,2,3,3,3,60,60,60,168,360,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,60,168,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,60,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,60,360,2520,2520,181440,
      239500800,10461394944000 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,168 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,168,360,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,168,360,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,168,360,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,168,2520,2520,2520,1814400,
      19958400 ],[ 2,2,2,2,2,2,2,3,3,3,60,60,360,360,360,2520 
     ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,360,360,2520,20160,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,360,360,2520,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,360,2520,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,2520,2520,20160,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,2520,2520,181440,19958400,
      239500800,3201186852864000,60822550204416000,1216451004088320000,
      25545471085854720000 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,60,2520,20160,20160,181440 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,168,360,360,360,20160,20160,
      1814400,19958400 ],[ 2,2,2,2,2,2,2,3,3,3,60,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,360,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,360,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,360,2520,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,360,2520,20160,20160,181440 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,360,2520,20160,181440,181440,
      181440,1814400,1814400,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,360,2520,181440,19958400,239500800,
      239500800,3113510400,43589145600,653837184000,10461394944000 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,360,20160,20160,181440,1814400,
      1814400,19958400,19958400,239500800,239500800 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,360,181440,181440,19958400,
      3113510400 ],[ 2,2,2,2,2,2,2,3,3,3,60,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,60,2520,181440,181440,1814400,1814400,
      19958400 ],[ 2,2,2,2,2,2,2,3,3,3,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,360,360 ],
  [ 2,2,2,2,2,2,2,3,3,3,360,360,20160,19958400,3113510400,
      3113510400,177843714048000 ],
  [ 2,2,2,2,2,2,2,3,3,3,360,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,360,2520,20160,181440,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,3,360,20160,20160,1814400,1814400,
      19958400,239500800 ],[ 2,2,2,2,2,2,2,3,3,3,2520 ],
  [ 2,2,2,2,2,2,2,3,3,3,2520,20160,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,2520,20160,20160,181440,181440,
      1814400,19958400 ],[ 2,2,2,2,2,2,2,3,3,3,20160 ],
  [ 2,2,2,2,2,2,2,3,3,3,20160,20160 ],
  [ 2,2,2,2,2,2,2,3,3,5,5,60,60,360,360 ],
  [ 2,2,2,2,2,2,2,3,3,60 ],[ 2,2,2,2,2,2,2,3,3,60,60 ],
  [ 2,2,2,2,2,2,2,3,3,60,60,60,360,2520,181440 ],
  [ 2,2,2,2,2,2,2,3,3,60,60,360,360,2520,20160,1814400,
      43589145600 ],[ 2,2,2,2,2,2,2,3,3,60,60,2520 ],
  [ 2,2,2,2,2,2,2,3,3,60,360 ],
  [ 2,2,2,2,2,2,2,3,3,60,360,360,2520,20160,181440,239500800,
      653837184000 ],[ 2,2,2,2,2,2,2,3,3,60,360,2520 ],
  [ 2,2,2,2,2,2,2,3,3,60,360,2520,20160 ],
  [ 2,2,2,2,2,2,2,3,3,60,360,2520,20160,20160,20160,181440,
      181440,1814400,19958400 ],
  [ 2,2,2,2,2,2,2,3,3,60,2520,2520,20160,653837184000 ],
  [ 2,2,2,2,2,2,2,3,3,60,2520,2520,181440,1814400 ],
  [ 2,2,2,2,2,2,2,3,3,168 ],[ 2,2,2,2,2,2,2,3,3,360 ],
  [ 2,2,2,2,2,2,2,3,3,360,360,20160,181440,19958400,239500800 ],
  [ 2,2,2,2,2,2,2,3,3,2520 ],
  [ 2,2,2,2,2,2,2,3,3,2520,2520,20160,20160,239500800 ],
  [ 2,2,2,2,2,2,2,3,3,2520,181440 ],
  [ 2,2,2,2,2,2,2,3,3,20160 ],[ 2,2,2,2,2,2,2,3,3,181440 ],
  [ 2,2,2,2,2,2,2,3,60 ],
  [ 2,2,2,2,2,2,2,3,60,181440,181440,1814400,19958400,
      3113510400,3113510400,43589145600,43589145600,3201186852864000,
      3201186852864000 ],[ 2,2,2,2,2,2,2,3,360 ],
  [ 2,2,2,2,2,2,2,60 ],[ 2,2,2,2,2,2,2,60,2520 ],
  [ 2,2,2,2,2,2,2,60,2520,1814400,239500800 ],
  [ 2,2,2,2,2,2,2,60,20160 ],[ 2,2,2,2,2,2,2,168 ],
  [ 2,2,2,2,2,2,2,360 ],[ 2,2,2,2,2,2,2,2520 ],
  [ 2,2,2,2,2,2,2,181440 ],[ 2,2,2,2,2,2,3 ],
  [ 2,2,2,2,2,2,3,3 ],[ 2,2,2,2,2,2,3,3,3 ],
  [ 2,2,2,2,2,2,3,3,3,3 ],[ 2,2,2,2,2,2,3,3,3,3,3 ],
  [ 2,2,2,2,2,2,3,3,3,3,3,5,60,60,360,2520 ],
  [ 2,2,2,2,2,2,3,3,3,3,5,60,60,60,168,168,20160,20160,
      20160,181440,1814400,19958400 ],
  [ 2,2,2,2,2,2,3,3,3,3,5,60,360 ],
  [ 2,2,2,2,2,2,3,3,3,3,5,60,360,360,2520,20160,20160,181440 
     ],[ 2,2,2,2,2,2,3,3,3,3,60,60 ],
  [ 2,2,2,2,2,2,3,3,3,3,60,60,60,60,181440,1814400,19958400 ],
  [ 2,2,2,2,2,2,3,3,3,3,60,60,2520,2520,181440 ],
  [ 2,2,2,2,2,2,3,3,3,3,60,360,20160,1814400,1814400,
      43589145600 ],[ 2,2,2,2,2,2,3,3,3,3,60,2520 ],
  [ 2,2,2,2,2,2,3,3,3,3,60,2520,20160,20160,181440,1814400,
      19958400,653837184000,10461394944000 ],
  [ 2,2,2,2,2,2,3,3,3,3,360,360,360,2520,20160,20160,20160 ],
  [ 2,2,2,2,2,2,3,3,3,3,360,2520 ],
  [ 2,2,2,2,2,2,3,3,3,3,360,2520,2520,20160,20160,181440 ],
  [ 2,2,2,2,2,2,3,3,3,3,360,2520,20160,20160,1814400,239500800 
     ],[ 2,2,2,2,2,2,3,3,3,3,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,3,5 ],
  [ 2,2,2,2,2,2,3,3,3,5,60,60,168,360,360,360,360,2520,
      2520,20160,20160,181440 ],
  [ 2,2,2,2,2,2,3,3,3,5,60,60,360,2520,181440,1814400 ],
  [ 2,2,2,2,2,2,3,3,3,5,60,360,360,2520,2520 ],
  [ 2,2,2,2,2,2,3,3,3,5,60,360,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,3,5,360,2520,2520,181440,1814400 ],
  [ 2,2,2,2,2,2,3,3,3,5,360,1814400,19958400,239500800,
      239500800,239500800,239500800,239500800,3113510400,43589145600,
      43589145600 ],[ 2,2,2,2,2,2,3,3,3,5,2520,2520,3113510400 ],
  [ 2,2,2,2,2,2,3,3,3,60 ],[ 2,2,2,2,2,2,3,3,3,60,60 ],
  [ 2,2,2,2,2,2,3,3,3,60,60,60,168,168,360,360,360,2520,
      20160,181440,1814400,19958400,3113510400 ],
  [ 2,2,2,2,2,2,3,3,3,60,60,60,360,360,360,2520,20160,181440 
     ],[ 2,2,2,2,2,2,3,3,3,60,60,60,360,360,2520,20160,
      181440,181440 ],[ 2,2,2,2,2,2,3,3,3,60,60,60,2520 ],
  [ 2,2,2,2,2,2,3,3,3,60,60,168,2520,181440,1814400,239500800 ]
    ,[ 2,2,2,2,2,2,3,3,3,60,60,360 ],
  [ 2,2,2,2,2,2,3,3,3,60,60,360,360,360,2520,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,3,60,60,360,2520 ],
  [ 2,2,2,2,2,2,3,3,3,60,60,360,2520,20160,20160,181440,
      181440,1814400 ],
  [ 2,2,2,2,2,2,3,3,3,60,60,360,2520,20160,181440,1814400,
      19958400 ],
  [ 2,2,2,2,2,2,3,3,3,60,60,360,2520,1814400,43589145600,
      653837184000 ],
  [ 2,2,2,2,2,2,3,3,3,60,60,360,2520,19958400,3113510400,
      43589145600 ],[ 2,2,2,2,2,2,3,3,3,60,60,181440 ],
  [ 2,2,2,2,2,2,3,3,3,60,168,168,2520,20160,181440,1814400 ],
  [ 2,2,2,2,2,2,3,3,3,60,360 ],
  [ 2,2,2,2,2,2,3,3,3,60,360,360,2520,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,3,60,360,2520,239500800,3113510400 ],
  [ 2,2,2,2,2,2,3,3,3,60,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,3,60,2520,20160,20160,181440 ],
  [ 2,2,2,2,2,2,3,3,3,60,20160 ],
  [ 2,2,2,2,2,2,3,3,3,60,20160,20160,181440,3113510400,
      43589145600,60822550204416000 ],
  [ 2,2,2,2,2,2,3,3,3,60,20160,181440,181440,1814400 ],
  [ 2,2,2,2,2,2,3,3,3,60,20160,1814400,19958400,10461394944000 ],
  [ 2,2,2,2,2,2,3,3,3,60,181440,181440,653837184000,
      177843714048000 ],
  [ 2,2,2,2,2,2,3,3,3,60,181440,1814400,1814400,19958400,
      19958400,19958400,239500800,3113510400 ],
  [ 2,2,2,2,2,2,3,3,3,60,181440,1814400,239500800,43589145600 ],
  [ 2,2,2,2,2,2,3,3,3,60,1814400 ],
  [ 2,2,2,2,2,2,3,3,3,60,43589145600,653837184000,653837184000 ],
  [ 2,2,2,2,2,2,3,3,3,360 ],[ 2,2,2,2,2,2,3,3,3,360,360 ],
  [ 2,2,2,2,2,2,3,3,3,360,360,2520,2520,2520,20160,1814400,
      19958400 ],
  [ 2,2,2,2,2,2,3,3,3,360,2520,2520,2520,2520,20160,20160 ],
  [ 2,2,2,2,2,2,3,3,3,360,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,3,360,2520,181440,19958400,3113510400 ],
  [ 2,2,2,2,2,2,3,3,3,2520,2520,1814400,19958400,43589145600 ],
  [ 2,2,2,2,2,2,3,3,3,20160 ],
  [ 2,2,2,2,2,2,3,3,3,20160,1814400 ],
  [ 2,2,2,2,2,2,3,3,3,181440 ],
  [ 2,2,2,2,2,2,3,3,3,239500800 ],
  [ 2,2,2,2,2,2,3,3,3,3113510400,43589145600,3201186852864000,
      7755605021665492992000000,201645730563302817792000000 ],
  [ 2,2,2,2,2,2,3,3,5,60 ],
  [ 2,2,2,2,2,2,3,3,5,60,60,360,2520,20160,181440,1814400,
      1814400,239500800,3113510400 ],
  [ 2,2,2,2,2,2,3,3,5,60,60,360,20160,181440 ],
  [ 2,2,2,2,2,2,3,3,5,360 ],[ 2,2,2,2,2,2,3,3,60 ],
  [ 2,2,2,2,2,2,3,3,60,60 ],[ 2,2,2,2,2,2,3,3,60,60,60 ],
  [ 2,2,2,2,2,2,3,3,60,60,60,168,360,20160,20160,20160,
      1814400,19958400 ],[ 2,2,2,2,2,2,3,3,60,60,60,168,20160 ],
  [ 2,2,2,2,2,2,3,3,60,60,60,360,20160,181440 ],
  [ 2,2,2,2,2,2,3,3,60,60,60,360,181440,239500800,239500800 ],
  [ 2,2,2,2,2,2,3,3,60,60,60,20160 ],
  [ 2,2,2,2,2,2,3,3,60,60,360 ],
  [ 2,2,2,2,2,2,3,3,60,60,360,360,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,60,60,360,2520 ],
  [ 2,2,2,2,2,2,3,3,60,60,360,20160 ],
  [ 2,2,2,2,2,2,3,3,60,60,360,20160,181440,1814400,1814400,
      239500800,239500800,3113510400 ],
  [ 2,2,2,2,2,2,3,3,60,60,2520 ],
  [ 2,2,2,2,2,2,3,3,60,60,2520,20160,20160,181440,181440,
      653837184000 ],[ 2,2,2,2,2,2,3,3,60,60,20160 ],
  [ 2,2,2,2,2,2,3,3,60,60,20160,20160,181440,1814400,
      653837184000 ],
  [ 2,2,2,2,2,2,3,3,60,60,653837184000,10461394944000,
      10461394944000,201645730563302817792000000 ],
  [ 2,2,2,2,2,2,3,3,60,168,360,2520,1814400,1814400,
      60822550204416000,1216451004088320000 ],
  [ 2,2,2,2,2,2,3,3,60,360 ],
  [ 2,2,2,2,2,2,3,3,60,360,360 ],
  [ 2,2,2,2,2,2,3,3,60,360,360,1814400,1814400,19958400 ],
  [ 2,2,2,2,2,2,3,3,60,360,2520 ],
  [ 2,2,2,2,2,2,3,3,60,360,2520,2520,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,60,360,2520,2520,181440,1814400,1814400 ],
  [ 2,2,2,2,2,2,3,3,60,360,2520,181440 ],
  [ 2,2,2,2,2,2,3,3,60,360,2520,181440,239500800,177843714048000,
      1216451004088320000 ],
  [ 2,2,2,2,2,2,3,3,60,360,2520,3113510400,653837184000 ],
  [ 2,2,2,2,2,2,3,3,60,360,20160 ],
  [ 2,2,2,2,2,2,3,3,60,360,181440 ],
  [ 2,2,2,2,2,2,3,3,60,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,60,2520,20160,181440,1814400,239500800,
      239500800 ],
  [ 2,2,2,2,2,2,3,3,60,2520,181440,1814400,239500800,
      10461394944000,3201186852864000 ],
  [ 2,2,2,2,2,2,3,3,60,2520,3113510400,653837184000,
      3201186852864000,562000363888803840000,562000363888803840000,
      201645730563302817792000000 ],[ 2,2,2,2,2,2,3,3,60,20160 ],
  [ 2,2,2,2,2,2,3,3,60,181440,1814400 ],
  [ 2,2,2,2,2,2,3,3,60,1814400,1814400,1216451004088320000,
      25545471085854720000,310224200866619719680000 ],
  [ 2,2,2,2,2,2,3,3,60,1814400,19958400,10461394944000,
      3201186852864000 ],
  [ 2,2,2,2,2,2,3,3,60,19958400,239500800,43589145600,
      10461394944000 ],[ 2,2,2,2,2,2,3,3,168,360 ],
  [ 2,2,2,2,2,2,3,3,168,360,2520,2520,2520,20160,181440,
      43589145600 ],[ 2,2,2,2,2,2,3,3,168,360,2520,181440,181440 
     ],[ 2,2,2,2,2,2,3,3,360 ],[ 2,2,2,2,2,2,3,3,360,360 ],
  [ 2,2,2,2,2,2,3,3,360,2520 ],
  [ 2,2,2,2,2,2,3,3,360,181440 ],
  [ 2,2,2,2,2,2,3,3,360,1814400,19958400 ],
  [ 2,2,2,2,2,2,3,3,360,1814400,19958400,239500800,239500800,
      653837184000 ],[ 2,2,2,2,2,2,3,3,2520 ],
  [ 2,2,2,2,2,2,3,3,2520,20160 ],
  [ 2,2,2,2,2,2,3,3,2520,20160,181440,1814400,19958400,
      3201186852864000 ],[ 2,2,2,2,2,2,3,3,20160 ],
  [ 2,2,2,2,2,2,3,3,181440 ],
  [ 2,2,2,2,2,2,3,3,1814400,239500800,43589145600,43589145600,
      653837184000,653837184000 ],
  [ 2,2,2,2,2,2,3,3,19958400,19958400,239500800,239500800,
      3113510400,43589145600 ],
  [ 2,2,2,2,2,2,3,3,19958400,19958400,10461394944000 ],
  [ 2,2,2,2,2,2,3,5,5 ],[ 2,2,2,2,2,2,3,5,60 ],
  [ 2,2,2,2,2,2,3,5,20160,181440,19958400,10461394944000 ],
  [ 2,2,2,2,2,2,3,60 ],[ 2,2,2,2,2,2,3,60,60,60,360 ],
  [ 2,2,2,2,2,2,3,60,60,60,360,360,2520,2520 ],
  [ 2,2,2,2,2,2,3,60,60,60,20160,20160,20160,181440,43589145600 
     ],[ 2,2,2,2,2,2,3,60,60,360 ],
  [ 2,2,2,2,2,2,3,60,60,360,2520,2520,2520,20160,20160 ],
  [ 2,2,2,2,2,2,3,60,60,360,2520,20160,20160,1814400 ],
  [ 2,2,2,2,2,2,3,60,60,2520 ],
  [ 2,2,2,2,2,2,3,60,60,2520,2520 ],
  [ 2,2,2,2,2,2,3,60,60,2520,20160,181440 ],
  [ 2,2,2,2,2,2,3,60,360,360,2520,2520 ],
  [ 2,2,2,2,2,2,3,60,360,2520 ],
  [ 2,2,2,2,2,2,3,60,360,2520,1814400 ],
  [ 2,2,2,2,2,2,3,60,2520 ],[ 2,2,2,2,2,2,3,168,360 ],
  [ 2,2,2,2,2,2,3,360 ],
  [ 2,2,2,2,2,2,3,360,360,20160,1814400 ],
  [ 2,2,2,2,2,2,3,360,2520 ],[ 2,2,2,2,2,2,3,360,20160 ],
  [ 2,2,2,2,2,2,3,2520 ],[ 2,2,2,2,2,2,3,20160,20160 ],
  [ 2,2,2,2,2,2,60 ],[ 2,2,2,2,2,2,60,1814400 ],
  [ 2,2,2,2,2,3 ],[ 2,2,2,2,2,3,3 ],[ 2,2,2,2,2,3,3,3 ],
  [ 2,2,2,2,2,3,3,3,3,3,60,60,360,360,2520,1814400 ],
  [ 2,2,2,2,2,3,3,3,3,3,60,360,20160,20160,181440,181440 ],
  [ 2,2,2,2,2,3,3,3,3,3,60,1814400,1814400,19958400,239500800,
      3113510400 ],
  [ 2,2,2,2,2,3,3,3,3,3,2520,20160,20160,1814400,1814400,
      19958400 ],[ 2,2,2,2,2,3,3,3,3,5 ],
  [ 2,2,2,2,2,3,3,3,3,5,60,60,60,60,360,360,2520,20160 ],
  [ 2,2,2,2,2,3,3,3,3,5,60,360 ],
  [ 2,2,2,2,2,3,3,3,3,5,60,2520,2520,2520,20160,181440 ],
  [ 2,2,2,2,2,3,3,3,3,5,60,3113510400,10461394944000,
      10461394944000,1216451004088320000 ],
  [ 2,2,2,2,2,3,3,3,3,5,360,20160,181440,1814400 ],
  [ 2,2,2,2,2,3,3,3,3,60 ],
  [ 2,2,2,2,2,3,3,3,3,60,60,360,360,2520,20160,181440 ],
  [ 2,2,2,2,2,3,3,3,3,60,60,360,2520 ],
  [ 2,2,2,2,2,3,3,3,3,60,168,360,2520,20160 ],
  [ 2,2,2,2,2,3,3,3,3,60,360,360,2520,2520,2520,20160 ],
  [ 2,2,2,2,2,3,3,3,3,60,360,2520 ],
  [ 2,2,2,2,2,3,3,3,3,60,360,2520,20160,1814400,43589145600 ],
  [ 2,2,2,2,2,3,3,3,3,168,360,2520,2520,20160,20160,1814400,
      19958400,239500800 ],
  [ 2,2,2,2,2,3,3,3,3,168,360,2520,2520,20160,1814400,1814400,
      19958400,653837184000,10461394944000 ],
  [ 2,2,2,2,2,3,3,3,3,360,360,2520,2520,2520,20160,20160,
      20160,181440,181440,1814400,1814400,19958400 ],
  [ 2,2,2,2,2,3,3,3,3,360,2520,2520,20160,181440,181440 ],
  [ 2,2,2,2,2,3,3,3,3,2520 ],[ 2,2,2,2,2,3,3,3,3,20160 ],
  [ 2,2,2,2,2,3,3,3,3,20160,20160 ],
  [ 2,2,2,2,2,3,3,3,5,60,60,60,360,2520,181440 ],
  [ 2,2,2,2,2,3,3,3,5,60,60,60,360,20160,181440 ],
  [ 2,2,2,2,2,3,3,3,5,60,60,360,360,2520,20160,181440,181440,
      1814400,1814400,19958400,239500800 ],
  [ 2,2,2,2,2,3,3,3,5,60,60,360,20160,181440,19958400 ],
  [ 2,2,2,2,2,3,3,3,5,60,60,2520 ],
  [ 2,2,2,2,2,3,3,3,5,60,360 ],
  [ 2,2,2,2,2,3,3,3,5,60,360,360,360,2520 ],
  [ 2,2,2,2,2,3,3,3,5,60,360,360,20160,181440 ],
  [ 2,2,2,2,2,3,3,3,5,60,360,2520,20160,19958400,3113510400 ],
  [ 2,2,2,2,2,3,3,3,5,60,360,2520,181440,19958400 ],
  [ 2,2,2,2,2,3,3,3,5,60,20160 ],
  [ 2,2,2,2,2,3,3,3,5,60,181440 ],
  [ 2,2,2,2,2,3,3,3,5,168,360 ],
  [ 2,2,2,2,2,3,3,3,5,360,2520,2520,20160,181440,181440,
      181440,1814400,19958400,239500800 ],
  [ 2,2,2,2,2,3,3,3,5,360,20160,181440,1814400 ],
  [ 2,2,2,2,2,3,3,3,5,2520,2520,181440 ],
  [ 2,2,2,2,2,3,3,3,5,2520,2520,181440,1814400,1814400,
      19958400,19958400,239500800 ],[ 2,2,2,2,2,3,3,3,5,1814400 ],
  [ 2,2,2,2,2,3,3,3,60 ],[ 2,2,2,2,2,3,3,3,60,60,60,360 ],
  [ 2,2,2,2,2,3,3,3,60,60,60,360,360,360,2520,20160,181440 ],
  [ 2,2,2,2,2,3,3,3,60,60,60,360,20160,181440,181440 ],
  [ 2,2,2,2,2,3,3,3,60,60,60,2520 ],
  [ 2,2,2,2,2,3,3,3,60,60,60,2520,181440 ],
  [ 2,2,2,2,2,3,3,3,60,60,168,168,168,360,360,360,360,2520 ],
  [ 2,2,2,2,2,3,3,3,60,60,360 ],
  [ 2,2,2,2,2,3,3,3,60,60,360,2520,2520,20160,20160,20160,
      20160,181440,181440,1814400,1814400,19958400,19958400,19958400,
      19958400,239500800,239500800 ],
  [ 2,2,2,2,2,3,3,3,60,60,360,2520,19958400 ],
  [ 2,2,2,2,2,3,3,3,60,60,360,20160 ],
  [ 2,2,2,2,2,3,3,3,60,60,2520,2520,181440,43589145600,
      653837184000 ],[ 2,2,2,2,2,3,3,3,60,60,20160 ],
  [ 2,2,2,2,2,3,3,3,60,168 ],
  [ 2,2,2,2,2,3,3,3,60,168,168,360,360,360,20160,181440,
      181440,1814400 ],
  [ 2,2,2,2,2,3,3,3,60,168,360,360,360,2520,2520,20160,20160,
      181440,181440 ],[ 2,2,2,2,2,3,3,3,60,360,360 ],
  [ 2,2,2,2,2,3,3,3,60,360,360,360,2520,3113510400,3113510400 ],
  [ 2,2,2,2,2,3,3,3,60,360,360,2520,20160,1814400 ],
  [ 2,2,2,2,2,3,3,3,60,360,360,2520,20160,1814400,1814400,
      1814400,19958400,19958400,19958400,19958400,239500800,239500800 ],
  [ 2,2,2,2,2,3,3,3,60,360,2520 ],
  [ 2,2,2,2,2,3,3,3,60,360,2520,2520,2520,43589145600,
      10461394944000 ],
  [ 2,2,2,2,2,3,3,3,60,360,2520,2520,20160,19958400,239500800 ],
  [ 2,2,2,2,2,3,3,3,60,360,2520,2520,181440,19958400,239500800,
      3201186852864000,60822550204416000,1216451004088320000,
      25545471085854720000 ],
  [ 2,2,2,2,2,3,3,3,60,360,2520,20160,20160,181440,181440 ],
  [ 2,2,2,2,2,3,3,3,60,360,2520,20160,20160,181440,181440,
      1814400,1814400,1814400,19958400,19958400,19958400,239500800 ],
  [ 2,2,2,2,2,3,3,3,60,360,2520,20160,1814400,1814400,19958400,
      19958400,239500800,3113510400,653837184000 ],
  [ 2,2,2,2,2,3,3,3,60,360,2520,1814400,19958400,653837184000,
      10461394944000 ],
  [ 2,2,2,2,2,3,3,3,60,360,2520,239500800,3113510400 ],
  [ 2,2,2,2,2,3,3,3,60,360,20160 ],
  [ 2,2,2,2,2,3,3,3,60,2520,20160 ],
  [ 2,2,2,2,2,3,3,3,60,2520,20160,181440,181440,181440,1814400,
      19958400,239500800,3113510400,43589145600,653837184000,
      10461394944000 ],[ 2,2,2,2,2,3,3,3,60,2520,181440 ],
  [ 2,2,2,2,2,3,3,3,60,181440 ],
  [ 2,2,2,2,2,3,3,3,60,19958400,239500800,43589145600,
      653837184000 ],
  [ 2,2,2,2,2,3,3,3,60,43589145600,653837184000,60822550204416000 ]
    ,[ 2,2,2,2,2,3,3,3,168,360,360 ],
  [ 2,2,2,2,2,3,3,3,360 ],[ 2,2,2,2,2,3,3,3,360,360,2520 ],
  [ 2,2,2,2,2,3,3,3,360,360,2520,20160,181440,239500800,
      653837184000,3201186852864000 ],
  [ 2,2,2,2,2,3,3,3,360,360,20160 ],
  [ 2,2,2,2,2,3,3,3,360,360,181440,1814400,239500800,3113510400,
      653837184000 ],
  [ 2,2,2,2,2,3,3,3,360,2520,2520,1814400,19958400 ],
  [ 2,2,2,2,2,3,3,3,360,2520,20160 ],
  [ 2,2,2,2,2,3,3,3,360,2520,20160,20160,181440,1814400,
      1814400,19958400,19958400 ],
  [ 2,2,2,2,2,3,3,3,360,2520,20160,239500800,3113510400 ],
  [ 2,2,2,2,2,3,3,3,360,2520,181440 ],
  [ 2,2,2,2,2,3,3,3,360,181440 ],
  [ 2,2,2,2,2,3,3,3,360,1814400,19958400,43589145600,
      1216451004088320000,25545471085854720000 ],
  [ 2,2,2,2,2,3,3,3,2520,2520 ],
  [ 2,2,2,2,2,3,3,3,2520,20160 ],
  [ 2,2,2,2,2,3,3,3,2520,20160,181440 ],
  [ 2,2,2,2,2,3,3,3,2520,1814400 ],[ 2,2,2,2,2,3,3,3,20160 ]
    ,[ 2,2,2,2,2,3,3,3,20160,181440 ],
  [ 2,2,2,2,2,3,3,3,20160,181440,181440 ],
  [ 2,2,2,2,2,3,3,3,20160,1814400 ],
  [ 2,2,2,2,2,3,3,3,20160,1814400,653837184000,10461394944000,
      177843714048000,60822550204416000 ],
  [ 2,2,2,2,2,3,3,3,181440,181440 ],
  [ 2,2,2,2,2,3,3,3,181440,181440,19958400 ],
  [ 2,2,2,2,2,3,3,3,181440,1814400 ],
  [ 2,2,2,2,2,3,3,3,19958400,19958400 ],
  [ 2,2,2,2,2,3,3,5,60 ],
  [ 2,2,2,2,2,3,3,5,60,60,60,2520,2520,2520,19958400,
      239500800,239500800,3113510400,43589145600,653837184000 ],
  [ 2,2,2,2,2,3,3,5,60,60,360 ],
  [ 2,2,2,2,2,3,3,5,60,360,2520,2520,2520,20160,181440 ],
  [ 2,2,2,2,2,3,3,5,60,360,2520,2520,20160,181440,1814400 ],
  [ 2,2,2,2,2,3,3,5,360 ],
  [ 2,2,2,2,2,3,3,5,360,20160,181440 ],
  [ 2,2,2,2,2,3,3,5,2520,2520,1814400 ],
  [ 2,2,2,2,2,3,3,5,20160 ],
  [ 2,2,2,2,2,3,3,5,181440,1814400 ],[ 2,2,2,2,2,3,3,60 ],
  [ 2,2,2,2,2,3,3,60,60 ],[ 2,2,2,2,2,3,3,60,60,60 ],
  [ 2,2,2,2,2,3,3,60,60,168,360 ],
  [ 2,2,2,2,2,3,3,60,60,168,360,360,360 ],
  [ 2,2,2,2,2,3,3,60,60,360 ],
  [ 2,2,2,2,2,3,3,60,60,360,360 ],
  [ 2,2,2,2,2,3,3,60,60,360,360,20160 ],
  [ 2,2,2,2,2,3,3,60,60,360,2520,2520 ],
  [ 2,2,2,2,2,3,3,60,60,360,2520,20160,1814400,1814400 ],
  [ 2,2,2,2,2,3,3,60,60,360,20160,181440,19958400 ],
  [ 2,2,2,2,2,3,3,60,60,360,181440,1814400 ],
  [ 2,2,2,2,2,3,3,60,60,20160 ],
  [ 2,2,2,2,2,3,3,60,168,360 ],
  [ 2,2,2,2,2,3,3,60,168,360,360 ],
  [ 2,2,2,2,2,3,3,60,168,360,181440,1814400,1814400,1814400,
      3201186852864000 ],[ 2,2,2,2,2,3,3,60,360 ],
  [ 2,2,2,2,2,3,3,60,360,360,360,2520,20160,20160,20160 ],
  [ 2,2,2,2,2,3,3,60,360,360,2520,239500800 ],
  [ 2,2,2,2,2,3,3,60,360,2520 ],
  [ 2,2,2,2,2,3,3,60,360,2520,2520 ],
  [ 2,2,2,2,2,3,3,60,360,2520,2520,20160,20160,181440,1814400,
      1814400,1814400,19958400,3113510400,3113510400,653837184000,
      3201186852864000 ],[ 2,2,2,2,2,3,3,60,360,2520,20160,181440 
     ],[ 2,2,2,2,2,3,3,60,360,2520,20160,19958400,239500800,
      239500800,43589145600 ],
  [ 2,2,2,2,2,3,3,60,360,20160,181440 ],
  [ 2,2,2,2,2,3,3,60,2520 ],
  [ 2,2,2,2,2,3,3,60,2520,2520,20160,43589145600 ],
  [ 2,2,2,2,2,3,3,60,2520,43589145600,43589145600,653837184000,
      10461394944000,177843714048000,3201186852864000,60822550204416000 ],
  [ 2,2,2,2,2,3,3,60,20160 ],[ 2,2,2,2,2,3,3,60,181440 ],
  [ 2,2,2,2,2,3,3,60,19958400,19958400,653837184000 ],
  [ 2,2,2,2,2,3,3,60,239500800,10461394944000,1216451004088320000,
      12926008369442488320000 ],
  [ 2,2,2,2,2,3,3,168,360,360,181440,181440,1814400,19958400,
      3113510400 ],[ 2,2,2,2,2,3,3,168,360,2520 ],
  [ 2,2,2,2,2,3,3,168,2520 ],[ 2,2,2,2,2,3,3,360 ],
  [ 2,2,2,2,2,3,3,360,360,360,2520,181440,653837184000 ],
  [ 2,2,2,2,2,3,3,360,360,2520,2520,20160,20160,181440,
      3113510400 ],[ 2,2,2,2,2,3,3,360,2520 ],
  [ 2,2,2,2,2,3,3,360,2520,20160 ],
  [ 2,2,2,2,2,3,3,360,20160 ],
  [ 2,2,2,2,2,3,3,360,20160,181440 ],
  [ 2,2,2,2,2,3,3,360,20160,19958400 ],
  [ 2,2,2,2,2,3,3,360,181440 ],
  [ 2,2,2,2,2,3,3,360,19958400,19958400 ],
  [ 2,2,2,2,2,3,3,2520 ],[ 2,2,2,2,2,3,3,2520,20160 ],
  [ 2,2,2,2,2,3,3,2520,20160,20160,181440,3113510400,43589145600 ]
    ,[ 2,2,2,2,2,3,3,2520,20160,181440,1814400 ],
  [ 2,2,2,2,2,3,3,2520,181440 ],
  [ 2,2,2,2,2,3,3,2520,181440,1814400,19958400 ],
  [ 2,2,2,2,2,3,3,2520,181440,1814400,1216451004088320000,
      310224200866619719680000,310224200866619719680000 ],
  [ 2,2,2,2,2,3,3,2520,1814400,1814400,177843714048000 ],
  [ 2,2,2,2,2,3,3,20160,20160,20160,20160,20160,181440,1814400 ],
  [ 2,2,2,2,2,3,3,20160,20160,19958400 ],
  [ 2,2,2,2,2,3,3,20160,19958400,10461394944000,177843714048000,
      3201186852864000 ],
  [ 2,2,2,2,2,3,3,181440,1814400,1814400,19958400,19958400 ],
  [ 2,2,2,2,2,3,5 ],[ 2,2,2,2,2,3,5,5 ],
  [ 2,2,2,2,2,3,5,60 ],[ 2,2,2,2,2,3,5,60,360,360,360 ],
  [ 2,2,2,2,2,3,5,60,360,2520 ],
  [ 2,2,2,2,2,3,5,60,2520,2520,20160 ],
  [ 2,2,2,2,2,3,5,360,2520 ],[ 2,2,2,2,2,3,5,2520 ],
  [ 2,2,2,2,2,3,60 ],[ 2,2,2,2,2,3,60,60 ],
  [ 2,2,2,2,2,3,60,60,60,360,2520,3113510400,43589145600 ],
  [ 2,2,2,2,2,3,60,60,360 ],
  [ 2,2,2,2,2,3,60,60,360,2520,20160,3113510400,60822550204416000,
      60822550204416000 ],[ 2,2,2,2,2,3,60,60,360,20160,20160 ],
  [ 2,2,2,2,2,3,60,60,2520,19958400,239500800,3113510400,
      10461394944000 ],
  [ 2,2,2,2,2,3,60,60,20160,20160,181440,1814400,19958400,
      43589145600 ],
  [ 2,2,2,2,2,3,60,60,20160,19958400,60822550204416000,
      25545471085854720000 ],
  [ 2,2,2,2,2,3,60,168,360,360,360,360,2520,2520,19958400 ],
  [ 2,2,2,2,2,3,60,168,360,2520,20160 ],
  [ 2,2,2,2,2,3,60,360 ],[ 2,2,2,2,2,3,60,360,360 ],
  [ 2,2,2,2,2,3,60,360,360,360 ],[ 2,2,2,2,2,3,60,360,2520 ]
    ,[ 2,2,2,2,2,3,60,360,2520,2520,181440,239500800 ],
  [ 2,2,2,2,2,3,60,360,2520,20160 ],
  [ 2,2,2,2,2,3,60,360,2520,20160,653837184000,10461394944000 ],
  [ 2,2,2,2,2,3,60,360,20160,3113510400,43589145600,
      177843714048000,3201186852864000 ],[ 2,2,2,2,2,3,60,20160 ],
  [ 2,2,2,2,2,3,60,20160,20160,1814400,239500800,10461394944000,
      3201186852864000 ],[ 2,2,2,2,2,3,60,181440,1814400 ],
  [ 2,2,2,2,2,3,360 ],[ 2,2,2,2,2,3,360,360 ],
  [ 2,2,2,2,2,3,360,360,2520,2520,20160,653837184000,
      10461394944000 ],[ 2,2,2,2,2,3,360,2520 ],
  [ 2,2,2,2,2,3,360,2520,2520,20160,20160,20160,20160,1814400 ],
  [ 2,2,2,2,2,3,360,2520,20160,1814400,19958400,43589145600,
      60822550204416000 ],[ 2,2,2,2,2,3,360,20160 ],
  [ 2,2,2,2,2,3,360,181440 ],[ 2,2,2,2,2,3,360,1814400 ],
  [ 2,2,2,2,2,3,2520 ],[ 2,2,2,2,2,3,2520,20160 ],
  [ 2,2,2,2,2,3,2520,20160,19958400 ],
  [ 2,2,2,2,2,3,2520,1814400 ],
  [ 2,2,2,2,2,3,2520,3113510400,43589145600,653837184000,
      10461394944000,3201186852864000 ],[ 2,2,2,2,2,3,20160 ],
  [ 2,2,2,2,2,3,20160,181440,1814400,1814400,1814400,239500800,
      3113510400 ],[ 2,2,2,2,2,3,181440 ],
  [ 2,2,2,2,2,3,181440,181440,1814400,3113510400,43589145600,
      43589145600 ],[ 2,2,2,2,2,3,1814400,43589145600 ],
  [ 2,2,2,2,2,60,360 ],[ 2,2,2,2,2,20160 ],[ 2,2,2,2,3 ],
  [ 2,2,2,2,3,3 ],[ 2,2,2,2,3,3,3 ],[ 2,2,2,2,3,3,3,3 ],
  [ 2,2,2,2,3,3,3,3,3,60,60 ],[ 2,2,2,2,3,3,3,3,60 ],
  [ 2,2,2,2,3,3,3,3,60,60 ],
  [ 2,2,2,2,3,3,3,3,60,60,1814400,19958400,19958400,239500800,
      3113510400 ],
  [ 2,2,2,2,3,3,3,3,60,360,2520,20160,1814400,239500800,
      3113510400 ],[ 2,2,2,2,3,3,3,3,60,2520 ],
  [ 2,2,2,2,3,3,3,3,60,20160,239500800,3113510400,43589145600,
      653837184000,3201186852864000,60822550204416000 ],
  [ 2,2,2,2,3,3,3,3,60,181440,19958400,43589145600,
      10461394944000,177843714048000,177843714048000,3201186852864000 ],
  [ 2,2,2,2,3,3,3,3,2520 ],
  [ 2,2,2,2,3,3,3,5,60,2520,181440,653837184000,653837184000 ],
  [ 2,2,2,2,3,3,3,60 ],
  [ 2,2,2,2,3,3,3,60,60,360,360,360,1814400,3113510400 ],
  [ 2,2,2,2,3,3,3,60,360,2520 ],
  [ 2,2,2,2,3,3,3,60,360,2520,20160,20160,1814400,653837184000 ],
  [ 2,2,2,2,3,3,3,60,360,20160,3113510400 ],
  [ 2,2,2,2,3,3,3,60,20160 ],
  [ 2,2,2,2,3,3,3,60,19958400,239500800,653837184000,
      12926008369442488320000 ],[ 2,2,2,2,3,3,3,168,181440 ],
  [ 2,2,2,2,3,3,3,2520 ],
  [ 2,2,2,2,3,3,5,60,360,20160,19958400 ],
  [ 2,2,2,2,3,3,5,20160,20160,1814400,1814400,19958400,19958400 ],
  [ 2,2,2,2,3,3,5,181440,1814400,1814400,1814400,19958400,
      19958400,19958400,239500800 ],[ 2,2,2,2,3,3,60 ],
  [ 2,2,2,2,3,3,60,60,60,60 ],
  [ 2,2,2,2,3,3,60,60,60,60,360,20160,181440,181440,1814400,
      1814400,19958400 ],[ 2,2,2,2,3,3,60,60,360,360,2520,2520 ],
  [ 2,2,2,2,3,3,60,60,2520,20160 ],
  [ 2,2,2,2,3,3,60,60,2520,20160,181440,1814400,3113510400,
      10461394944000 ],[ 2,2,2,2,3,3,60,60,20160 ],
  [ 2,2,2,2,3,3,60,60,20160,20160,181440 ],
  [ 2,2,2,2,3,3,60,168 ],
  [ 2,2,2,2,3,3,60,168,168,20160,181440,1814400 ],
  [ 2,2,2,2,3,3,60,360 ],
  [ 2,2,2,2,3,3,60,360,360,20160,181440,181440,19958400 ],
  [ 2,2,2,2,3,3,60,360,2520 ],
  [ 2,2,2,2,3,3,60,360,19958400,10461394944000,
      562000363888803840000 ],[ 2,2,2,2,3,3,60,2520 ],
  [ 2,2,2,2,3,3,60,20160 ],
  [ 2,2,2,2,3,3,60,20160,181440,181440,19958400,3113510400 ],
  [ 2,2,2,2,3,3,60,20160,181440,43589145600,653837184000 ],
  [ 2,2,2,2,3,3,60,20160,1814400 ],[ 2,2,2,2,3,3,60,181440 ],
  [ 2,2,2,2,3,3,60,181440,1814400 ],
  [ 2,2,2,2,3,3,60,181440,1814400,3113510400,60822550204416000 ],
  [ 2,2,2,2,3,3,60,1814400,239500800,3113510400,10461394944000 ],
  [ 2,2,2,2,3,3,60,19958400,239500800,10461394944000,
      177843714048000 ],[ 2,2,2,2,3,3,168 ],
  [ 2,2,2,2,3,3,168,168 ],[ 2,2,2,2,3,3,168,168,360,20160 ],
  [ 2,2,2,2,3,3,168,239500800 ],[ 2,2,2,2,3,3,360 ],
  [ 2,2,2,2,3,3,360,360 ],[ 2,2,2,2,3,3,360,2520,2520 ],
  [ 2,2,2,2,3,3,360,20160 ],
  [ 2,2,2,2,3,3,360,20160,20160,181440,653837184000 ],
  [ 2,2,2,2,3,3,2520 ],[ 2,2,2,2,3,3,2520,181440,239500800 ],
  [ 2,2,2,2,3,3,20160 ],[ 2,2,2,2,3,3,20160,19958400 ],
  [ 2,2,2,2,3,3,181440 ],[ 2,2,2,2,3,3,1814400 ],
  [ 2,2,2,2,3,3,1814400,19958400 ],
  [ 2,2,2,2,3,3,1814400,177843714048000,3201186852864000,
      1216451004088320000,25545471085854720000 ],
  [ 2,2,2,2,3,3,653837184000,10461394944000,177843714048000,
      177843714048000,3201186852864000 ],[ 2,2,2,2,3,5 ],
  [ 2,2,2,2,3,5,60,360,2520,20160,181440 ],
  [ 2,2,2,2,3,5,60,181440,181440,19958400,19958400,
      25545471085854720000 ],[ 2,2,2,2,3,60 ],
  [ 2,2,2,2,3,60,60 ],
  [ 2,2,2,2,3,60,60,60,360,360,2520,2520,20160,181440,181440 ],
  [ 2,2,2,2,3,60,60,60,360,360,2520,177843714048000 ],
  [ 2,2,2,2,3,60,60,60,2520,20160,20160,20160,3113510400 ],
  [ 2,2,2,2,3,60,60,360 ],
  [ 2,2,2,2,3,60,60,360,360,20160,181440,181440 ],
  [ 2,2,2,2,3,60,60,360,2520 ],[ 2,2,2,2,3,60,60,2520,20160 ]
    ,[ 2,2,2,2,3,60,60,20160 ],
  [ 2,2,2,2,3,60,60,181440,1814400 ],
  [ 2,2,2,2,3,60,60,181440,1814400,19958400,239500800,239500800,
      239500800,239500800,239500800,3113510400,3113510400,653837184000,
      10461394944000 ],
  [ 2,2,2,2,3,60,60,181440,239500800,3113510400,
      132626429906095529318154240000000,4111419327088961408862781440000000 ],
  [ 2,2,2,2,3,60,60,1814400 ],[ 2,2,2,2,3,60,168 ],
  [ 2,2,2,2,3,60,360 ],
  [ 2,2,2,2,3,60,360,360,2520,181440,1814400,239500800 ],
  [ 2,2,2,2,3,60,360,20160,181440,1814400,239500800 ],
  [ 2,2,2,2,3,60,360,181440,1814400,3113510400 ],
  [ 2,2,2,2,3,60,2520 ],
  [ 2,2,2,2,3,60,2520,20160,20160,19958400,239500800 ],
  [ 2,2,2,2,3,60,2520,181440,1814400,19958400,43589145600,
      10461394944000,177843714048000,25545471085854720000,
      310224200866619719680000 ],
  [ 2,2,2,2,3,60,2520,1814400,239500800,10461394944000,
      1216451004088320000,25545471085854720000 ],
  [ 2,2,2,2,3,60,2520,19958400,19958400,3113510400,177843714048000,
      25545471085854720000 ],
  [ 2,2,2,2,3,60,20160,20160,20160,181440,181440,239500800 ],
  [ 2,2,2,2,3,60,20160,181440 ],
  [ 2,2,2,2,3,60,20160,181440,239500800,3113510400 ],
  [ 2,2,2,2,3,60,20160,181440,10461394944000 ],
  [ 2,2,2,2,3,60,181440 ],
  [ 2,2,2,2,3,60,181440,181440,19958400,239500800 ],
  [ 2,2,2,2,3,60,19958400 ],
  [ 2,2,2,2,3,60,19958400,239500800,43589145600,653837184000,
      10461394944000,177843714048000 ],
  [ 2,2,2,2,3,60,19958400,239500800,10461394944000,177843714048000 ],
  [ 2,2,2,2,3,60,43589145600,10461394944000,177843714048000,
      3201186852864000,60822550204416000,1216451004088320000 ],
  [ 2,2,2,2,3,168 ],[ 2,2,2,2,3,168,360 ],
  [ 2,2,2,2,3,168,360,2520,181440,1814400,19958400 ],
  [ 2,2,2,2,3,168,360,181440 ],
  [ 2,2,2,2,3,168,2520,181440,181440,1814400,3113510400 ],
  [ 2,2,2,2,3,168,20160 ],[ 2,2,2,2,3,168,1814400,19958400 ],
  [ 2,2,2,2,3,360 ],[ 2,2,2,2,3,360,360 ],
  [ 2,2,2,2,3,360,360,2520,2520,20160 ],
  [ 2,2,2,2,3,360,2520 ],[ 2,2,2,2,3,360,20160 ],
  [ 2,2,2,2,3,360,20160,20160,10461394944000 ],
  [ 2,2,2,2,3,360,181440 ],[ 2,2,2,2,3,2520 ],
  [ 2,2,2,2,3,2520,2520,2520,2520,20160,20160,181440,19958400 ],
  [ 2,2,2,2,3,2520,2520,19958400 ],[ 2,2,2,2,3,2520,20160 ],
  [ 2,2,2,2,3,2520,20160,20160,239500800,43589145600,653837184000,
      10461394944000,60822550204416000,60822550204416000,
      1216451004088320000 ],[ 2,2,2,2,3,2520,1814400 ],
  [ 2,2,2,2,3,20160 ],
  [ 2,2,2,2,3,20160,20160,20160,20160,20160,19958400,239500800,
      239500800,239500800,653837184000 ],
  [ 2,2,2,2,3,20160,20160,181440 ],
  [ 2,2,2,2,3,20160,20160,181440,19958400,239500800 ],
  [ 2,2,2,2,3,20160,1814400,1814400,19958400,239500800,239500800,
      3113510400,3113510400,3201186852864000 ],
  [ 2,2,2,2,3,20160,1814400,1814400,19958400,239500800,3113510400 ],
  [ 2,2,2,2,3,181440 ],
  [ 2,2,2,2,3,181440,1814400,19958400,3113510400,43589145600,
      10461394944000 ],[ 2,2,2,2,3,1814400 ],[ 2,2,2,2,5 ],
  [ 2,2,2,2,5,60,60,360,360,2520,2520,20160,19958400,19958400 ],
  [ 2,2,2,2,60 ],[ 2,2,2,2,60,60 ],[ 2,2,2,2,60,60,60,60 ],
  [ 2,2,2,2,60,60,60,360,2520,20160 ],
  [ 2,2,2,2,60,60,60,181440 ],[ 2,2,2,2,60,60,2520 ],
  [ 2,2,2,2,60,60,20160 ],[ 2,2,2,2,60,60,20160,20160 ],
  [ 2,2,2,2,60,60,20160,181440 ],[ 2,2,2,2,60,60,1814400 ],
  [ 2,2,2,2,60,168,360 ],[ 2,2,2,2,60,360 ],
  [ 2,2,2,2,60,360,360,2520 ],[ 2,2,2,2,60,360,20160 ],
  [ 2,2,2,2,60,360,20160,181440 ],[ 2,2,2,2,60,2520 ],
  [ 2,2,2,2,60,2520,20160 ],[ 2,2,2,2,60,2520,1814400 ],
  [ 2,2,2,2,60,181440 ],
  [ 2,2,2,2,60,181440,1814400,1814400,3113510400 ],
  [ 2,2,2,2,60,181440,1814400,1814400,177843714048000 ],
  [ 2,2,2,2,60,1814400,19958400 ],
  [ 2,2,2,2,60,1814400,19958400,19958400,43589145600,
      3201186852864000,25545471085854720000 ],[ 2,2,2,2,60,19958400 ],
  [ 2,2,2,2,168 ],[ 2,2,2,2,360 ],
  [ 2,2,2,2,360,360,43589145600,43589145600 ],
  [ 2,2,2,2,360,360,3201186852864000,3201186852864000,
      4420880996869850977271808000000,132626429906095529318154240000000 ],
  [ 2,2,2,2,360,2520 ],[ 2,2,2,2,360,181440,1814400 ],
  [ 2,2,2,2,360,1814400,19958400 ],[ 2,2,2,2,2520 ],
  [ 2,2,2,2,2520,2520 ],[ 2,2,2,2,2520,181440 ],
  [ 2,2,2,2,181440 ],[ 2,2,2,2,1814400,1814400 ],
  [ 2,2,2,2,3113510400,177843714048000 ],[ 2,2,2,3 ],
  [ 2,2,2,3,3 ],[ 2,2,2,3,3,3,3 ],[ 2,2,2,3,3,3,3,60,60 ],
  [ 2,2,2,3,3,3,3,60,60,60,360,20160,181440 ],
  [ 2,2,2,3,3,3,3,60,360,360,360,2520,20160 ],
  [ 2,2,2,3,3,3,3,360 ],
  [ 2,2,2,3,3,3,3,360,20160,20160,181440,1814400 ],
  [ 2,2,2,3,3,3,5,5,60,360,360,20160,20160,181440,1814400,
      19958400 ],[ 2,2,2,3,3,3,5,2520,239500800 ],
  [ 2,2,2,3,3,3,5,239500800 ],[ 2,2,2,3,3,3,60 ],
  [ 2,2,2,3,3,3,60,168,360,20160,20160,181440,239500800,
      653837184000 ],
  [ 2,2,2,3,3,3,60,360,360,360,2520,181440,1814400 ],
  [ 2,2,2,3,3,3,60,20160,181440 ],
  [ 2,2,2,3,3,3,168,2520,20160 ],
  [ 2,2,2,3,3,3,360,20160,181440 ],
  [ 2,2,2,3,3,3,360,19958400 ],
  [ 2,2,2,3,3,5,60,168,360,360,20160 ],
  [ 2,2,2,3,3,5,60,360,360 ],
  [ 2,2,2,3,3,5,60,360,360,2520,20160 ],
  [ 2,2,2,3,3,5,60,360,2520 ],[ 2,2,2,3,3,5,360 ],
  [ 2,2,2,3,3,5,360,2520,2520,20160 ],
  [ 2,2,2,3,3,5,360,181440 ],
  [ 2,2,2,3,3,5,2520,2520,20160,1814400,1814400,19958400 ],
  [ 2,2,2,3,3,5,2520,19958400 ],[ 2,2,2,3,3,5,181440 ],
  [ 2,2,2,3,3,5,43589145600,653837184000 ],[ 2,2,2,3,3,60 ],
  [ 2,2,2,3,3,60,60 ],[ 2,2,2,3,3,60,60,360,2520 ],
  [ 2,2,2,3,3,60,60,360,2520,2520,2520,181440,1814400 ],
  [ 2,2,2,3,3,60,60,2520,3113510400,10461394944000,177843714048000,
      1216451004088320000 ],[ 2,2,2,3,3,60,168,2520 ],
  [ 2,2,2,3,3,60,360 ],[ 2,2,2,3,3,60,360,360,360 ],
  [ 2,2,2,3,3,60,360,360,2520 ],
  [ 2,2,2,3,3,60,360,360,2520,20160 ],
  [ 2,2,2,3,3,60,360,360,2520,20160,653837184000,10461394944000,
      60822550204416000 ],[ 2,2,2,3,3,60,360,2520 ],
  [ 2,2,2,3,3,60,360,2520,2520,20160,20160,181440,181440,
      1814400,1814400,19958400,239500800,239500800,3113510400,
      3113510400,43589145600,43589145600,653837184000,10461394944000 ],
  [ 2,2,2,3,3,60,360,2520,2520,20160,181440,181440,1814400,
      1814400,19958400,3113510400,43589145600,653837184000,653837184000,
      10461394944000,10461394944000,177843714048000,177843714048000,
      3201186852864000 ],
  [ 2,2,2,3,3,60,360,2520,2520,20160,1814400,177843714048000 ],
  [ 2,2,2,3,3,60,360,20160 ],
  [ 2,2,2,3,3,60,360,20160,20160,181440,1814400 ],
  [ 2,2,2,3,3,60,360,20160,181440,43589145600 ],
  [ 2,2,2,3,3,60,360,20160,19958400,3113510400 ],
  [ 2,2,2,3,3,60,360,239500800 ],
  [ 2,2,2,3,3,60,2520,2520,20160,181440 ],
  [ 2,2,2,3,3,60,2520,2520,181440 ],
  [ 2,2,2,3,3,60,2520,20160 ],
  [ 2,2,2,3,3,60,2520,20160,20160 ],
  [ 2,2,2,3,3,60,2520,19958400 ],[ 2,2,2,3,3,60,20160,20160 ],
  [ 2,2,2,3,3,60,20160,181440 ],
  [ 2,2,2,3,3,60,181440,239500800 ],
  [ 2,2,2,3,3,60,1814400,19958400 ],
  [ 2,2,2,3,3,168,168,360,360,360,2520,20160,181440,181440,
      1814400,1814400,19958400,19958400 ],
  [ 2,2,2,3,3,168,20160,20160,181440,1814400,1814400,19958400,
      3113510400 ],[ 2,2,2,3,3,360 ],[ 2,2,2,3,3,360,360,2520 ],
  [ 2,2,2,3,3,360,2520,2520,2520,181440 ],
  [ 2,2,2,3,3,360,2520,2520,181440 ],
  [ 2,2,2,3,3,360,2520,20160,1814400 ],[ 2,2,2,3,3,360,20160 ],
  [ 2,2,2,3,3,360,20160,20160,1814400,19958400,19958400,
      177843714048000 ],[ 2,2,2,3,3,360,20160,20160,19958400 ],
  [ 2,2,2,3,3,360,20160,19958400,19958400 ],
  [ 2,2,2,3,3,360,181440 ],[ 2,2,2,3,3,360,1814400 ],
  [ 2,2,2,3,3,360,19958400,239500800 ],
  [ 2,2,2,3,3,2520,2520,20160 ],
  [ 2,2,2,3,3,2520,2520,20160,1814400 ],
  [ 2,2,2,3,3,2520,2520,1814400,19958400,19958400,239500800 ],
  [ 2,2,2,3,3,2520,20160,20160,181440,19958400,239500800 ],
  [ 2,2,2,3,3,2520,20160,20160,181440,239500800,3113510400 ],
  [ 2,2,2,3,3,2520,181440,1814400 ],
  [ 2,2,2,3,3,2520,3113510400 ],[ 2,2,2,3,3,20160 ],
  [ 2,2,2,3,3,20160,181440 ],[ 2,2,2,3,3,20160,181440,1814400 ],
  [ 2,2,2,3,3,20160,181440,1814400,19958400 ],
  [ 2,2,2,3,3,20160,1814400,19958400,239500800 ],
  [ 2,2,2,3,3,181440,19958400 ],
  [ 2,2,2,3,3,239500800,239500800,3113510400,3113510400,43589145600,
      653837184000,653837184000 ],[ 2,2,2,3,5 ],
  [ 2,2,2,3,5,60,360,360,2520 ],[ 2,2,2,3,5,360 ],
  [ 2,2,2,3,5,360,360,20160,239500800,10461394944000,
      177843714048000,201645730563302817792000000,
      5444434725209176080384000000 ],[ 2,2,2,3,5,360,20160,1814400 ],
  [ 2,2,2,3,5,2520,20160,181440 ],[ 2,2,2,3,5,181440 ],
  [ 2,2,2,3,5,19958400,239500800 ],[ 2,2,2,3,60 ],
  [ 2,2,2,3,60,60,60,360 ],
  [ 2,2,2,3,60,60,60,2520,19958400,239500800,653837184000 ],
  [ 2,2,2,3,60,60,360,360 ],[ 2,2,2,3,60,60,360,360,20160 ],
  [ 2,2,2,3,60,60,360,2520,2520,181440,181440,19958400,
      10461394944000,3201186852864000,60822550204416000 ],
  [ 2,2,2,3,60,60,360,20160 ],[ 2,2,2,3,60,60,360,181440 ],
  [ 2,2,2,3,60,60,2520,2520 ],
  [ 2,2,2,3,60,60,2520,181440,181440,19958400,19958400 ],
  [ 2,2,2,3,60,60,20160,239500800 ],[ 2,2,2,3,60,60,1814400 ],
  [ 2,2,2,3,60,168,360 ],[ 2,2,2,3,60,168,360,2520,20160 ],
  [ 2,2,2,3,60,168,360,2520,19958400,3113510400 ],
  [ 2,2,2,3,60,360 ],[ 2,2,2,3,60,360,360,2520 ],
  [ 2,2,2,3,60,360,360,2520,2520,20160,43589145600 ],
  [ 2,2,2,3,60,360,360,20160,20160,181440,1814400,239500800,
      239500800 ],[ 2,2,2,3,60,360,360,20160,181440 ],
  [ 2,2,2,3,60,360,2520 ],
  [ 2,2,2,3,60,360,2520,2520,2520,19958400,239500800 ],
  [ 2,2,2,3,60,360,2520,20160 ],
  [ 2,2,2,3,60,360,2520,20160,181440,181440,1814400 ],
  [ 2,2,2,3,60,360,2520,181440,181440,239500800,
      25545471085854720000 ],[ 2,2,2,3,60,360,20160 ],
  [ 2,2,2,3,60,360,20160,20160,181440 ],
  [ 2,2,2,3,60,360,20160,20160,181440,181440 ],
  [ 2,2,2,3,60,360,20160,181440,43589145600,653837184000,
      653837184000 ],[ 2,2,2,3,60,360,20160,19958400 ],
  [ 2,2,2,3,60,360,20160,19958400,653837184000 ],
  [ 2,2,2,3,60,360,181440 ],
  [ 2,2,2,3,60,360,1814400,1814400,19958400,19958400,239500800 ],
  [ 2,2,2,3,60,360,1814400,19958400 ],
  [ 2,2,2,3,60,360,19958400,239500800,43589145600,653837184000,
      653837184000 ],[ 2,2,2,3,60,2520,2520,2520 ],
  [ 2,2,2,3,60,2520,2520,20160,20160 ],
  [ 2,2,2,3,60,2520,2520,1814400 ],
  [ 2,2,2,3,60,2520,20160,20160,181440,181440,181440,1814400 ],
  [ 2,2,2,3,60,2520,20160,181440 ],
  [ 2,2,2,3,60,2520,1814400,1814400,19958400 ],
  [ 2,2,2,3,60,2520,1814400,19958400 ],
  [ 2,2,2,3,60,2520,43589145600 ],[ 2,2,2,3,60,20160 ],
  [ 2,2,2,3,60,181440 ],[ 2,2,2,3,60,1814400,19958400,19958400 ],
  [ 2,2,2,3,60,19958400,19958400 ],[ 2,2,2,3,168 ],
  [ 2,2,2,3,168,360,360,2520 ],
  [ 2,2,2,3,168,20160,181440,1814400,19958400,19958400,19958400 ],
  [ 2,2,2,3,360,360,181440,3113510400,12926008369442488320000,
      5444434725209176080384000000 ],[ 2,2,2,3,360,2520 ],
  [ 2,2,2,3,360,2520,20160,181440,1814400,10461394944000 ],
  [ 2,2,2,3,360,20160 ],[ 2,2,2,3,360,20160,181440 ],
  [ 2,2,2,3,360,20160,181440,1814400,1814400,19958400,653837184000,
      177843714048000 ],
  [ 2,2,2,3,360,20160,1814400,239500800,653837184000,
      3201186852864000,201645730563302817792000000 ],[ 2,2,2,3,2520 ],
  [ 2,2,2,3,2520,2520,2520,20160,20160,181440,1814400 ],
  [ 2,2,2,3,2520,2520,1814400 ],[ 2,2,2,3,2520,20160 ],
  [ 2,2,2,3,2520,20160,1814400,19958400 ],
  [ 2,2,2,3,2520,181440,1814400 ],[ 2,2,2,3,2520,1814400 ],
  [ 2,2,2,3,2520,19958400 ],[ 2,2,2,3,2520,239500800 ],
  [ 2,2,2,3,20160 ],[ 2,2,2,3,20160,20160,181440 ],
  [ 2,2,2,3,20160,181440,1814400 ],[ 2,2,2,3,20160,1814400 ],
  [ 2,2,2,3,20160,1814400,19958400 ],[ 2,2,2,3,181440 ],
  [ 2,2,2,3,1814400 ],[ 2,2,2,5,5 ],
  [ 2,2,2,5,360,177843714048000,3201186852864000 ],[ 2,2,2,60 ],
  [ 2,2,2,60,60 ],[ 2,2,2,60,60,60,20160,181440 ],
  [ 2,2,2,60,60,360 ],
  [ 2,2,2,60,60,360,360,2520,2520,3113510400,177843714048000 ],
  [ 2,2,2,60,60,360,2520,20160 ],[ 2,2,2,60,60,181440 ],
  [ 2,2,2,60,360,360,360,2520 ],
  [ 2,2,2,60,360,2520,2520,181440,1814400,43589145600,
      177843714048000 ],[ 2,2,2,60,360,2520,20160,20160 ],
  [ 2,2,2,60,360,20160,20160 ],[ 2,2,2,60,360,181440 ],
  [ 2,2,2,60,2520 ],[ 2,2,2,60,2520,20160 ],
  [ 2,2,2,60,2520,181440,1814400,1814400,19958400,653837184000,
      10461394944000,60822550204416000 ],[ 2,2,2,60,20160 ],
  [ 2,2,2,60,20160,181440 ],[ 2,2,2,60,20160,1814400 ],
  [ 2,2,2,60,1814400,19958400 ],[ 2,2,2,360,360 ],
  [ 2,2,2,360,360,43589145600,43589145600 ],[ 2,2,2,360,2520 ],
  [ 2,2,2,360,2520,20160 ],[ 2,2,2,360,20160,1814400 ],
  [ 2,2,2,360,20160,1814400,19958400,19958400,239500800,3113510400,
      43589145600 ],[ 2,2,2,2520,20160,1814400 ],
  [ 2,2,2,2520,20160,1814400,1814400 ],[ 2,2,2,20160 ],
  [ 2,2,3 ],[ 2,2,3,3 ],[ 2,2,3,3,3,60 ],[ 2,2,3,3,3,360 ],
  [ 2,2,3,3,5,60,360,20160,181440 ],
  [ 2,2,3,3,5,60,20160,20160,1814400 ],[ 2,2,3,3,5,181440 ],
  [ 2,2,3,3,60 ],[ 2,2,3,3,60,60 ],[ 2,2,3,3,60,360 ],
  [ 2,2,3,3,60,2520 ],[ 2,2,3,3,360 ],[ 2,2,3,3,2520 ],
  [ 2,2,3,3,20160 ],[ 2,2,3,3,181440 ],[ 2,2,3,60 ],
  [ 2,2,3,60,60 ],[ 2,2,3,60,360 ],
  [ 2,2,3,60,360,19958400,239500800 ],[ 2,2,3,60,2520 ],
  [ 2,2,3,60,20160 ],[ 2,2,3,60,1814400 ],[ 2,2,3,168,20160 ],
  [ 2,2,3,168,1814400 ],[ 2,2,3,360 ],[ 2,2,3,360,360 ],
  [ 2,2,3,360,20160 ],[ 2,2,3,2520 ],[ 2,2,3,2520,2520 ],
  [ 2,2,3,2520,2520,20160,20160 ],[ 2,2,3,2520,20160 ],
  [ 2,2,3,2520,1814400 ],[ 2,2,3,20160 ],[ 2,2,3,20160,20160 ],
  [ 2,2,3,181440 ],[ 2,2,3,1814400,1814400 ],[ 2,2,3,239500800 ],
  [ 2,2,5,2520 ],[ 2,2,60 ],[ 2,2,60,60 ],[ 2,2,60,60,2520 ],
  [ 2,2,60,60,20160 ],[ 2,2,60,60,181440 ],
  [ 2,2,60,60,1814400 ],[ 2,2,60,360 ],
  [ 2,2,60,360,181440,181440 ],[ 2,2,60,360,181440,1814400 ],
  [ 2,2,60,360,1814400 ],
  [ 2,2,60,360,1814400,19958400,19958400,239500800,239500800,
      239500800 ],[ 2,2,60,2520 ],[ 2,2,60,2520,2520 ],
  [ 2,2,60,2520,181440 ],[ 2,2,60,2520,3113510400 ],
  [ 2,2,60,20160 ],[ 2,2,60,20160,181440 ],
  [ 2,2,60,20160,181440,181440 ],[ 2,2,60,181440 ],
  [ 2,2,60,181440,1814400 ],[ 2,2,168 ],[ 2,2,360 ],
  [ 2,2,360,360 ],[ 2,2,360,2520 ],[ 2,2,360,2520,1814400 ],
  [ 2,2,360,181440 ],[ 2,2,360,181440,181440 ],[ 2,2,2520 ],
  [ 2,2,2520,20160 ],[ 2,2,2520,181440,19958400 ],[ 2,2,20160 ],
  [ 2,2,20160,20160 ],[ 2,2,20160,1814400 ],[ 2,2,20160,19958400 ],
  [ 2,2,181440 ],
  [ 2,2,181440,181440,43589145600,43589145600,
      131565418466846765083609006080000000,
      147616399519802070423809304821760000000 ],[ 2,2,653837184000 ],
  [ 2,3 ],[ 2,3,60,60 ],[ 2,3,60,60,168 ],
  [ 2,3,60,60,19958400 ],[ 2,3,60,168,2520 ],
  [ 2,3,60,2520,2520 ],[ 2,3,168 ],[ 2,3,360 ],
  [ 2,3,2520,2520 ],[ 2,60 ],[ 2,60,60 ],[ 2,60,360 ],
  [ 2,60,2520 ],[ 2,60,181440 ],[ 2,60,181440,181440 ],
  [ 2,60,19958400 ],[ 2,168 ],[ 2,168,168 ],[ 2,168,20160 ],
  [ 2,168,181440 ],[ 2,168,181440,1814400 ],[ 2,360 ],
  [ 2,360,360 ],[ 2,360,2520 ],[ 2,360,2520,20160 ],
  [ 2,360,181440,181440 ],[ 2,360,19958400 ],[ 2,2520,2520 ],
  [ 2,20160 ],[ 2,20160,181440 ],[ 2,20160,43589145600 ],
  [ 2,181440 ],[ 2,181440,181440 ],[ 2,181440,1814400 ],
  [ 2,1814400 ],[ 2,3113510400 ],[ 168,168 ],[ 2520,2520 ] ];

compfactpos :=
[ 1269,1269,590,135,940,1,590,940,1,135,1,1,582,582,133,582,
--> --------------------

--> maximum size reached

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