1485 centralising monoids witnessed by some set of unary operations on
{0,1,2,3}, represented as element-wise conjugacy classes of monoids;
representatives of the 106 conjugacy classes are given at the bottom of
the file;
the monoids are identified by integers 1 <= l <= 1485 where the monoid
with identifier l is given in line l+6 of the file
1485_monoids_witn_unary_ops.txt,
e.g., the line "50 = conj(2,(23))" means that the monoid given in
line 56 = 50 + 6 of said file arises by conjugating all functions in
the monoid from line 8 = 2 + 6 via the transposition (23).

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