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.5s 15524KB
stdin
Standard input is empty
stdout
703 7
[283, 145, 292, 547, 476, 573, 508]
(3915070715435419, 733)
(b'MzkxNTA3MDcxNTQzNTQxOQ==', b'NzMz')
549 18
[65, 124, 79, 58, 152, 89, 174, 301, 276, 96, 248, 339, 115, 211, 520, 300, 272, 470]
(901942667937675503152315089589145, 461627840028980)
(b'OTAxOTQyNjY3OTM3Njc1NTAzMTUyMzE1MDg5NTg5MTQ1', b'NDYxNjI3ODQwMDI4OTgw')
180 3
[125, 154, 26]
(604680, 3)
(b'NjA0Njgw', b'Mw==')
266 16
[46, 231, 263, 25, 67, 43, 109, 261, 41, 166, 250, 116, 131, 91, 190, 99]
(16653655479690125835650813, 4963020454741)
(b'MTY2NTM2NTU0Nzk2OTAxMjU4MzU2NTA4MTM=', b'NDk2MzAyMDQ1NDc0MQ==')
354 29
[211, 65, 195, 292, 300, 15, 209, 330, 148, 238, 160, 34, 120, 73, 169, 196, 90, 99, 91, 350, 197, 289, 174, 158, 71, 142, 327, 220, 24]
(2093449055768072300943625024042792398819811, 6136821656359515135573803469035)
(b'MjA5MzQ0OTA1NTc2ODA3MjMwMDk0MzYyNTAyNDA0Mjc5MjM5ODgxOTgxMQ==', b'NjEzNjgyMTY1NjM1OTUxNTEzNTU3MzgwMzQ2OTAzNQ==')
773 8
[155, 392, 627, 23, 552, 476, 521, 90]
(569441384147552437, 12141)
(b'NTY5NDQxMzg0MTQ3NTUyNDM3', b'MTIxNDE=')
1673 17
[1655, 1153, 605, 322, 1308, 263, 1519, 854, 275, 1375, 1157, 1555, 1056, 266, 1401, 881, 523]
(13625515133037849042286737666457918201798, 346992145868117)
(b'MTM2MjU1MTUxMzMwMzc4NDkwNDIyODY3Mzc2NjY0NTc5MTgyMDE3OTg=', b'MzQ2OTkyMTQ1ODY4MTE3')
917 20
[645, 578, 112, 834, 707, 899, 784, 766, 49, 411, 36, 767, 191, 134, 288, 454, 233, 796, 802, 380]
(39716321144960178629070210892215491582957, 1403158120694512731)
(b'Mzk3MTYzMjExNDQ5NjAxNzg2MjkwNzAyMTA4OTIyMTU0OTE1ODI5NTc=', b'MTQwMzE1ODEyMDY5NDUxMjczMQ==')
662 5
[651, 360, 499, 409, 289]
(962046385299, 107)
(b'OTYyMDQ2Mzg1Mjk5', b'MTA3')
588 19
[147, 585, 135, 291, 473, 334, 256, 412, 290, 208, 96, 441, 311, 282, 148, 307, 319, 180, 549]
(232866085345689390161857869785377174, 18882708082069208)
(b'MjMyODY2MDg1MzQ1Njg5MzkwMTYxODU3ODY5Nzg1Mzc3MTc0', b'MTg4ODI3MDgwODIwNjkyMDg=')
731 15
[273, 304, 479, 635, 162, 254, 477, 557, 20, 432, 508, 109, 38, 205, 548]
(715176018059069982658848919761, 564715544838)
(b'NzE1MTc2MDE4MDU5MDY5OTgyNjU4ODQ4OTE5NzYx', b'NTY0NzE1NTQ0ODM4')
345 6
[76, 159, 211, 119, 226, 231]
(202436918427, 30)
(b'MjAyNDM2OTE4NDI3', b'MzA=')
1129 7
[1057, 945, 509, 699, 889, 1035, 591]
(288402512725964439, 4809)
(b'Mjg4NDAyNTEyNzI1OTY0NDM5', b'NDgwOQ==')
97 10
[14, 18, 90, 15, 30, 85, 45, 12, 2, 83]
(6171866623239, 883790)
(b'NjE3MTg2NjYyMzIzOQ==', b'ODgzNzkw')
1971 11
[1811, 19, 1621, 1349, 1439, 1741, 1396, 1190, 1931, 899, 1526]
(33991259920797807882719247504, 32913898)
(b'MzM5OTEyNTk5MjA3OTc4MDc4ODI3MTkyNDc1MDQ=', b'MzI5MTM4OTg=')
1830 20
[1610, 188, 623, 657, 648, 1481, 528, 416, 590, 1113, 1228, 430, 1562, 233, 1637, 35, 603, 1786, 176, 935]
(40371229477092384694285557056985089674976216343, 2083816712007381370)
(b'NDAzNzEyMjk0NzcwOTIzODQ2OTQyODU1NTcwNTY5ODUwODk2NzQ5NzYyMTYzNDM=', b'MjA4MzgxNjcxMjAwNzM4MTM3MA==')
217 19
[12, 183, 133, 43, 102, 165, 61, 171, 122, 2, 32, 14, 20, 130, 153, 97, 109, 139, 142]
(31314274303797286792234461, 12685041540541776)
(b'MzEzMTQyNzQzMDM3OTcyODY3OTIyMzQ0NjE=', b'MTI2ODUwNDE1NDA1NDE3NzY=')
19 15
[15, 16, 7, 3, 5, 10, 0, 2, 6, 14, 11, 8, 9, 4, 17]
(462, 1123830652160)
(b'NDYy', b'MTEyMzgzMDY1MjE2MA==')
1118 24
[847, 652, 550, 820, 1074, 253, 613, 1014, 1073, 741, 239, 42, 836, 512, 493, 91, 127, 1045, 1099, 52, 549, 531, 674, 1032]
(12222085278313115581078359735088516284531895067063, 453517055537339972031006)
(b'MTIyMjIwODUyNzgzMTMxMTU1ODEwNzgzNTk3MzUwODg1MTYyODQ1MzE4OTUwNjcwNjM=', b'NDUzNTE3MDU1NTM3MzM5OTcyMDMxMDA2')
416 28
[98, 93, 218, 210, 11, 282, 245, 409, 254, 43, 44, 143, 315, 337, 208, 167, 389, 26, 363, 407, 260, 194, 313, 109, 56, 333, 371, 395]
(18247510594770248177789031518699845714556178, 67526515800224005435071937464)
(b'MTgyNDc1MTA1OTQ3NzAyNDgxNzc3ODkwMzE1MTg2OTk4NDU3MTQ1NTYxNzg=', b'Njc1MjY1MTU4MDAyMjQwMDU0MzUwNzE5Mzc0NjQ=')
257 6
[5, 96, 170, 28, 235, 201]
(221982703133, 31)
(b'MjIxOTgyNzAzMTMz', b'MzE=')
1394 7
[271, 524, 1095, 1036, 216, 566, 981]
(369086186526900658, 954)
(b'MzY5MDg2MTg2NTI2OTAwNjU4', b'OTU0')
1540 9
[554, 1198, 804, 1018, 117, 422, 1089, 585, 963]
(13639510965160080826260, 118564)
(b'MTM2Mzk1MTA5NjUxNjAwODA4MjYyNjA=', b'MTE4NTY0')
709 26
[208, 459, 16, 199, 152, 74, 20, 432, 100, 35, 10, 189, 526, 347, 496, 305, 409, 698, 482, 165, 556, 403, 161, 662, 608, 514]
(136225275950273736241989183015611733200197941782, 180586715867479810573792229)
(b'MTM2MjI1Mjc1OTUwMjczNzM2MjQxOTg5MTgzMDE1NjExNzMzMjAwMTk3OTQxNzgy', b'MTgwNTg2NzE1ODY3NDc5ODEwNTczNzkyMjI5')
1560 11
[499, 512, 644, 437, 106, 248, 519, 1181, 1141, 1451, 1406]
(1455787101397131562492846982, 12146407)
(b'MTQ1NTc4NzEwMTM5NzEzMTU2MjQ5Mjg0Njk4Mg==', b'MTIxNDY0MDc=')
306 1
[243]
(243, 0)
(b'MjQz', b'MA==')
1392 12
[872, 771, 400, 993, 665, 288, 254, 502, 1091, 911, 599, 997]
(5610384082865999720836003936, 302178980)
(b'NTYxMDM4NDA4Mjg2NTk5OTcyMDgzNjAwMzkzNg==', b'MzAyMTc4OTgw')
767 17
[613, 427, 373, 236, 217, 447, 291, 537, 339, 618, 536, 102, 81, 22, 125, 508, 582]
(645729186028563596130846932100470, 326341651828584)
(b'NjQ1NzI5MTg2MDI4NTYzNTk2MTMwODQ2OTMyMTAwNDcw', b'MzI2MzQxNjUxODI4NTg0')
701 21
[51, 604, 434, 387, 277, 523, 168, 684, 544, 498, 664, 280, 376, 346, 681, 341, 632, 135, 688, 427, 281]
(5746609093335223764295758808638330553562, 1769954422898328797)
(b'NTc0NjYwOTA5MzMzNTIyMzc2NDI5NTc1ODgwODYzODMzMDU1MzU2Mg==', b'MTc2OTk1NDQyMjg5ODMyODc5Nw==')
897 9
[506, 305, 97, 458, 421, 355, 45, 10, 259]
(5624116564652188823, 344876)
(b'NTYyNDExNjU2NDY1MjE4ODgyMw==', b'MzQ0ODc2')
1624 26
[908, 1032, 106, 986, 1237, 1313, 700, 727, 1101, 1512, 204, 1318, 467, 717, 848, 693, 750, 1618, 924, 865, 500, 1543, 1505, 1429, 1414, 1104]
(552441873412901418208779081305242419342372055093225657606, 178702200039240012501163559)
(b'NTUyNDQxODczNDEyOTAxNDE4MjA4Nzc5MDgxMzA1MjQyNDE5MzQyMzcyMDU1MDkzMjI1NjU3NjA2', b'MTc4NzAyMjAwMDM5MjQwMDEyNTAxMTYzNTU5')
605 30
[219, 533, 192, 401, 66, 89, 453, 368, 247, 444, 120, 579, 257, 143, 177, 102, 204, 409, 264, 480, 547, 176, 140, 234, 591, 119, 584, 279, 157, 26]
(260297296854414905480393400405159499462395067879057, 122387279614005861032957053408727)
(b'MjYwMjk3Mjk2ODU0NDE0OTA1NDgwMzkzNDAwNDA1MTU5NDk5NDYyMzk1MDY3ODc5MDU3', b'MTIyMzg3Mjc5NjE0MDA1ODYxMDMyOTU3MDUzNDA4NzI3')
1036 10
[424, 112, 220, 469, 938, 466, 625, 430, 904, 47]
(139539396608169357491622, 1136823)
(b'MTM5NTM5Mzk2NjA4MTY5MzU3NDkxNjIy', b'MTEzNjgyMw==')
113 9
[79, 38, 96, 63, 51, 0, 85, 91, 14]
(1386751265154, 216411)
(b'MTM4Njc1MTI2NTE1NA==', b'MjE2NDEx')
1170 24
[1145, 134, 341, 1080, 403, 276, 103, 22, 1112, 1022, 1012, 829, 1041, 93, 680, 502, 801, 890, 945, 944, 641, 247, 985, 495]
(32957393785909251598898059620663426979358768123390, 598270701593899863585205)
(b'MzI5NTczOTM3ODU5MDkyNTE1OTg4OTgwNTk2MjA2NjM0MjY5NzkzNTg3NjgxMjMzOTA=', b'NTk4MjcwNzAxNTkzODk5ODYzNTg1MjA1')
356 14
[300, 46, 74, 240, 331, 126, 134, 25, 213, 137, 318, 45, 179, 21]
(1688339840936472859922205, 70086417669)
(b'MTY4ODMzOTg0MDkzNjQ3Mjg1OTkyMjIwNQ==', b'NzAwODY0MTc2Njk=')
1131 7
[50, 821, 339, 539, 789, 467, 689]
(48952096163805112, 610)
(b'NDg5NTIwOTYxNjM4MDUxMTI=', b'NjEw')
1066 5
[395, 375, 949, 411, 120]
(6348148729229, 59)
(b'NjM0ODE0ODcyOTIyOQ==', b'NTk=')
1804 1
[1311]
(1311, 0)
(b'MTMxMQ==', b'MA==')
1535 12
[1533, 344, 276, 1198, 663, 691, 85, 991, 672, 1, 1397, 175]
(337794654892470876809877717907, 454989085)
(b'MzM3Nzk0NjU0ODkyNDcwODc2ODA5ODc3NzE3OTA3', b'NDU0OTg5MDg1')
1709 25
[60, 173, 915, 1667, 390, 301, 1157, 803, 1195, 1679, 240, 1493, 289, 57, 1199, 1562, 418, 889, 627, 1607, 630, 1635, 221, 797, 1436]
(23076796345968864665337423388019247455214936407769851650, 660822964216726731216282)
(b'MjMwNzY3OTYzNDU5Njg4NjQ2NjUzMzc0MjMzODgwMTkyNDc0NTUyMTQ5MzY0MDc3Njk4NTE2NTA=', b'NjYwODIyOTY0MjE2NzI2NzMxMjE2Mjgy')
822 8
[358, 641, 402, 341, 288, 540, 675, 478]
(1033814931469088004, 13947)
(b'MTAzMzgxNDkzMTQ2OTA4ODAwNA==', b'MTM5NDc=')
745 19
[103, 276, 15, 216, 113, 572, 92, 567, 259, 111, 196, 480, 126, 681, 342, 277, 405, 202, 181]
(4316954157124607165340264589542741613, 16371024911247569)
(b'NDMxNjk1NDE1NzEyNDYwNzE2NTM0MDI2NDU4OTU0Mjc0MTYxMw==', b'MTYzNzEwMjQ5MTEyNDc1Njk=')
422 24
[287, 377, 68, 200, 51, 271, 306, 140, 78, 367, 159, 270, 180, 369, 144, 93, 330, 173, 328, 156, 12, 256, 384, 354]
(85420219811639162695620339801021615790, 411510973319953154713105)
(b'ODU0MjAyMTk4MTE2MzkxNjI2OTU2MjAzMzk4MDEwMjE2MTU3OTA=', b'NDExNTEwOTczMzE5OTUzMTU0NzEzMTA1')
87 1
[73]
(73, 0)
(b'NzM=', b'MA==')
417 14
[383, 162, 283, 234, 142, 58, 78, 186, 309, 293, 91, 124, 317, 414]
(40410445699137915808857650, 77421901368)
(b'NDA0MTA0NDU2OTkxMzc5MTU4MDg4NTc2NTA=', b'Nzc0MjE5MDEzNjg=')
931 30
[624, 152, 335, 584, 585, 87, 616, 921, 559, 812, 1, 47, 83, 57, 580, 618, 843, 601, 43, 374, 2, 198, 903, 447, 50, 716, 37, 805, 867, 823]
(201816261627671737629450803693842326918531946557676612942, 188535754252784140520843799707905)
(b'MjAxODE2MjYxNjI3NjcxNzM3NjI5NDUwODAzNjkzODQyMzI2OTE4NTMxOTQ2NTU3Njc2NjEyOTQy', b'MTg4NTM1NzU0MjUyNzg0MTQwNTIwODQzNzk5NzA3OTA1')
2048 2
[1397, 1994]
(1988418, 0)
(b'MTk4ODQxOA==', b'MA==')
1915 24
[1179, 555, 243, 1039, 1807, 903, 379, 561, 1128, 1613, 1492, 13, 338, 1339, 927, 1908, 604, 1413, 1815, 1411, 9, 94, 4, 148]
(7583156446456636843777295657145919217006837328935141263, 397056601397752784151824)
(b'NzU4MzE1NjQ0NjQ1NjYzNjg0Mzc3NzI5NTY1NzE0NTkxOTIxNzAwNjgzNzMyODkzNTE0MTI2Mw==', b'Mzk3MDU2NjAxMzk3NzUyNzg0MTUxODI0')
950 27
[248, 284, 68, 119, 130, 289, 809, 287, 380, 422, 434, 314, 35, 494, 827, 745, 834, 803, 535, 532, 210, 592, 299, 721, 296, 589, 49]
(458600615082551469448273288084328012287542174961993, 2514111124419640141189376949)
(b'NDU4NjAwNjE1MDgyNTUxNDY5NDQ4MjczMjg4MDg0MzI4MDEyMjg3NTQyMTc0OTYxOTkz', b'MjUxNDExMTEyNDQxOTY0MDE0MTE4OTM3Njk0OQ==')
84 26
[54, 77, 31, 45, 64, 59, 79, 24, 63, 80, 9, 27, 28, 53, 37, 67, 29, 50, 0, 47, 34, 19, 20, 15, 7, 23]
(1073986130001129355971, 293151590615170761383432822)
(b'MTA3Mzk4NjEzMDAwMTEyOTM1NTk3MQ==', b'MjkzMTUxNTkwNjE1MTcwNzYxMzgzNDMyODIy')
229 10
[197, 33, 199, 131, 15, 116, 43, 45, 165, 108]
(22363101628272379, 2982313)
(b'MjIzNjMxMDE2MjgyNzIzNzk=', b'Mjk4MjMxMw==')
1781 20
[1749, 1482, 1714, 749, 774, 1544, 731, 844, 1760, 274, 913, 586, 710, 1273, 943, 817, 45, 309, 1506, 452]
(30304533694105173504516526407380689880908068783, 2285092825816448713)
(b'MzAzMDQ1MzM2OTQxMDUxNzM1MDQ1MTY1MjY0MDczODA2ODk4ODA5MDgwNjg3ODM=', b'MjI4NTA5MjgyNTgxNjQ0ODcxMw==')
1813 14
[1048, 1012, 502, 1141, 1171, 1490, 1045, 76, 413, 1678, 632, 1096, 660, 965]
(15269948072453309880262540438515187, 52798258900)
(b'MTUyNjk5NDgwNzI0NTMzMDk4ODAyNjI1NDA0Mzg1MTUxODc=', b'NTI3OTgyNTg5MDA=')
728 1
[101]
(101, 0)
(b'MTAx', b'MA==')
1746 3
[85, 238, 96]
(2223281, 1)
(b'MjIyMzI4MQ==', b'MQ==')
861 29
[845, 511, 739, 28, 123, 78, 245, 456, 94, 421, 608, 517, 307, 462, 534, 311, 299, 105, 578, 737, 434, 177, 379, 4, 659, 733, 713, 594, 316]
(526748788257289745973100050937978797168648025521982557, 8732488031691561452922300496151)
(b'NTI2NzQ4Nzg4MjU3Mjg5NzQ1OTczMTAwMDUwOTM3OTc4Nzk3MTY4NjQ4MDI1NTIxOTgyNTU3', b'ODczMjQ4ODAzMTY5MTU2MTQ1MjkyMjMwMDQ5NjE1MQ==')
1048 17
[140, 865, 498, 813, 325, 438, 781, 537, 213, 521, 88, 598, 379, 858, 17, 101, 42]
(207543671695396584296820475934151757, 104081095547851)
(b'MjA3NTQzNjcxNjk1Mzk2NTg0Mjk2ODIwNDc1OTM0MTUxNzU3', b'MTA0MDgxMDk1NTQ3ODUx')
997 5
[680, 717, 419, 164, 74]
(1566043844742, 95)
(b'MTU2NjA0Mzg0NDc0Mg==', b'OTU=')
1260 11
[1141, 233, 1001, 391, 380, 74, 532, 358, 1082, 810, 964]
(102440179906543039494280094, 36949708)
(b'MTAyNDQwMTc5OTA2NTQzMDM5NDk0MjgwMDk0', b'MzY5NDk3MDg=')
890 23
[304, 320, 609, 740, 755, 141, 808, 490, 42, 405, 343, 43, 601, 79, 886, 516, 360, 870, 677, 630, 461, 100, 510]
(1824240395482620005216318855741459316575998336, 5909008514127360305756)
(b'MTgyNDI0MDM5NTQ4MjYyMDAwNTIxNjMxODg1NTc0MTQ1OTMxNjU3NTk5ODMzNg==', b'NTkwOTAwODUxNDEyNzM2MDMwNTc1Ng==')
805 14
[200, 456, 740, 607, 76, 510, 107, 588, 395, 614, 9, 187, 175, 512]
(149912371801549885811326511709, 34481431178)
(b'MTQ5OTEyMzcxODAxNTQ5ODg1ODExMzI2NTExNzA5', b'MzQ0ODE0MzExNzg=')
1000 28
[620, 654, 613, 128, 370, 740, 810, 272, 133, 299, 798, 25, 984, 967, 401, 301, 850, 152, 912, 477, 292, 634, 505, 658, 413, 185, 588, 131]
(1442702808086980513883382068862280815951809136462358443, 192619078299638685430188177351)
(b'MTQ0MjcwMjgwODA4Njk4MDUxMzg4MzM4MjA2ODg2MjI4MDgxNTk1MTgwOTEzNjQ2MjM1ODQ0Mw==', b'MTkyNjE5MDc4Mjk5NjM4Njg1NDMwMTg4MTc3MzUx')
514 16
[311, 106, 504, 81, 13, 186, 40, 96, 449, 258, 407, 211, 79, 243, 26, 137]
(655011912278533372410988487503, 16298048067082)
(b'NjU1MDExOTEyMjc4NTMzMzcyNDEwOTg4NDg3NTAz', b'MTYyOTgwNDgwNjcwODI=')
769 15
[298, 418, 93, 273, 317, 294, 408, 751, 725, 180, 703, 506, 467, 690, 490]
(9170562840105535974556718260309, 386122906909)
(b'OTE3MDU2Mjg0MDEwNTUzNTk3NDU1NjcxODI2MDMwOQ==', b'Mzg2MTIyOTA2OTA5')
920 6
[834, 328, 801, 525, 518, 511]
(461740917029328, 623)
(b'NDYxNzQwOTE3MDI5MzI4', b'NjIz')
630 19
[179, 475, 448, 279, 584, 275, 377, 59, 131, 599, 87, 459, 157, 196, 486, 50, 541, 75, 249]
(371243866439463799927676290016156588, 43281285577837516)
(b'MzcxMjQzODY2NDM5NDYzNzk5OTI3Njc2MjkwMDE2MTU2NTg4', b'NDMyODEyODU1Nzc4Mzc1MTY=')
314 7
[204, 287, 130, 199, 152, 10, 103]
(29656665662169, 4270)
(b'Mjk2NTY2NjU2NjIxNjk=', b'NDI3MA==')
179 5
[113, 9, 152, 60, 177]
(1389143825, 50)
(b'MTM4OTE0MzgyNQ==', b'NTA=')
1246 22
[330, 858, 986, 786, 1182, 1211, 1165, 862, 1131, 317, 1239, 415, 86, 301, 272, 793, 500, 143, 708, 806, 133, 931]
(83218503727862123197542955782069854446149810721, 337506798394700255792)
(b'ODMyMTg1MDM3Mjc4NjIxMjMxOTc1NDI5NTU3ODIwNjk4NTQ0NDYxNDk4MTA3MjE=', b'MzM3NTA2Nzk4Mzk0NzAwMjU1Nzky')
1528 29
[1318, 1525, 608, 1134, 1504, 1002, 485, 750, 264, 87, 1413, 535, 1323, 554, 1033, 503, 1492, 955, 1498, 440, 1517, 640, 741, 436, 990, 1204, 982, 413, 525]
(18165064950725962319688287553676744587354656677758158106218914, 6700981518529375277900516400214)
(b'MTgxNjUwNjQ5NTA3MjU5NjIzMTk2ODgyODc1NTM2NzY3NDQ1ODczNTQ2NTY2Nzc3NTgxNTgxMDYyMTg5MTQ=', b'NjcwMDk4MTUxODUyOTM3NTI3NzkwMDUxNjQwMDIxNA==')
343 25
[294, 179, 104, 139, 93, 297, 254, 191, 319, 216, 75, 313, 30, 150, 71, 70, 7, 250, 122, 186, 87, 204, 255, 126, 234]
(10179149066866966396902234745024912732, 13347985226159451908669290)
(b'MTAxNzkxNDkwNjY4NjY5NjYzOTY5MDIyMzQ3NDUwMjQ5MTI3MzI=', b'MTMzNDc5ODUyMjYxNTk0NTE5MDg2NjkyOTA=')
868 7
[829, 831, 723, 531, 446, 694, 852]
(63535777718099261, 3438)
(b'NjM1MzU3Nzc3MTgwOTkyNjE=', b'MzQzOA==')
1381 16
[1018, 1296, 0, 544, 1001, 762, 748, 569, 661, 638, 618, 186, 442, 724, 660, 992]
(2759498824205745402358614738819487474, 19529369987282)
(b'Mjc1OTQ5ODgyNDIwNTc0NTQwMjM1ODYxNDczODgxOTQ4NzQ3NA==', b'MTk1MjkzNjk5ODcyODI=')
1498 10
[1228, 750, 1399, 770, 95, 810, 220, 114, 1115, 581]
(7680299529773314006475712, 3102559)
(b'NzY4MDI5OTUyOTc3MzMxNDAwNjQ3NTcxMg==', b'MzEwMjU1OQ==')
408 14
[34, 383, 246, 202, 151, 197, 166, 23, 93, 77, 186, 45, 133, 138]
(13182548466431818170773814, 12452943162)
(b'MTMxODI1NDg0NjY0MzE4MTgxNzA3NzM4MTQ=', b'MTI0NTI5NDMxNjI=')
1039 9
[379, 966, 685, 756, 848, 640, 678, 899, 655]
(1954775503049936013120, 37875)
(b'MTk1NDc3NTUwMzA0OTkzNjAxMzEyMA==', b'Mzc4NzU=')
814 4
[579, 42, 676, 391]
(8656367641, 13)
(b'ODY1NjM2NzY0MQ==', b'MTM=')
518 12
[241, 7, 375, 95, 22, 225, 409, 310, 129, 415, 449, 282]
(122255905131728588451424, 201802731)
(b'MTIyMjU1OTA1MTMxNzI4NTg4NDUxNDI0', b'MjAxODAyNzMx')
1251 26
[1237, 838, 1064, 785, 534, 665, 229, 161, 392, 105, 527, 305, 1171, 976, 644, 86, 780, 99, 828, 917, 294, 447, 196, 842, 185, 414]
(482424574356122096049182951383054202022468971468377558, 400157322091330599874098322)
(b'NDgyNDI0NTc0MzU2MTIyMDk2MDQ5MTgyOTUxMzgzMDU0MjAyMDIyNDY4OTcxNDY4Mzc3NTU4', b'NDAwMTU3MzIyMDkxMzMwNTk5ODc0MDk4MzIy')
1306 8
[554, 932, 150, 1300, 251, 1168, 565, 1212]
(198747602091961103736, 12338)
(b'MTk4NzQ3NjAyMDkxOTYxMTAzNzM2', b'MTIzMzg=')
369 7
[114, 364, 169, 74, 283, 361, 53]
(161478982626814, 2097)
(b'MTYxNDc4OTgyNjI2ODE0', b'MjA5Nw==')
28 6
[11, 20, 1, 23, 16, 0]
(118436, 323)
(b'MTE4NDM2', b'MzIz')
1896 8
[1802, 765, 298, 262, 719, 149, 1301, 842]
(2716171880189576375571, 38431)
(b'MjcxNjE3MTg4MDE4OTU3NjM3NTU3MQ==', b'Mzg0MzE=')
447 3
[178, 83, 66]
(927645, 5)
(b'OTI3NjQ1', b'NQ==')
1184 5
[284, 542, 1077, 996, 656]
(12004330369565, 5)
(b'MTIwMDQzMzAzNjk1NjU=', b'NQ==')
867 3
[828, 335, 628]
(94465289, 4)
(b'OTQ0NjUyODk=', b'NA==')
1801 10
[358, 1106, 1768, 1428, 837, 488, 273, 1372, 984, 1179]
(80231846359440246876408112, 564028)
(b'ODAyMzE4NDYzNTk0NDAyNDY4NzY0MDgxMTI=', b'NTY0MDI4')
155 10
[118, 1, 100, 22, 77, 108, 84, 67, 16, 111]
(102876500509634, 3292166)
(b'MTAyODc2NTAwNTA5NjM0', b'MzI5MjE2Ng==')
1791 6
[1193, 591, 732, 1670, 108, 1709]
(34408457267140001, 392)
(b'MzQ0MDg0NTcyNjcxNDAwMDE=', b'Mzky')
388 17
[279, 294, 148, 26, 370, 316, 94, 52, 33, 82, 335, 159, 176, 336, 7, 337, 92]
(89336216861852574326290137566, 222927203891101)
(b'ODkzMzYyMTY4NjE4NTI1NzQzMjYyOTAxMzc1NjY=', b'MjIyOTI3MjAzODkxMTAx')
764 29
[196, 527, 537, 272, 338, 136, 275, 97, 589, 230, 566, 419, 377, 514, 371, 102, 667, 149, 382, 191, 119, 295, 225, 161, 526, 247, 84, 214, 94]
(484707066176173397030028336160313917320015860331103, 3003925897825256420425197687235)
(b'NDg0NzA3MDY2MTc2MTczMzk3MDMwMDI4MzM2MTYwMzEzOTE3MzIwMDE1ODYwMzMxMTAz', b'MzAwMzkyNTg5NzgyNTI1NjQyMDQyNTE5NzY4NzIzNQ==')
537 6
[453, 14, 17, 379, 279, 261]
(11673319355961, 605)
(b'MTE2NzMzMTkzNTU5NjE=', b'NjA1')
1704 15
[1110, 1676, 439, 1240, 442, 413, 753, 255, 1338, 939, 416, 1628, 48, 642, 589]
(1670794157076646700165634636473386631, 955024891723)
(b'MTY3MDc5NDE1NzA3NjY0NjcwMDE2NTYzNDYzNjQ3MzM4NjYzMQ==', b'OTU1MDI0ODkxNzIz')
1716 28
[1226, 1180, 19, 740, 189, 524, 1481, 1266, 678, 894, 885, 603, 111, 1378, 274, 1040, 252, 1297, 1492, 1389, 359, 943, 282, 898, 660, 1604, 213, 907]
(1444556429382421182303913810715209323045717832236783209172321, 225446785306467907039142719138)
(b'MTQ0NDU1NjQyOTM4MjQyMTE4MjMwMzkxMzgxMDcxNTIwOTMyMzA0NTcxNzgzMjIzNjc4MzIwOTE3MjMyMQ==', b'MjI1NDQ2Nzg1MzA2NDY3OTA3MDM5MTQyNzE5MTM4')
308 22
[4, 22, 181, 46, 156, 278, 157, 164, 43, 149, 0, 89, 295, 54, 100, 161, 58, 115, 107, 84, 270, 109]
(884212891228236163277652828303121, 55487212378505967679)
(b'ODg0MjEyODkxMjI4MjM2MTYzMjc3NjUyODI4MzAzMTIx', b'NTU0ODcyMTIzNzg1MDU5Njc2Nzk=')
211 24
[208, 11, 184, 100, 8, 178, 188, 26, 116, 191, 203, 27, 69, 156, 168, 149, 161, 204, 169, 136, 71, 77, 35, 57]
(19014129155378588967304583577891, 596608489576939431866392)
(b'MTkwMTQxMjkxNTUzNzg1ODg5NjczMDQ1ODM1Nzc4OTE=', b'NTk2NjA4NDg5NTc2OTM5NDMxODY2Mzky')
2003 28
[1322, 942, 1073, 237, 641, 221, 723, 383, 167, 969, 397, 1305, 620, 146, 106, 1418, 1054, 934, 398, 1544, 829, 977, 792, 644, 1807, 1106, 1590, 1986]
(598011585375179389275480970472415455544692178909419972250855294, 245886394004953917690968853252)
(b'NTk4MDExNTg1Mzc1MTc5Mzg5Mjc1NDgwOTcwNDcyNDE1NDU1NTQ0NjkyMTc4OTA5NDE5OTcyMjUwODU1Mjk0', b'MjQ1ODg2Mzk0MDA0OTUzOTE3NjkwOTY4ODUzMjUy')
548 26
[2, 79, 114, 56, 475, 245, 9, 372, 103, 139, 505, 344, 291, 37, 312, 44, 63, 239, 113, 384, 104, 334, 200, 340, 481, 232]
(25269835996893682951087061554623301224085227, 3313427731811955425776371)
(b'MjUyNjk4MzU5OTY4OTM2ODI5NTEwODcwNjE1NTQ2MjMzMDEyMjQwODUyMjc=', b'MzMxMzQyNzczMTgxMTk1NTQyNTc3NjM3MQ==')
1315 12
[866, 638, 371, 195, 1289, 95, 1060, 227, 192, 779, 230, 971]
(41770179015663650673399510794, 343038146)
(b'NDE3NzAxNzkwMTU2NjM2NTA2NzMzOTk1MTA3OTQ=', b'MzQzMDM4MTQ2')
Done.