fork download
  1. from random import *
  2. from copy import *
  3. import sys
  4. n = 64
  5. def ur():
  6. return randint(0,2**64-1)
  7. def urd():
  8. return randint(1,2**63-1)
  9. def ones(x):
  10. return bin(x).count('1')
  11. def ur25():
  12. x = ur()
  13. return x if ones(x) in range(25,65-25) else ur25()
  14. b32 = 2**32-1
  15. def _xor(reg,i,j):
  16. reg[i] ^= reg[j]
  17. def _xor32(reg,i,j):
  18. reg[i] ^= reg[j]&b32
  19. def _and(reg,i,j):
  20. reg[i] = (reg[i]&reg[j])
  21. def _and32(reg,i,j):
  22. reg[i] = (reg[i]>>32<<32)^((reg[i]&reg[j])&b32)
  23. def _or(reg,i,j):
  24. reg[i] = (reg[i]|reg[j])
  25. def _or32(reg,i,j):
  26. reg[i] = (reg[i]>>32<<32)^((reg[i]|reg[j])&b32)
  27. def _add(reg,i,j):
  28. reg[i] = (reg[i]+reg[j])%2**64
  29. def _add32(reg,i,j):
  30. reg[i] = (reg[i]>>32<<32)^((reg[i]+reg[j])&b32)
  31. def _sub(reg,i,j):
  32. reg[i] = (reg[i]-reg[j]+2**64)%2**64
  33. def _sub32(reg,i,j):
  34. reg[i] = (reg[i]>>32<<32)^((reg[i]-reg[j]+2**32)&b32)
  35. def generate4():
  36. reg = [ur(), ur(), ur()]
  37. oper = [_xor,_xor32,_and,_and32,_or,_or32,_add,_add32,_sub,_sub32]
  38. # oper = [_xor,_xor32,_add,_add32,_or,_or32]
  39. # oper = [_add]
  40. l = []
  41. last_triple = []
  42. assert(sum(reg) > 0)
  43. mistakes = 0
  44. while len(l) < n:
  45. r1, r2 = randint(0,2), randint(0,2)
  46. if len(last_triple):
  47. r1 = 2
  48. if r1 == r2:
  49. continue
  50. op = oper[randint(0,len(oper)-1)]
  51. p = sum(reg) > 0
  52. op(reg,r1,r2)
  53. ok = True
  54. if reg[2] in last_triple:
  55. ok = False
  56. if ok:
  57. last_triple += [reg[2]]
  58. if len(last_triple) == 3:
  59. l.append(last_triple)
  60. last_triple = []
  61. else:
  62. # return False
  63. mistakes += 1
  64. if mistakes > 2**6:
  65. # print(len(l))
  66. return False
  67. assert(len(l) == n)
  68. again = 0
  69. for line in l:
  70. assert(len(line) == 3)
  71. s = sorted(line)
  72. if s[0] == s[1] or s[1] == s[2]:
  73. return False
  74. return l
  75.  
  76. for t in range(4,5):
  77. for nr in range(10):
  78. print(n)
  79. arr = []
  80. if t == 1:
  81. for i in range(n):
  82. arr.append([ur(),ur(),ur()])
  83. if t == 2:
  84. for i in range(n):
  85. x = ur25()
  86. choices = []
  87. for j in range(64):
  88. choices.append(x^(2**j))
  89. for w in range(j+1,64):
  90. choices.append(x^(2**j)^(2**w))
  91. a = randint(0,len(choices)-1)
  92. b = randint(0,len(choices)-1)
  93. while(a == b):
  94. b = randint(0,len(choices)-1)
  95. arr.append([x,choices[a],choices[b]])
  96. if t == 3:
  97. for i in range(8):
  98. d = urd()
  99. for j in range(8):
  100. a = ur()
  101. while a+2*d >= 2**64:
  102. a = ur()
  103. arr.append([a,a+d,a+2*d])
  104. if t == 4:
  105. arr = generate4()
  106. while not arr:
  107. arr = generate4()
  108. if t == 5:
  109. k = ur()
  110. while(len(arr) < n):
  111. a = randint(0,k+1)
  112. b = randint(0,k+1-a)
  113. if(k-a-b >= 0):
  114. arr.append([a,b,k-a-b])
  115. for line in arr:
  116. print(*line)
  117. # print('generation done',file=sys.stderr)
  118.  
  119.  
  120.  
