univternlist:= [ <1, 1>, <2, 1>, <3, 1>, <4, 3>, <5, 3>, 
<6, 3>, <7, 3>, <8, 6>, <11, 8>, <15, 9>, <16, 11>, <17, 10>, <20, 8>, <22, 11>,
<25, 9>, <27, 10>, <29, 8>, <30, 8>, <31, 9>, <32, 9>, <39, 11>, <40, 11>, <41, 
11>, <42, 11>, <52, 10>, <53, 10>, <54, 10>, <55, 10>, <110, 1>, <112, 2>, <113,
1>, <114, 2>, <115, 3>, <116, 5>, <117, 2>, <118, 5>, <120, 6>, <124, 3>, <125, 
9>, <126, 1>, <127, 2>, <128, 3>, <129, 10>, <130, 5>, <131, 5>, <132, 3>, <135,
10>, <137, 3>, <138, 4>, <142, 11>, <143, 2>, <150, 11>, <151, 6>, <153, 10>, 
<154, 1>, <156, 11>, <186, 11>, <215, 11>, <243, 11>, <246, 11>, <383, 8>, <385,
8>, <387, 9>, <388, 9>, <389, 11>, <392, 10>, <394, 10>, <396, 10>, <397, 11>, 
<399, 11>, <404, 2>, <405, 2>, <407, 5>, <429, 5>, <432, 2>, <442, 5>, <449, 5>,
<461, 6>, <492, 2>, <554, 9>, <557, 3>, <580, 3>, <584, 3>, <609, 3>, <668, 3>, 
<685, 2>, <686, 2>, <855, 3>, <856, 3>, <858, 2>, <859, 3>, <860, 2>, <861, 4>, 
<862, 2>, <863, 2>, <864, 3>, <865, 2>, <867, 2>, <868, 3>, <869, 3>, <870, 2>, 
<872, 4>, <873, 4>, <874, 6>, <876, 5>, <879, 5>, <901, 5>, <908, 5>, <930, 6>, 
<932, 5>, <939, 5>, <1048, 5>, <1049, 2>, <1051, 2>, <1052, 3>, <1054, 2>, 
<1055, 3>, <1056, 4>, <1100, 8>, <1366, 9>, <1367, 2>, <1368, 3>, <1422, 2>, 
<1504, 3>, <1509, 2>, <1734, 2>, <2270, 8>, <2271, 2>, <2275, 8>, <2297, 2>, 
<2308, 2>, <2409, 3>, <2410, 4>, <2418, 2>, <2483, 6>, <2743, 2>, <2885, 5>, 
<2887, 5>, <2888, 6>, <2924, 5>, <3167, 5>, <3176, 5>, <3276, 5>, <4034, 5>, 
<4036, 6>, <4055, 10>, <4077, 5>, <4175, 6>, <4555, 5>, <4563, 6>, <4682, 6>, 
<4937, 11>, <4938, 10>, <4939, 11>, <4943, 10>, <4966, 3>, <5598, 4>, <5740, 1>,
<5741, 2>, <5742, 3>, <5743, 3>, <5744, 6>, <5745, 6>, <5746, 6>, <5747, 2>, 
<5748, 2>, <5749, 2>, <5750, 2>, <5751, 2>, <5752, 2>, <5753, 2>, <5754, 2>, 
<5760, 5>, <5763, 5>, <5764, 5>, <5765, 5>, <5766, 5>, <5767, 5>, <5768, 3>, 
<5769, 5>, <5770, 5>, <5771, 2>, <5775, 4>, <5781, 3>, <5812, 3>, <5813, 4>, 
<5818, 3>, <5822, 3>, <5893, 3>, <5909, 3>, <6014, 1>, <6015, 3>, <6016, 3>, 
<6019, 5>, <6022, 3>, <6023, 3>, <6024, 3>, <6025, 3>, <6026, 3>, <6027, 3>, 
<6028, 2>, <6029, 2>, <6035, 6>, <6036, 5>, <6037, 5>, <6038, 5>, <6039, 5>, 
<6040, 5>, <6041, 5>, <6042, 2>, <6064, 2>, <6065, 5>, <6066, 5>, <6067, 4>, 
<6068, 2>, <6085, 2>, <6101, 2>, <6102, 2>, <6131, 2>, <6151, 6>, <6152, 6>, 
<6172, 1>, <6173, 1>, <6174, 1>, <6175, 2>, <6176, 3>, <6177, 3>, <6178, 2>, 
<6183, 5>, <6185, 4>, <6186, 3>, <6187, 3>, <6188, 3>, <6189, 3>, <6190, 3>, 
<6191, 3>, <6192, 3>, <6193, 2>, <6202, 2>, <6203, 3>, <6204, 3>, <6205, 3>, 
<6207, 2>, <6209, 5>, <6210, 5>, <6211, 5>, <6212, 5>, <6213, 5>, <6214, 5>, 
<6215, 2>, <6224, 6>, <6233, 2>, <6243, 4>, <6247, 5>, <6248, 4>, <6249, 5>, 
<6250, 5>, <6251, 5>, <6252, 4>, <6253, 2>, <6258, 2>, <6286, 2>, <6293, 6>, 
<6298, 2>, <6302, 4>, <6303, 2>, <6304, 2>, <6319, 6>, <6348, 2>, <6349, 2>, 
<6380, 6>, <6412, 1>, <6413, 3>, <6414, 3>, <6420, 2>, <6422, 3>, <6423, 3>, 
<6424, 3>, <6425, 3>, <6426, 3>, <6431, 5>, <6433, 4>, <6434, 5>, <6435, 5>, 
<6436, 5>, <6437, 5>, <6438, 5>, <6439, 5>, <6453, 2>, <6462, 6>, <6463, 4>, 
<6464, 4>, <6470, 2>, <6477, 2>, <6493, 2>, <6494, 2>, <6495, 2>, <6526, 6>, 
<6535, 6>, <6551, 6>, <6552, 6>, <6553, 6>, <6579, 1>, <6580, 1>, <6581, 1>, 
<6582, 4>, <6583, 3>, <6584, 3>, <6585, 3>, <6586, 3>, <6587, 3>, <6588, 3>, 
<6589, 2>, <6590, 2>, <6591, 2>, <6592, 2>, <6593, 2>, <6599, 2>, <6601, 3>, 
<6602, 2>, <6603, 2>, <6604, 2>, <6605, 2>, <6606, 3>, <6607, 3>, <6608, 3>, 
<6609, 3>, <6610, 3>, <6611, 3>, <6612, 4>, <6613, 4>, <6614, 3>, <6620, 6>, 
<6642, 5>, <6649, 5>, <6658, 3>, <6664, 3>, <6671, 5>, <6680, 5>, <6706, 6>, 
<6726, 5>, <6728, 5>, <6729, 5>, <6730, 5>, <6772, 5>, <6786, 6>, <6787, 5>, 
<6788, 5>, <6849, 6>, <6922, 1>, <6923, 4>, <6924, 2>, <6925, 3>, <6926, 3>, 
<6927, 3>, <6928, 3>, <6929, 3>, <6930, 2>, <6931, 2>, <6932, 2>, <6933, 2>, 
<6934, 2>, <6935, 2>, <6936, 2>, <6937, 5>, <6942, 3>, <6967, 6>, <6972, 5>, 
<6981, 3>, <7006, 5>, <7014, 5>, <7021, 5>, <7025, 6>, <7027, 5>, <7028, 5>, 
<7029, 5>, <7073, 5>, <7089, 6>, <7174, 3>, <7175, 5>, <7220, 3>, <7225, 2>, 
<7227, 3>, <7228, 3>, <7229, 3>, <7230, 3>, <7231, 5>, <7232, 5>, <7233, 5>, 
<7234, 5>, <7235, 5>, <7236, 2>, <7247, 2>, <7254, 6>, <7255, 4>, <7256, 4>, 
<7262, 2>, <7276, 2>, <7277, 2>, <7322, 6>, <7323, 6>, <7324, 6>, <7344, 9>, 
<7345, 9>, <7346, 8>, <7347, 11>, <7350, 10>, <7353, 10>, <7355, 8>, <7356, 10>,
<7357, 10>, <7358, 10>, <7359, 10>, <7360, 9>, <7362, 9>, <7367, 11>, <7371, 
11>, <7374, 9>, <7384, 11>, <7391, 11>, <7397, 11>, <7398, 11>, <7399, 8>, 
<7403, 11>, <7430, 11>, <7432, 11>, <7433, 11>, <7434, 9>, <7451, 9>, <7465, 
11>, <7502, 9>, <7524, 8>, <7579, 9>, <7580, 9>, <7581, 9>, <7582, 9>, <7583, 
9>, <7584, 9>, <7585, 9>, <7587, 11>, <7592, 9>, <7602, 10>, <7603, 10>, <7604, 
10>, <7605, 10>, <7606, 10>, <7607, 10>, <7608, 10>, <7609, 9>, <7611, 11>, 
<7618, 8>, <7624, 11>, <7634, 8>, <7642, 11>, <7653, 11>, <7655, 9>, <7656, 11>,
<7657, 11>, <7658, 11>, <7659, 11>, <7660, 11>, <7661, 11>, <7662, 11>, <7668, 
11>, <7670, 9>, <7689, 11>, <7710, 11>, <7711, 11>, <7712, 11>, <7720, 8>, 
<7811, 9>, <7816, 8>, <7948, 8>, <7949, 1>, <7950, 2>, <7951, 3>, <7968, 9>, 
<7969, 9>, <7970, 9>, <7971, 9>, <7976, 10>, <7977, 8>, <7978, 11>, <7979, 11>, 
<7980, 11>, <7981, 11>, <7982, 11>, <7983, 11>, <7990, 10>, <7991, 8>, <7998, 
10>, <7999, 10>, <8000, 10>, <8001, 10>, <8002, 10>, <8003, 10>, <8004, 10>, 
<8050, 8>, <8098, 9>, <8099, 9>, <8106, 11>, <8108, 10>, <8109, 10>, <8110, 10>,
<8111, 10>, <8112, 10>, <8113, 10>, <8114, 8>, <8121, 11>, <8137, 11>, <8138, 
11>, <8164, 8>, <8250, 9>, <8251, 9>, <8252, 9>, <8253, 9>, <8254, 9>, <8256, 
9>, <8257, 1>, <8258, 1>, <8259, 8>, <8260, 8>, <8261, 8>, <8262, 10>, <8263, 
10>, <8264, 10>, <8265, 10>, <8266, 10>, <8267, 10>, <8268, 9>, <8269, 1>, 
<8270, 11>, <8271, 11>, <8272, 11>, <8273, 11>, <8274, 11>, <8275, 11>, <8276, 
11>, <8277, 11>, <8285, 9>, <8286, 10>, <8287, 8>, <8288, 8>, <8293, 11>, <8303,
3>, <8310, 11>, <8321, 3>, <8324, 9>, <8325, 9>, <8340, 9>, <8360, 9>, <8361, 
11>, <8362, 11>, <8363, 11>, <8364, 11>, <8365, 11>, <8391, 11>, <8392, 11>, 
<8415, 9>, <8416, 9>, <8417, 9>, <8418, 9>, <8419, 8>, <8420, 8>, <8421, 8>, 
<8422, 8>, <8423, 8>, <8424, 8>, <8425, 10>, <8426, 10>, <8427, 10>, <8428, 10>,
<8429, 10>, <8430, 10>, <8431, 10>, <8432, 10>, <8433, 11>, <8434, 11>, <8435, 
11>, <8436, 11>, <8437, 11>, <8438, 11>, <8522, 1>, <8523, 3>, <8524, 3>, <8525,
3>, <8533, 9>, <8534, 9>, <8535, 9>, <8536, 9>, <8537, 9>, <8544, 10>, <8545, 
8>, <8546, 11>, <8547, 11>, <8548, 11>, <8549, 11>, <8550, 11>, <8551, 11>, 
<8552, 11>, <8561, 10>, <8562, 8>, <8570, 10>, <8571, 10>, <8572, 10>, <8573, 
10>, <8574, 10>, <8575, 10>, <8576, 10>, <8615, 8>, <8701, 1>, <8702, 1>, <8703,
3>, <8704, 3>, <8705, 3>, <8711, 10>, <8713, 8>, <8714, 9>, <8715, 9>, <8716, 
9>, <8717, 9>, <8718, 9>, <8719, 9>, <8728, 11>, <8729, 11>, <8730, 11>, <8731, 
11>, <8732, 11>, <8733, 11>, <8734, 11>, <8735, 11>, <8753, 10>, <8754, 10>, 
<8755, 10>, <8756, 10>, <8757, 10>, <8758, 10>, <8759, 10>, <8760, 10>, <8761, 
8>, <8772, 8>, <8792, 8>, <8842, 8>, <8863, 8> ];