fork download
  1. import base64
  2. import math
  3. import random
  4.  
  5.  
  6. def rank_permutation(seq):
  7. ref = sorted(seq)
  8. if ref == seq:
  9. return 0
  10. else:
  11. rank = 0
  12. f = math.factorial(len(seq)-1)
  13. for x in ref:
  14. if x < seq[0]:
  15. rank += f
  16. else:
  17. rank += rank_permutation(seq[1:]) if seq[1:] else 0
  18. return rank
  19.  
  20.  
  21. def unrank_permutation(n, k):
  22. if not (0 <= k < math.factorial(n)):
  23. raise ValueError("Rank k is out of bounds.")
  24.  
  25. items = list(range(n))
  26. permutation = []
  27. temp_k = k
  28.  
  29. for i in range(n, 0, -1):
  30. index = temp_k // math.factorial(i - 1)
  31. temp_k %= math.factorial(i - 1)
  32. permutation.append(items.pop(index))
  33.  
  34. return permutation
  35.  
  36.  
  37. def rank(comb):
  38. return sum([
  39. math.comb(ci, i + 1)
  40. for i, ci in enumerate(comb)])
  41.  
  42.  
  43. def unrank(N, k):
  44. comb = []
  45. n = N
  46. for r in range(k, 0, -1):
  47. ci = r - 1
  48. while math.comb(ci + 1, r) <= n:
  49. ci += 1
  50. comb.append(ci)
  51. n -= math.comb(ci, r)
  52. return list(reversed(comb))
  53.  
  54.  
  55. def unget(perm, n):
  56. k = len(perm)
  57. zipped = zip(perm, range(k))
  58. zipped2 = [(*a, b) for a, b in zip(sorted(zipped), range(k))]
  59. zipped_perm = sorted(zipped2, key=lambda x: x[1])
  60. mapped_perm = map(lambda x: x[2], zipped_perm)
  61. return rank(list(sorted(perm))), rank_permutation(list(mapped_perm))
  62.  
  63.  
  64. def get(ci, pi, k):
  65. comb = unrank(ci, k)
  66. perm = unrank_permutation(k, pi)
  67. return list(map(lambda i: comb[i], perm))
  68.  
  69.  
  70. num_tests = 100
  71.  
  72. for _ in range(num_tests):
  73. n = random.randint(2, 2048)
  74. k = random.randint(1, min(30, n - 1))
  75. perm = random.sample(range(n - 1), k)
  76.  
  77. print(n, k)
  78. print(perm)
  79. ci, pi = unget(perm, n)
  80. print((ci, pi))
  81. bci, bpi = (
  82. base64.b64encode(str(ci).encode()),
  83. base64.b64encode(str(pi).encode()))
  84. print((bci, bpi))
  85. result = get(ci, pi, len(perm))
  86. if perm != result:
  87. print('HHHEEEEEEYYYYY!!!!')
  88. print(perm, result)
  89.  
  90. print('Done.')