Success #stdin #stdout 0.04s 11884KB
stdin
Standard input is empty
stdout
64
3196200531100408463 3196200529994539134 311065517426557038
189645352028061287 189645353133930616 189645353120809064
189645353120809064 220288867800203887 189645350435389440
189645350435389440 189645351405601263 9843883040872039390
9843883040872039390 9843883039155535926 9843883041387936846
9843883041387936846 10232178353385766895 10232178351170503663
10232178351170503663 121420165398495751 8912447739752594968
8912447739752594968 17703475314106694185 9367489429510945313
1031503542391014873 310926500285383113 310926501546935279
310926501546935279 310926499467231238 10110760392432025598
10110760392432025598 10110760388137058308 1774774499246342154
1774774499246342154 1774774499246342160 1774774501461605377
1774774501461605377 788653293734723606 788653295949986823
788653295949986823 166804703651970055 9777144371014008854
9777144373229272065 9777144371014008854 9777144373229272071
9777144373229272071 9754451554823307254 9799831689646571511
9799831689646571511 9799831687431308262 9799831689646571502
9777138871240606719 9777138873455869934 2215263232
2215263232 2215263207 18424051257518850006
18424051257518850006 18446744071494288327 18446744073709551575
18446744073709551575 18424051255303586799 986113496045322248
986113496045322248 986115697283841032 986115695068577792
2215263240 1008806314451288056 1994922011735129088
697885318916881408 288230378366959624 288230378366959616
288230378366959616 288230378366974984 288230376287269896
288230378366973952 288230378366974984 17748858754792685568
17748858754792685568 288230376151711744 288230378366973952
288230378366973952 1274346075650813952 1274346077730519040
1274346077730519040 1274346075650813952 1562576454017775616
1274346075650801664 1562576454017775616 1562576453882230784
1562576453882230784 576460756598390784 409654949275383808
409654949275383808 2093655974201581568 1107540276917741568
1107540276917741568 18401390318575400960 18401390314415990784
18401390314415990784 652531568213258240 1350416895720077312
1350416899879450624 1350416895584501760 1350416897935321088
1350416897935321088 1350416895991191552 1350416899879450624
1350416899879450624 3580161612173977600 15033315705657210880
15033315705657210880 17263060417951737856 17263060419895867392
17263060419895867392 17884874927333441536 1111553492008286208
1111553492008286208 525804065473411072 525804063529279488
525804063529279488 525804061585145856 525804065473413120
525804065473413120 525804063122593792 525804063122610176
525804063122610176 525804063122593792 82907598199773184
82907598199773184 525804063122577408 525804061178478592
525804061178478592 525804061178462208 433480260227432448
9416204695371776 452312669618176000 452312673913110528
28028784774971392 28028780480036864 452312669618176000
452312669618176000 885884176425844736 885884180720713728
885884180720713728 885884180720746496 452312673913077760
452312673913077760 885884180720746496 885884176425877504
885884176425877504 885884176425910272 894646188882493440
894646188882493440 894646184587558912 894646188882460672
894646188882460672 0 751592111131820032
751592111131820032 751592106836885504 0
0 751592111131820032 17695151962577731584
17695151962577731584 17695151966872600576 16943559855740780544
16943559855740780544 16234822309813157888 16234822314108092416
16234822314108092416 16986414425239912448 17738006536371732480
17738006536371732480 17738006532076929024 17738006532076896256
17738006532076896256 17738006536371798016 155937149982572544
155937149982572544 155937149982539776 155937149982507008
155937149982507008 155937149982474240 98304
98304 18290806923727175680 17383277662612783104
17539214812595257344 18446744073709518848 18446744073709387776
64
3103468159172222343 3103468160790086330 4503913168371848
1647342100696619725 3294684201393239450 4942026302089859175
3294684201393239450 3294684203030146903 3641461827734601760
3641461827734601760 36028973381058560 346777624704454857
346777624704454857 1040332874113364571 1040332871688003602
1040332871688003602 1777947504609942605 1777947504612048351
1777947504612048351 1850005107239910879 1850005104009159058
1850005104009159058 1850005104564912932 1850005105103889206
1850005105103889206 1850005105120666550 1850005103992381458
1850005104531357732 1994120292623991204 1994120293162967478
1994120293162967478 1264535417267429394 36029076730814482
36029076730814482 0 729584875895538084
729584875895538084 0 765613404976045678
765613404976045678 0 555753874
555753874 2678038478 2
2 36029628608912976 72059257217825950
72059257217825950 72059256207048834 72059259491239014
72059259491239014 108088888100151988 693554159936239542
693554159936239542 657524534274000968 657524531983810560
1351078674740180918 1351078676744957804 45034627898566436
45034627898566436 17798224558851747694 17104670416095377336
17104670416095377336 17068640785852757952 17068640785852692352
17068640785852692352 17032612268292016248 16555233658147862406
16555233658147862406 17140700035743219710 17104670405500600328
17104670405500600328 17798224550547161094 0
0 4294967294 693554145046560766
693554145046560766 0 4294967294
693554149341528060 693554145046560770 693554136456626178
18446744065119617028 18446744069414584314 693554140751593464
693554140751593464 693554136456626182 693554145046560766
693554145046560766 693554140751593472 1387108285798154238
1387108281503186944 1387108285798154238 693554140751593472
693554145046560766 0 4294967294
4294967294 693554149341528060 12884901890
12884901890 12884901888 17179869180
693554149341528056 2080662439434649588 1143915220180140040
225180535419305992 846676523787223036 1765411517785702400
1765411517785702400 612489841380163584 693554157931462656
693554157931462656 693554162226429948 4294967292
4294967292 4294967288 0
0 17059635783616430084 17059635783616430080
17059635783616430080 18446744073709551612 17140700035743219712
81064252126789632 81064256421756924 17834254202264616956
17834254202264616956 1387108264323317756 693554136456626172
693554136456626172 17140700014268383228 17140700009973415936
17140700009973415936 17140700014268383228 15141101882795098104
15141101882795098104 15825649090579922940 0
0 1999598131473285124 4
15825649090579922944 15825649094874890236 18437736977534025724
18437736977534025724 15816641990109429756 9007104765460476
9007104765460476 16456153029821857792 16456153029821857796
9007087585591304 16456153029821857796 16456153034116825084
16456153034116825084 16456153034116825080 4593671628507840504
1972576641083244536 4593671628507840504 4593671628507840500
4593671628507840500 4593671628507840496 4593671624212873228
4593671624212873232 2594073492739588108 2594073458379849740
2594073458379849740 16447145942236266492 16447145942236266488
16447145942236266488 14447547810762981364 16447145942236266484
16447145942236266484 16447145942236266480 16447145937941299200
16447145937941299200 17059635663357345776 17059635659062378496
17059635663357345776 2612087852594364416 639511387604779024
639511387604779024 639511387604779008 3242591972224925712
3242591976519892976 16537217930488709120 17113678858885791728
17113678858885791728 17113678858885791712 3999196262946570240
64
860845732014186333 860845730486295572 13296815573888074968
7781473869943152036 2266132165998229104 12396011480671989436
12396011480671989436 4380075667555761855 9223222224100524031
9223222224100524031 3707889316248623308 2536671319673997516
10552607132790225097 10552607132673499141 158259334797713413
158259334797713413 158259335416377352 122182124913684485
122182124913684485 122182121541341184 86104914410991618
86104914410991618 86104911959670793 18324641116101165044
580543374823428 18410086319848812537 85571854676377601
85571855288745988 121649065791438855 85571855901114375
171724254547906574 257876653194698773 257876652582330386
257876652582330386 40568757856321536 18437237643421773820
18437237643421773820 18437237640358084612 18446247060094058495
18446247057030369283 18446247058261647367 18446247057631502328
18446247057631502328 18446744071251419132 18446744070020141048
18446744070020141048 18446744069414584320 497012384215033
497012384215033 18397165897949667317 18396171868886269955
18396171870117548039 18396171868890693638 18397165897954091000
18397165897954091000 18446744002531942396 49652905732702212
49652905732702212 49652905728278528 4423684
4423684 100299840533225470 100299840537321466
100299840537321466 149952746270023678 149952746278543358
149952746278543358 149952746278379514 100299840549937142
100299840549937142 100299838704353286 49652903882858516
49652903882858516 49652901483741210 4311777290
6769844254 4311777290 2458066964
50646937279561734 50646939720589330 50646937858359328
50646937858359328 50646940333236286 18446744068156481582
18446744068198490174 18446744066378399836 50646940912132178
50646940912132178 50646940291874992 50646940333891774
50646940333891774 18446744072494244030 18446744070019367072
18446744070019367072 18446744072486117566 18446744072494768318
18446744072494768318 50646939720982558 50646937305055260
50646934270443768 50646932993277976 50646934219620572
50646934219620572 50646936047837374 50646933681750176
101293873402732734 50646933681750176 101293876437344226
101293876437344226 101293875767836836 18446744070674940156
18446744070674940124 18446744073090867422 18446744071830511618
18446744071830511618 50646938463764672 50646940828868774
50646940828868774 50646938412941472 1158709408
1158709408 18396097131574763746 18396097130786701560
18396097130786701560 18446744073678086394 18446744072335900920
18446744071697858752 18446744073040044226 50646941549199360
50646941549199360 18446744070756769794 18446744073040044226
18446744073040044226 0 3625459906
2955952516 2286445126 1616937736
1616937736 18446744073448506252 18446744073583256526
18446744070627304010 18446744071966318790 673718594
673718594 0 18446744071831552128
18446744071831552128 18446744073040044226 18446744069414584320
18446744069414584320 18446744073040044226 0
0 3625459906 18446744073040044226
18446744073040044226 18446744071831552128 18446744069414584320
18446744069414584320 18446744070753599100 4294967288
4294967288 18446744070623076422 18446744073709551614
18446744073709551614 18446744073579028934 18446744072370536836
18446744072370536836 18446744072501059518 18446744072240014154
18446744073583256526 18446744073579028934 18446744069414584320
18446744073579028934 18446744073709551612 130522678
130522674 18446744073709551608 18446744073579028930
18446744073579028930 18446744073709551612 18446744073709551610
18446744073709551610 130522674 18446744073709551614
18446744073709551614 18446744069414584320 18446744073579028934
18446744073579028934 4033921932 138977866
64
17686292863118931795 17686292862523294274 7556109290530315218
7556109290530315218 17067997577703047154 17067997575989434754
17067997575989434754 17067997573841688578 6937814001847130512
6937814001847130512 14359874747933931408 14359874750294780304
5116093577529378816 5116093575168529920 7422060746086800896
7422060746086800896 7422060745010953216 18446744072633703936
18446744072633703936 17552244317005511282 17552244313147047936
17552244313147047936 18446744068775240590 18446744065119617024
18446744065119617024 11024683330202526606 10418524760882282498
10418524760882282498 0 8028219312827269118
8028219312827269118 5640165664585940986 8028219312827269114
8028219312827269114 15450280063645541256 15450280063645541262
15450280063645541262 17828202811748541326 10406142060930269184
10406142064585892746 17828202815404164888 17828202816614492062
17828202816614492062 12771673317854184468 12771673318425167908
12771673318425167908 18428727475605830636 18428727471950207074
18428727471950207074 13383459176650290394 13383459174937204834
13383459174937204834 13383459174937204832 13383459175508188276
13383459176079171720 18428727471105917696 18428727469392832136
18428727467748631176 18435482867760670364 5034007089351035428
5034007089351035428 5040760291047134016 5040760294473169900
5040760294311418212 5047515694323457400 5054273284930569244
5054273284930569244 5054273284359585796 5054273285092320928
5054273285092320928 5054273288654553080 13374458584836036944
13392475190225973928 13392475190276830888 13399232792303103948
13399232792303103948 9009403987847560 9009404720582704
9007199254741024 9007199987476136 9007199254740992
9007199254740992 20268403056273816 2251799813955720
11261203801532824 18417470673983754032 2204732836112
2204732836112 0 2147618880
2147618880 2880354024 0
0 29273398259786352 29273398310643448
29273398310643448 11256792920706464 11256795750203384
11256795750203384 18417470679693875528 18417470679693875536
18417470679693875536 18417470679693875544 29273394015676072
29273393282940944 29273393282940936 18446744073709551608
18446744073709551608 0 4294967288
4294967288 4294967280 0
732735160 18016606122672128 18016610417639408
18016610417639408 18446744073709551608 18446744072976816448
18446744072976816448 18446744073027673440 18428727467637736480
18428727467637736480 2880353984 2931210976
2931210976 1465740672 1465740768
1465740768 1466011232 18016611883380192
18016611883380192 18016610570480864 18016613515301856
18016613515301856 18016613784008032 18446744073604611936
18446744073604611936 18446744072291712608 18016602008576096
18016602008576096 18016604721938016 18016602049536096
18016602049536096 18016600899862464 18016601348899104
18016601348899104 18016601752166240 18016598606872576
18016598606872576 54049805629407168 18392694268021399712
18392694268021399712 18392694264519008416 18392694268091170752
18392694267638898464 36033206640033344 36033204209393728
36033204209393728 36033205007737280 36033207161520064
36033206363176512 18392694267362041632 18392694268084846592
18392694264519000064 18392694265241805024 18392694265964609984
18392694265964609984 18392694266066369984 18392694265343565024
18392694265343565024 18428727469721779424 18428727468998974464
18428727468998974464 18428727467586886656 18428727474068135328
18428727474068135328 18338644458525965120 18338644460712253664
18338644460712253664 18338644458474576512 18338644460498311200
18338644460498311200 18338644460411254880 18338644462587045312
18338644462587045312 18374677657657769440 18356661051687181696
18356661051687181696 0 18356661053872414112
64
5875056684555546500 5875056684500803415 5875056683287159981
5875056683287159981 12297769651104925792 15949968515215803482
2773016024708524183 3123715453345184714 3474414881981845245
3474414881981845245 3474414881983954943 3474414882068103167
3474414882068103167 3474414882066014676 3474414883406103464
3474414883406103464 3474414882111248091 3474414880816392718
18284544046706585567 18284544045411730194 18428659303501918175
18077959874865257644 18241568152925105871 18240160142386392269
17951928666723052749 17601229238086392218 17601229236745399229
17601229236745399229 17601229239745511152 17601229236699261069
17601229236606986381 16736573431211610666 18115255606448226031
18115255606448226031 17293822707752626317 17293822709047481690
17293822709047481690 16943123280410821159 16943123277684523013
16943123277684523013 16943123278484991735 16943123277905538254
16943123277905538254 16592423849848331204 16241724421791124154
16529919616878884709 16241654052639570310 16241654055672955993
16241654053252297551 16529919617491611950 16529919621207125773
16529919621207125773 16529919619400945892 288230378435907780
288230378435907780 18384275024020123437 18384275021735927401
18384275021735927401 18384275022350262660 288230376288030784
35186519965828 35184508407872 35186656284868
35186656284868 35188598783981 288265564750495725
18384310208528531437 18096044648004730861 17807779087480930285
865781843989889024 1216481269694709779 0
4226695149 18096044648004730861 18384310208528531437
18384310208528531437 18384310204301836288 18033610778597015533
18033610778597015533 17908743044008280026 489981538758443063
489981542712246234 489981542643974087 489981542780551151
489981542712279004 489981542644006857 840680968348827612
840680968348827612 18134503640530747356 18009635905942011849
18009635905942011849 18009635905941946313 17452315885641695122
17452315885641695122 17101616455710179218 17101616455505330011
16770057620138032932 18139152121607028516 43107477828992804
43107477828992804 43107478647013357 21269987273
21269987273 17764485821500489728 18096044656867786807
18096044656867786807 18096044656662937600 18422591917621133257
18422591917621133257 18441732499505299401 18441732499300450194
18441732499300450194 18441732499573735387 18441732495483617298
18441732499573735387 18441732499505299401 19140581884166144
19140581884166144 14129007679913929 9622934151380937
9622934151380937 33775090239799296 57927246328217655
57927246328217655 18442238275058925567 18442238274854076360
18442238274854076360 18442238275058925566 19646357437792308
19646357437792308 19646361527910397 19646361323061190
19646361323061199 19140585974284233 14129011770032020
18436615085173391455 18436615084968542250 18436615085173391457
18436615085173391457 18436615088716939176 14129012043317225
14129012043317225 14129011770032040 19140589791117159
19140589791117159 19140586452418625 18441732495688466497
18441732495688466497 18441732495961751682 18441732496235036867
18441732496235036867 18441732495961751682 18441732495415181312
18441732499436863423 18441732499163578238 3475111743
1 18441732495688466498 3
18441732495688466499 2 273285187
273285187 273285186 18441732499983433792
4393751543809 4398046511103 4398046511102
4398046511102 18441739096779915260 18441739096506630075
18441739096506630075 18441739092758233156 18441739096779915263
18441739096779915263 18441739092484947968 18441739092758233153
6597069766656 18441741291508203520 18436731912237088768
18436731912237088768 18431722532965974016 10291437699203137
10291437699203137 10150700210847809 10150699937562624
18441732495688466497 18446741874959581249 5007180521144385
10018758542229504 18442165702996525056 18442165703269810241
64
652487432164863998 652487432972267518 652487432950667676
652487432950667676 652487432972267518 13930226095202654620
13930226095202654620 13930226095245654430 652487433015267328
652487433015267328 652487432998486016 6135912402144161246
6135912397875445760 18259602762238945694 5476660773611530654
18439979878175407040 13277738662230387072 30
30 4273367484 4273367452
4273367452 4906963168879668700 4278152668
4278152668 2 5169005411474379300
5169005411474379300 10338010822948758598 5169005411457564676
5169005411457564676 5169005411479164518 5169005415752531966
5169005415752531966 5169005411474379298 5169005411457564672
5169005411457564672 5431047658335213154 10600053069809592452
10600053074010916186 10600053074010849562 10600053074044545438
10600053074044545438 10338010827166896956 4906963164596730816
18184701865503423454 18184701865486608798 13187662228758970082
18401705878407872510 18401705874151319682 5386009463011934206
5386009463011934206 5386009458738566752 13178652804677473888
13178652808950841342 13178652808933960094 13178652808929241500
13178652808929241500 13178652804691629666 13178652808955559934
207994631801536510 18446744039345094654 5476085862195789822
5476085857905541120 5476085862195789822 0
0 4290248702 4285530108
4285530108 4290248702 0
0 12970658181439553534 4290248702
4290248702 12970658181439553534 12970658177149304832
12970658177149304832 12970658181439553534 12970658181434834940
12970658181434834940 18446744073704833022 34373894146
12970658215804010494 12970658181439553534 12970658181430116348
12970658181430116348 18446744073700114430 5476085892279435264
5476085896560246782 5476085896555528190 5476085896550809598
10952171754461069310 10952171754465787902 16428257612376047614
16428257612376047614 10952171720106049532 2593201206361325570
2593201206361325570 2593201210646855676 15853542828702957570
15853542828702957570 18446744039349813246 18446744035059564542
18446744035059564542 18446744035059564544 18446744039345094654
18446744039345094654 18446744004985356284 18446744004985356282
18446744004985356282 18446744004985356280 18446744073709551614
18446744073709551614 34359738368 38654705660
38654705660 77309411322 42949672952
42949672952 8589934584 18446744047939747830
18446744047939747830 8589934584 4294967302
4294967302 4294967304 38654705674
38654705674 18446744069414584308 18446744073709551596
18446744073709551596 18446744069414584308 8589934588
8589934588 18446744069414584308 18446744073709551596
18446744073709551596 18446744069414584324 34359738370
34359738370 34359738372 34359738374
34359738374 30064771084 0
0 4294967292 4294967288
18446744073709551614 18446744069414584324 18446744065119617034
18446744065119617034 18446744069414584310 18446744069414584300
18446744069414584300 18446744069414584292 18446744069414584284
18446744069414584284 18446744069414584316 18446744065119617048
18446744065119617048 18446744069414584316 18446744069414584288
18446744073709551556 18446744073709551528 4294967372
4294967372 8589934696 8589934688
8589934688 12884902012 17179869080
17179869080 17179869052 12884901652
12884901652 17179869052 17179869180
17179869180 12884901988 8589934592
8589934592 18446744060824649624 18446744060824649628
18446744052234715032 18446744047939747840 18446744047939747944
18446744047939747944 18446744052234715028 18446744047939747848
64
6524550429728689513 6533727048114466377 6533727048112349248
6533727048037752749 6524849685326823245 17081175259798404922
6524849685326823245 6524849685177901101 6524849685028978957
6524849685028978957 6524849684496302368 13040522751139504461
13040522751139504461 1109451744015335695 1109451744548012284
1109451744252764350 1109451744548012284 11493074648078221309
11493074648373469243 936749073901887566 936749073606639632
360288313787023376 10916613888258605053 8250706813024993315
8250706809262702625 8250706809557950527 8250706809795379199
8250706809795379199 360288310319980587 6875961376905363437
6875961376905363437 360288310557409260 11570782706476253203
11570782706476253203 11570782706763112511 3669369090419458067
3669369090419458067 3669369090427846675 3669369090419458048
3669369090427846675 1327455978945249280 8203417351014580205
8203417351014580205 15079378723092299757 8203054512177414125
8203054512177414125 14062671410493390829 13751559905309884397
13751559905309884397 8203054512177414125 2654549119044943853
2654549119044943853 13186539708932423661 12898238684863660013
12898238684863660013 12898238684855271386 18446744073701162989
18446744073701162989 12898238684855271386 18446744069414584320
18446744069414584320 18446744073692774362 15079015884238356423
15079015884246745055 17582052670359732191 17582052670368120818
17582052670368120818 17582052670368120831 2503036786112987154
9689887557755600969 9689887557730435090 6322159368276017151
6322159368276017151 6322159363997827091 9132435772308193279
9132435772308193279 1945585000690745289 216192792366415872
216192796644605932 3098546585940787180 3098546585940787234
144115407152742350 144115407152742404 144115407152742454
144115407152742454 144115407119188022 7186850771617447990
7186850771617447990 7186850771583893522 7186850767322480640
7186850767322480640 7186850767356035108 18446744069448138788
18446744069448138788 0 18446744069414584320
18446744069448138788 0 33554468
33554468 0 4261412828
0 4261412828 4227858360
4194303900 4227858360 4194303892
4194303892 8422162244 8455716712
4496294104 4529848572 8589934584
8589934584 8589934588 8522825644
8522825644 8589934588 4362076236
4362076236 12717129404 12784238348
12650020352 12884901648 4227858192
21172846080 21474836400 38419824288
38419824288 17246978048 34829500416
34829500416 30903632224 30601642016
33520877184 37446745376 58619591616
58619591616 59827552224 39862666592
43788534784 536870912 2046821760
2046821760 1744831616 21474836352
21474836352 39023804512 17548968160
17548968160 21474836352 21474836384
21474836384 21474836288 21474836448
369099072 4294967264 18446744052234715200
18446744052234715200 18446744073709551584 18446744073340452512
18446744073340452512 18446744034685746816 18446744035054845920
18446744035054845920 18446744031128977728 18446744017874976736
18446744017874976736 18446744056529682432 21474836512
18446744039349813216 51908706656 34359738368
38285606528 20736638208 18446744073642442624
18446744073709551584 38654705664 56203673984
56203673984 56203673856 18446744073709551584
18446744073709551584 18446744035054845888 18446744035054845920
18446744035054845920 0 18446743996400140192
18446743996400140256 18446743992105173024 18446743996400140224
64
5610448853083991068 5610448853096459495 9405706147550389521
9405706147519046678 36950600348377090 11808952030202880253
11808952030202880253 11763543299487359229 11763543302207371519
11763543299487359231 11763543299472941098 11763543303468089131
11763543299472941099 11763543299201958100 18438285942788530133
18438285942788530133 6683200774507593514 6683200770512445482
6683200770243870760 1489413981603938344 1489413982593672959
1489413982593672959 13255776842903970089 13258596130304031017
13258596130304031017 15658145544024938372 18298123567851233197
18298123567851233197 18298123565801860698 10469998766935629741
10469998766935629741 10469998762808836096 10469998766114068777
10469998766114068777 12961356360317663743 12961356357012431062
12961356357012431062 12961356358002165677 16607993111548123564
16607993111548123564 12961356358002165677 12961356359159896278
12961356359159896278 9463338977600909609 12961356361475431208
3498017354967288104 3498017354967154984 3498017354800271575
6996034738674793174 6996034741979577343 6996034739831934462
6996034739831934462 10642671493377892349 14289308246923850236
14289308246923850236 14289308249071493117 14289308246925282818
14289308246925282818 17789208559494340607 17789208557347014144
2306511538053185536 2306511542347571197 2306511542348128255
2306511542348128255 2147616256 3110783497540239362
3110783497540239362 18446744041496315388 18446744039350370306
18446744041496315388 18446744039350370306 18446744041497139711
18446744041497139711 18446744039350082561 18446744039349814272
18446744039349814272 15335960543957191166 15335960541810131968
15335960541810131968 15335960681396143614 15335960683543202812
15335960683543202812 15335960681397258754 4294675454
4294675454 15335960578318043650 15335960576169869312
15335960576169869312 15335960578316927486 15335960580463428602
2148729348 3110783497541910536 17181966344
17181966344 19324830198 3110783516862415342
3110783516862415342 18446743955593331182 3110783379421364710
12370189453159399926 145012391704887782 18446743955597525502
18446743955599622662 15335960576169869312 15335960580462739448
15335960580462739448 9259406073738035216 9042325490154602504
2820758477899563032 2820758477895368712 10272100658523930648
10272100658517639168 9838259621037342720 8463471942855295000
8463471942855295000 2386917440417169424 18301731563890540560
0 4194320 18301731563886346240
18301731563890540560 18301731563886346240 6076554502436028416
6076554502436028416 6076554502444417056 12298121514686873568
12298121514686873568 12298121514682679280 12225177061454512176
12225177061454512176 12153114502430195712 12226058955658362816
12226058955658362816 12226058951380172800 6077431994319372288
6077431994319372288 6077431994336149568 6150376447564316672
6150376447564316672 5933299179697733632 5716221911831150592
5716221911831150592 11216252852362018816 11144157312288030720
11144157312288030720 11144157312304808000 18373799620481384512
18373799620481384512 5427086487302701120 5210664768867663872
5210664768867663872 10348385084507160640 14470065602741403648
14978085501444030528 14978085501427253248 9478054560896385024
9478054560896385024 9478054560913162304 9115743936021790848
9115743936021790848 9115743936038568128 9189506906920583104
4051786591281086336 4051786591297863616 4035935859822821184
4035935859822821184 4035935855578185728 9173515158851420224
9173515158851420224 272555910201606208 8921313579718672448
8921313579701895168 20354331052081152 12684552512712212416
12684552512712212416 12684552508434022400 3458911045219778560
3458911045219778560 5442048203430035456 14343007452079849472
14343007452079849472 14343007452096626752 14343007452113404032
14343007452113404032 14343007452096626752 693486005407187008
693486005407187008 693486005390409728 686306366259724288
686306366259724288 5478708115828375552 1047720236356206592
64
13690699461947910579 13834833617201228727 18446519635897085879
18446519632434597141 11745406808204773653 11745406809318435605
11745406809318435605 0 562039061
562039061 11745406808756396544 9367487233520566272
9367487233520566272 9367487234634228224 9367487234082605333
9367487234082605333 9367487235196267285 5044066794472549141
777452799205199125 14900776432191032597 14123323632985833472
9799903192262115328 9799903193375777280 14066517188643127296
14066517188643127296 18333131183910477312 9743096747919409152
9743096747919409152 9799832785976893952 14066446781244243968
14066446781244243968 14066446782357905920 14066446783471567872
14066446783471567872 14066446782357905920 13835058055282164224
13835058055282164224 13835058056395825664 345072022046374912
345072022046374912 345072020932713472 14123323641575767040
56806445456369152 4611686018427389440 4611686021608695296
4611686021608695296 4899951596126862848 4899951592945556992
4899951593903734272 345072020932713984 56806440047738880
56806440047738880 56806442115381760 345072015524084224
345072015524084224 56806440047738880 56806443233239040
56806441005914624 56806440047738880 56806442115381760
56806442115381760 13891864501692512768 14180130076059390976
14180130076059390976 14468395662193313792 14756661218035454464
14756661218035454464 14756661218707888640 15044926804841811456
15044926804841811456 15044926801849615360 1152991893523090944
1441257479657013760 5996066639055648768 6284332203874417664
6284332203874417664 6284332203874418176 6284332200882222080
6284332200882222080 4612249049985187840 345705463289246208
345705463289246208 13777055121673333248 13777055121807833600
13777055121807833600 13834495018261150208 9567951431565208576
9567951431565208576 14468466051966902784 14468466051966878208
288265567239430656 288265567239406080 2420638208
2420638208 4266543591402742272 4266543591402717696
4266543591402258944 8589950976 17812773050879896064
17812773050879896064 3632572566152448512 3612217307387431424
3612217307387431424 3612217306084635648 3612217304781790720
3612217306000645632 2978246274581055488 2978246277573227008
7244789865252510720 7244789864412075008 7206507844793843712
7206507844793843712 16140750839424745472 16140750842416867840
16140750842416867840 16140750843719662592 1960550357689443840
1960550357689443840 13546229457602799104 9167058203786080256
9167058200793912832 13433601788473245696 112698072233469440
14220770561121841152 9320255945015088640 14220770558129670656
14144136487459291648 18446708872157586944 14180165284478256640
14180165284478256640 9913621696798923776 9913621698488302592
9913621698488302592 14814136315897846784 8533122375221246976
8533122375221246976 17792523345231144960 17792523343928349696
17792523343928349696 3704665622432573440 4575091846487866368
4575091846487866368 8933978200004426752 18193379172619915264
18193379172619915264 18193379172619911168 9006035795345150976
9006035795345150976 36028797018969088 36028797018964992
36028800011147264 36028800011152384 36028797018964992
36028797018964992 36028797018970112 36028798321753088
36028798321753088 36028797170284544 36028799775862784
36028799775862784 9223371899415825408 9223371899415824384
4828456747577511936 14015799847217474560 36028812056406016
36028812056406016 36028812056133632 9223371911696096256
9223371911696096256 9223371909090518016 4828456755714134016
4828456755714134016 18410680089561603072 4828421836393938944
4828421837932010496 14087822811850281984 18446708889337404416
18446708889337404416 4864450637253968896 4864450637707811840
4864450637707811840 4864450635102348288 4864450635556191232
4864450635556191232 18157352574624201728 18157352572934814720
18157352572934814720 18157352571245426688 18157352570791525376
18157352570791525376 18157352572934814720 9439544958559191040
64
4721237250207862271 4721237248059261436 4721237249383236600
4721237249383236600 4721237246869504352 4721237250395256164
4648858315494176100 4648858312442951368 4648858313686693932
4648858313686693932 17980437238557358444 17980437239729753096
17980437240364750500 2785693394226028864 2785693393591031460
2785693393591031460 2785693393591162852 2603155763727909824
2603155763727909824 2603155763727778048 2785693393591031076
2603155763727778048 2785693393591031076 2785693391175107876
2785693391175107876 2785693391783812460 2785693393027768976
2785693393027768976 5261656383395028332 15971942271309143404
15971942271309143404 15971942269456482304 1161187358146560
1161189210807660 15971942271309143404 2311580501405597696
2311580501405597696 2311580503258258796 2477124178969362432
2477124178969362432 2477124181411668628 2477124183264329724
2477124181411668624 18443331155257196540 162130757258748560
162130757258748560 18443331153404535440 18277787475840770704
18277787475840770704 2138049794020992948 2138049793481679508
2138049793481679508 18445618173213063900 164417777067277020
164417777067277020 18445618173213063900 18444457019625010616
18444457019625010616 18443331119162077336 18443331119751722428
18443331119751722428 18442169966163669144 18446744072007725212
164417775921541272 18445618173213063900 18445618169507741700
18445618169507741700 18445618170097386792 18445618170097386796
18445618170097386796 18446744070004229420 165508420210786312
329926197834153988 329926197867708416 329926201539476184
329926201573030620 329926201539476184 17952470470701529820
17952470470701529820 17952470470667975384 17952435282624118788
17952435282624118788 17952470536271775016 17788052758681961776
17788052758681961776 17788052759305161308 17788052761764084444
17788052761764084444 17788052758092316680 17788052758025207808
17623670241426586324 18446708888781372124 18446708885042495488
18446708885042495488 18446708888781372124 18446708885109604360
18446708885109604360 18446708816390127624 18446708820129004260
18446708820129004260 18446708820598766332 164312013511947736
164347266641952732 164347266622733020 328694533245466040
328694532689375384 328694533245466044 328694532689375388
328694532689375388 328694533245466048 493041799868199068
493041799868199068 493041800980380380 493077058366913244
493077058366913244 17953667014786547712 18446744000695107584
18446744000695107584 18446744004433984220 35188110965468
35188110965468 35184372088832 18446708816323018752
18446708816879109412 18446708817435200072 18446708816323018756
18446708747047451360 18446708743308574780 18446708747047451416
18446708746491360756 18446708744976846632 18446708675701279236
18446708675701279236 18446708675145188576 18446708674589098176
18446708674589098176 18446744073153460956 18446744073709551356
18446744073709551356 18446744069414584320 18446708602130744544
18446708602130744544 18446708605869620988 18446708536594053660
18446708536594053660 18446708536037962808 18446708537150144252
18446708467874576664 18446708468430667772 18446708614459555836
4294967552 4294967296 4294967556
18446744008728951584 18446744004990075140 556091112
556091112 18446744001251199216 35391086610932
35391086610932 35394825486332 69275569144
69275569144 68719476988 35394269394176
18446743794536677372 35188110963968 256
256 18446708606425713660 416611827968
416611827968 416611827712 417167919868
18446709302766507512 18446673835482669300 18446673834926577144
18446673834926577144 18446708887822955772 281397242368
281397242368 282509426184 283065518340
283065518340 34775045800448 34775601892604
34775601892604 34775679107068 34773435517700
34773435517700 34775908439568 18446708609858107124