  879 = conj(    1, (01))
 1159 = conj(    1, (210))
 1236 = conj(    1, (0321))
    3 = conj(    2, (12))
   13 = conj(    2, (321))
  878 = conj(    2, (01)(23))
  880 = conj(    2, (012))
  897 = conj(    2, (0132))
 1155 = conj(    2, (0231))
 1152 = conj(    2, (023))
 1164 = conj(    2, (02)(13))
 1232 = conj(    2, (310))
 1214 = conj(    2, (03))
 1194 = conj(    2, (03)(12))
   15 = conj(    4, (23))
  182 = conj(    4, (123))
  881 = conj(    4, (01))
  889 = conj(    4, (01)(23))
  240 = conj(    4, (0123))
 1160 = conj(    4, (210))
  479 = conj(    4, (023))
  557 = conj(    4, (03))
   40 = conj(    5, (12))
  144 = conj(    5, (321))
  877 = conj(    5, (01))
  906 = conj(    5, (012))
 1101 = conj(    5, (0132))
 1154 = conj(    5, (210))
 1151 = conj(    5, (02))
 1216 = conj(    5, (02)(13))
 1231 = conj(    5, (0321))
 1213 = conj(    5, (320))
 1193 = conj(    5, (0312))
   11 = conj(    6, (23))
   26 = conj(    6, (12))
   42 = conj(    6, (123))
   51 = conj(    6, (321))
  105 = conj(    6, (13))
  882 = conj(    6, (01))
  887 = conj(    6, (01)(23))
  865 = conj(    6, (012))
  913 = conj(    6, (0123))
  846 = conj(    6, (0132))
  943 = conj(    6, (013))
 1156 = conj(    6, (210))
 1161 = conj(    6, (0231))
 1143 = conj(    6, (02))
 1171 = conj(    6, (023))
  751 = conj(    6, (02)(13))
  975 = conj(    6, (0213))
 1233 = conj(    6, (0321))
 1235 = conj(    6, (310))
 1205 = conj(    6, (320))
 1226 = conj(    6, (03))
  813 = conj(    6, (0312))
 1110 = conj(    6, (03)(12))
   28 = conj(    7, (12))
   57 = conj(    7, (321))
  883 = conj(    7, (01))
  866 = conj(    7, (012))
  850 = conj(    7, (0132))
 1157 = conj(    7, (210))
 1144 = conj(    7, (02))
  760 = conj(    7, (02)(13))
 1234 = conj(    7, (0321))
 1207 = conj(    7, (320))
  821 = conj(    7, (0312))
   14 = conj(    8, (23))
   27 = conj(    8, (12))
  884 = conj(    8, (01))
  898 = conj(    8, (01)(23))
 1165 = conj(    8, (0231))
   24 = conj(    9, (23))
   29 = conj(    9, (12))
  548 = conj(    9, (123))
   59 = conj(    9, (321))
  473 = conj(    9, (13))
  885 = conj(    9, (01))
  900 = conj(    9, (01)(23))
 1167 = conj(    9, (0231))
   17 = conj(   10, (23))
   30 = conj(   10, (12))
  184 = conj(   10, (123))
   61 = conj(   10, (321))
  214 = conj(   10, (13))
  886 = conj(   10, (01))
  891 = conj(   10, (01)(23))
  867 = conj(   10, (012))
  241 = conj(   10, (0123))
  852 = conj(   10, (0132))
  281 = conj(   10, (013))
 1158 = conj(   10, (210))
 1145 = conj(   10, (02))
  480 = conj(   10, (023))
  757 = conj(   10, (02)(13))
  408 = conj(   10, (0213))
 1206 = conj(   10, (320))
  555 = conj(   10, (03))
  818 = conj(   10, (0312))
  429 = conj(   10, (03)(12))
   16 = conj(   12, (23))
   43 = conj(   12, (12))
  183 = conj(   12, (123))
  111 = conj(   12, (321))
  200 = conj(   12, (13))
  888 = conj(   12, (01))
  890 = conj(   12, (01)(23))
  914 = conj(   12, (012))
  237 = conj(   12, (0123))
  949 = conj(   12, (0132))
  203 = conj(   12, (013))
 1162 = conj(   12, (210))
 1172 = conj(   12, (02))
  476 = conj(   12, (023))
  970 = conj(   12, (02)(13))
  126 = conj(   12, (0213))
  551 = conj(   12, (03))
 1107 = conj(   12, (0312))
  150 = conj(   12, (03)(12))
   23 = conj(   18, (23))
  185 = conj(   18, (12))
  540 = conj(   18, (123))
  233 = conj(   18, (321))
  432 = conj(   18, (13))
  892 = conj(   18, (01))
  899 = conj(   18, (01)(23))
  239 = conj(   18, (012))
  231 = conj(   18, (0132))
 1166 = conj(   18, (0231))
  478 = conj(   18, (02))
  430 = conj(   18, (02)(13))
  556 = conj(   18, (320))
  497 = conj(   18, (0312))
   25 = conj(   19, (23))
  186 = conj(   19, (12))
  549 = conj(   19, (123))
  236 = conj(   19, (321))
  475 = conj(   19, (13))
  893 = conj(   19, (01))
  901 = conj(   19, (01)(23))
 1168 = conj(   19, (0231))
   22 = conj(   20, (23))
  187 = conj(   20, (12))
  389 = conj(   20, (123))
  284 = conj(   20, (321))
  401 = conj(   20, (13))
  894 = conj(   20, (01))
  896 = conj(   20, (01)(23))
  238 = conj(   20, (012))
  646 = conj(   20, (0123))
  222 = conj(   20, (0132))
  734 = conj(   20, (013))
  477 = conj(   20, (02))
  660 = conj(   20, (023))
   92 = conj(   20, (02)(13))
  832 = conj(   20, (0213))
  550 = conj(   20, (320))
  745 = conj(   20, (03))
   96 = conj(   20, (0312))
  834 = conj(   20, (03)(12))
  188 = conj(   21, (12))
  304 = conj(   21, (321))
  895 = conj(   21, (01))
  242 = conj(   21, (012))
  320 = conj(   21, (0132))
  481 = conj(   21, (02))
  333 = conj(   21, (02)(13))
  554 = conj(   21, (320))
  376 = conj(   21, (0312))
   55 = conj(   31, (23))
  128 = conj(   31, (123))
  868 = conj(   31, (01))
  848 = conj(   31, (01)(23))
  990 = conj(   31, (0123))
 1141 = conj(   31, (210))
  753 = conj(   31, (0231))
  998 = conj(   31, (023))
 1202 = conj(   31, (0321))
  812 = conj(   31, (310))
 1007 = conj(   31, (03))
   62 = conj(   32, (23))
  215 = conj(   32, (123))
  869 = conj(   32, (01))
  853 = conj(   32, (01)(23))
  282 = conj(   32, (0123))
 1142 = conj(   32, (210))
  758 = conj(   32, (0231))
  409 = conj(   32, (023))
 1203 = conj(   32, (0321))
  817 = conj(   32, (310))
  427 = conj(   32, (03))
   53 = conj(   33, (23))
  190 = conj(   33, (12))
  107 = conj(   33, (123))
  197 = conj(   33, (321))
   48 = conj(   33, (13))
  872 = conj(   33, (01))
  847 = conj(   33, (01)(23))
  245 = conj(   33, (012))
  945 = conj(   33, (0123))
  250 = conj(   33, (0132))
  916 = conj(   33, (013))
  752 = conj(   33, (0231))
  470 = conj(   33, (02))
  976 = conj(   33, (023))
  483 = conj(   33, (02)(13))
  528 = conj(   33, (320))
  539 = conj(   33, (0312))
   54 = conj(   34, (23))
  193 = conj(   34, (12))
  122 = conj(   34, (123))
  228 = conj(   34, (321))
  147 = conj(   34, (13))
  871 = conj(   34, (01))
  845 = conj(   34, (01)(23))
  247 = conj(   34, (012))
  966 = conj(   34, (0123))
  360 = conj(   34, (0132))
  750 = conj(   34, (0231))
  469 = conj(   34, (02))
  959 = conj(   34, (023))
  534 = conj(   34, (02)(13))
  526 = conj(   34, (320))
  930 = conj(   34, (03))
  488 = conj(   34, (0312))
   56 = conj(   35, (23))
  192 = conj(   35, (12))
  129 = conj(   35, (123))
  208 = conj(   35, (321))
  136 = conj(   35, (13))
  873 = conj(   35, (01))
  849 = conj(   35, (01)(23))
  244 = conj(   35, (012))
  991 = conj(   35, (0123))
  211 = conj(   35, (0132))
  992 = conj(   35, (013))
  754 = conj(   35, (0231))
  466 = conj(   35, (02))
  999 = conj(   35, (023))
  139 = conj(   35, (02)(13))
  993 = conj(   35, (0213))
  523 = conj(   35, (320))
  143 = conj(   35, (0312))
  994 = conj(   35, (03)(12))
   58 = conj(   36, (23))
  191 = conj(   36, (12))
  874 = conj(   36, (01))
  851 = conj(   36, (01)(23))
  246 = conj(   36, (012))
  761 = conj(   36, (0231))
  471 = conj(   36, (02))
  820 = conj(   36, (310))
  529 = conj(   36, (320))
   60 = conj(   37, (23))
  195 = conj(   37, (12))
  474 = conj(   37, (123))
  374 = conj(   37, (321))
  552 = conj(   37, (13))
  870 = conj(   37, (01))
  843 = conj(   37, (01)(23))
  248 = conj(   37, (012))
  375 = conj(   37, (0132))
  747 = conj(   37, (0231))
  468 = conj(   37, (02))
  903 = conj(   37, (023))
  553 = conj(   37, (02)(13))
  525 = conj(   37, (320))
  905 = conj(   37, (03))
  482 = conj(   37, (0312))
   64 = conj(   38, (23))
  194 = conj(   38, (12))
  524 = conj(   38, (123))
  243 = conj(   38, (321))
  467 = conj(   38, (13))
   63 = conj(   39, (23))
  196 = conj(   39, (12))
  216 = conj(   39, (123))
  307 = conj(   39, (321))
  314 = conj(   39, (13))
  875 = conj(   39, (01))
  854 = conj(   39, (01)(23))
  249 = conj(   39, (012))
  283 = conj(   39, (0123))
  322 = conj(   39, (0132))
  339 = conj(   39, (013))
  759 = conj(   39, (0231))
  472 = conj(   39, (02))
  410 = conj(   39, (023))
  335 = conj(   39, (02)(13))
  342 = conj(   39, (0213))
  815 = conj(   39, (310))
  527 = conj(   39, (320))
  426 = conj(   39, (03))
  369 = conj(   39, (0312))
  354 = conj(   39, (03)(12))
  145 = conj(   41, (23))
  189 = conj(   41, (12))
  227 = conj(   41, (123))
  305 = conj(   41, (321))
  312 = conj(   41, (13))
  907 = conj(   41, (01))
  235 = conj(   41, (012))
  359 = conj(   41, (0123))
  319 = conj(   41, (0132))
  329 = conj(   41, (013))
  465 = conj(   41, (02))
  530 = conj(   41, (023))
  328 = conj(   41, (02)(13))
  324 = conj(   41, (0213))
  500 = conj(   41, (320))
  493 = conj(   41, (03))
  358 = conj(   41, (0312))
  268 = conj(   41, (03)(12))
  108 = conj(   44, (23))
   65 = conj(   44, (123))
  915 = conj(   44, (01))
  946 = conj(   44, (01)(23))
  826 = conj(   44, (0123))
 1173 = conj(   44, (210))
  973 = conj(   44, (0231))
  722 = conj(   44, (023))
 1221 = conj(   44, (0321))
 1108 = conj(   44, (310))
  639 = conj(   44, (03))
  106 = conj(   45, (23))
   52 = conj(   45, (123))
  919 = conj(   45, (01))
  944 = conj(   45, (01)(23))
 1177 = conj(   45, (210))
  109 = conj(   46, (23))
   66 = conj(   46, (123))
  920 = conj(   46, (01))
  947 = conj(   46, (01)(23))
  823 = conj(   46, (013))
 1182 = conj(   46, (210))
  953 = conj(   46, (02)(13))
  713 = conj(   46, (0213))
 1184 = conj(   46, (320))
  928 = conj(   46, (0312))
  621 = conj(   46, (03)(12))
  112 = conj(   47, (23))
  201 = conj(   47, (123))
  921 = conj(   47, (01))
  950 = conj(   47, (01)(23))
 1183 = conj(   47, (210))
  110 = conj(   49, (23))
  198 = conj(   49, (12))
   67 = conj(   49, (123))
  217 = conj(   49, (321))
   87 = conj(   49, (13))
  917 = conj(   49, (01))
  948 = conj(   49, (01)(23))
  251 = conj(   49, (012))
  827 = conj(   49, (0123))
  287 = conj(   49, (0132))
  831 = conj(   49, (013))
  974 = conj(   49, (0231))
  484 = conj(   49, (02))
  723 = conj(   49, (023))
  405 = conj(   49, (02)(13))
  733 = conj(   49, (0213))
  537 = conj(   49, (320))
  640 = conj(   49, (03))
  397 = conj(   49, (0312))
  645 = conj(   49, (03)(12))
  113 = conj(   50, (23))
  199 = conj(   50, (12))
  202 = conj(   50, (123))
  306 = conj(   50, (321))
  308 = conj(   50, (13))
  918 = conj(   50, (01))
  951 = conj(   50, (01)(23))
  252 = conj(   50, (012))
  204 = conj(   50, (0123))
  321 = conj(   50, (0132))
  309 = conj(   50, (013))
  971 = conj(   50, (0231))
  485 = conj(   50, (02))
  127 = conj(   50, (023))
  330 = conj(   50, (02)(13))
  313 = conj(   50, (0213))
  536 = conj(   50, (320))
  149 = conj(   50, (03))
  362 = conj(   50, (0312))
  230 = conj(   50, (03)(12))
  123 = conj(   68, (12))
  146 = conj(   68, (321))
  822 = conj(   68, (01))
  967 = conj(   68, (012))
 1106 = conj(   68, (0132))
  712 = conj(   68, (210))
  952 = conj(   68, (02))
 1220 = conj(   68, (02)(13))
  620 = conj(   68, (0321))
  923 = conj(   68, (320))
 1174 = conj(   68, (0312))
   78 = conj(   69, (23))
  124 = conj(   69, (12))
   81 = conj(   69, (123))
   86 = conj(   69, (13))
  824 = conj(   69, (01))
  828 = conj(   69, (01)(23))
  968 = conj(   69, (012))
  829 = conj(   69, (0123))
  833 = conj(   69, (013))
  714 = conj(   69, (210))
  740 = conj(   69, (0231))
  954 = conj(   69, (02))
  741 = conj(   69, (023))
  744 = conj(   69, (0213))
  625 = conj(   69, (0321))
  650 = conj(   69, (310))
  927 = conj(   69, (320))
  655 = conj(   69, (03))
  662 = conj(   69, (03)(12))
   88 = conj(   70, (23))
  125 = conj(   70, (12))
  219 = conj(   70, (123))
  148 = conj(   70, (321))
  229 = conj(   70, (13))
  825 = conj(   70, (01))
  830 = conj(   70, (01)(23))
  969 = conj(   70, (012))
  288 = conj(   70, (0123))
  361 = conj(   70, (013))
  715 = conj(   70, (210))
  732 = conj(   70, (0231))
  955 = conj(   70, (02))
  404 = conj(   70, (023))
  535 = conj(   70, (0213))
  623 = conj(   70, (0321))
  642 = conj(   70, (310))
  925 = conj(   70, (320))
  393 = conj(   70, (03))
  487 = conj(   70, (03)(12))
   75 = conj(   71, (23))
  114 = conj(   71, (12))
  130 = conj(   71, (123))
   98 = conj(   71, (321))
  133 = conj(   71, (13))
  718 = conj(   71, (210))
  724 = conj(   71, (0231))
  766 = conj(   71, (02)(13))
  629 = conj(   71, (0321))
  636 = conj(   71, (310))
  768 = conj(   71, (0312))
  115 = conj(   72, (12))
  101 = conj(   72, (321))
  719 = conj(   72, (210))
  630 = conj(   72, (0321))
   80 = conj(   73, (23))
  116 = conj(   73, (12))
   82 = conj(   73, (123))
  100 = conj(   73, (321))
   85 = conj(   73, (13))
  720 = conj(   73, (210))
  632 = conj(   73, (0321))
  653 = conj(   73, (310))
   90 = conj(   74, (23))
  117 = conj(   74, (12))
  220 = conj(   74, (123))
  103 = conj(   74, (321))
  225 = conj(   74, (13))
  289 = conj(   74, (0123))
  292 = conj(   74, (013))
  721 = conj(   74, (210))
  631 = conj(   74, (0321))
  644 = conj(   74, (310))
  394 = conj(   74, (03))
   79 = conj(   76, (23))
  131 = conj(   76, (12))
  725 = conj(   76, (210))
  638 = conj(   76, (0321))
  652 = conj(   76, (310))
   89 = conj(   77, (23))
  132 = conj(   77, (12))
  218 = conj(   77, (123))
  138 = conj(   77, (321))
  210 = conj(   77, (13))
  285 = conj(   77, (0123))
  212 = conj(   77, (013))
  726 = conj(   77, (210))
  402 = conj(   77, (023))
  140 = conj(   77, (0213))
  637 = conj(   77, (0321))
  643 = conj(   77, (310))
  390 = conj(   77, (03))
  142 = conj(   77, (03)(12))
   91 = conj(   84, (23))
  221 = conj(   84, (123))
  290 = conj(   84, (0123))
   95 = conj(   93, (23))
  223 = conj(   93, (12))
  391 = conj(   93, (123))
  286 = conj(   93, (321))
  403 = conj(   93, (13))
  224 = conj(   94, (12))
  316 = conj(   94, (321))
  291 = conj(   94, (012))
  341 = conj(   94, (0132))
  346 = conj(   94, (02)(13))
  118 = conj(   97, (23))
  765 = conj(   97, (210))
  764 = conj(   97, (0321))
  119 = conj(   99, (23))
  134 = conj(   99, (12))
  205 = conj(   99, (123))
  137 = conj(   99, (321))
  209 = conj(   99, (13))
  767 = conj(   99, (210))
  120 = conj(  102, (23))
  206 = conj(  102, (123))
  121 = conj(  104, (23))
  226 = conj(  104, (12))
  207 = conj(  104, (123))
  315 = conj(  104, (321))
  311 = conj(  104, (13))
  293 = conj(  104, (012))
  340 = conj(  104, (0132))
  995 = conj(  135, (01))
 1082 = conj(  135, (210))
 1046 = conj(  135, (0321))
  213 = conj(  141, (12))
  310 = conj(  141, (321))
  154 = conj(  151, (23))
  172 = conj(  151, (12))
  270 = conj(  151, (123))
  164 = conj(  151, (321))
  276 = conj(  151, (13))
  699 = conj(  151, (01))
  702 = conj(  151, (01)(23))
  571 = conj(  151, (012))
  253 = conj(  151, (0123))
  678 = conj(  151, (0132))
  259 = conj(  151, (013))
  615 = conj(  151, (02))
  461 = conj(  151, (023))
  446 = conj(  151, (0213))
  804 = conj(  151, (320))
  546 = conj(  151, (03))
  520 = conj(  151, (03)(12))
  155 = conj(  152, (23))
  379 = conj(  152, (12))
  271 = conj(  152, (123))
  417 = conj(  152, (321))
  349 = conj(  152, (13))
  698 = conj(  152, (01))
  701 = conj(  152, (01)(23))
  598 = conj(  152, (012))
  254 = conj(  152, (0123))
  788 = conj(  152, (0132))
  363 = conj(  152, (013))
  588 = conj(  152, (02))
  460 = conj(  152, (023))
  507 = conj(  152, (0213))
  693 = conj(  152, (320))
  542 = conj(  152, (03))
  458 = conj(  152, (03)(12))
  157 = conj(  153, (23))
  269 = conj(  153, (12))
  543 = conj(  153, (123))
  255 = conj(  153, (321))
  462 = conj(  153, (13))
  700 = conj(  153, (01))
  704 = conj(  153, (01)(23))
 1131 = conj(  153, (0231))
  272 = conj(  156, (12))
  337 = conj(  156, (321))
  703 = conj(  156, (01))
  256 = conj(  156, (012))
  325 = conj(  156, (0132))
  463 = conj(  156, (02))
  334 = conj(  156, (02)(13))
  545 = conj(  156, (320))
  373 = conj(  156, (0312))
  176 = conj(  158, (23))
  296 = conj(  158, (123))
  674 = conj(  158, (01))
  576 = conj(  158, (01)(23))
  302 = conj(  158, (0123))
 1124 = conj(  158, (210))
  605 = conj(  158, (0231))
  386 = conj(  158, (023))
 1195 = conj(  158, (0321))
  795 = conj(  158, (310))
  422 = conj(  158, (03))
  178 = conj(  159, (23))
  173 = conj(  159, (12))
  294 = conj(  159, (123))
  165 = conj(  159, (321))
  279 = conj(  159, (13))
  676 = conj(  159, (01))
  579 = conj(  159, (01)(23))
  572 = conj(  159, (012))
  299 = conj(  159, (0123))
  679 = conj(  159, (0132))
  263 = conj(  159, (013))
  607 = conj(  159, (0231))
  614 = conj(  159, (02))
  384 = conj(  159, (023))
  449 = conj(  159, (0213))
  794 = conj(  159, (310))
  803 = conj(  159, (320))
  423 = conj(  159, (03))
  512 = conj(  159, (03)(12))
  179 = conj(  160, (23))
  380 = conj(  160, (12))
  295 = conj(  160, (123))
  418 = conj(  160, (321))
  352 = conj(  160, (13))
  675 = conj(  160, (01))
  578 = conj(  160, (01)(23))
  599 = conj(  160, (012))
  300 = conj(  160, (0123))
  789 = conj(  160, (0132))
  367 = conj(  160, (013))
  606 = conj(  160, (0231))
  587 = conj(  160, (02))
  383 = conj(  160, (023))
  509 = conj(  160, (0213))
  787 = conj(  160, (310))
  692 = conj(  160, (320))
  414 = conj(  160, (03))
  453 = conj(  160, (03)(12))
  170 = conj(  161, (23))
  274 = conj(  161, (12))
  464 = conj(  161, (123))
  357 = conj(  161, (321))
  499 = conj(  161, (13))
  677 = conj(  161, (01))
  570 = conj(  161, (01)(23))
  257 = conj(  161, (012))
  267 = conj(  161, (0132))
  593 = conj(  161, (0231))
  445 = conj(  161, (02))
  911 = conj(  161, (023))
  492 = conj(  161, (02)(13))
  515 = conj(  161, (320))
  533 = conj(  161, (0312))
  171 = conj(  162, (23))
  275 = conj(  162, (12))
  434 = conj(  162, (123))
  356 = conj(  162, (321))
  498 = conj(  162, (13))
  680 = conj(  162, (01))
  573 = conj(  162, (01)(23))
  258 = conj(  162, (012))
  266 = conj(  162, (0132))
  594 = conj(  162, (0231))
  447 = conj(  162, (02))
  706 = conj(  162, (023))
  490 = conj(  162, (02)(13))
  797 = conj(  162, (310))
  516 = conj(  162, (320))
  806 = conj(  162, (03))
  522 = conj(  162, (0312))
  181 = conj(  163, (23))
  273 = conj(  163, (12))
  505 = conj(  163, (123))
  262 = conj(  163, (321))
  450 = conj(  163, (13))
  174 = conj(  166, (23))
  277 = conj(  166, (12))
  682 = conj(  166, (01))
  575 = conj(  166, (01)(23))
  260 = conj(  166, (012))
  612 = conj(  166, (0231))
  448 = conj(  166, (02))
  800 = conj(  166, (310))
  519 = conj(  166, (320))
  175 = conj(  167, (23))
  278 = conj(  167, (12))
  381 = conj(  167, (123))
  350 = conj(  167, (321))
  419 = conj(  167, (13))
  681 = conj(  167, (01))
  574 = conj(  167, (01)(23))
  261 = conj(  167, (012))
  603 = conj(  167, (0123))
  364 = conj(  167, (0132))
  792 = conj(  167, (013))
  597 = conj(  167, (0231))
  444 = conj(  167, (02))
  584 = conj(  167, (023))
  508 = conj(  167, (02)(13))
  784 = conj(  167, (310))
  503 = conj(  167, (320))
  688 = conj(  167, (03))
  457 = conj(  167, (0312))
  180 = conj(  168, (23))
  280 = conj(  168, (12))
  298 = conj(  168, (123))
  338 = conj(  168, (321))
  344 = conj(  168, (13))
  683 = conj(  168, (01))
  580 = conj(  168, (01)(23))
  264 = conj(  168, (012))
  303 = conj(  168, (0123))
  326 = conj(  168, (0132))
  345 = conj(  168, (013))
  608 = conj(  168, (0231))
  451 = conj(  168, (02))
  387 = conj(  168, (023))
  336 = conj(  168, (02)(13))
  343 = conj(  168, (0213))
  793 = conj(  168, (310))
  511 = conj(  168, (320))
  421 = conj(  168, (03))
  368 = conj(  168, (0312))
  353 = conj(  168, (03)(12))
  177 = conj(  169, (23))
  415 = conj(  169, (12))
  297 = conj(  169, (123))
  385 = conj(  169, (321))
  301 = conj(  169, (13))
  684 = conj(  169, (01))
  577 = conj(  169, (01)(23))
  785 = conj(  169, (012))
  604 = conj(  169, (0132))
 1127 = conj(  169, (210))
  317 = conj(  232, (23))
  431 = conj(  232, (12))
  327 = conj(  232, (123))
  496 = conj(  232, (321))
  355 = conj(  232, (13))
  234 = conj(  232, (01))
  318 = conj(  232, (01)(23))
  323 = conj(  232, (0123))
  265 = conj(  232, (013))
  433 = conj(  232, (210))
  331 = conj(  232, (0231))
  332 = conj(  232, (023))
  491 = conj(  232, (0213))
  541 = conj(  232, (0321))
  370 = conj(  232, (310))
  371 = conj(  232, (03))
  547 = conj(  232, (03)(12))
  395 = conj(  347, (12))
  399 = conj(  347, (321))
  647 = conj(  347, (012))
  730 = conj(  347, (0132))
  366 = conj(  348, (23))
  416 = conj(  348, (12))
  510 = conj(  348, (123))
  378 = conj(  348, (321))
  443 = conj(  348, (13))
  790 = conj(  348, (012))
  601 = conj(  348, (0132))
  562 = conj(  348, (02)(13))
  672 = conj(  348, (0213))
  420 = conj(  351, (12))
  382 = conj(  351, (321))
  365 = conj(  351, (01))
  791 = conj(  351, (012))
  602 = conj(  351, (0132))
  506 = conj(  351, (210))
  569 = conj(  351, (02)(13))
  439 = conj(  351, (0321))
  669 = conj(  351, (0312))
  544 = conj(  372, (12))
  459 = conj(  372, (321))
  696 = conj(  372, (02)(13))
  413 = conj(  377, (23))
  452 = conj(  377, (123))
  600 = conj(  377, (01))
  786 = conj(  377, (01)(23))
  561 = conj(  377, (210))
  691 = conj(  377, (023))
  670 = conj(  377, (0321))
  586 = conj(  377, (03))
  609 = conj(  388, (01))
  589 = conj(  388, (210))
  689 = conj(  388, (0321))
  398 = conj(  392, (23))
  486 = conj(  392, (12))
  407 = conj(  392, (123))
  538 = conj(  392, (321))
  428 = conj(  392, (13))
  641 = conj(  392, (01))
  729 = conj(  392, (01)(23))
  755 = conj(  392, (0123))
  814 = conj(  392, (013))
  622 = conj(  392, (210))
  924 = conj(  392, (02))
 1117 = conj(  392, (02)(13))
  980 = conj(  392, (0312))
  400 = conj(  396, (23))
  411 = conj(  396, (123))
  648 = conj(  396, (01))
  731 = conj(  396, (01)(23))
  775 = conj(  396, (0123))
  656 = conj(  396, (210))
  738 = conj(  396, (0321))
  425 = conj(  406, (23))
  441 = conj(  406, (12))
  494 = conj(  406, (123))
  514 = conj(  406, (321))
  532 = conj(  406, (13))
  756 = conj(  406, (01))
  816 = conj(  406, (01)(23))
  842 = conj(  406, (210))
 1201 = conj(  406, (0231))
  663 = conj(  406, (02))
 1211 = conj(  406, (023))
  863 = conj(  406, (0321))
 1139 = conj(  406, (310))
  558 = conj(  406, (320))
 1149 = conj(  406, (03))
  590 = conj(  406, (0312))
  908 = conj(  406, (03)(12))
  776 = conj(  412, (01))
  808 = conj(  424, (01))
 1197 = conj(  424, (210))
 1132 = conj(  424, (0321))
  504 = conj(  435, (23))
  437 = conj(  435, (12))
  495 = conj(  435, (123))
  513 = conj(  435, (321))
  531 = conj(  435, (13))
  666 = conj(  435, (210))
  802 = conj(  435, (0231))
  665 = conj(  435, (02))
  566 = conj(  435, (0321))
  616 = conj(  435, (310))
  565 = conj(  435, (320))
  592 = conj(  435, (0312))
  910 = conj(  435, (03)(12))
  501 = conj(  436, (23))
  438 = conj(  436, (12))
  455 = conj(  436, (123))
  517 = conj(  436, (321))
  518 = conj(  436, (13))
  667 = conj(  436, (210))
  783 = conj(  436, (0231))
  668 = conj(  436, (02))
  687 = conj(  436, (023))
  798 = conj(  436, (02)(13))
  799 = conj(  436, (0213))
  567 = conj(  436, (0321))
  596 = conj(  436, (310))
  568 = conj(  436, (320))
  583 = conj(  436, (03))
  610 = conj(  436, (0312))
  611 = conj(  436, (03)(12))
  489 = conj(  440, (12))
  521 = conj(  440, (321))
  690 = conj(  440, (210))
  805 = conj(  440, (02)(13))
  585 = conj(  440, (0321))
  705 = conj(  440, (0312))
  502 = conj(  442, (23))
  456 = conj(  442, (123))
  671 = conj(  442, (210))
  782 = conj(  442, (0231))
  685 = conj(  442, (023))
  560 = conj(  442, (0321))
  595 = conj(  442, (310))
  581 = conj(  442, (03))
  686 = conj(  454, (210))
  582 = conj(  454, (0321))
  664 = conj(  559, (23))
  591 = conj(  559, (12))
 1125 = conj(  559, (123))
  781 = conj(  559, (321))
 1196 = conj(  559, (13))
  912 = conj(  559, (01))
  942 = conj(  559, (01)(23))
  909 = conj(  559, (012))
 1128 = conj(  559, (0123))
 1102 = conj(  559, (0132))
 1227 = conj(  559, (013))
 1169 = conj(  559, (210))
  965 = conj(  559, (0231))
 1153 = conj(  559, (02))
  694 = conj(  559, (023))
 1217 = conj(  559, (02)(13))
 1228 = conj(  559, (0213))
 1218 = conj(  559, (0321))
 1105 = conj(  559, (310))
 1212 = conj(  559, (320))
  695 = conj(  559, (03))
 1190 = conj(  559, (0312))
 1129 = conj(  559, (03)(12))
  673 = conj(  563, (23))
  613 = conj(  563, (12))
 1126 = conj(  563, (123))
  796 = conj(  563, (321))
  617 = conj(  564, (12))
  801 = conj(  564, (321))
  707 = conj(  618, (23))
  619 = conj(  618, (12))
  836 = conj(  618, (123))
  716 = conj(  618, (321))
  835 = conj(  618, (13))
  876 = conj(  618, (01))
  855 = conj(  618, (01)(23))
  922 = conj(  618, (012))
  708 = conj(  618, (0123))
  956 = conj(  618, (0132))
  626 = conj(  618, (013))
 1146 = conj(  618, (210))
  748 = conj(  618, (0231))
 1170 = conj(  618, (02))
  837 = conj(  618, (023))
  972 = conj(  618, (02)(13))
  634 = conj(  618, (0213))
 1204 = conj(  618, (0321))
  811 = conj(  618, (310))
 1219 = conj(  618, (320))
  838 = conj(  618, (03))
 1109 = conj(  618, (0312))
  728 = conj(  618, (03)(12))
  649 = conj(  624, (12))
  736 = conj(  624, (321))
  926 = conj(  624, (01))
  654 = conj(  624, (012))
  737 = conj(  624, (0132))
  985 = conj(  624, (0231))
  661 = conj(  624, (02))
 1120 = conj(  624, (310))
  743 = conj(  624, (320))
  709 = conj(  627, (23))
  635 = conj(  627, (12))
  727 = conj(  627, (321))
  710 = conj(  628, (23))
  763 = conj(  628, (0123))
  711 = conj(  628, (0231))
  651 = conj(  628, (0321))
  633 = conj(  628, (310))
  739 = conj(  657, (23))
  735 = conj(  658, (23))
  742 = conj(  659, (23))
  777 = conj(  659, (01))
  778 = conj(  659, (01)(23))
 1130 = conj(  697, (12))
  840 = conj(  717, (12))
  839 = conj(  717, (321))
  957 = conj(  717, (01))
  989 = conj(  717, (210))
 1112 = conj(  717, (0321))
  809 = conj(  746, (23))
  841 = conj(  746, (12))
 1199 = conj(  746, (123))
  862 = conj(  746, (321))
 1138 = conj(  746, (13))
  902 = conj(  746, (01))
  904 = conj(  746, (01)(23))
 1209 = conj(  746, (0123))
 1148 = conj(  746, (013))
 1163 = conj(  746, (0231))
 1191 = conj(  746, (023))
  810 = conj(  749, (23))
  844 = conj(  749, (12))
 1200 = conj(  749, (123))
  864 = conj(  749, (321))
 1140 = conj(  749, (13))
  958 = conj(  749, (01))
  929 = conj(  749, (01)(23))
 1210 = conj(  749, (0123))
 1150 = conj(  749, (013))
 1176 = conj(  749, (0231))
 1192 = conj(  749, (023))
  819 = conj(  762, (23))
 1147 = conj(  762, (13))
  856 = conj(  769, (12))
  937 = conj(  769, (321))
 1053 = conj(  769, (210))
 1014 = conj(  769, (0231))
 1066 = conj(  769, (0321))
 1063 = conj(  769, (310))
  857 = conj(  770, (12))
  938 = conj(  770, (321))
 1054 = conj(  770, (210))
 1065 = conj(  770, (0321))
  996 = conj(  770, (310))
  858 = conj(  771, (12))
  939 = conj(  771, (321))
 1000 = conj(  771, (01))
  859 = conj(  772, (12))
  936 = conj(  772, (321))
 1004 = conj(  772, (01))
 1093 = conj(  772, (210))
 1041 = conj(  772, (0231))
  977 = conj(  772, (0213))
 1051 = conj(  772, (0321))
 1077 = conj(  772, (310))
 1115 = conj(  772, (03)(12))
  860 = conj(  773, (12))
  940 = conj(  773, (321))
 1005 = conj(  773, (01))
 1098 = conj(  773, (210))
 1039 = conj(  773, (0231))
 1025 = conj(  773, (0321))
 1074 = conj(  773, (310))
  861 = conj(  774, (12))
  941 = conj(  774, (321))
 1006 = conj(  774, (01))
 1099 = conj(  774, (210))
 1023 = conj(  774, (0321))
 1198 = conj(  807, (12))
 1133 = conj(  807, (321))
 1103 = conj(  807, (01))
 1229 = conj(  807, (012))
 1135 = conj(  807, (0132))
 1215 = conj(  807, (210))
 1230 = conj(  807, (02))
 1134 = conj(  807, (02)(13))
 1136 = conj(  807, (0321))
 1188 = conj(  807, (320))
 1208 = conj(  807, (0312))
  960 = conj(  931, (23))
 1178 = conj(  931, (12))
  978 = conj(  931, (123))
 1116 = conj(  931, (13))
  961 = conj(  932, (23))
 1179 = conj(  932, (12))
  962 = conj(  933, (23))
 1186 = conj(  933, (12))
  964 = conj(  934, (23))
 1185 = conj(  934, (12))
  963 = conj(  935, (23))
 1175 = conj(  935, (12))
 1189 = conj(  935, (012))
 1118 = conj(  979, (23))
 1224 = conj(  979, (123))
 1222 = conj(  979, (0123))
 1122 = conj(  981, (23))
 1089 = conj(  981, (0123))
 1034 = conj(  981, (013))
 1100 = conj(  981, (023))
 1021 = conj(  981, (03))
 1123 = conj(  982, (23))
 1225 = conj(  982, (123))
 1119 = conj(  983, (23))
 1072 = conj(  983, (0123))
 1030 = conj(  983, (013))
 1121 = conj(  984, (23))
 1223 = conj(  984, (123))
 1056 = conj(  986, (02))
 1015 = conj(  986, (320))
 1114 = conj(  987, (23))
 1083 = conj(  987, (0123))
 1032 = conj(  987, (013))
 1058 = conj(  987, (023))
 1017 = conj(  987, (03))
 1113 = conj(  988, (23))
 1068 = conj(  988, (0123))
 1027 = conj(  988, (013))
 1078 = conj(  997, (12))
 1045 = conj(  997, (321))
 1079 = conj( 1001, (12))
 1040 = conj( 1001, (123))
 1048 = conj( 1001, (321))
 1076 = conj( 1001, (13))
 1080 = conj( 1002, (12))
 1044 = conj( 1002, (321))
 1081 = conj( 1003, (12))
 1037 = conj( 1003, (321))
 1055 = conj( 1008, (23))
 1009 = conj( 1008, (02))
 1050 = conj( 1008, (023))
 1090 = conj( 1008, (320))
 1092 = conj( 1008, (03))
 1091 = conj( 1010, (23))
 1061 = conj( 1010, (12))
 1012 = conj( 1010, (321))
 1104 = conj( 1010, (02))
 1060 = conj( 1011, (23))
 1062 = conj( 1013, (23))
 1057 = conj( 1016, (23))
 1052 = conj( 1016, (023))
 1064 = conj( 1016, (03))
 1059 = conj( 1018, (23))
 1088 = conj( 1018, (123))
 1043 = conj( 1018, (13))
 1094 = conj( 1019, (23))
 1096 = conj( 1019, (023))
 1031 = conj( 1019, (0213))
 1024 = conj( 1019, (03))
 1073 = conj( 1019, (03)(12))
 1095 = conj( 1020, (23))
 1097 = conj( 1022, (23))
 1067 = conj( 1026, (23))
 1111 = conj( 1026, (0231))
 1069 = conj( 1028, (23))
 1070 = conj( 1029, (23))
 1084 = conj( 1033, (23))
 1075 = conj( 1035, (23))
 1036 = conj( 1035, (12))
 1047 = conj( 1035, (123))
 1085 = conj( 1035, (321))
 1086 = conj( 1035, (13))
 1071 = conj( 1038, (23))
 1087 = conj( 1042, (23))
List of (line numbers 1 <= i <= 1236 of) representatives up to conjugacy:
1 2 4 5 6 7 8 9 10 12 18 19 20 21 31 32 33 34 35 36 37 38 39 41 44 45 46 47 49 50 68 69 70 71 72 73 74 76 77 83 84 93 94 97 99 102 104 135 141 151 152 153 156 158 159 160 161 162 163 166 167 168 169 232 347 348 351 372 377 388 392 396 406 412 424 435 436 440 442 454 559 563 564 618 624 627 628 657 658 659 697 717 746 749 762 769 770 771 772 773 774 779 780 807 931 932 933 934 935 979 981 982 983 984 986 987 988 997 1001 1002 1003 1008 1010 1011 1013 1016 1018 1019 1020 1022 1026 1028 1029 1033 1035 1038 1042 1049 1137 1180 1181 1187 
Number of representatives: 142