Success #stdin #stdout 0.51s 15624KB
stdin
Standard input is empty
stdout
1713 10
[206, 980, 1619, 895, 406, 77, 401, 1602, 367, 789]
(33346970655289197205063004, 644050)
(b'MzMzNDY5NzA2NTUyODkxOTcyMDUwNjMwMDQ=', b'NjQ0MDUw')
1701 2
[427, 1171]
(685462, 0)
(b'Njg1NDYy', b'MA==')
256 28
[126, 11, 167, 122, 130, 103, 145, 43, 227, 48, 168, 185, 71, 4, 116, 171, 87, 70, 12, 148, 78, 203, 58, 105, 198, 191, 194, 110]
(540653183989322478448655389134392893, 164008436429870543070228381861)
(b'NTQwNjUzMTgzOTg5MzIyNDc4NDQ4NjU1Mzg5MTM0MzkyODkz', b'MTY0MDA4NDM2NDI5ODcwNTQzMDcwMjI4MzgxODYx')
1560 17
[467, 1024, 542, 1183, 284, 24, 818, 694, 1396, 1046, 1050, 1397, 878, 397, 1080, 354, 633]
(758720367618618831139327983814380223590, 95877934169002)
(b'NzU4NzIwMzY3NjE4NjE4ODMxMTM5MzI3OTgzODE0MzgwMjIzNTkw', b'OTU4Nzc5MzQxNjkwMDI=')
237 18
[234, 124, 54, 125, 171, 64, 153, 218, 11, 227, 172, 30, 148, 6, 131, 46, 209, 59]
(371268960359341203482299619, 6198958325056093)
(b'MzcxMjY4OTYwMzU5MzQxMjAzNDgyMjk5NjE5', b'NjE5ODk1ODMyNTA1NjA5Mw==')
1989 25
[103, 1292, 1332, 384, 174, 1684, 567, 1155, 695, 1794, 331, 1353, 1562, 1064, 368, 724, 1169, 48, 834, 1825, 812, 678, 513, 93, 221]
(187582959290907766981033281233633289000182078242021593190, 1699802622671090387470558)
(b'MTg3NTgyOTU5MjkwOTA3NzY2OTgxMDMzMjgxMjMzNjMzMjg5MDAwMTgyMDc4MjQyMDIxNTkzMTkw', b'MTY5OTgwMjYyMjY3MTA5MDM4NzQ3MDU1OA==')
1165 25
[817, 456, 757, 863, 114, 490, 261, 282, 359, 88, 25, 77, 589, 1106, 363, 316, 160, 372, 770, 577, 992, 592, 775, 473, 558]
(609912822691329504298364122721791127844479097835938, 13333876024740851439783712)
(b'NjA5OTEyODIyNjkxMzI5NTA0Mjk4MzY0MTIyNzIxNzkxMTI3ODQ0NDc5MDk3ODM1OTM4', b'MTMzMzM4NzYwMjQ3NDA4NTE0Mzk3ODM3MTI=')
218 6
[58, 67, 31, 170, 199, 16]
(81052199612, 297)
(b'ODEwNTIxOTk2MTI=', b'Mjk3')
1123 6
[974, 381, 670, 751, 271, 708]
(1169645299987952, 634)
(b'MTE2OTY0NTI5OTk4Nzk1Mg==', b'NjM0')
2040 8
[500, 229, 637, 533, 1210, 421, 786, 1308]
(208723302420331595924, 10356)
(b'MjA4NzIzMzAyNDIwMzMxNTk1OTI0', b'MTAzNTY=')
1621 27
[1456, 272, 621, 1547, 876, 665, 1266, 451, 994, 831, 871, 559, 436, 1338, 92, 162, 691, 1542, 1521, 256, 656, 884, 253, 78, 363, 1595, 468]
(22123069314400299755466423830727126883264680023256898703661, 8956758885270582154811589145)
(b'MjIxMjMwNjkzMTQ0MDAyOTk3NTU0NjY0MjM4MzA3MjcxMjY4ODMyNjQ2ODAwMjMyNTY4OTg3MDM2NjE=', b'ODk1Njc1ODg4NTI3MDU4MjE1NDgxMTU4OTE0NQ==')
1128 13
[530, 353, 274, 829, 376, 844, 43, 154, 825, 1106, 555, 134, 436]
(554615218923427499635993526822, 3526256374)
(b'NTU0NjE1MjE4OTIzNDI3NDk5NjM1OTkzNTI2ODIy', b'MzUyNjI1NjM3NA==')
1075 7
[230, 748, 341, 594, 471, 270, 258]
(25332416744547441, 671)
(b'MjUzMzI0MTY3NDQ1NDc0NDE=', b'Njcx')
287 18
[12, 220, 25, 264, 10, 239, 100, 121, 228, 2, 208, 48, 242, 43, 13, 116, 5, 135]
(3406617645484831913086807042, 1324604903844896)
(b'MzQwNjYxNzY0NTQ4NDgzMTkxMzA4NjgwNzA0Mg==', b'MTMyNDYwNDkwMzg0NDg5Ng==')
722 13
[656, 331, 511, 415, 316, 279, 52, 556, 623, 696, 402, 441, 680]
(1308986927202115393149721264, 4933076706)
(b'MTMwODk4NjkyNzIwMjExNTM5MzE0OTcyMTI2NA==', b'NDkzMzA3NjcwNg==')
746 19
[510, 135, 684, 601, 179, 705, 637, 13, 614, 688, 299, 453, 547, 181, 358, 444, 670, 645, 387]
(8551519064514144539108831483129142974, 58281911376698891)
(b'ODU1MTUxOTA2NDUxNDE0NDUzOTEwODgzMTQ4MzEyOTE0Mjk3NA==', b'NTgyODE5MTEzNzY2OTg4OTE=')
456 21
[113, 303, 76, 313, 79, 220, 441, 327, 356, 422, 340, 417, 100, 266, 241, 314, 170, 359, 272, 134, 98]
(420563588286444542319280883813395677, 10951266729439917911)
(b'NDIwNTYzNTg4Mjg2NDQ0NTQyMzE5MjgwODgzODEzMzk1Njc3', b'MTA5NTEyNjY3Mjk0Mzk5MTc5MTE=')
704 19
[206, 147, 317, 137, 262, 240, 182, 481, 164, 18, 290, 90, 304, 33, 376, 478, 405, 605, 429]
(441016692876783877077405543388093520, 46453073105462413)
(b'NDQxMDE2NjkyODc2NzgzODc3MDc3NDA1NTQzMzg4MDkzNTIw', b'NDY0NTMwNzMxMDU0NjI0MTM=')
1667 15
[558, 799, 1131, 1047, 527, 1050, 524, 187, 530, 333, 1381, 27, 1043, 1400, 1049]
(111326816105277258076395579987521379, 565518488593)
(b'MTExMzI2ODE2MTA1Mjc3MjU4MDc2Mzk1NTc5OTg3NTIxMzc5', b'NTY1NTE4NDg4NTkz')
174 8
[39, 54, 64, 74, 119, 165, 96, 1]
(11525549447783, 5921)
(b'MTE1MjU1NDk0NDc3ODM=', b'NTkyMQ==')
1410 2
[1275, 360]
(812535, 1)
(b'ODEyNTM1', b'MQ==')
182 30
[14, 45, 81, 5, 43, 53, 173, 139, 1, 6, 159, 143, 35, 151, 117, 31, 49, 28, 126, 79, 104, 114, 42, 2, 7, 145, 167, 16, 168, 37]
(3962874235708950474173848378626145, 48031772278335446194784150305021)
(b'Mzk2Mjg3NDIzNTcwODk1MDQ3NDE3Mzg0ODM3ODYyNjE0NQ==', b'NDgwMzE3NzIyNzgzMzU0NDYxOTQ3ODQxNTAzMDUwMjE=')
1275 5
[326, 531, 702, 612, 884]
(4458010559162, 2)
(b'NDQ1ODAxMDU1OTE2Mg==', b'Mg==')
713 20
[327, 0, 448, 462, 578, 140, 500, 623, 292, 535, 601, 574, 387, 251, 687, 288, 213, 284, 430, 272]
(171297474342395857087465642807088946955, 976566042638309475)
(b'MTcxMjk3NDc0MzQyMzk1ODU3MDg3NDY1NjQyODA3MDg4OTQ2OTU1', b'OTc2NTY2MDQyNjM4MzA5NDc1')
1835 1
[932]
(932, 0)
(b'OTMy', b'MA==')
207 19
[73, 179, 108, 191, 49, 79, 53, 1, 22, 149, 117, 9, 24, 93, 125, 110, 163, 121, 7]
(73552634886132483380769589, 50716010673101003)
(b'NzM1NTI2MzQ4ODYxMzI0ODMzODA3Njk1ODk=', b'NTA3MTYwMTA2NzMxMDEwMDM=')
1334 27
[954, 890, 708, 344, 509, 498, 682, 482, 1094, 125, 891, 301, 487, 1300, 1310, 49, 1073, 1156, 409, 1266, 541, 460, 1292, 607, 912, 1294, 1060]
(104646715437547897116661998057469717280851107523943667764, 7081264537255771655938574473)
(b'MTA0NjQ2NzE1NDM3NTQ3ODk3MTE2NjYxOTk4MDU3NDY5NzE3MjgwODUxMTA3NTIzOTQzNjY3NzY0', b'NzA4MTI2NDUzNzI1NTc3MTY1NTkzODU3NDQ3Mw==')
1791 2
[473, 1743]
(1518626, 0)
(b'MTUxODYyNg==', b'MA==')
508 7
[437, 327, 379, 10, 147, 3, 118]
(579379947175671, 4906)
(b'NTc5Mzc5OTQ3MTc1Njcx', b'NDkwNg==')
1318 8
[431, 1142, 370, 425, 663, 334, 1269, 517]
(163637503350874707338, 18877)
(b'MTYzNjM3NTAzMzUwODc0NzA3MzM4', b'MTg4Nzc=')
1987 4
[1919, 954, 1297, 1965]
(620492519844, 12)
(b'NjIwNDkyNTE5ODQ0', b'MTI=')
749 1
[143]
(143, 0)
(b'MTQz', b'MA==')
380 12
[76, 288, 197, 196, 102, 321, 325, 130, 377, 1, 239, 344]
(14592679624637755473834, 63269682)
(b'MTQ1OTI2Nzk2MjQ2Mzc3NTU0NzM4MzQ=', b'NjMyNjk2ODI=')
917 24
[123, 887, 682, 141, 858, 901, 886, 127, 188, 666, 89, 122, 655, 65, 721, 31, 871, 17, 501, 781, 599, 551, 523, 0]
(98823762522970746366886317410664166474876110255, 179501577908660924954639)
(b'OTg4MjM3NjI1MjI5NzA3NDYzNjY4ODYzMTc0MTA2NjQxNjY0NzQ4NzYxMTAyNTU=', b'MTc5NTAxNTc3OTA4NjYwOTI0OTU0NjM5')
634 30
[313, 256, 125, 471, 160, 157, 292, 482, 593, 82, 150, 50, 120, 170, 391, 267, 450, 345, 413, 613, 284, 94, 30, 384, 260, 598, 472, 95, 536, 212]
(790463662463922304547672029896450622955653078075391, 154042141839092124001365845447629)
(b'NzkwNDYzNjYyNDYzOTIyMzA0NTQ3NjcyMDI5ODk2NDUwNjIyOTU1NjUzMDc4MDc1Mzkx', b'MTU0MDQyMTQxODM5MDkyMTI0MDAxMzY1ODQ1NDQ3NjI5')
1165 28
[782, 906, 828, 1131, 816, 525, 413, 825, 939, 251, 883, 1017, 774, 767, 686, 488, 762, 35, 735, 954, 652, 629, 451, 662, 646, 914, 1080, 431]
(74062740843178309215481603268261132169834725175104207669, 182582253486119682522678014097)
(b'NzQwNjI3NDA4NDMxNzgzMDkyMTU0ODE2MDMyNjgyNjExMzIxNjk4MzQ3MjUxNzUxMDQyMDc2Njk=', b'MTgyNTgyMjUzNDg2MTE5NjgyNTIyNjc4MDE0MDk3')
1560 4
[22, 620, 1151, 1189]
(83109384388, 0)
(b'ODMxMDkzODQzODg=', b'MA==')
1658 23
[297, 1439, 751, 211, 234, 1630, 202, 1505, 651, 1534, 760, 91, 1096, 1017, 552, 1331, 1201, 1336, 136, 1312, 835, 821, 1546]
(2523732001220805494951433677748164613799544026280767, 6505970218156019023694)
(b'MjUyMzczMjAwMTIyMDgwNTQ5NDk1MTQzMzY3Nzc0ODE2NDYxMzc5OTU0NDAyNjI4MDc2Nw==', b'NjUwNTk3MDIxODE1NjAxOTAyMzY5NA==')
590 26
[493, 377, 85, 13, 502, 291, 79, 486, 583, 334, 494, 88, 124, 579, 75, 534, 304, 492, 382, 435, 62, 469, 153, 129, 389, 177]
(1182510702309330382494574425680467025963857741, 318394377589034848473573943)
(b'MTE4MjUxMDcwMjMwOTMzMDM4MjQ5NDU3NDQyNTY4MDQ2NzAyNTk2Mzg1Nzc0MQ==', b'MzE4Mzk0Mzc3NTg5MDM0ODQ4NDczNTczOTQz')
1066 18
[176, 294, 351, 343, 194, 1047, 809, 794, 1041, 39, 306, 335, 212, 697, 281, 937, 752, 268]
(313128879360581489393986316412776981632, 471385387123259)
(b'MzEzMTI4ODc5MzYwNTgxNDg5MzkzOTg2MzE2NDEyNzc2OTgxNjMy', b'NDcxMzg1Mzg3MTIzMjU5')
1540 9
[97, 879, 1191, 342, 611, 565, 501, 173, 1108]
(12945935347376231770986, 29726)
(b'MTI5NDU5MzUzNDczNzYyMzE3NzA5ODY=', b'Mjk3MjY=')
2000 6
[705, 1445, 178, 756, 749, 1645]
(27322981492771026, 194)
(b'MjczMjI5ODE0OTI3NzEwMjY=', b'MTk0')
924 21
[679, 727, 722, 809, 310, 618, 465, 253, 479, 808, 130, 484, 711, 155, 254, 64, 446, 518, 33, 710, 117]
(180319844536027641633481057934148102640776, 36237242370980949301)
(b'MTgwMzE5ODQ0NTM2MDI3NjQxNjMzNDgxMDU3OTM0MTQ4MTAyNjQwNzc2', b'MzYyMzcyNDIzNzA5ODA5NDkzMDE=')
1015 29
[786, 328, 156, 629, 91, 411, 766, 177, 673, 780, 554, 30, 822, 939, 234, 539, 212, 904, 203, 661, 724, 884, 258, 761, 36, 542, 752, 782, 356]
(11907179369143994830116582836155150366359193062093938679, 7416733081676494714315860247689)
(b'MTE5MDcxNzkzNjkxNDM5OTQ4MzAxMTY1ODI4MzYxNTUxNTAzNjYzNTkxOTMwNjIwOTM5Mzg2Nzk=', b'NzQxNjczMzA4MTY3NjQ5NDcxNDMxNTg2MDI0NzY4OQ==')
1305 5
[1233, 444, 1291, 1302, 28]
(31056509123510, 57)
(b'MzEwNTY1MDkxMjM1MTA=', b'NTc=')
177 4
[173, 50, 27, 142]
(36510387, 20)
(b'MzY1MTAzODc=', b'MjA=')
499 16
[372, 472, 251, 354, 289, 182, 333, 376, 495, 154, 345, 159, 70, 410, 86, 215]
(493918398220537510479378591540, 15559665082372)
(b'NDkzOTE4Mzk4MjIwNTM3NTEwNDc5Mzc4NTkxNTQw', b'MTU1NTk2NjUwODIzNzI=')
1009 2
[712, 438]
(253554, 1)
(b'MjUzNTU0', b'MQ==')
704 13
[675, 623, 393, 563, 211, 54, 547, 635, 369, 367, 353, 416, 694]
(1259555435619060633317753070, 5648996694)
(b'MTI1OTU1NTQzNTYxOTA2MDYzMzMxNzc1MzA3MA==', b'NTY0ODk5NjY5NA==')
1642 27
[1212, 1071, 331, 365, 1125, 411, 699, 62, 1564, 281, 348, 579, 532, 1332, 1084, 166, 114, 756, 807, 1559, 1391, 561, 1576, 42, 611, 989, 570]
(16069682760207318897004597815542858890212302187518213868606, 8751599260099346399870453259)
(b'MTYwNjk2ODI3NjAyMDczMTg4OTcwMDQ1OTc4MTU1NDI4NTg4OTAyMTIzMDIxODc1MTgyMTM4Njg2MDY=', b'ODc1MTU5OTI2MDA5OTM0NjM5OTg3MDQ1MzI1OQ==')
1869 15
[1301, 79, 504, 1772, 74, 1808, 934, 1840, 71, 1074, 353, 1447, 1172, 1121, 808]
(6818913314973962475464505270646134809, 886039897943)
(b'NjgxODkxMzMxNDk3Mzk2MjQ3NTQ2NDUwNTI3MDY0NjEzNDgwOQ==', b'ODg2MDM5ODk3OTQz')
1494 8
[1376, 52, 233, 935, 541, 1168, 1487, 1007]
(583631184925761201695, 30267)
(b'NTgzNjMxMTg0OTI1NzYxMjAxNjk1', b'MzAyNjc=')
1881 18
[110, 432, 1150, 1099, 1711, 492, 674, 1817, 1209, 635, 840, 1367, 1790, 1374, 968, 1241, 1365, 1417]
(6741023360680072193506378489718243581658930, 8350512189072)
(b'Njc0MTAyMzM2MDY4MDA3MjE5MzUwNjM3ODQ4OTcxODI0MzU4MTY1ODkzMA==', b'ODM1MDUxMjE4OTA3Mg==')
304 12
[121, 173, 174, 65, 27, 77, 136, 274, 42, 149, 85, 279]
(378737642677347868200, 227607434)
(b'Mzc4NzM3NjQyNjc3MzQ3ODY4MjAw', b'MjI3NjA3NDM0')
468 20
[230, 358, 59, 225, 150, 449, 22, 181, 160, 379, 21, 37, 183, 454, 143, 270, 9, 360, 75, 157]
(38585867343544419446491960953887753, 1672681433039794396)
(b'Mzg1ODU4NjczNDM1NDQ0MTk0NDY0OTE5NjA5NTM4ODc3NTM=', b'MTY3MjY4MTQzMzAzOTc5NDM5Ng==')
172 2
[42, 52]
(1368, 0)
(b'MTM2OA==', b'MA==')
912 23
[823, 573, 778, 378, 531, 111, 401, 760, 171, 642, 174, 42, 520, 408, 253, 671, 545, 591, 398, 59, 143, 124, 524]
(324017869789621886145308428909337000674693341, 25595186416477365904514)
(b'MzI0MDE3ODY5Nzg5NjIxODg2MTQ1MzA4NDI4OTA5MzM3MDAwNjc0NjkzMzQx', b'MjU1OTUxODY0MTY0NzczNjU5MDQ1MTQ=')
1079 10
[722, 15, 212, 236, 968, 771, 1067, 503, 51, 811]
(507240503002598219166946, 1820708)
(b'NTA3MjQwNTAzMDAyNTk4MjE5MTY2OTQ2', b'MTgyMDcwOA==')
1295 15
[1009, 193, 1168, 1038, 788, 388, 941, 118, 990, 760, 582, 907, 1244, 1018, 943]
(18671839452166696661279987755795840, 883693160765)
(b'MTg2NzE4Mzk0NTIxNjY2OTY2NjEyNzk5ODc3NTU3OTU4NDA=', b'ODgzNjkzMTYwNzY1')
1798 5
[1222, 139, 197, 804, 678]
(22539825035496, 97)
(b'MjI1Mzk4MjUwMzU0OTY=', b'OTc=')
918 13
[651, 453, 599, 740, 456, 912, 513, 303, 304, 412, 311, 299, 478]
(44549426280187184522360761599, 5021774798)
(b'NDQ1NDk0MjYyODAxODcxODQ1MjIzNjA3NjE1OTk=', b'NTAyMTc3NDc5OA==')
206 17
[96, 103, 13, 60, 55, 26, 170, 185, 41, 117, 166, 140, 124, 100, 49, 191, 168]
(856421843506804396399756, 134716836938815)
(b'ODU2NDIxODQzNTA2ODA0Mzk2Mzk5NzU2', b'MTM0NzE2ODM2OTM4ODE1')
430 27
[382, 246, 272, 313, 373, 359, 91, 66, 19, 5, 192, 59, 247, 297, 355, 292, 133, 41, 224, 110, 194, 290, 268, 390, 18, 419, 61]
(2486446222877877879408322942460291517805236, 9890436328444711644482436901)
(b'MjQ4NjQ0NjIyMjg3Nzg3Nzg3OTQwODMyMjk0MjQ2MDI5MTUxNzgwNTIzNg==', b'OTg5MDQzNjMyODQ0NDcxMTY0NDQ4MjQzNjkwMQ==')
1093 12
[341, 896, 796, 172, 590, 187, 1021, 797, 247, 160, 803, 583]
(2517751714580363881511306543, 194565559)
(b'MjUxNzc1MTcxNDU4MDM2Mzg4MTUxMTMwNjU0Mw==', b'MTk0NTY1NTU5')
972 18
[824, 746, 113, 857, 574, 367, 130, 663, 956, 2, 848, 950, 918, 490, 892, 408, 601, 732]
(60180431802778653626357590755055632337, 4124001216046242)
(b'NjAxODA0MzE4MDI3Nzg2NTM2MjYzNTc1OTA3NTUwNTU2MzIzMzc=', b'NDEyNDAwMTIxNjA0NjI0Mg==')
105 21
[43, 90, 62, 12, 6, 74, 94, 50, 32, 73, 23, 85, 76, 3, 86, 20, 81, 98, 39, 89, 2]
(1423883879203940436942, 21589924677782557869)
(b'MTQyMzg4Mzg3OTIwMzk0MDQzNjk0Mg==', b'MjE1ODk5MjQ2Nzc3ODI1NTc4Njk=')
1784 26
[1532, 261, 1547, 971, 918, 585, 1242, 604, 1138, 1112, 1231, 519, 313, 1544, 1630, 846, 620, 665, 1349, 1503, 848, 1677, 1556, 838, 369, 79]
(1415761672998372780383448786477689718243790504274872569935, 311375750954588932542762719)
(b'MTQxNTc2MTY3Mjk5ODM3Mjc4MDM4MzQ0ODc4NjQ3NzY4OTcxODI0Mzc5MDUwNDI3NDg3MjU2OTkzNQ==', b'MzExMzc1NzUwOTU0NTg4OTMyNTQyNzYyNzE5')
863 19
[155, 230, 704, 239, 167, 815, 382, 647, 561, 112, 853, 191, 50, 173, 35, 828, 496, 299, 836]
(332786156077830592389894638484855540858, 21600492235515494)
(b'MzMyNzg2MTU2MDc3ODMwNTkyMzg5ODk0NjM4NDg0ODU1NTQwODU4', b'MjE2MDA0OTIyMzU1MTU0OTQ=')
1946 24
[321, 1311, 1867, 75, 18, 177, 1621, 1498, 816, 1077, 324, 1881, 740, 1542, 1835, 730, 1557, 920, 1369, 859, 631, 719, 697, 1406]
(5412124851627998681406523104201789895512543938991704859, 93192317018140507975994)
(b'NTQxMjEyNDg1MTYyNzk5ODY4MTQwNjUyMzEwNDIwMTc4OTg5NTUxMjU0MzkzODk5MTcwNDg1OQ==', b'OTMxOTIzMTcwMTgxNDA1MDc5NzU5OTQ=')
1286 4
[161, 297, 1064, 1062]
(53300213063, 1)
(b'NTMzMDAyMTMwNjM=', b'MQ==')
863 29
[463, 845, 220, 8, 460, 840, 444, 71, 153, 6, 745, 169, 799, 495, 546, 86, 290, 197, 557, 266, 748, 332, 341, 359, 344, 70, 133, 134, 561]
(542240657239185979855570961955344461394241256068166235, 6090936987350442493290839489832)
(b'NTQyMjQwNjU3MjM5MTg1OTc5ODU1NTcwOTYxOTU1MzQ0NDYxMzk0MjQxMjU2MDY4MTY2MjM1', b'NjA5MDkzNjk4NzM1MDQ0MjQ5MzI5MDgzOTQ4OTgzMg==')
779 7
[330, 606, 217, 204, 626, 323, 56]
(7294332661825809, 3419)
(b'NzI5NDMzMjY2MTgyNTgwOQ==', b'MzQxOQ==')
1829 11
[1493, 1174, 325, 915, 1092, 1080, 1134, 324, 547, 1222, 637]
(1985636577161213954138566133, 39249793)
(b'MTk4NTYzNjU3NzE2MTIxMzk1NDEzODU2NjEzMw==', b'MzkyNDk3OTM=')
1521 18
[324, 1183, 895, 386, 1230, 89, 1218, 1300, 1511, 592, 144, 466, 30, 185, 804, 106, 468, 818]
(238053651470663691072636240773579166090328, 2044400300300916)
(b'MjM4MDUzNjUxNDcwNjYzNjkxMDcyNjM2MjQwNzczNTc5MTY2MDkwMzI4', b'MjA0NDQwMDMwMDMwMDkxNg==')
1110 19
[868, 380, 970, 162, 263, 1041, 116, 1038, 142, 167, 641, 1047, 952, 536, 207, 610, 81, 497, 41]
(16975599562367655770394884098223889462359, 86354183724681429)
(b'MTY5NzU1OTk1NjIzNjc2NTU3NzAzOTQ4ODQwOTgyMjM4ODk0NjIzNTk=', b'ODYzNTQxODM3MjQ2ODE0Mjk=')
1701 7
[451, 1656, 140, 1132, 586, 1070, 1055]
(6693682679868014006, 1339)
(b'NjY5MzY4MjY3OTg2ODAxNDAwNg==', b'MTMzOQ==')
882 7
[126, 259, 208, 714, 619, 586, 760]
(28444695950644649, 134)
(b'Mjg0NDQ2OTU5NTA2NDQ2NDk=', b'MTM0')
40 23
[4, 31, 36, 34, 30, 27, 6, 2, 19, 28, 12, 21, 26, 35, 29, 16, 11, 7, 24, 5, 3, 15, 37]
(13955171561, 3164947702695511072158)
(b'MTM5NTUxNzE1NjE=', b'MzE2NDk0NzcwMjY5NTUxMTA3MjE1OA==')
2027 8
[702, 1794, 1920, 675, 103, 1795, 521, 1928]
(4685735113233279569186, 17810)
(b'NDY4NTczNTExMzIzMzI3OTU2OTE4Ng==', b'MTc4MTA=')
819 7
[497, 635, 625, 399, 583, 220, 231]
(8071866488022815, 2872)
(b'ODA3MTg2NjQ4ODAyMjgxNQ==', b'Mjg3Mg==')
151 25
[6, 106, 78, 43, 4, 16, 112, 25, 92, 100, 52, 28, 47, 98, 73, 76, 127, 94, 15, 119, 55, 56, 116, 138, 146]
(9808873206896406900959211943, 1073676355150847448405240)
(b'OTgwODg3MzIwNjg5NjQwNjkwMDk1OTIxMTk0Mw==', b'MTA3MzY3NjM1NTE1MDg0NzQ0ODQwNTI0MA==')
247 24
[52, 44, 71, 137, 239, 164, 28, 160, 153, 240, 55, 161, 152, 26, 41, 66, 216, 86, 3, 12, 84, 235, 170, 126]
(724505893130871615286993435671021, 161116350244060629229205)
(b'NzI0NTA1ODkzMTMwODcxNjE1Mjg2OTkzNDM1NjcxMDIx', b'MTYxMTE2MzUwMjQ0MDYwNjI5MjI5MjA1')
19 3
[5, 0, 12]
(230, 2)
(b'MjMw', b'Mg==')
1383 15
[1117, 887, 1170, 142, 464, 679, 337, 864, 201, 271, 1200, 1362, 80, 1176, 1340]
(73517815542642974419898781150636397, 838308820506)
(b'NzM1MTc4MTU1NDI2NDI5NzQ0MTk4OTg3ODExNTA2MzYzOTc=', b'ODM4MzA4ODIwNTA2')
904 18
[684, 895, 735, 258, 695, 5, 723, 350, 436, 233, 529, 537, 787, 305, 810, 733, 117, 707]
(17921210338659107807577443852087908364, 3553262940257806)
(b'MTc5MjEyMTAzMzg2NTkxMDc4MDc1Nzc0NDM4NTIwODc5MDgzNjQ=', b'MzU1MzI2Mjk0MDI1NzgwNg==')
694 12
[366, 384, 265, 484, 472, 486, 555, 548, 420, 187, 691, 514]
(22509835497174987029405244, 87587119)
(b'MjI1MDk4MzU0OTcxNzQ5ODcwMjk0MDUyNDQ=', b'ODc1ODcxMTk=')
1092 2
[741, 430]
(274600, 1)
(b'Mjc0NjAw', b'MQ==')
1235 5
[194, 468, 88, 611, 29]
(700045112918, 63)
(b'NzAwMDQ1MTEyOTE4', b'NjM=')
566 25
[260, 449, 80, 408, 56, 494, 459, 115, 552, 228, 193, 403, 55, 406, 156, 51, 501, 363, 523, 306, 66, 93, 279, 473, 551]
(13731645725348605360056659688076453837806606, 6623334336733295916938040)
(b'MTM3MzE2NDU3MjUzNDg2MDUzNjAwNTY2NTk2ODgwNzY0NTM4Mzc4MDY2MDY=', b'NjYyMzMzNDMzNjczMzI5NTkxNjkzODA0MA==')
1752 16
[1162, 882, 1416, 678, 924, 255, 14, 493, 1487, 465, 1620, 457, 1418, 114, 1498, 1461]
(100158638684989072685177758105379830753, 12432254433031)
(b'MTAwMTU4NjM4Njg0OTg5MDcyNjg1MTc3NzU4MTA1Mzc5ODMwNzUz', b'MTI0MzIyNTQ0MzMwMzE=')
1967 24
[971, 1253, 74, 748, 85, 1000, 325, 99, 854, 1192, 1722, 102, 465, 1223, 1711, 17, 1539, 44, 179, 466, 133, 249, 1167, 715]
(641839974360797289327654162217910291725207292308016973, 409267964282556590341369)
(b'NjQxODM5OTc0MzYwNzk3Mjg5MzI3NjU0MTYyMjE3OTEwMjkxNzI1MjA3MjkyMzA4MDE2OTcz', b'NDA5MjY3OTY0MjgyNTU2NTkwMzQxMzY5')
514 11
[360, 446, 248, 204, 449, 422, 210, 411, 102, 46, 231]
(3389440834587413671084, 24892508)
(b'MzM4OTQ0MDgzNDU4NzQxMzY3MTA4NA==', b'MjQ4OTI1MDg=')
1002 2
[750, 123]
(280998, 1)
(b'MjgwOTk4', b'MQ==')
1808 8
[913, 815, 1199, 643, 1374, 171, 548, 265]
(309374209359281670766, 28651)
(b'MzA5Mzc0MjA5MzU5MjgxNjcwNzY2', b'Mjg2NTE=')
1522 30
[967, 425, 645, 122, 125, 617, 647, 90, 1330, 577, 640, 74, 1258, 1446, 1317, 1027, 894, 629, 886, 708, 255, 610, 1226, 910, 971, 352, 175, 804, 1271, 1160]
(178093724959712659725718572892740962983294902461713727242459208, 179100966903786645381057716252305)
(b'MTc4MDkzNzI0OTU5NzEyNjU5NzI1NzE4NTcyODkyNzQwOTYyOTgzMjk0OTAyNDYxNzEzNzI3MjQyNDU5MjA4', b'MTc5MTAwOTY2OTAzNzg2NjQ1MzgxMDU3NzE2MjUyMzA1')
1682 14
[760, 762, 995, 348, 690, 1410, 824, 9, 1073, 580, 218, 404, 1208, 211]
(1321658402190256662688324331491944, 47274540321)
(b'MTMyMTY1ODQwMjE5MDI1NjY2MjY4ODMyNDMzMTQ5MTk0NA==', b'NDcyNzQ1NDAzMjE=')
1000 18
[757, 996, 578, 782, 541, 7, 818, 86, 224, 555, 790, 31, 546, 25, 263, 548, 181, 603]
(124593355279651759895635001952936626444, 4974175797853328)
(b'MTI0NTkzMzU1Mjc5NjUxNzU5ODk1NjM1MDAxOTUyOTM2NjI2NDQ0', b'NDk3NDE3NTc5Nzg1MzMyOA==')
1163 18
[899, 929, 805, 748, 892, 1078, 683, 557, 383, 319, 541, 270, 1016, 743, 677, 908, 695, 932]
(526617397087947364687321236477409010844, 4554168799990970)
(b'NTI2NjE3Mzk3MDg3OTQ3MzY0Njg3MzIxMjM2NDc3NDA5MDEwODQ0', b'NDU1NDE2ODc5OTk5MDk3MA==')
1124 7
[696, 194, 811, 104, 772, 1003, 327]
(198800105678557966, 2355)
(b'MTk4ODAwMTA1Njc4NTU3OTY2', b'MjM1NQ==')
112 8
[33, 61, 50, 102, 34, 55, 21, 108]
(370551823457, 8240)
(b'MzcwNTUxODIzNDU3', b'ODI0MA==')
Done.