MediumOpsMediumHeap1.json 68 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771277227732774277527762777277827792780278127822783278427852786278727882789279027912792279327942795279627972798279928002801280228032804280528062807280828092810281128122813281428152816281728182819282028212822282328242825282628272828282928302831283228332834283528362837283828392840284128422843284428452846284728482849285028512852285328542855285628572858285928602861286228632864286528662867286828692870287128722873287428752876287728782879288028812882288328842885288628872888288928902891289228932894289528962897289828992900290129022903290429052906290729082909291029112912291329142915291629172918291929202921292229232924292529262927292829292930293129322933293429352936293729382939294029412942294329442945294629472948294929502951295229532954295529562957295829592960296129622963296429652966296729682969297029712972297329742975297629772978297929802981298229832984298529862987298829892990299129922993299429952996299729982999300030013002300330043005300630073008300930103011301230133014301530163017301830193020302130223023302430253026302730283029303030313032303330343035303630373038303930403041304230433044304530463047304830493050305130523053305430553056305730583059306030613062306330643065306630673068306930703071307230733074307530763077307830793080308130823083308430853086308730883089309030913092309330943095309630973098309931003101310231033104310531063107310831093110311131123113311431153116311731183119312031213122312331243125312631273128312931303131313231333134313531363137313831393140314131423143314431453146314731483149315031513152315331543155315631573158315931603161316231633164316531663167316831693170317131723173317431753176317731783179318031813182318331843185318631873188318931903191319231933194319531963197319831993200320132023203320432053206320732083209321032113212321332143215321632173218321932203221322232233224322532263227322832293230323132323233323432353236323732383239324032413242324332443245324632473248324932503251325232533254325532563257325832593260326132623263326432653266326732683269327032713272327332743275327632773278327932803281328232833284328532863287328832893290329132923293329432953296329732983299330033013302330333043305330633073308330933103311331233133314331533163317331833193320332133223323332433253326332733283329333033313332333333343335333633373338333933403341334233433344334533463347334833493350335133523353335433553356335733583359336033613362336333643365336633673368336933703371337233733374337533763377337833793380338133823383338433853386338733883389339033913392339333943395339633973398339934003401340234033404340534063407340834093410341134123413341434153416341734183419342034213422342334243425342634273428342934303431343234333434343534363437343834393440344134423443344434453446344734483449345034513452345334543455345634573458345934603461346234633464346534663467346834693470347134723473347434753476347734783479348034813482348334843485348634873488348934903491349234933494349534963497349834993500350135023503350435053506350735083509351035113512351335143515351635173518351935203521352235233524352535263527352835293530353135323533353435353536353735383539354035413542354335443545354635473548354935503551355235533554355535563557355835593560356135623563356435653566356735683569357035713572357335743575357635773578357935803581358235833584358535863587358835893590359135923593359435953596359735983599360036013602360336043605360636073608360936103611361236133614361536163617361836193620362136223623362436253626362736283629363036313632363336343635363636373638363936403641364236433644364536463647364836493650365136523653365436553656365736583659366036613662366336643665366636673668366936703671367236733674367536763677367836793680368136823683368436853686368736883689369036913692369336943695369636973698369937003701370237033704370537063707370837093710371137123713371437153716371737183719372037213722372337243725372637273728372937303731373237333734373537363737373837393740374137423743374437453746374737483749375037513752375337543755375637573758375937603761376237633764376537663767376837693770377137723773377437753776377737783779378037813782378337843785378637873788378937903791379237933794379537963797379837993800380138023803380438053806380738083809381038113812381338143815381638173818381938203821382238233824382538263827382838293830383138323833383438353836383738383839384038413842384338443845384638473848384938503851385238533854385538563857385838593860386138623863386438653866386738683869387038713872387338743875387638773878387938803881388238833884388538863887388838893890389138923893389438953896389738983899390039013902390339043905390639073908390939103911391239133914391539163917391839193920392139223923392439253926392739283929393039313932393339343935393639373938393939403941394239433944394539463947394839493950395139523953395439553956395739583959396039613962396339643965396639673968396939703971397239733974397539763977397839793980398139823983398439853986398739883989399039913992399339943995399639973998399940004001400240034004400540064007400840094010401140124013401440154016401740184019402040214022402340244025402640274028402940304031403240334034403540364037403840394040404140424043404440454046404740484049405040514052405340544055405640574058405940604061406240634064406540664067406840694070407140724073407440754076407740784079408040814082408340844085408640874088408940904091409240934094409540964097409840994100410141024103410441054106410741084109411041114112411341144115411641174118411941204121412241234124412541264127412841294130413141324133413441354136413741384139414041414142414341444145414641474148414941504151415241534154415541564157415841594160416141624163416441654166416741684169417041714172417341744175417641774178417941804181418241834184418541864187418841894190419141924193419441954196419741984199420042014202420342044205420642074208420942104211421242134214421542164217421842194220422142224223422442254226422742284229423042314232423342344235423642374238423942404241424242434244424542464247424842494250425142524253425442554256425742584259426042614262426342644265426642674268426942704271427242734274427542764277427842794280428142824283428442854286428742884289429042914292429342944295429642974298429943004301430243034304430543064307430843094310431143124313431443154316431743184319432043214322432343244325432643274328432943304331433243334334433543364337433843394340434143424343434443454346434743484349435043514352435343544355435643574358435943604361
  1. {
  2. "Op0001": {
  3. "key": 3023,
  4. "operation": "insert"
  5. },
  6. "Op0002": {
  7. "key": 1573,
  8. "operation": "insert"
  9. },
  10. "Op0003": {
  11. "key": 4705,
  12. "operation": "insert"
  13. },
  14. "Op0004": {
  15. "key": 162,
  16. "operation": "insert"
  17. },
  18. "Op0005": {
  19. "key": 2955,
  20. "operation": "insert"
  21. },
  22. "Op0006": {
  23. "key": 2257,
  24. "operation": "insert"
  25. },
  26. "Op0007": {
  27. "key": 1581,
  28. "operation": "insert"
  29. },
  30. "Op0008": {
  31. "key": 2484,
  32. "operation": "insert"
  33. },
  34. "Op0009": {
  35. "key": 3135,
  36. "operation": "insert"
  37. },
  38. "Op0010": {
  39. "key": 722,
  40. "operation": "insert"
  41. },
  42. "Op0011": {
  43. "key": 4067,
  44. "operation": "insert"
  45. },
  46. "Op0012": {
  47. "key": 3104,
  48. "operation": "insert"
  49. },
  50. "Op0013": {
  51. "key": 1273,
  52. "operation": "insert"
  53. },
  54. "Op0014": {
  55. "key": 642,
  56. "operation": "insert"
  57. },
  58. "Op0015": {
  59. "key": 4506,
  60. "operation": "insert"
  61. },
  62. "Op0016": {
  63. "key": 439,
  64. "operation": "insert"
  65. },
  66. "Op0017": {
  67. "key": 2597,
  68. "operation": "insert"
  69. },
  70. "Op0018": {
  71. "key": 1136,
  72. "operation": "insert"
  73. },
  74. "Op0019": {
  75. "key": 3389,
  76. "operation": "insert"
  77. },
  78. "Op0020": {
  79. "key": 4808,
  80. "operation": "insert"
  81. },
  82. "Op0021": {
  83. "key": 1208,
  84. "operation": "insert"
  85. },
  86. "Op0022": {
  87. "key": 963,
  88. "operation": "insert"
  89. },
  90. "Op0023": {
  91. "key": 499,
  92. "operation": "insert"
  93. },
  94. "Op0024": {
  95. "key": 3496,
  96. "operation": "insert"
  97. },
  98. "Op0025": {
  99. "key": 439,
  100. "operation": "removeKey"
  101. },
  102. "Op0026": {
  103. "key": 499,
  104. "operation": "removeKey"
  105. },
  106. "Op0027": {
  107. "key": 3781,
  108. "operation": "insert"
  109. },
  110. "Op0028": {
  111. "operation": "removeMax"
  112. },
  113. "Op0029": {
  114. "key": 642,
  115. "operation": "removeKey"
  116. },
  117. "Op0030": {
  118. "operation": "removeMax"
  119. },
  120. "Op0031": {
  121. "operation": "removeMax"
  122. },
  123. "Op0032": {
  124. "key": 722,
  125. "newKey": 1927,
  126. "operation": "change"
  127. },
  128. "Op0033": {
  129. "operation": "removeMax"
  130. },
  131. "Op0034": {
  132. "key": 963,
  133. "newKey": 1404,
  134. "operation": "change"
  135. },
  136. "Op0035": {
  137. "key": 1136,
  138. "newKey": 377,
  139. "operation": "change"
  140. },
  141. "Op0036": {
  142. "operation": "removeMax"
  143. },
  144. "Op0037": {
  145. "key": 4227,
  146. "operation": "insert"
  147. },
  148. "Op0038": {
  149. "operation": "removeMax"
  150. },
  151. "Op0039": {
  152. "key": 377,
  153. "newKey": 897,
  154. "operation": "change"
  155. },
  156. "Op0040": {
  157. "operation": "removeMax"
  158. },
  159. "Op0041": {
  160. "key": 897,
  161. "newKey": 1637,
  162. "operation": "change"
  163. },
  164. "Op0042": {
  165. "key": 1392,
  166. "operation": "insert"
  167. },
  168. "Op0043": {
  169. "operation": "removeMax"
  170. },
  171. "Op0044": {
  172. "key": 1208,
  173. "newKey": 2375,
  174. "operation": "change"
  175. },
  176. "Op0045": {
  177. "operation": "removeMax"
  178. },
  179. "Op0046": {
  180. "key": 1273,
  181. "newKey": 4885,
  182. "operation": "change"
  183. },
  184. "Op0047": {
  185. "key": 1392,
  186. "operation": "removeKey"
  187. },
  188. "Op0048": {
  189. "key": 4749,
  190. "operation": "insert"
  191. },
  192. "Op0049": {
  193. "key": 1404,
  194. "operation": "removeKey"
  195. },
  196. "Op0050": {
  197. "operation": "removeMax"
  198. },
  199. "Op0051": {
  200. "key": 1573,
  201. "newKey": 1463,
  202. "operation": "change"
  203. },
  204. "Op0052": {
  205. "key": 3466,
  206. "operation": "insert"
  207. },
  208. "Op0053": {
  209. "key": 1470,
  210. "operation": "insert"
  211. },
  212. "Op0054": {
  213. "operation": "removeMax"
  214. },
  215. "Op0055": {
  216. "key": 1554,
  217. "operation": "insert"
  218. },
  219. "Op0056": {
  220. "key": 4227,
  221. "operation": "insert"
  222. },
  223. "Op0057": {
  224. "key": 338,
  225. "operation": "insert"
  226. },
  227. "Op0058": {
  228. "key": 1641,
  229. "operation": "insert"
  230. },
  231. "Op0059": {
  232. "key": 338,
  233. "operation": "removeKey"
  234. },
  235. "Op0060": {
  236. "operation": "removeMax"
  237. },
  238. "Op0061": {
  239. "key": 1463,
  240. "operation": "removeKey"
  241. },
  242. "Op0062": {
  243. "key": 504,
  244. "operation": "insert"
  245. },
  246. "Op0063": {
  247. "key": 504,
  248. "newKey": 2963,
  249. "operation": "change"
  250. },
  251. "Op0064": {
  252. "key": 2044,
  253. "operation": "insert"
  254. },
  255. "Op0065": {
  256. "key": 1470,
  257. "operation": "removeKey"
  258. },
  259. "Op0066": {
  260. "key": 268,
  261. "operation": "insert"
  262. },
  263. "Op0067": {
  264. "key": 268,
  265. "operation": "removeKey"
  266. },
  267. "Op0068": {
  268. "key": 1554,
  269. "operation": "removeKey"
  270. },
  271. "Op0069": {
  272. "key": 1581,
  273. "newKey": 3664,
  274. "operation": "change"
  275. },
  276. "Op0070": {
  277. "key": 1372,
  278. "operation": "insert"
  279. },
  280. "Op0071": {
  281. "key": 1372,
  282. "newKey": 3159,
  283. "operation": "change"
  284. },
  285. "Op0072": {
  286. "operation": "removeMax"
  287. },
  288. "Op0073": {
  289. "key": 1637,
  290. "newKey": 3344,
  291. "operation": "change"
  292. },
  293. "Op0074": {
  294. "key": 3749,
  295. "operation": "insert"
  296. },
  297. "Op0075": {
  298. "key": 2856,
  299. "operation": "insert"
  300. },
  301. "Op0076": {
  302. "operation": "removeMax"
  303. },
  304. "Op0077": {
  305. "key": 1641,
  306. "newKey": 4813,
  307. "operation": "change"
  308. },
  309. "Op0078": {
  310. "key": 1927,
  311. "newKey": 3938,
  312. "operation": "change"
  313. },
  314. "Op0079": {
  315. "key": 2044,
  316. "newKey": 4608,
  317. "operation": "change"
  318. },
  319. "Op0080": {
  320. "key": 2257,
  321. "newKey": 135,
  322. "operation": "change"
  323. },
  324. "Op0081": {
  325. "key": 1492,
  326. "operation": "insert"
  327. },
  328. "Op0082": {
  329. "key": 162,
  330. "operation": "removeKey"
  331. },
  332. "Op0083": {
  333. "key": 1492,
  334. "operation": "removeKey"
  335. },
  336. "Op0084": {
  337. "key": 2375,
  338. "operation": "removeKey"
  339. },
  340. "Op0085": {
  341. "operation": "removeMax"
  342. },
  343. "Op0086": {
  344. "key": 2484,
  345. "newKey": 3523,
  346. "operation": "change"
  347. },
  348. "Op0087": {
  349. "key": 2597,
  350. "newKey": 2680,
  351. "operation": "change"
  352. },
  353. "Op0088": {
  354. "key": 2680,
  355. "newKey": 2527,
  356. "operation": "change"
  357. },
  358. "Op0089": {
  359. "key": 2527,
  360. "newKey": 4511,
  361. "operation": "change"
  362. },
  363. "Op0090": {
  364. "key": 2856,
  365. "newKey": 4251,
  366. "operation": "change"
  367. },
  368. "Op0091": {
  369. "key": 2955,
  370. "newKey": 4727,
  371. "operation": "change"
  372. },
  373. "Op0092": {
  374. "key": 4327,
  375. "operation": "insert"
  376. },
  377. "Op0093": {
  378. "key": 1480,
  379. "operation": "insert"
  380. },
  381. "Op0094": {
  382. "key": 1480,
  383. "newKey": 2807,
  384. "operation": "change"
  385. },
  386. "Op0095": {
  387. "key": 3839,
  388. "operation": "insert"
  389. },
  390. "Op0096": {
  391. "operation": "removeMax"
  392. },
  393. "Op0097": {
  394. "key": 2807,
  395. "newKey": 2016,
  396. "operation": "change"
  397. },
  398. "Op0098": {
  399. "key": 4063,
  400. "operation": "insert"
  401. },
  402. "Op0099": {
  403. "key": 2016,
  404. "operation": "removeKey"
  405. },
  406. "Op0100": {
  407. "key": 1103,
  408. "operation": "insert"
  409. },
  410. "Op0101": {
  411. "key": 509,
  412. "operation": "insert"
  413. },
  414. "Op0102": {
  415. "key": 509,
  416. "newKey": 313,
  417. "operation": "change"
  418. },
  419. "Op0103": {
  420. "key": 313,
  421. "newKey": 357,
  422. "operation": "change"
  423. },
  424. "Op0104": {
  425. "operation": "removeMax"
  426. },
  427. "Op0105": {
  428. "operation": "removeMax"
  429. },
  430. "Op0106": {
  431. "key": 357,
  432. "operation": "removeKey"
  433. },
  434. "Op0107": {
  435. "operation": "removeMax"
  436. },
  437. "Op0108": {
  438. "key": 3543,
  439. "operation": "insert"
  440. },
  441. "Op0109": {
  442. "operation": "removeMax"
  443. },
  444. "Op0110": {
  445. "key": 3594,
  446. "operation": "insert"
  447. },
  448. "Op0111": {
  449. "key": 2049,
  450. "operation": "insert"
  451. },
  452. "Op0112": {
  453. "operation": "removeMax"
  454. },
  455. "Op0113": {
  456. "key": 4002,
  457. "operation": "insert"
  458. },
  459. "Op0114": {
  460. "key": 1103,
  461. "newKey": 2975,
  462. "operation": "change"
  463. },
  464. "Op0115": {
  465. "key": 2049,
  466. "operation": "removeKey"
  467. },
  468. "Op0116": {
  469. "key": 168,
  470. "operation": "insert"
  471. },
  472. "Op0117": {
  473. "operation": "removeMax"
  474. },
  475. "Op0118": {
  476. "key": 4463,
  477. "operation": "insert"
  478. },
  479. "Op0119": {
  480. "key": 168,
  481. "operation": "removeKey"
  482. },
  483. "Op0120": {
  484. "key": 2963,
  485. "newKey": 3848,
  486. "operation": "change"
  487. },
  488. "Op0121": {
  489. "key": 1099,
  490. "operation": "insert"
  491. },
  492. "Op0122": {
  493. "operation": "removeMax"
  494. },
  495. "Op0123": {
  496. "operation": "removeMax"
  497. },
  498. "Op0124": {
  499. "key": 1099,
  500. "newKey": 4760,
  501. "operation": "change"
  502. },
  503. "Op0125": {
  504. "key": 2975,
  505. "newKey": 1939,
  506. "operation": "change"
  507. },
  508. "Op0126": {
  509. "key": 1939,
  510. "newKey": 3861,
  511. "operation": "change"
  512. },
  513. "Op0127": {
  514. "key": 3023,
  515. "newKey": 3565,
  516. "operation": "change"
  517. },
  518. "Op0128": {
  519. "key": 1610,
  520. "operation": "insert"
  521. },
  522. "Op0129": {
  523. "operation": "removeMax"
  524. },
  525. "Op0130": {
  526. "key": 1610,
  527. "newKey": 1608,
  528. "operation": "change"
  529. },
  530. "Op0131": {
  531. "key": 1608,
  532. "newKey": 1584,
  533. "operation": "change"
  534. },
  535. "Op0132": {
  536. "key": 1584,
  537. "newKey": 4485,
  538. "operation": "change"
  539. },
  540. "Op0133": {
  541. "key": 3104,
  542. "newKey": 1239,
  543. "operation": "change"
  544. },
  545. "Op0134": {
  546. "key": 1239,
  547. "newKey": 407,
  548. "operation": "change"
  549. },
  550. "Op0135": {
  551. "key": 407,
  552. "newKey": 4678,
  553. "operation": "change"
  554. },
  555. "Op0136": {
  556. "key": 3159,
  557. "newKey": 299,
  558. "operation": "change"
  559. },
  560. "Op0137": {
  561. "key": 299,
  562. "newKey": 1713,
  563. "operation": "change"
  564. },
  565. "Op0138": {
  566. "key": 1713,
  567. "newKey": 3622,
  568. "operation": "change"
  569. },
  570. "Op0139": {
  571. "key": 3344,
  572. "newKey": 1612,
  573. "operation": "change"
  574. },
  575. "Op0140": {
  576. "key": 1612,
  577. "newKey": 4501,
  578. "operation": "change"
  579. },
  580. "Op0141": {
  581. "key": 3466,
  582. "newKey": 2058,
  583. "operation": "change"
  584. },
  585. "Op0142": {
  586. "key": 2058,
  587. "newKey": 4404,
  588. "operation": "change"
  589. },
  590. "Op0143": {
  591. "key": 3523,
  592. "newKey": 3616,
  593. "operation": "change"
  594. },
  595. "Op0144": {
  596. "key": 3543,
  597. "newKey": 4491,
  598. "operation": "change"
  599. },
  600. "Op0145": {
  601. "key": 3565,
  602. "newKey": 1756,
  603. "operation": "change"
  604. },
  605. "Op0146": {
  606. "key": 1756,
  607. "newKey": 3929,
  608. "operation": "change"
  609. },
  610. "Op0147": {
  611. "key": 3865,
  612. "operation": "insert"
  613. },
  614. "Op0148": {
  615. "operation": "removeMax"
  616. },
  617. "Op0149": {
  618. "key": 1464,
  619. "operation": "insert"
  620. },
  621. "Op0150": {
  622. "key": 1464,
  623. "operation": "removeKey"
  624. },
  625. "Op0151": {
  626. "key": 3594,
  627. "newKey": 3955,
  628. "operation": "change"
  629. },
  630. "Op0152": {
  631. "key": 3616,
  632. "newKey": 2512,
  633. "operation": "change"
  634. },
  635. "Op0153": {
  636. "key": 4362,
  637. "operation": "insert"
  638. },
  639. "Op0154": {
  640. "operation": "removeMax"
  641. },
  642. "Op0155": {
  643. "key": 2512,
  644. "newKey": 2958,
  645. "operation": "change"
  646. },
  647. "Op0156": {
  648. "key": 2958,
  649. "newKey": 845,
  650. "operation": "change"
  651. },
  652. "Op0157": {
  653. "key": 845,
  654. "newKey": 2450,
  655. "operation": "change"
  656. },
  657. "Op0158": {
  658. "key": 2450,
  659. "newKey": 4661,
  660. "operation": "change"
  661. },
  662. "Op0159": {
  663. "key": 3622,
  664. "newKey": 4002,
  665. "operation": "change"
  666. },
  667. "Op0160": {
  668. "key": 3839,
  669. "newKey": 3736,
  670. "operation": "change"
  671. },
  672. "Op0161": {
  673. "key": 3736,
  674. "newKey": 3799,
  675. "operation": "change"
  676. },
  677. "Op0162": {
  678. "key": 3799,
  679. "newKey": 4027,
  680. "operation": "change"
  681. },
  682. "Op0163": {
  683. "key": 3848,
  684. "newKey": 4205,
  685. "operation": "change"
  686. },
  687. "Op0164": {
  688. "key": 4903,
  689. "operation": "insert"
  690. },
  691. "Op0165": {
  692. "key": 1271,
  693. "operation": "insert"
  694. },
  695. "Op0166": {
  696. "key": 3554,
  697. "operation": "insert"
  698. },
  699. "Op0167": {
  700. "key": 3685,
  701. "operation": "insert"
  702. },
  703. "Op0168": {
  704. "key": 1271,
  705. "newKey": 1950,
  706. "operation": "change"
  707. },
  708. "Op0169": {
  709. "operation": "removeMax"
  710. },
  711. "Op0170": {
  712. "key": 1950,
  713. "operation": "removeKey"
  714. },
  715. "Op0171": {
  716. "key": 1479,
  717. "operation": "insert"
  718. },
  719. "Op0172": {
  720. "key": 3379,
  721. "operation": "insert"
  722. },
  723. "Op0173": {
  724. "key": 1479,
  725. "operation": "removeKey"
  726. },
  727. "Op0174": {
  728. "key": 3379,
  729. "newKey": 4842,
  730. "operation": "change"
  731. },
  732. "Op0175": {
  733. "key": 3554,
  734. "operation": "removeKey"
  735. },
  736. "Op0176": {
  737. "key": 3685,
  738. "newKey": 954,
  739. "operation": "change"
  740. },
  741. "Op0177": {
  742. "operation": "removeMax"
  743. },
  744. "Op0178": {
  745. "key": 954,
  746. "newKey": 4771,
  747. "operation": "change"
  748. },
  749. "Op0179": {
  750. "operation": "removeMax"
  751. },
  752. "Op0180": {
  753. "key": 3861,
  754. "newKey": 2840,
  755. "operation": "change"
  756. },
  757. "Op0181": {
  758. "key": 2118,
  759. "operation": "insert"
  760. },
  761. "Op0182": {
  762. "operation": "removeMax"
  763. },
  764. "Op0183": {
  765. "key": 2118,
  766. "newKey": 4641,
  767. "operation": "change"
  768. },
  769. "Op0184": {
  770. "key": 2840,
  771. "newKey": 1557,
  772. "operation": "change"
  773. },
  774. "Op0185": {
  775. "key": 4479,
  776. "operation": "insert"
  777. },
  778. "Op0186": {
  779. "operation": "removeMax"
  780. },
  781. "Op0187": {
  782. "key": 1557,
  783. "newKey": 4382,
  784. "operation": "change"
  785. },
  786. "Op0188": {
  787. "key": 3865,
  788. "newKey": 969,
  789. "operation": "change"
  790. },
  791. "Op0189": {
  792. "key": 49,
  793. "operation": "insert"
  794. },
  795. "Op0190": {
  796. "key": 1998,
  797. "operation": "insert"
  798. },
  799. "Op0191": {
  800. "key": 135,
  801. "newKey": 1437,
  802. "operation": "change"
  803. },
  804. "Op0192": {
  805. "key": 3964,
  806. "operation": "insert"
  807. },
  808. "Op0193": {
  809. "operation": "removeMax"
  810. },
  811. "Op0194": {
  812. "key": 3688,
  813. "operation": "insert"
  814. },
  815. "Op0195": {
  816. "key": 969,
  817. "operation": "removeKey"
  818. },
  819. "Op0196": {
  820. "key": 1437,
  821. "newKey": 1640,
  822. "operation": "change"
  823. },
  824. "Op0197": {
  825. "operation": "removeMax"
  826. },
  827. "Op0198": {
  828. "key": 1640,
  829. "operation": "removeKey"
  830. },
  831. "Op0199": {
  832. "key": 1903,
  833. "operation": "insert"
  834. },
  835. "Op0200": {
  836. "operation": "removeMax"
  837. },
  838. "Op0201": {
  839. "key": 1903,
  840. "newKey": 3529,
  841. "operation": "change"
  842. },
  843. "Op0202": {
  844. "key": 1998,
  845. "newKey": 4164,
  846. "operation": "change"
  847. },
  848. "Op0203": {
  849. "key": 3529,
  850. "newKey": 4140,
  851. "operation": "change"
  852. },
  853. "Op0204": {
  854. "key": 141,
  855. "operation": "insert"
  856. },
  857. "Op0205": {
  858. "key": 141,
  859. "newKey": 2309,
  860. "operation": "change"
  861. },
  862. "Op0206": {
  863. "key": 2309,
  864. "newKey": 3820,
  865. "operation": "change"
  866. },
  867. "Op0207": {
  868. "key": 3688,
  869. "operation": "removeKey"
  870. },
  871. "Op0208": {
  872. "key": 3820,
  873. "newKey": 4782,
  874. "operation": "change"
  875. },
  876. "Op0209": {
  877. "key": 3929,
  878. "newKey": 3631,
  879. "operation": "change"
  880. },
  881. "Op0210": {
  882. "key": 3631,
  883. "newKey": 3619,
  884. "operation": "change"
  885. },
  886. "Op0211": {
  887. "key": 3619,
  888. "newKey": 1348,
  889. "operation": "change"
  890. },
  891. "Op0212": {
  892. "key": 1348,
  893. "newKey": 4687,
  894. "operation": "change"
  895. },
  896. "Op0213": {
  897. "key": 3955,
  898. "newKey": 2313,
  899. "operation": "change"
  900. },
  901. "Op0214": {
  902. "key": 31,
  903. "operation": "insert"
  904. },
  905. "Op0215": {
  906. "key": 1051,
  907. "operation": "insert"
  908. },
  909. "Op0216": {
  910. "operation": "removeMax"
  911. },
  912. "Op0217": {
  913. "key": 49,
  914. "operation": "removeKey"
  915. },
  916. "Op0218": {
  917. "key": 3539,
  918. "operation": "insert"
  919. },
  920. "Op0219": {
  921. "operation": "removeMax"
  922. },
  923. "Op0220": {
  924. "key": 1051,
  925. "newKey": 1751,
  926. "operation": "change"
  927. },
  928. "Op0221": {
  929. "key": 2177,
  930. "operation": "insert"
  931. },
  932. "Op0222": {
  933. "key": 718,
  934. "operation": "insert"
  935. },
  936. "Op0223": {
  937. "key": 1863,
  938. "operation": "insert"
  939. },
  940. "Op0224": {
  941. "operation": "removeMax"
  942. },
  943. "Op0225": {
  944. "operation": "removeMax"
  945. },
  946. "Op0226": {
  947. "key": 718,
  948. "operation": "removeKey"
  949. },
  950. "Op0227": {
  951. "key": 1751,
  952. "newKey": 2469,
  953. "operation": "change"
  954. },
  955. "Op0228": {
  956. "key": 1863,
  957. "newKey": 4839,
  958. "operation": "change"
  959. },
  960. "Op0229": {
  961. "key": 2177,
  962. "newKey": 877,
  963. "operation": "change"
  964. },
  965. "Op0230": {
  966. "key": 3312,
  967. "operation": "insert"
  968. },
  969. "Op0231": {
  970. "key": 2868,
  971. "operation": "insert"
  972. },
  973. "Op0232": {
  974. "key": 877,
  975. "operation": "removeKey"
  976. },
  977. "Op0233": {
  978. "key": 2313,
  979. "operation": "removeKey"
  980. },
  981. "Op0234": {
  982. "key": 2469,
  983. "newKey": 798,
  984. "operation": "change"
  985. },
  986. "Op0235": {
  987. "key": 798,
  988. "newKey": 3368,
  989. "operation": "change"
  990. },
  991. "Op0236": {
  992. "key": 2645,
  993. "operation": "insert"
  994. },
  995. "Op0237": {
  996. "operation": "removeMax"
  997. },
  998. "Op0238": {
  999. "key": 2645,
  1000. "newKey": 274,
  1001. "operation": "change"
  1002. },
  1003. "Op0239": {
  1004. "key": 274,
  1005. "newKey": 3021,
  1006. "operation": "change"
  1007. },
  1008. "Op0240": {
  1009. "key": 2868,
  1010. "newKey": 1254,
  1011. "operation": "change"
  1012. },
  1013. "Op0241": {
  1014. "key": 1254,
  1015. "newKey": 3461,
  1016. "operation": "change"
  1017. },
  1018. "Op0242": {
  1019. "key": 4197,
  1020. "operation": "insert"
  1021. },
  1022. "Op0243": {
  1023. "key": 3021,
  1024. "newKey": 4451,
  1025. "operation": "change"
  1026. },
  1027. "Op0244": {
  1028. "operation": "removeMax"
  1029. },
  1030. "Op0245": {
  1031. "key": 3312,
  1032. "newKey": 1289,
  1033. "operation": "change"
  1034. },
  1035. "Op0246": {
  1036. "key": 3184,
  1037. "operation": "insert"
  1038. },
  1039. "Op0247": {
  1040. "key": 156,
  1041. "operation": "insert"
  1042. },
  1043. "Op0248": {
  1044. "key": 2744,
  1045. "operation": "insert"
  1046. },
  1047. "Op0249": {
  1048. "key": 156,
  1049. "operation": "removeKey"
  1050. },
  1051. "Op0250": {
  1052. "operation": "removeMax"
  1053. },
  1054. "Op0251": {
  1055. "key": 583,
  1056. "operation": "insert"
  1057. },
  1058. "Op0252": {
  1059. "operation": "removeMax"
  1060. },
  1061. "Op0253": {
  1062. "operation": "removeMax"
  1063. },
  1064. "Op0254": {
  1065. "key": 583,
  1066. "newKey": 386,
  1067. "operation": "change"
  1068. },
  1069. "Op0255": {
  1070. "key": 386,
  1071. "newKey": 597,
  1072. "operation": "change"
  1073. },
  1074. "Op0256": {
  1075. "key": 597,
  1076. "newKey": 1686,
  1077. "operation": "change"
  1078. },
  1079. "Op0257": {
  1080. "key": 1289,
  1081. "newKey": 1427,
  1082. "operation": "change"
  1083. },
  1084. "Op0258": {
  1085. "key": 2585,
  1086. "operation": "insert"
  1087. },
  1088. "Op0259": {
  1089. "key": 4292,
  1090. "operation": "insert"
  1091. },
  1092. "Op0260": {
  1093. "key": 3704,
  1094. "operation": "insert"
  1095. },
  1096. "Op0261": {
  1097. "key": 1427,
  1098. "operation": "removeKey"
  1099. },
  1100. "Op0262": {
  1101. "key": 1686,
  1102. "newKey": 4689,
  1103. "operation": "change"
  1104. },
  1105. "Op0263": {
  1106. "key": 2585,
  1107. "operation": "removeKey"
  1108. },
  1109. "Op0264": {
  1110. "key": 2744,
  1111. "newKey": 2481,
  1112. "operation": "change"
  1113. },
  1114. "Op0265": {
  1115. "key": 2481,
  1116. "newKey": 3039,
  1117. "operation": "change"
  1118. },
  1119. "Op0266": {
  1120. "key": 4240,
  1121. "operation": "insert"
  1122. },
  1123. "Op0267": {
  1124. "operation": "removeMax"
  1125. },
  1126. "Op0268": {
  1127. "key": 759,
  1128. "operation": "insert"
  1129. },
  1130. "Op0269": {
  1131. "operation": "removeMax"
  1132. },
  1133. "Op0270": {
  1134. "key": 4783,
  1135. "operation": "insert"
  1136. },
  1137. "Op0271": {
  1138. "key": 759,
  1139. "operation": "removeKey"
  1140. },
  1141. "Op0272": {
  1142. "key": 3039,
  1143. "operation": "removeKey"
  1144. },
  1145. "Op0273": {
  1146. "key": 3788,
  1147. "operation": "insert"
  1148. },
  1149. "Op0274": {
  1150. "key": 3184,
  1151. "newKey": 4964,
  1152. "operation": "change"
  1153. },
  1154. "Op0275": {
  1155. "key": 3368,
  1156. "operation": "removeKey"
  1157. },
  1158. "Op0276": {
  1159. "key": 2172,
  1160. "operation": "insert"
  1161. },
  1162. "Op0277": {
  1163. "key": 2172,
  1164. "operation": "removeKey"
  1165. },
  1166. "Op0278": {
  1167. "key": 3461,
  1168. "newKey": 211,
  1169. "operation": "change"
  1170. },
  1171. "Op0279": {
  1172. "key": 211,
  1173. "newKey": 3913,
  1174. "operation": "change"
  1175. },
  1176. "Op0280": {
  1177. "key": 3539,
  1178. "newKey": 2196,
  1179. "operation": "change"
  1180. },
  1181. "Op0281": {
  1182. "key": 2196,
  1183. "newKey": 1639,
  1184. "operation": "change"
  1185. },
  1186. "Op0282": {
  1187. "key": 3575,
  1188. "operation": "insert"
  1189. },
  1190. "Op0283": {
  1191. "key": 1639,
  1192. "newKey": 2338,
  1193. "operation": "change"
  1194. },
  1195. "Op0284": {
  1196. "key": 2338,
  1197. "newKey": 3428,
  1198. "operation": "change"
  1199. },
  1200. "Op0285": {
  1201. "key": 3428,
  1202. "operation": "removeKey"
  1203. },
  1204. "Op0286": {
  1205. "key": 3575,
  1206. "newKey": 2644,
  1207. "operation": "change"
  1208. },
  1209. "Op0287": {
  1210. "key": 2644,
  1211. "newKey": 652,
  1212. "operation": "change"
  1213. },
  1214. "Op0288": {
  1215. "key": 652,
  1216. "newKey": 284,
  1217. "operation": "change"
  1218. },
  1219. "Op0289": {
  1220. "key": 284,
  1221. "newKey": 747,
  1222. "operation": "change"
  1223. },
  1224. "Op0290": {
  1225. "key": 747,
  1226. "newKey": 4754,
  1227. "operation": "change"
  1228. },
  1229. "Op0291": {
  1230. "key": 3704,
  1231. "newKey": 4180,
  1232. "operation": "change"
  1233. },
  1234. "Op0292": {
  1235. "key": 3788,
  1236. "newKey": 527,
  1237. "operation": "change"
  1238. },
  1239. "Op0293": {
  1240. "key": 527,
  1241. "newKey": 1243,
  1242. "operation": "change"
  1243. },
  1244. "Op0294": {
  1245. "key": 1243,
  1246. "newKey": 607,
  1247. "operation": "change"
  1248. },
  1249. "Op0295": {
  1250. "key": 607,
  1251. "newKey": 2820,
  1252. "operation": "change"
  1253. },
  1254. "Op0296": {
  1255. "key": 1958,
  1256. "operation": "insert"
  1257. },
  1258. "Op0297": {
  1259. "key": 1958,
  1260. "newKey": 872,
  1261. "operation": "change"
  1262. },
  1263. "Op0298": {
  1264. "key": 872,
  1265. "newKey": 1702,
  1266. "operation": "change"
  1267. },
  1268. "Op0299": {
  1269. "operation": "removeMax"
  1270. },
  1271. "Op0300": {
  1272. "key": 2293,
  1273. "operation": "insert"
  1274. },
  1275. "Op0301": {
  1276. "operation": "removeMax"
  1277. },
  1278. "Op0302": {
  1279. "key": 1702,
  1280. "newKey": 975,
  1281. "operation": "change"
  1282. },
  1283. "Op0303": {
  1284. "key": 975,
  1285. "newKey": 2465,
  1286. "operation": "change"
  1287. },
  1288. "Op0304": {
  1289. "key": 2293,
  1290. "newKey": 733,
  1291. "operation": "change"
  1292. },
  1293. "Op0305": {
  1294. "key": 733,
  1295. "newKey": 93,
  1296. "operation": "change"
  1297. },
  1298. "Op0306": {
  1299. "key": 93,
  1300. "newKey": 2827,
  1301. "operation": "change"
  1302. },
  1303. "Op0307": {
  1304. "key": 626,
  1305. "operation": "insert"
  1306. },
  1307. "Op0308": {
  1308. "key": 4697,
  1309. "operation": "insert"
  1310. },
  1311. "Op0309": {
  1312. "key": 4797,
  1313. "operation": "insert"
  1314. },
  1315. "Op0310": {
  1316. "key": 626,
  1317. "newKey": 2402,
  1318. "operation": "change"
  1319. },
  1320. "Op0311": {
  1321. "key": 2402,
  1322. "operation": "removeKey"
  1323. },
  1324. "Op0312": {
  1325. "key": 22,
  1326. "operation": "insert"
  1327. },
  1328. "Op0313": {
  1329. "operation": "removeMax"
  1330. },
  1331. "Op0314": {
  1332. "key": 31,
  1333. "newKey": 4371,
  1334. "operation": "change"
  1335. },
  1336. "Op0315": {
  1337. "key": 2465,
  1338. "newKey": 442,
  1339. "operation": "change"
  1340. },
  1341. "Op0316": {
  1342. "key": 4503,
  1343. "operation": "insert"
  1344. },
  1345. "Op0317": {
  1346. "key": 442,
  1347. "newKey": 288,
  1348. "operation": "change"
  1349. },
  1350. "Op0318": {
  1351. "key": 288,
  1352. "operation": "removeKey"
  1353. },
  1354. "Op0319": {
  1355. "operation": "removeMax"
  1356. },
  1357. "Op0320": {
  1358. "operation": "removeMax"
  1359. },
  1360. "Op0321": {
  1361. "key": 2820,
  1362. "newKey": 2103,
  1363. "operation": "change"
  1364. },
  1365. "Op0322": {
  1366. "key": 2103,
  1367. "newKey": 1660,
  1368. "operation": "change"
  1369. },
  1370. "Op0323": {
  1371. "key": 1660,
  1372. "newKey": 3013,
  1373. "operation": "change"
  1374. },
  1375. "Op0324": {
  1376. "key": 2827,
  1377. "newKey": 4444,
  1378. "operation": "change"
  1379. },
  1380. "Op0325": {
  1381. "key": 2889,
  1382. "operation": "insert"
  1383. },
  1384. "Op0326": {
  1385. "key": 2889,
  1386. "operation": "removeKey"
  1387. },
  1388. "Op0327": {
  1389. "key": 3013,
  1390. "newKey": 651,
  1391. "operation": "change"
  1392. },
  1393. "Op0328": {
  1394. "key": 651,
  1395. "newKey": 1479,
  1396. "operation": "change"
  1397. },
  1398. "Op0329": {
  1399. "key": 4708,
  1400. "operation": "insert"
  1401. },
  1402. "Op0330": {
  1403. "key": 1479,
  1404. "operation": "removeKey"
  1405. },
  1406. "Op0331": {
  1407. "key": 3913,
  1408. "newKey": 4650,
  1409. "operation": "change"
  1410. },
  1411. "Op0332": {
  1412. "key": 3449,
  1413. "operation": "insert"
  1414. },
  1415. "Op0333": {
  1416. "operation": "removeMax"
  1417. },
  1418. "Op0334": {
  1419. "key": 3449,
  1420. "newKey": 1218,
  1421. "operation": "change"
  1422. },
  1423. "Op0335": {
  1424. "key": 1218,
  1425. "newKey": 1268,
  1426. "operation": "change"
  1427. },
  1428. "Op0336": {
  1429. "key": 1268,
  1430. "newKey": 2735,
  1431. "operation": "change"
  1432. },
  1433. "Op0337": {
  1434. "key": 2032,
  1435. "operation": "insert"
  1436. },
  1437. "Op0338": {
  1438. "key": 2939,
  1439. "operation": "insert"
  1440. },
  1441. "Op0339": {
  1442. "operation": "removeMax"
  1443. },
  1444. "Op0340": {
  1445. "key": 2032,
  1446. "operation": "removeKey"
  1447. },
  1448. "Op0341": {
  1449. "key": 2735,
  1450. "newKey": 1467,
  1451. "operation": "change"
  1452. },
  1453. "Op0342": {
  1454. "key": 1467,
  1455. "newKey": 3984,
  1456. "operation": "change"
  1457. },
  1458. "Op0343": {
  1459. "key": 2939,
  1460. "newKey": 3946,
  1461. "operation": "change"
  1462. },
  1463. "Op0344": {
  1464. "key": 3946,
  1465. "newKey": 3889,
  1466. "operation": "change"
  1467. },
  1468. "Op0345": {
  1469. "key": 1997,
  1470. "operation": "insert"
  1471. },
  1472. "Op0346": {
  1473. "key": 1997,
  1474. "operation": "removeKey"
  1475. },
  1476. "Op0347": {
  1477. "key": 2502,
  1478. "operation": "insert"
  1479. },
  1480. "Op0348": {
  1481. "key": 1798,
  1482. "operation": "insert"
  1483. },
  1484. "Op0349": {
  1485. "key": 4494,
  1486. "operation": "insert"
  1487. },
  1488. "Op0350": {
  1489. "operation": "removeMax"
  1490. },
  1491. "Op0351": {
  1492. "key": 1798,
  1493. "newKey": 3636,
  1494. "operation": "change"
  1495. },
  1496. "Op0352": {
  1497. "key": 2502,
  1498. "newKey": 2660,
  1499. "operation": "change"
  1500. },
  1501. "Op0353": {
  1502. "key": 2660,
  1503. "operation": "removeKey"
  1504. },
  1505. "Op0354": {
  1506. "operation": "removeMax"
  1507. },
  1508. "Op0355": {
  1509. "key": 3636,
  1510. "newKey": 3495,
  1511. "operation": "change"
  1512. },
  1513. "Op0356": {
  1514. "key": 3495,
  1515. "newKey": 2703,
  1516. "operation": "change"
  1517. },
  1518. "Op0357": {
  1519. "key": 2703,
  1520. "newKey": 4637,
  1521. "operation": "change"
  1522. },
  1523. "Op0358": {
  1524. "key": 3889,
  1525. "newKey": 3018,
  1526. "operation": "change"
  1527. },
  1528. "Op0359": {
  1529. "key": 3018,
  1530. "newKey": 3236,
  1531. "operation": "change"
  1532. },
  1533. "Op0360": {
  1534. "key": 3236,
  1535. "newKey": 1968,
  1536. "operation": "change"
  1537. },
  1538. "Op0361": {
  1539. "key": 1968,
  1540. "newKey": 2757,
  1541. "operation": "change"
  1542. },
  1543. "Op0362": {
  1544. "key": 2757,
  1545. "newKey": 903,
  1546. "operation": "change"
  1547. },
  1548. "Op0363": {
  1549. "key": 903,
  1550. "newKey": 2963,
  1551. "operation": "change"
  1552. },
  1553. "Op0364": {
  1554. "key": 1103,
  1555. "operation": "insert"
  1556. },
  1557. "Op0365": {
  1558. "key": 3298,
  1559. "operation": "insert"
  1560. },
  1561. "Op0366": {
  1562. "key": 1103,
  1563. "operation": "removeKey"
  1564. },
  1565. "Op0367": {
  1566. "operation": "removeMax"
  1567. },
  1568. "Op0368": {
  1569. "key": 4477,
  1570. "operation": "insert"
  1571. },
  1572. "Op0369": {
  1573. "operation": "removeMax"
  1574. },
  1575. "Op0370": {
  1576. "key": 2963,
  1577. "newKey": 256,
  1578. "operation": "change"
  1579. },
  1580. "Op0371": {
  1581. "key": 256,
  1582. "newKey": 2924,
  1583. "operation": "change"
  1584. },
  1585. "Op0372": {
  1586. "key": 4672,
  1587. "operation": "insert"
  1588. },
  1589. "Op0373": {
  1590. "key": 2924,
  1591. "operation": "removeKey"
  1592. },
  1593. "Op0374": {
  1594. "key": 3988,
  1595. "operation": "insert"
  1596. },
  1597. "Op0375": {
  1598. "key": 3298,
  1599. "newKey": 3918,
  1600. "operation": "change"
  1601. },
  1602. "Op0376": {
  1603. "key": 3918,
  1604. "newKey": 977,
  1605. "operation": "change"
  1606. },
  1607. "Op0377": {
  1608. "key": 3224,
  1609. "operation": "insert"
  1610. },
  1611. "Op0378": {
  1612. "key": 977,
  1613. "operation": "removeKey"
  1614. },
  1615. "Op0379": {
  1616. "key": 595,
  1617. "operation": "insert"
  1618. },
  1619. "Op0380": {
  1620. "operation": "removeMax"
  1621. },
  1622. "Op0381": {
  1623. "key": 2038,
  1624. "operation": "insert"
  1625. },
  1626. "Op0382": {
  1627. "key": 595,
  1628. "newKey": 716,
  1629. "operation": "change"
  1630. },
  1631. "Op0383": {
  1632. "key": 3452,
  1633. "operation": "insert"
  1634. },
  1635. "Op0384": {
  1636. "operation": "removeMax"
  1637. },
  1638. "Op0385": {
  1639. "key": 3577,
  1640. "operation": "insert"
  1641. },
  1642. "Op0386": {
  1643. "key": 716,
  1644. "newKey": 462,
  1645. "operation": "change"
  1646. },
  1647. "Op0387": {
  1648. "operation": "removeMax"
  1649. },
  1650. "Op0388": {
  1651. "key": 462,
  1652. "operation": "removeKey"
  1653. },
  1654. "Op0389": {
  1655. "operation": "removeMax"
  1656. },
  1657. "Op0390": {
  1658. "key": 2038,
  1659. "newKey": 3319,
  1660. "operation": "change"
  1661. },
  1662. "Op0391": {
  1663. "key": 1585,
  1664. "operation": "insert"
  1665. },
  1666. "Op0392": {
  1667. "operation": "removeMax"
  1668. },
  1669. "Op0393": {
  1670. "key": 1585,
  1671. "newKey": 2576,
  1672. "operation": "change"
  1673. },
  1674. "Op0394": {
  1675. "key": 2576,
  1676. "newKey": 1506,
  1677. "operation": "change"
  1678. },
  1679. "Op0395": {
  1680. "key": 1506,
  1681. "newKey": 1293,
  1682. "operation": "change"
  1683. },
  1684. "Op0396": {
  1685. "key": 1293,
  1686. "newKey": 2384,
  1687. "operation": "change"
  1688. },
  1689. "Op0397": {
  1690. "key": 2384,
  1691. "newKey": 1887,
  1692. "operation": "change"
  1693. },
  1694. "Op0398": {
  1695. "key": 1887,
  1696. "newKey": 43,
  1697. "operation": "change"
  1698. },
  1699. "Op0399": {
  1700. "key": 43,
  1701. "newKey": 1887,
  1702. "operation": "change"
  1703. },
  1704. "Op0400": {
  1705. "key": 2742,
  1706. "operation": "insert"
  1707. },
  1708. "Op0401": {
  1709. "key": 1887,
  1710. "operation": "removeKey"
  1711. },
  1712. "Op0402": {
  1713. "key": 2742,
  1714. "newKey": 823,
  1715. "operation": "change"
  1716. },
  1717. "Op0403": {
  1718. "key": 823,
  1719. "newKey": 4740,
  1720. "operation": "change"
  1721. },
  1722. "Op0404": {
  1723. "key": 3224,
  1724. "newKey": 3446,
  1725. "operation": "change"
  1726. },
  1727. "Op0405": {
  1728. "key": 3319,
  1729. "newKey": 1562,
  1730. "operation": "change"
  1731. },
  1732. "Op0406": {
  1733. "key": 1265,
  1734. "operation": "insert"
  1735. },
  1736. "Op0407": {
  1737. "key": 1265,
  1738. "operation": "removeKey"
  1739. },
  1740. "Op0408": {
  1741. "key": 1562,
  1742. "newKey": 3868,
  1743. "operation": "change"
  1744. },
  1745. "Op0409": {
  1746. "key": 3446,
  1747. "newKey": 3003,
  1748. "operation": "change"
  1749. },
  1750. "Op0410": {
  1751. "key": 3003,
  1752. "newKey": 3266,
  1753. "operation": "change"
  1754. },
  1755. "Op0411": {
  1756. "key": 3266,
  1757. "newKey": 4901,
  1758. "operation": "change"
  1759. },
  1760. "Op0412": {
  1761. "key": 3452,
  1762. "newKey": 2887,
  1763. "operation": "change"
  1764. },
  1765. "Op0413": {
  1766. "key": 2887,
  1767. "newKey": 88,
  1768. "operation": "change"
  1769. },
  1770. "Op0414": {
  1771. "key": 88,
  1772. "newKey": 1806,
  1773. "operation": "change"
  1774. },
  1775. "Op0415": {
  1776. "key": 1806,
  1777. "newKey": 3032,
  1778. "operation": "change"
  1779. },
  1780. "Op0416": {
  1781. "key": 3032,
  1782. "newKey": 1614,
  1783. "operation": "change"
  1784. },
  1785. "Op0417": {
  1786. "key": 1614,
  1787. "newKey": 208,
  1788. "operation": "change"
  1789. },
  1790. "Op0418": {
  1791. "key": 208,
  1792. "newKey": 2885,
  1793. "operation": "change"
  1794. },
  1795. "Op0419": {
  1796. "key": 2885,
  1797. "newKey": 872,
  1798. "operation": "change"
  1799. },
  1800. "Op0420": {
  1801. "key": 872,
  1802. "newKey": 4581,
  1803. "operation": "change"
  1804. },
  1805. "Op0421": {
  1806. "key": 3577,
  1807. "newKey": 1902,
  1808. "operation": "change"
  1809. },
  1810. "Op0422": {
  1811. "key": 885,
  1812. "operation": "insert"
  1813. },
  1814. "Op0423": {
  1815. "operation": "removeMax"
  1816. },
  1817. "Op0424": {
  1818. "key": 885,
  1819. "newKey": 1942,
  1820. "operation": "change"
  1821. },
  1822. "Op0425": {
  1823. "key": 1902,
  1824. "newKey": 3759,
  1825. "operation": "change"
  1826. },
  1827. "Op0426": {
  1828. "key": 1942,
  1829. "newKey": 1543,
  1830. "operation": "change"
  1831. },
  1832. "Op0427": {
  1833. "key": 1543,
  1834. "newKey": 1376,
  1835. "operation": "change"
  1836. },
  1837. "Op0428": {
  1838. "key": 1376,
  1839. "newKey": 4293,
  1840. "operation": "change"
  1841. },
  1842. "Op0429": {
  1843. "key": 3759,
  1844. "newKey": 4361,
  1845. "operation": "change"
  1846. },
  1847. "Op0430": {
  1848. "key": 3868,
  1849. "newKey": 4215,
  1850. "operation": "change"
  1851. },
  1852. "Op0431": {
  1853. "key": 3964,
  1854. "newKey": 3956,
  1855. "operation": "change"
  1856. },
  1857. "Op0432": {
  1858. "key": 3956,
  1859. "newKey": 4364,
  1860. "operation": "change"
  1861. },
  1862. "Op0433": {
  1863. "key": 3984,
  1864. "newKey": 2215,
  1865. "operation": "change"
  1866. },
  1867. "Op0434": {
  1868. "key": 2215,
  1869. "newKey": 3279,
  1870. "operation": "change"
  1871. },
  1872. "Op0435": {
  1873. "key": 125,
  1874. "operation": "insert"
  1875. },
  1876. "Op0436": {
  1877. "key": 3896,
  1878. "operation": "insert"
  1879. },
  1880. "Op0437": {
  1881. "operation": "removeMax"
  1882. },
  1883. "Op0438": {
  1884. "key": 125,
  1885. "operation": "removeKey"
  1886. },
  1887. "Op0439": {
  1888. "key": 3279,
  1889. "newKey": 2618,
  1890. "operation": "change"
  1891. },
  1892. "Op0440": {
  1893. "key": 2618,
  1894. "newKey": 3959,
  1895. "operation": "change"
  1896. },
  1897. "Op0441": {
  1898. "key": 3896,
  1899. "newKey": 4538,
  1900. "operation": "change"
  1901. },
  1902. "Op0442": {
  1903. "key": 3959,
  1904. "newKey": 227,
  1905. "operation": "change"
  1906. },
  1907. "Op0443": {
  1908. "key": 227,
  1909. "newKey": 2769,
  1910. "operation": "change"
  1911. },
  1912. "Op0444": {
  1913. "key": 4179,
  1914. "operation": "insert"
  1915. },
  1916. "Op0445": {
  1917. "operation": "removeMax"
  1918. },
  1919. "Op0446": {
  1920. "key": 2769,
  1921. "newKey": 3997,
  1922. "operation": "change"
  1923. },
  1924. "Op0447": {
  1925. "key": 2215,
  1926. "operation": "insert"
  1927. },
  1928. "Op0448": {
  1929. "operation": "removeMax"
  1930. },
  1931. "Op0449": {
  1932. "key": 2215,
  1933. "newKey": 3460,
  1934. "operation": "change"
  1935. },
  1936. "Op0450": {
  1937. "key": 3460,
  1938. "newKey": 3586,
  1939. "operation": "change"
  1940. },
  1941. "Op0451": {
  1942. "key": 3586,
  1943. "newKey": 3492,
  1944. "operation": "change"
  1945. },
  1946. "Op0452": {
  1947. "key": 3492,
  1948. "newKey": 2303,
  1949. "operation": "change"
  1950. },
  1951. "Op0453": {
  1952. "key": 2303,
  1953. "newKey": 2667,
  1954. "operation": "change"
  1955. },
  1956. "Op0454": {
  1957. "key": 566,
  1958. "operation": "insert"
  1959. },
  1960. "Op0455": {
  1961. "key": 2064,
  1962. "operation": "insert"
  1963. },
  1964. "Op0456": {
  1965. "key": 3516,
  1966. "operation": "insert"
  1967. },
  1968. "Op0457": {
  1969. "operation": "removeMax"
  1970. },
  1971. "Op0458": {
  1972. "key": 566,
  1973. "newKey": 1702,
  1974. "operation": "change"
  1975. },
  1976. "Op0459": {
  1977. "key": 1702,
  1978. "operation": "removeKey"
  1979. },
  1980. "Op0460": {
  1981. "key": 2064,
  1982. "operation": "removeKey"
  1983. },
  1984. "Op0461": {
  1985. "key": 2667,
  1986. "newKey": 4927,
  1987. "operation": "change"
  1988. },
  1989. "Op0462": {
  1990. "key": 3516,
  1991. "newKey": 819,
  1992. "operation": "change"
  1993. },
  1994. "Op0463": {
  1995. "key": 819,
  1996. "newKey": 1014,
  1997. "operation": "change"
  1998. },
  1999. "Op0464": {
  2000. "key": 1014,
  2001. "newKey": 2329,
  2002. "operation": "change"
  2003. },
  2004. "Op0465": {
  2005. "key": 2329,
  2006. "newKey": 1409,
  2007. "operation": "change"
  2008. },
  2009. "Op0466": {
  2010. "key": 1409,
  2011. "newKey": 2894,
  2012. "operation": "change"
  2013. },
  2014. "Op0467": {
  2015. "key": 2894,
  2016. "newKey": 1250,
  2017. "operation": "change"
  2018. },
  2019. "Op0468": {
  2020. "key": 1250,
  2021. "newKey": 4515,
  2022. "operation": "change"
  2023. },
  2024. "Op0469": {
  2025. "key": 3988,
  2026. "newKey": 1087,
  2027. "operation": "change"
  2028. },
  2029. "Op0470": {
  2030. "key": 1087,
  2031. "newKey": 2603,
  2032. "operation": "change"
  2033. },
  2034. "Op0471": {
  2035. "key": 2603,
  2036. "newKey": 3560,
  2037. "operation": "change"
  2038. },
  2039. "Op0472": {
  2040. "key": 3560,
  2041. "newKey": 2053,
  2042. "operation": "change"
  2043. },
  2044. "Op0473": {
  2045. "key": 3046,
  2046. "operation": "insert"
  2047. },
  2048. "Op0474": {
  2049. "operation": "removeMax"
  2050. },
  2051. "Op0475": {
  2052. "key": 2053,
  2053. "newKey": 4128,
  2054. "operation": "change"
  2055. },
  2056. "Op0476": {
  2057. "key": 3046,
  2058. "newKey": 1883,
  2059. "operation": "change"
  2060. },
  2061. "Op0477": {
  2062. "key": 1883,
  2063. "newKey": 1335,
  2064. "operation": "change"
  2065. },
  2066. "Op0478": {
  2067. "key": 3142,
  2068. "operation": "insert"
  2069. },
  2070. "Op0479": {
  2071. "operation": "removeMax"
  2072. },
  2073. "Op0480": {
  2074. "key": 4365,
  2075. "operation": "insert"
  2076. },
  2077. "Op0481": {
  2078. "key": 4976,
  2079. "operation": "insert"
  2080. },
  2081. "Op0482": {
  2082. "key": 4584,
  2083. "operation": "insert"
  2084. },
  2085. "Op0483": {
  2086. "key": 1335,
  2087. "operation": "removeKey"
  2088. },
  2089. "Op0484": {
  2090. "key": 2593,
  2091. "operation": "insert"
  2092. },
  2093. "Op0485": {
  2094. "key": 2593,
  2095. "newKey": 1590,
  2096. "operation": "change"
  2097. },
  2098. "Op0486": {
  2099. "key": 1590,
  2100. "operation": "removeKey"
  2101. },
  2102. "Op0487": {
  2103. "key": 4827,
  2104. "operation": "insert"
  2105. },
  2106. "Op0488": {
  2107. "key": 3142,
  2108. "operation": "removeKey"
  2109. },
  2110. "Op0489": {
  2111. "key": 298,
  2112. "operation": "insert"
  2113. },
  2114. "Op0490": {
  2115. "key": 298,
  2116. "newKey": 1361,
  2117. "operation": "change"
  2118. },
  2119. "Op0491": {
  2120. "key": 1361,
  2121. "operation": "removeKey"
  2122. },
  2123. "Op0492": {
  2124. "key": 3997,
  2125. "operation": "removeKey"
  2126. },
  2127. "Op0493": {
  2128. "key": 4002,
  2129. "operation": "removeKey"
  2130. },
  2131. "Op0494": {
  2132. "key": 4027,
  2133. "newKey": 1653,
  2134. "operation": "change"
  2135. },
  2136. "Op0495": {
  2137. "key": 4857,
  2138. "operation": "insert"
  2139. },
  2140. "Op0496": {
  2141. "key": 1653,
  2142. "newKey": 3283,
  2143. "operation": "change"
  2144. },
  2145. "Op0497": {
  2146. "key": 3283,
  2147. "operation": "removeKey"
  2148. },
  2149. "Op0498": {
  2150. "key": 4970,
  2151. "operation": "insert"
  2152. },
  2153. "Op0499": {
  2154. "operation": "removeMax"
  2155. },
  2156. "Op0500": {
  2157. "key": 4128,
  2158. "newKey": 4205,
  2159. "operation": "change"
  2160. },
  2161. "Op0501": {
  2162. "key": 4140,
  2163. "newKey": 138,
  2164. "operation": "change"
  2165. },
  2166. "Op0502": {
  2167. "key": 138,
  2168. "newKey": 4477,
  2169. "operation": "change"
  2170. },
  2171. "Op0503": {
  2172. "key": 4164,
  2173. "newKey": 795,
  2174. "operation": "change"
  2175. },
  2176. "Op0504": {
  2177. "key": 795,
  2178. "newKey": 1986,
  2179. "operation": "change"
  2180. },
  2181. "Op0505": {
  2182. "key": 1986,
  2183. "newKey": 1309,
  2184. "operation": "change"
  2185. },
  2186. "Op0506": {
  2187. "key": 1309,
  2188. "newKey": 3716,
  2189. "operation": "change"
  2190. },
  2191. "Op0507": {
  2192. "key": 4058,
  2193. "operation": "insert"
  2194. },
  2195. "Op0508": {
  2196. "operation": "removeMax"
  2197. },
  2198. "Op0509": {
  2199. "key": 2721,
  2200. "operation": "insert"
  2201. },
  2202. "Op0510": {
  2203. "key": 2721,
  2204. "operation": "removeKey"
  2205. },
  2206. "Op0511": {
  2207. "key": 3716,
  2208. "newKey": 3283,
  2209. "operation": "change"
  2210. },
  2211. "Op0512": {
  2212. "key": 47,
  2213. "operation": "insert"
  2214. },
  2215. "Op0513": {
  2216. "key": 47,
  2217. "newKey": 2961,
  2218. "operation": "change"
  2219. },
  2220. "Op0514": {
  2221. "key": 2961,
  2222. "newKey": 3642,
  2223. "operation": "change"
  2224. },
  2225. "Op0515": {
  2226. "operation": "removeMax"
  2227. },
  2228. "Op0516": {
  2229. "key": 3283,
  2230. "newKey": 3462,
  2231. "operation": "change"
  2232. },
  2233. "Op0517": {
  2234. "key": 977,
  2235. "operation": "insert"
  2236. },
  2237. "Op0518": {
  2238. "key": 2136,
  2239. "operation": "insert"
  2240. },
  2241. "Op0519": {
  2242. "key": 1972,
  2243. "operation": "insert"
  2244. },
  2245. "Op0520": {
  2246. "key": 988,
  2247. "operation": "insert"
  2248. },
  2249. "Op0521": {
  2250. "operation": "removeMax"
  2251. },
  2252. "Op0522": {
  2253. "operation": "removeMax"
  2254. },
  2255. "Op0523": {
  2256. "key": 977,
  2257. "operation": "removeKey"
  2258. },
  2259. "Op0524": {
  2260. "key": 988,
  2261. "newKey": 1691,
  2262. "operation": "change"
  2263. },
  2264. "Op0525": {
  2265. "key": 1691,
  2266. "newKey": 2286,
  2267. "operation": "change"
  2268. },
  2269. "Op0526": {
  2270. "key": 2307,
  2271. "operation": "insert"
  2272. },
  2273. "Op0527": {
  2274. "key": 1972,
  2275. "newKey": 2180,
  2276. "operation": "change"
  2277. },
  2278. "Op0528": {
  2279. "key": 4603,
  2280. "operation": "insert"
  2281. },
  2282. "Op0529": {
  2283. "key": 2136,
  2284. "newKey": 4908,
  2285. "operation": "change"
  2286. },
  2287. "Op0530": {
  2288. "key": 2180,
  2289. "operation": "removeKey"
  2290. },
  2291. "Op0531": {
  2292. "key": 801,
  2293. "operation": "insert"
  2294. },
  2295. "Op0532": {
  2296. "key": 801,
  2297. "operation": "removeKey"
  2298. },
  2299. "Op0533": {
  2300. "operation": "removeMax"
  2301. },
  2302. "Op0534": {
  2303. "key": 2286,
  2304. "newKey": 2200,
  2305. "operation": "change"
  2306. },
  2307. "Op0535": {
  2308. "key": 2200,
  2309. "operation": "removeKey"
  2310. },
  2311. "Op0536": {
  2312. "key": 2307,
  2313. "newKey": 336,
  2314. "operation": "change"
  2315. },
  2316. "Op0537": {
  2317. "key": 336,
  2318. "newKey": 1676,
  2319. "operation": "change"
  2320. },
  2321. "Op0538": {
  2322. "key": 563,
  2323. "operation": "insert"
  2324. },
  2325. "Op0539": {
  2326. "operation": "removeMax"
  2327. },
  2328. "Op0540": {
  2329. "key": 563,
  2330. "newKey": 4204,
  2331. "operation": "change"
  2332. },
  2333. "Op0541": {
  2334. "key": 1676,
  2335. "newKey": 1405,
  2336. "operation": "change"
  2337. },
  2338. "Op0542": {
  2339. "key": 1405,
  2340. "newKey": 1066,
  2341. "operation": "change"
  2342. },
  2343. "Op0543": {
  2344. "key": 1066,
  2345. "newKey": 2076,
  2346. "operation": "change"
  2347. },
  2348. "Op0544": {
  2349. "key": 2076,
  2350. "newKey": 2209,
  2351. "operation": "change"
  2352. },
  2353. "Op0545": {
  2354. "key": 2209,
  2355. "newKey": 2577,
  2356. "operation": "change"
  2357. },
  2358. "Op0546": {
  2359. "key": 4865,
  2360. "operation": "insert"
  2361. },
  2362. "Op0547": {
  2363. "key": 2577,
  2364. "newKey": 276,
  2365. "operation": "change"
  2366. },
  2367. "Op0548": {
  2368. "operation": "removeMax"
  2369. },
  2370. "Op0549": {
  2371. "key": 3840,
  2372. "operation": "insert"
  2373. },
  2374. "Op0550": {
  2375. "operation": "removeMax"
  2376. },
  2377. "Op0551": {
  2378. "key": 1671,
  2379. "operation": "insert"
  2380. },
  2381. "Op0552": {
  2382. "key": 4728,
  2383. "operation": "insert"
  2384. },
  2385. "Op0553": {
  2386. "key": 2326,
  2387. "operation": "insert"
  2388. },
  2389. "Op0554": {
  2390. "key": 276,
  2391. "operation": "removeKey"
  2392. },
  2393. "Op0555": {
  2394. "key": 1671,
  2395. "newKey": 577,
  2396. "operation": "change"
  2397. },
  2398. "Op0556": {
  2399. "key": 577,
  2400. "newKey": 1553,
  2401. "operation": "change"
  2402. },
  2403. "Op0557": {
  2404. "key": 1553,
  2405. "operation": "removeKey"
  2406. },
  2407. "Op0558": {
  2408. "key": 2326,
  2409. "newKey": 4377,
  2410. "operation": "change"
  2411. },
  2412. "Op0559": {
  2413. "operation": "removeMax"
  2414. },
  2415. "Op0560": {
  2416. "key": 1872,
  2417. "operation": "insert"
  2418. },
  2419. "Op0561": {
  2420. "key": 1872,
  2421. "newKey": 4513,
  2422. "operation": "change"
  2423. },
  2424. "Op0562": {
  2425. "key": 1932,
  2426. "operation": "insert"
  2427. },
  2428. "Op0563": {
  2429. "key": 1932,
  2430. "operation": "removeKey"
  2431. },
  2432. "Op0564": {
  2433. "operation": "removeMax"
  2434. },
  2435. "Op0565": {
  2436. "key": 3462,
  2437. "newKey": 3703,
  2438. "operation": "change"
  2439. },
  2440. "Op0566": {
  2441. "key": 3642,
  2442. "newKey": 4225,
  2443. "operation": "change"
  2444. },
  2445. "Op0567": {
  2446. "key": 3703,
  2447. "newKey": 2761,
  2448. "operation": "change"
  2449. },
  2450. "Op0568": {
  2451. "key": 2761,
  2452. "newKey": 2221,
  2453. "operation": "change"
  2454. },
  2455. "Op0569": {
  2456. "key": 2221,
  2457. "newKey": 1085,
  2458. "operation": "change"
  2459. },
  2460. "Op0570": {
  2461. "key": 1085,
  2462. "newKey": 3147,
  2463. "operation": "change"
  2464. },
  2465. "Op0571": {
  2466. "key": 3147,
  2467. "newKey": 4699,
  2468. "operation": "change"
  2469. },
  2470. "Op0572": {
  2471. "key": 3840,
  2472. "newKey": 2667,
  2473. "operation": "change"
  2474. },
  2475. "Op0573": {
  2476. "key": 2667,
  2477. "newKey": 1163,
  2478. "operation": "change"
  2479. },
  2480. "Op0574": {
  2481. "key": 1163,
  2482. "newKey": 4736,
  2483. "operation": "change"
  2484. },
  2485. "Op0575": {
  2486. "key": 4058,
  2487. "newKey": 767,
  2488. "operation": "change"
  2489. },
  2490. "Op0576": {
  2491. "key": 547,
  2492. "operation": "insert"
  2493. },
  2494. "Op0577": {
  2495. "key": 547,
  2496. "newKey": 4291,
  2497. "operation": "change"
  2498. },
  2499. "Op0578": {
  2500. "operation": "removeMax"
  2501. },
  2502. "Op0579": {
  2503. "key": 767,
  2504. "newKey": 1167,
  2505. "operation": "change"
  2506. },
  2507. "Op0580": {
  2508. "key": 1167,
  2509. "newKey": 1078,
  2510. "operation": "change"
  2511. },
  2512. "Op0581": {
  2513. "key": 1078,
  2514. "newKey": 2068,
  2515. "operation": "change"
  2516. },
  2517. "Op0582": {
  2518. "key": 2068,
  2519. "newKey": 216,
  2520. "operation": "change"
  2521. },
  2522. "Op0583": {
  2523. "key": 216,
  2524. "newKey": 2120,
  2525. "operation": "change"
  2526. },
  2527. "Op0584": {
  2528. "key": 2120,
  2529. "newKey": 2611,
  2530. "operation": "change"
  2531. },
  2532. "Op0585": {
  2533. "key": 2611,
  2534. "newKey": 86,
  2535. "operation": "change"
  2536. },
  2537. "Op0586": {
  2538. "key": 86,
  2539. "newKey": 2367,
  2540. "operation": "change"
  2541. },
  2542. "Op0587": {
  2543. "key": 2367,
  2544. "newKey": 323,
  2545. "operation": "change"
  2546. },
  2547. "Op0588": {
  2548. "key": 1458,
  2549. "operation": "insert"
  2550. },
  2551. "Op0589": {
  2552. "operation": "removeMax"
  2553. },
  2554. "Op0590": {
  2555. "key": 323,
  2556. "newKey": 3588,
  2557. "operation": "change"
  2558. },
  2559. "Op0591": {
  2560. "key": 925,
  2561. "operation": "insert"
  2562. },
  2563. "Op0592": {
  2564. "key": 925,
  2565. "newKey": 3365,
  2566. "operation": "change"
  2567. },
  2568. "Op0593": {
  2569. "key": 3822,
  2570. "operation": "insert"
  2571. },
  2572. "Op0594": {
  2573. "key": 1458,
  2574. "operation": "removeKey"
  2575. },
  2576. "Op0595": {
  2577. "key": 3365,
  2578. "operation": "removeKey"
  2579. },
  2580. "Op0596": {
  2581. "key": 3588,
  2582. "newKey": 3993,
  2583. "operation": "change"
  2584. },
  2585. "Op0597": {
  2586. "key": 193,
  2587. "operation": "insert"
  2588. },
  2589. "Op0598": {
  2590. "operation": "removeMax"
  2591. },
  2592. "Op0599": {
  2593. "key": 193,
  2594. "newKey": 1828,
  2595. "operation": "change"
  2596. },
  2597. "Op0600": {
  2598. "key": 1828,
  2599. "newKey": 1450,
  2600. "operation": "change"
  2601. },
  2602. "Op0601": {
  2603. "key": 1450,
  2604. "newKey": 1898,
  2605. "operation": "change"
  2606. },
  2607. "Op0602": {
  2608. "key": 1898,
  2609. "newKey": 122,
  2610. "operation": "change"
  2611. },
  2612. "Op0603": {
  2613. "key": 122,
  2614. "newKey": 626,
  2615. "operation": "change"
  2616. },
  2617. "Op0604": {
  2618. "key": 626,
  2619. "newKey": 1859,
  2620. "operation": "change"
  2621. },
  2622. "Op0605": {
  2623. "key": 1859,
  2624. "newKey": 2060,
  2625. "operation": "change"
  2626. },
  2627. "Op0606": {
  2628. "key": 3491,
  2629. "operation": "insert"
  2630. },
  2631. "Op0607": {
  2632. "key": 2060,
  2633. "operation": "removeKey"
  2634. },
  2635. "Op0608": {
  2636. "key": 3491,
  2637. "newKey": 555,
  2638. "operation": "change"
  2639. },
  2640. "Op0609": {
  2641. "key": 555,
  2642. "newKey": 343,
  2643. "operation": "change"
  2644. },
  2645. "Op0610": {
  2646. "key": 3756,
  2647. "operation": "insert"
  2648. },
  2649. "Op0611": {
  2650. "operation": "removeMax"
  2651. },
  2652. "Op0612": {
  2653. "key": 343,
  2654. "newKey": 2528,
  2655. "operation": "change"
  2656. },
  2657. "Op0613": {
  2658. "key": 2528,
  2659. "newKey": 4854,
  2660. "operation": "change"
  2661. },
  2662. "Op0614": {
  2663. "key": 3756,
  2664. "newKey": 779,
  2665. "operation": "change"
  2666. },
  2667. "Op0615": {
  2668. "key": 779,
  2669. "newKey": 761,
  2670. "operation": "change"
  2671. },
  2672. "Op0616": {
  2673. "key": 761,
  2674. "newKey": 2881,
  2675. "operation": "change"
  2676. },
  2677. "Op0617": {
  2678. "key": 2881,
  2679. "newKey": 2295,
  2680. "operation": "change"
  2681. },
  2682. "Op0618": {
  2683. "key": 4892,
  2684. "operation": "insert"
  2685. },
  2686. "Op0619": {
  2687. "operation": "removeMax"
  2688. },
  2689. "Op0620": {
  2690. "key": 2295,
  2691. "newKey": 1622,
  2692. "operation": "change"
  2693. },
  2694. "Op0621": {
  2695. "key": 1622,
  2696. "newKey": 3325,
  2697. "operation": "change"
  2698. },
  2699. "Op0622": {
  2700. "key": 3325,
  2701. "newKey": 3283,
  2702. "operation": "change"
  2703. },
  2704. "Op0623": {
  2705. "key": 1838,
  2706. "operation": "insert"
  2707. },
  2708. "Op0624": {
  2709. "key": 1838,
  2710. "newKey": 2890,
  2711. "operation": "change"
  2712. },
  2713. "Op0625": {
  2714. "key": 2890,
  2715. "newKey": 4254,
  2716. "operation": "change"
  2717. },
  2718. "Op0626": {
  2719. "key": 3283,
  2720. "operation": "removeKey"
  2721. },
  2722. "Op0627": {
  2723. "key": 4717,
  2724. "operation": "insert"
  2725. },
  2726. "Op0628": {
  2727. "key": 3822,
  2728. "operation": "removeKey"
  2729. },
  2730. "Op0629": {
  2731. "key": 3993,
  2732. "newKey": 4804,
  2733. "operation": "change"
  2734. },
  2735. "Op0630": {
  2736. "key": 4179,
  2737. "newKey": 82,
  2738. "operation": "change"
  2739. },
  2740. "Op0631": {
  2741. "key": 82,
  2742. "newKey": 3602,
  2743. "operation": "change"
  2744. },
  2745. "Op0632": {
  2746. "key": 3602,
  2747. "newKey": 2621,
  2748. "operation": "change"
  2749. },
  2750. "Op0633": {
  2751. "key": 2621,
  2752. "newKey": 468,
  2753. "operation": "change"
  2754. },
  2755. "Op0634": {
  2756. "key": 468,
  2757. "newKey": 2574,
  2758. "operation": "change"
  2759. },
  2760. "Op0635": {
  2761. "key": 2574,
  2762. "newKey": 3354,
  2763. "operation": "change"
  2764. },
  2765. "Op0636": {
  2766. "key": 2187,
  2767. "operation": "insert"
  2768. },
  2769. "Op0637": {
  2770. "operation": "removeMax"
  2771. },
  2772. "Op0638": {
  2773. "key": 1516,
  2774. "operation": "insert"
  2775. },
  2776. "Op0639": {
  2777. "key": 1516,
  2778. "operation": "removeKey"
  2779. },
  2780. "Op0640": {
  2781. "key": 2187,
  2782. "newKey": 1923,
  2783. "operation": "change"
  2784. },
  2785. "Op0641": {
  2786. "key": 2178,
  2787. "operation": "insert"
  2788. },
  2789. "Op0642": {
  2790. "key": 1923,
  2791. "newKey": 2494,
  2792. "operation": "change"
  2793. },
  2794. "Op0643": {
  2795. "key": 2178,
  2796. "operation": "removeKey"
  2797. },
  2798. "Op0644": {
  2799. "key": 2494,
  2800. "newKey": 4976,
  2801. "operation": "change"
  2802. },
  2803. "Op0645": {
  2804. "key": 4105,
  2805. "operation": "insert"
  2806. },
  2807. "Op0646": {
  2808. "operation": "removeMax"
  2809. },
  2810. "Op0647": {
  2811. "key": 3354,
  2812. "newKey": 650,
  2813. "operation": "change"
  2814. },
  2815. "Op0648": {
  2816. "key": 650,
  2817. "newKey": 689,
  2818. "operation": "change"
  2819. },
  2820. "Op0649": {
  2821. "key": 1614,
  2822. "operation": "insert"
  2823. },
  2824. "Op0650": {
  2825. "key": 3402,
  2826. "operation": "insert"
  2827. },
  2828. "Op0651": {
  2829. "key": 689,
  2830. "newKey": 3388,
  2831. "operation": "change"
  2832. },
  2833. "Op0652": {
  2834. "operation": "removeMax"
  2835. },
  2836. "Op0653": {
  2837. "key": 1614,
  2838. "newKey": 1328,
  2839. "operation": "change"
  2840. },
  2841. "Op0654": {
  2842. "key": 3016,
  2843. "operation": "insert"
  2844. },
  2845. "Op0655": {
  2846. "operation": "removeMax"
  2847. },
  2848. "Op0656": {
  2849. "key": 2526,
  2850. "operation": "insert"
  2851. },
  2852. "Op0657": {
  2853. "key": 1328,
  2854. "newKey": 107,
  2855. "operation": "change"
  2856. },
  2857. "Op0658": {
  2858. "operation": "removeMax"
  2859. },
  2860. "Op0659": {
  2861. "key": 107,
  2862. "operation": "removeKey"
  2863. },
  2864. "Op0660": {
  2865. "key": 2526,
  2866. "newKey": 1443,
  2867. "operation": "change"
  2868. },
  2869. "Op0661": {
  2870. "key": 1443,
  2871. "newKey": 2781,
  2872. "operation": "change"
  2873. },
  2874. "Op0662": {
  2875. "key": 2781,
  2876. "newKey": 4006,
  2877. "operation": "change"
  2878. },
  2879. "Op0663": {
  2880. "key": 3016,
  2881. "newKey": 1175,
  2882. "operation": "change"
  2883. },
  2884. "Op0664": {
  2885. "key": 1175,
  2886. "newKey": 3372,
  2887. "operation": "change"
  2888. },
  2889. "Op0665": {
  2890. "key": 3372,
  2891. "newKey": 1458,
  2892. "operation": "change"
  2893. },
  2894. "Op0666": {
  2895. "key": 1458,
  2896. "newKey": 4376,
  2897. "operation": "change"
  2898. },
  2899. "Op0667": {
  2900. "key": 3388,
  2901. "newKey": 4127,
  2902. "operation": "change"
  2903. },
  2904. "Op0668": {
  2905. "key": 408,
  2906. "operation": "insert"
  2907. },
  2908. "Op0669": {
  2909. "operation": "removeMax"
  2910. },
  2911. "Op0670": {
  2912. "key": 408,
  2913. "newKey": 2139,
  2914. "operation": "change"
  2915. },
  2916. "Op0671": {
  2917. "key": 2139,
  2918. "newKey": 3385,
  2919. "operation": "change"
  2920. },
  2921. "Op0672": {
  2922. "key": 3385,
  2923. "newKey": 4045,
  2924. "operation": "change"
  2925. },
  2926. "Op0673": {
  2927. "key": 3219,
  2928. "operation": "insert"
  2929. },
  2930. "Op0674": {
  2931. "key": 2598,
  2932. "operation": "insert"
  2933. },
  2934. "Op0675": {
  2935. "key": 4849,
  2936. "operation": "insert"
  2937. },
  2938. "Op0676": {
  2939. "key": 2598,
  2940. "operation": "removeKey"
  2941. },
  2942. "Op0677": {
  2943. "operation": "removeMax"
  2944. },
  2945. "Op0678": {
  2946. "key": 3219,
  2947. "operation": "removeKey"
  2948. },
  2949. "Op0679": {
  2950. "key": 1490,
  2951. "operation": "insert"
  2952. },
  2953. "Op0680": {
  2954. "key": 1490,
  2955. "newKey": 693,
  2956. "operation": "change"
  2957. },
  2958. "Op0681": {
  2959. "key": 693,
  2960. "operation": "removeKey"
  2961. },
  2962. "Op0682": {
  2963. "key": 3402,
  2964. "newKey": 2555,
  2965. "operation": "change"
  2966. },
  2967. "Op0683": {
  2968. "key": 2555,
  2969. "newKey": 4899,
  2970. "operation": "change"
  2971. },
  2972. "Op0684": {
  2973. "key": 4006,
  2974. "newKey": 4723,
  2975. "operation": "change"
  2976. },
  2977. "Op0685": {
  2978. "key": 4045,
  2979. "newKey": 2073,
  2980. "operation": "change"
  2981. },
  2982. "Op0686": {
  2983. "key": 2073,
  2984. "newKey": 2714,
  2985. "operation": "change"
  2986. },
  2987. "Op0687": {
  2988. "key": 1188,
  2989. "operation": "insert"
  2990. },
  2991. "Op0688": {
  2992. "operation": "removeMax"
  2993. },
  2994. "Op0689": {
  2995. "key": 1188,
  2996. "newKey": 50,
  2997. "operation": "change"
  2998. },
  2999. "Op0690": {
  3000. "key": 1688,
  3001. "operation": "insert"
  3002. },
  3003. "Op0691": {
  3004. "operation": "removeMax"
  3005. },
  3006. "Op0692": {
  3007. "key": 50,
  3008. "newKey": 3532,
  3009. "operation": "change"
  3010. },
  3011. "Op0693": {
  3012. "key": 1688,
  3013. "newKey": 3271,
  3014. "operation": "change"
  3015. },
  3016. "Op0694": {
  3017. "key": 2714,
  3018. "newKey": 3124,
  3019. "operation": "change"
  3020. },
  3021. "Op0695": {
  3022. "key": 3124,
  3023. "newKey": 2221,
  3024. "operation": "change"
  3025. },
  3026. "Op0696": {
  3027. "key": 2687,
  3028. "operation": "insert"
  3029. },
  3030. "Op0697": {
  3031. "key": 2221,
  3032. "newKey": 1707,
  3033. "operation": "change"
  3034. },
  3035. "Op0698": {
  3036. "key": 399,
  3037. "operation": "insert"
  3038. },
  3039. "Op0699": {
  3040. "operation": "removeMax"
  3041. },
  3042. "Op0700": {
  3043. "key": 1619,
  3044. "operation": "insert"
  3045. },
  3046. "Op0701": {
  3047. "key": 399,
  3048. "newKey": 1720,
  3049. "operation": "change"
  3050. },
  3051. "Op0702": {
  3052. "operation": "removeMax"
  3053. },
  3054. "Op0703": {
  3055. "key": 1619,
  3056. "operation": "removeKey"
  3057. },
  3058. "Op0704": {
  3059. "key": 4586,
  3060. "operation": "insert"
  3061. },
  3062. "Op0705": {
  3063. "key": 98,
  3064. "operation": "insert"
  3065. },
  3066. "Op0706": {
  3067. "operation": "removeMax"
  3068. },
  3069. "Op0707": {
  3070. "operation": "removeMax"
  3071. },
  3072. "Op0708": {
  3073. "key": 98,
  3074. "newKey": 3063,
  3075. "operation": "change"
  3076. },
  3077. "Op0709": {
  3078. "key": 1707,
  3079. "newKey": 4763,
  3080. "operation": "change"
  3081. },
  3082. "Op0710": {
  3083. "key": 1720,
  3084. "newKey": 2699,
  3085. "operation": "change"
  3086. },
  3087. "Op0711": {
  3088. "key": 1107,
  3089. "operation": "insert"
  3090. },
  3091. "Op0712": {
  3092. "operation": "removeMax"
  3093. },
  3094. "Op0713": {
  3095. "key": 1107,
  3096. "newKey": 3102,
  3097. "operation": "change"
  3098. },
  3099. "Op0714": {
  3100. "key": 2687,
  3101. "newKey": 1680,
  3102. "operation": "change"
  3103. },
  3104. "Op0715": {
  3105. "key": 1680,
  3106. "newKey": 1470,
  3107. "operation": "change"
  3108. },
  3109. "Op0716": {
  3110. "key": 1470,
  3111. "newKey": 472,
  3112. "operation": "change"
  3113. },
  3114. "Op0717": {
  3115. "key": 472,
  3116. "newKey": 4798,
  3117. "operation": "change"
  3118. },
  3119. "Op0718": {
  3120. "key": 2699,
  3121. "newKey": 676,
  3122. "operation": "change"
  3123. },
  3124. "Op0719": {
  3125. "key": 676,
  3126. "newKey": 513,
  3127. "operation": "change"
  3128. },
  3129. "Op0720": {
  3130. "key": 1847,
  3131. "operation": "insert"
  3132. },
  3133. "Op0721": {
  3134. "key": 513,
  3135. "operation": "removeKey"
  3136. },
  3137. "Op0722": {
  3138. "key": 1847,
  3139. "newKey": 2537,
  3140. "operation": "change"
  3141. },
  3142. "Op0723": {
  3143. "key": 2537,
  3144. "newKey": 3251,
  3145. "operation": "change"
  3146. },
  3147. "Op0724": {
  3148. "key": 3063,
  3149. "newKey": 3383,
  3150. "operation": "change"
  3151. },
  3152. "Op0725": {
  3153. "key": 2770,
  3154. "operation": "insert"
  3155. },
  3156. "Op0726": {
  3157. "key": 2770,
  3158. "newKey": 1575,
  3159. "operation": "change"
  3160. },
  3161. "Op0727": {
  3162. "key": 1575,
  3163. "operation": "removeKey"
  3164. },
  3165. "Op0728": {
  3166. "key": 1266,
  3167. "operation": "insert"
  3168. },
  3169. "Op0729": {
  3170. "operation": "removeMax"
  3171. },
  3172. "Op0730": {
  3173. "key": 4760,
  3174. "operation": "insert"
  3175. },
  3176. "Op0731": {
  3177. "key": 4897,
  3178. "operation": "insert"
  3179. },
  3180. "Op0732": {
  3181. "key": 4988,
  3182. "operation": "insert"
  3183. },
  3184. "Op0733": {
  3185. "operation": "removeMax"
  3186. },
  3187. "Op0734": {
  3188. "key": 1266,
  3189. "newKey": 1904,
  3190. "operation": "change"
  3191. },
  3192. "Op0735": {
  3193. "operation": "removeMax"
  3194. },
  3195. "Op0736": {
  3196. "operation": "removeMax"
  3197. },
  3198. "Op0737": {
  3199. "key": 1904,
  3200. "newKey": 1263,
  3201. "operation": "change"
  3202. },
  3203. "Op0738": {
  3204. "key": 1263,
  3205. "newKey": 291,
  3206. "operation": "change"
  3207. },
  3208. "Op0739": {
  3209. "key": 83,
  3210. "operation": "insert"
  3211. },
  3212. "Op0740": {
  3213. "key": 535,
  3214. "operation": "insert"
  3215. },
  3216. "Op0741": {
  3217. "key": 4050,
  3218. "operation": "insert"
  3219. },
  3220. "Op0742": {
  3221. "key": 83,
  3222. "operation": "removeKey"
  3223. },
  3224. "Op0743": {
  3225. "key": 1097,
  3226. "operation": "insert"
  3227. },
  3228. "Op0744": {
  3229. "operation": "removeMax"
  3230. },
  3231. "Op0745": {
  3232. "operation": "removeMax"
  3233. },
  3234. "Op0746": {
  3235. "operation": "removeMax"
  3236. },
  3237. "Op0747": {
  3238. "key": 3235,
  3239. "operation": "insert"
  3240. },
  3241. "Op0748": {
  3242. "key": 291,
  3243. "operation": "removeKey"
  3244. },
  3245. "Op0749": {
  3246. "key": 535,
  3247. "newKey": 1801,
  3248. "operation": "change"
  3249. },
  3250. "Op0750": {
  3251. "key": 1351,
  3252. "operation": "insert"
  3253. },
  3254. "Op0751": {
  3255. "operation": "removeMax"
  3256. },
  3257. "Op0752": {
  3258. "key": 4354,
  3259. "operation": "insert"
  3260. },
  3261. "Op0753": {
  3262. "key": 1097,
  3263. "newKey": 4421,
  3264. "operation": "change"
  3265. },
  3266. "Op0754": {
  3267. "key": 1351,
  3268. "newKey": 2641,
  3269. "operation": "change"
  3270. },
  3271. "Op0755": {
  3272. "key": 1801,
  3273. "newKey": 3205,
  3274. "operation": "change"
  3275. },
  3276. "Op0756": {
  3277. "operation": "removeMax"
  3278. },
  3279. "Op0757": {
  3280. "key": 2641,
  3281. "newKey": 1843,
  3282. "operation": "change"
  3283. },
  3284. "Op0758": {
  3285. "key": 1843,
  3286. "newKey": 1296,
  3287. "operation": "change"
  3288. },
  3289. "Op0759": {
  3290. "key": 1296,
  3291. "newKey": 370,
  3292. "operation": "change"
  3293. },
  3294. "Op0760": {
  3295. "key": 370,
  3296. "newKey": 2409,
  3297. "operation": "change"
  3298. },
  3299. "Op0761": {
  3300. "key": 2409,
  3301. "newKey": 1341,
  3302. "operation": "change"
  3303. },
  3304. "Op0762": {
  3305. "key": 1341,
  3306. "newKey": 999,
  3307. "operation": "change"
  3308. },
  3309. "Op0763": {
  3310. "key": 999,
  3311. "newKey": 2731,
  3312. "operation": "change"
  3313. },
  3314. "Op0764": {
  3315. "key": 2731,
  3316. "newKey": 2166,
  3317. "operation": "change"
  3318. },
  3319. "Op0765": {
  3320. "key": 2166,
  3321. "newKey": 280,
  3322. "operation": "change"
  3323. },
  3324. "Op0766": {
  3325. "key": 280,
  3326. "newKey": 2166,
  3327. "operation": "change"
  3328. },
  3329. "Op0767": {
  3330. "key": 2166,
  3331. "newKey": 16,
  3332. "operation": "change"
  3333. },
  3334. "Op0768": {
  3335. "key": 22,
  3336. "newKey": 1948,
  3337. "operation": "change"
  3338. },
  3339. "Op0769": {
  3340. "key": 1948,
  3341. "newKey": 2800,
  3342. "operation": "change"
  3343. },
  3344. "Op0770": {
  3345. "key": 2800,
  3346. "newKey": 172,
  3347. "operation": "change"
  3348. },
  3349. "Op0771": {
  3350. "key": 172,
  3351. "newKey": 3034,
  3352. "operation": "change"
  3353. },
  3354. "Op0772": {
  3355. "key": 3034,
  3356. "newKey": 1730,
  3357. "operation": "change"
  3358. },
  3359. "Op0773": {
  3360. "key": 1730,
  3361. "newKey": 811,
  3362. "operation": "change"
  3363. },
  3364. "Op0774": {
  3365. "key": 811,
  3366. "newKey": 2258,
  3367. "operation": "change"
  3368. },
  3369. "Op0775": {
  3370. "key": 4004,
  3371. "operation": "insert"
  3372. },
  3373. "Op0776": {
  3374. "operation": "removeMax"
  3375. },
  3376. "Op0777": {
  3377. "key": 2258,
  3378. "newKey": 324,
  3379. "operation": "change"
  3380. },
  3381. "Op0778": {
  3382. "key": 324,
  3383. "newKey": 2525,
  3384. "operation": "change"
  3385. },
  3386. "Op0779": {
  3387. "key": 2525,
  3388. "newKey": 3600,
  3389. "operation": "change"
  3390. },
  3391. "Op0780": {
  3392. "key": 605,
  3393. "operation": "insert"
  3394. },
  3395. "Op0781": {
  3396. "key": 245,
  3397. "operation": "insert"
  3398. },
  3399. "Op0782": {
  3400. "key": 245,
  3401. "operation": "removeKey"
  3402. },
  3403. "Op0783": {
  3404. "key": 605,
  3405. "newKey": 2801,
  3406. "operation": "change"
  3407. },
  3408. "Op0784": {
  3409. "operation": "removeMax"
  3410. },
  3411. "Op0785": {
  3412. "key": 2801,
  3413. "newKey": 3790,
  3414. "operation": "change"
  3415. },
  3416. "Op0786": {
  3417. "key": 3102,
  3418. "newKey": 2953,
  3419. "operation": "change"
  3420. },
  3421. "Op0787": {
  3422. "key": 2953,
  3423. "newKey": 4710,
  3424. "operation": "change"
  3425. },
  3426. "Op0788": {
  3427. "key": 3205,
  3428. "newKey": 2338,
  3429. "operation": "change"
  3430. },
  3431. "Op0789": {
  3432. "key": 2338,
  3433. "newKey": 4706,
  3434. "operation": "change"
  3435. },
  3436. "Op0790": {
  3437. "key": 383,
  3438. "operation": "insert"
  3439. },
  3440. "Op0791": {
  3441. "key": 2046,
  3442. "operation": "insert"
  3443. },
  3444. "Op0792": {
  3445. "key": 1032,
  3446. "operation": "insert"
  3447. },
  3448. "Op0793": {
  3449. "operation": "removeMax"
  3450. },
  3451. "Op0794": {
  3452. "operation": "removeMax"
  3453. },
  3454. "Op0795": {
  3455. "key": 383,
  3456. "operation": "removeKey"
  3457. },
  3458. "Op0796": {
  3459. "key": 1032,
  3460. "newKey": 1930,
  3461. "operation": "change"
  3462. },
  3463. "Op0797": {
  3464. "key": 1930,
  3465. "newKey": 2199,
  3466. "operation": "change"
  3467. },
  3468. "Op0798": {
  3469. "key": 4772,
  3470. "operation": "insert"
  3471. },
  3472. "Op0799": {
  3473. "key": 3287,
  3474. "operation": "insert"
  3475. },
  3476. "Op0800": {
  3477. "key": 2046,
  3478. "operation": "removeKey"
  3479. },
  3480. "Op0801": {
  3481. "key": 2199,
  3482. "newKey": 2839,
  3483. "operation": "change"
  3484. },
  3485. "Op0802": {
  3486. "operation": "removeMax"
  3487. },
  3488. "Op0803": {
  3489. "key": 2839,
  3490. "newKey": 4925,
  3491. "operation": "change"
  3492. },
  3493. "Op0804": {
  3494. "key": 2766,
  3495. "operation": "insert"
  3496. },
  3497. "Op0805": {
  3498. "key": 4899,
  3499. "operation": "insert"
  3500. },
  3501. "Op0806": {
  3502. "operation": "removeMax"
  3503. },
  3504. "Op0807": {
  3505. "key": 2766,
  3506. "operation": "removeKey"
  3507. },
  3508. "Op0808": {
  3509. "key": 3235,
  3510. "newKey": 2833,
  3511. "operation": "change"
  3512. },
  3513. "Op0809": {
  3514. "key": 3332,
  3515. "operation": "insert"
  3516. },
  3517. "Op0810": {
  3518. "key": 2833,
  3519. "newKey": 2347,
  3520. "operation": "change"
  3521. },
  3522. "Op0811": {
  3523. "key": 4958,
  3524. "operation": "insert"
  3525. },
  3526. "Op0812": {
  3527. "operation": "removeMax"
  3528. },
  3529. "Op0813": {
  3530. "key": 2347,
  3531. "newKey": 4905,
  3532. "operation": "change"
  3533. },
  3534. "Op0814": {
  3535. "key": 3689,
  3536. "operation": "insert"
  3537. },
  3538. "Op0815": {
  3539. "key": 3251,
  3540. "newKey": 387,
  3541. "operation": "change"
  3542. },
  3543. "Op0816": {
  3544. "key": 4579,
  3545. "operation": "insert"
  3546. },
  3547. "Op0817": {
  3548. "key": 387,
  3549. "newKey": 1696,
  3550. "operation": "change"
  3551. },
  3552. "Op0818": {
  3553. "key": 1878,
  3554. "operation": "insert"
  3555. },
  3556. "Op0819": {
  3557. "operation": "removeMax"
  3558. },
  3559. "Op0820": {
  3560. "operation": "removeMax"
  3561. },
  3562. "Op0821": {
  3563. "operation": "removeMax"
  3564. },
  3565. "Op0822": {
  3566. "operation": "removeMax"
  3567. },
  3568. "Op0823": {
  3569. "key": 1696,
  3570. "newKey": 787,
  3571. "operation": "change"
  3572. },
  3573. "Op0824": {
  3574. "key": 787,
  3575. "newKey": 1030,
  3576. "operation": "change"
  3577. },
  3578. "Op0825": {
  3579. "key": 1030,
  3580. "newKey": 4610,
  3581. "operation": "change"
  3582. },
  3583. "Op0826": {
  3584. "key": 1878,
  3585. "newKey": 3699,
  3586. "operation": "change"
  3587. },
  3588. "Op0827": {
  3589. "key": 1739,
  3590. "operation": "insert"
  3591. },
  3592. "Op0828": {
  3593. "key": 1902,
  3594. "operation": "insert"
  3595. },
  3596. "Op0829": {
  3597. "key": 1413,
  3598. "operation": "insert"
  3599. },
  3600. "Op0830": {
  3601. "key": 1413,
  3602. "newKey": 4207,
  3603. "operation": "change"
  3604. },
  3605. "Op0831": {
  3606. "key": 1739,
  3607. "newKey": 2560,
  3608. "operation": "change"
  3609. },
  3610. "Op0832": {
  3611. "key": 1902,
  3612. "operation": "removeKey"
  3613. },
  3614. "Op0833": {
  3615. "key": 2560,
  3616. "operation": "removeKey"
  3617. },
  3618. "Op0834": {
  3619. "key": 3268,
  3620. "operation": "insert"
  3621. },
  3622. "Op0835": {
  3623. "key": 2694,
  3624. "operation": "insert"
  3625. },
  3626. "Op0836": {
  3627. "key": 2694,
  3628. "operation": "removeKey"
  3629. },
  3630. "Op0837": {
  3631. "key": 3268,
  3632. "operation": "removeKey"
  3633. },
  3634. "Op0838": {
  3635. "key": 2851,
  3636. "operation": "insert"
  3637. },
  3638. "Op0839": {
  3639. "operation": "removeMax"
  3640. },
  3641. "Op0840": {
  3642. "key": 2851,
  3643. "newKey": 4807,
  3644. "operation": "change"
  3645. },
  3646. "Op0841": {
  3647. "key": 3271,
  3648. "operation": "removeKey"
  3649. },
  3650. "Op0842": {
  3651. "key": 3287,
  3652. "newKey": 4192,
  3653. "operation": "change"
  3654. },
  3655. "Op0843": {
  3656. "key": 3332,
  3657. "newKey": 1737,
  3658. "operation": "change"
  3659. },
  3660. "Op0844": {
  3661. "key": 1737,
  3662. "newKey": 4608,
  3663. "operation": "change"
  3664. },
  3665. "Op0845": {
  3666. "key": 3383,
  3667. "newKey": 3376,
  3668. "operation": "change"
  3669. },
  3670. "Op0846": {
  3671. "key": 3376,
  3672. "newKey": 3649,
  3673. "operation": "change"
  3674. },
  3675. "Op0847": {
  3676. "key": 3532,
  3677. "newKey": 4873,
  3678. "operation": "change"
  3679. },
  3680. "Op0848": {
  3681. "key": 3852,
  3682. "operation": "insert"
  3683. },
  3684. "Op0849": {
  3685. "key": 3600,
  3686. "operation": "removeKey"
  3687. },
  3688. "Op0850": {
  3689. "key": 3125,
  3690. "operation": "insert"
  3691. },
  3692. "Op0851": {
  3693. "key": 3125,
  3694. "operation": "removeKey"
  3695. },
  3696. "Op0852": {
  3697. "key": 3649,
  3698. "newKey": 4919,
  3699. "operation": "change"
  3700. },
  3701. "Op0853": {
  3702. "key": 3689,
  3703. "newKey": 550,
  3704. "operation": "change"
  3705. },
  3706. "Op0854": {
  3707. "key": 550,
  3708. "newKey": 4484,
  3709. "operation": "change"
  3710. },
  3711. "Op0855": {
  3712. "key": 3306,
  3713. "operation": "insert"
  3714. },
  3715. "Op0856": {
  3716. "key": 2605,
  3717. "operation": "insert"
  3718. },
  3719. "Op0857": {
  3720. "key": 3728,
  3721. "operation": "insert"
  3722. },
  3723. "Op0858": {
  3724. "key": 2605,
  3725. "newKey": 4209,
  3726. "operation": "change"
  3727. },
  3728. "Op0859": {
  3729. "key": 3306,
  3730. "operation": "removeKey"
  3731. },
  3732. "Op0860": {
  3733. "operation": "removeMax"
  3734. },
  3735. "Op0861": {
  3736. "key": 3699,
  3737. "operation": "removeKey"
  3738. },
  3739. "Op0862": {
  3740. "key": 4629,
  3741. "operation": "insert"
  3742. },
  3743. "Op0863": {
  3744. "key": 3688,
  3745. "operation": "insert"
  3746. },
  3747. "Op0864": {
  3748. "operation": "removeMax"
  3749. },
  3750. "Op0865": {
  3751. "key": 3688,
  3752. "operation": "removeKey"
  3753. },
  3754. "Op0866": {
  3755. "key": 3728,
  3756. "newKey": 3119,
  3757. "operation": "change"
  3758. },
  3759. "Op0867": {
  3760. "key": 3119,
  3761. "newKey": 4137,
  3762. "operation": "change"
  3763. },
  3764. "Op0868": {
  3765. "key": 3790,
  3766. "newKey": 2649,
  3767. "operation": "change"
  3768. },
  3769. "Op0869": {
  3770. "key": 2649,
  3771. "newKey": 3859,
  3772. "operation": "change"
  3773. },
  3774. "Op0870": {
  3775. "key": 3852,
  3776. "newKey": 393,
  3777. "operation": "change"
  3778. },
  3779. "Op0871": {
  3780. "key": 393,
  3781. "newKey": 4773,
  3782. "operation": "change"
  3783. },
  3784. "Op0872": {
  3785. "key": 2225,
  3786. "operation": "insert"
  3787. },
  3788. "Op0873": {
  3789. "key": 2225,
  3790. "newKey": 1349,
  3791. "operation": "change"
  3792. },
  3793. "Op0874": {
  3794. "operation": "removeMax"
  3795. },
  3796. "Op0875": {
  3797. "key": 1349,
  3798. "newKey": 1988,
  3799. "operation": "change"
  3800. },
  3801. "Op0876": {
  3802. "key": 1988,
  3803. "newKey": 824,
  3804. "operation": "change"
  3805. },
  3806. "Op0877": {
  3807. "key": 824,
  3808. "newKey": 1655,
  3809. "operation": "change"
  3810. },
  3811. "Op0878": {
  3812. "key": 1655,
  3813. "newKey": 817,
  3814. "operation": "change"
  3815. },
  3816. "Op0879": {
  3817. "key": 817,
  3818. "newKey": 639,
  3819. "operation": "change"
  3820. },
  3821. "Op0880": {
  3822. "key": 639,
  3823. "newKey": 1151,
  3824. "operation": "change"
  3825. },
  3826. "Op0881": {
  3827. "key": 3998,
  3828. "operation": "insert"
  3829. },
  3830. "Op0882": {
  3831. "key": 1151,
  3832. "newKey": 4916,
  3833. "operation": "change"
  3834. },
  3835. "Op0883": {
  3836. "key": 4852,
  3837. "operation": "insert"
  3838. },
  3839. "Op0884": {
  3840. "key": 282,
  3841. "operation": "insert"
  3842. },
  3843. "Op0885": {
  3844. "key": 788,
  3845. "operation": "insert"
  3846. },
  3847. "Op0886": {
  3848. "operation": "removeMax"
  3849. },
  3850. "Op0887": {
  3851. "key": 1538,
  3852. "operation": "insert"
  3853. },
  3854. "Op0888": {
  3855. "key": 1970,
  3856. "operation": "insert"
  3857. },
  3858. "Op0889": {
  3859. "key": 282,
  3860. "newKey": 1384,
  3861. "operation": "change"
  3862. },
  3863. "Op0890": {
  3864. "key": 788,
  3865. "operation": "removeKey"
  3866. },
  3867. "Op0891": {
  3868. "operation": "removeMax"
  3869. },
  3870. "Op0892": {
  3871. "key": 1384,
  3872. "operation": "removeKey"
  3873. },
  3874. "Op0893": {
  3875. "key": 1538,
  3876. "operation": "removeKey"
  3877. },
  3878. "Op0894": {
  3879. "key": 1970,
  3880. "operation": "removeKey"
  3881. },
  3882. "Op0895": {
  3883. "key": 3859,
  3884. "newKey": 2499,
  3885. "operation": "change"
  3886. },
  3887. "Op0896": {
  3888. "key": 2499,
  3889. "newKey": 1436,
  3890. "operation": "change"
  3891. },
  3892. "Op0897": {
  3893. "key": 1436,
  3894. "newKey": 3442,
  3895. "operation": "change"
  3896. },
  3897. "Op0898": {
  3898. "key": 3442,
  3899. "newKey": 350,
  3900. "operation": "change"
  3901. },
  3902. "Op0899": {
  3903. "key": 1176,
  3904. "operation": "insert"
  3905. },
  3906. "Op0900": {
  3907. "operation": "removeMax"
  3908. },
  3909. "Op0901": {
  3910. "key": 350,
  3911. "newKey": 3847,
  3912. "operation": "change"
  3913. },
  3914. "Op0902": {
  3915. "key": 1176,
  3916. "newKey": 4568,
  3917. "operation": "change"
  3918. },
  3919. "Op0903": {
  3920. "key": 3847,
  3921. "newKey": 3985,
  3922. "operation": "change"
  3923. },
  3924. "Op0904": {
  3925. "key": 3985,
  3926. "newKey": 2731,
  3927. "operation": "change"
  3928. },
  3929. "Op0905": {
  3930. "key": 2731,
  3931. "newKey": 712,
  3932. "operation": "change"
  3933. },
  3934. "Op0906": {
  3935. "key": 712,
  3936. "newKey": 3265,
  3937. "operation": "change"
  3938. },
  3939. "Op0907": {
  3940. "key": 1945,
  3941. "operation": "insert"
  3942. },
  3943. "Op0908": {
  3944. "key": 1945,
  3945. "operation": "removeKey"
  3946. },
  3947. "Op0909": {
  3948. "key": 3265,
  3949. "newKey": 170,
  3950. "operation": "change"
  3951. },
  3952. "Op0910": {
  3953. "key": 4842,
  3954. "operation": "insert"
  3955. },
  3956. "Op0911": {
  3957. "key": 170,
  3958. "newKey": 4994,
  3959. "operation": "change"
  3960. },
  3961. "Op0912": {
  3962. "operation": "removeMax"
  3963. },
  3964. "Op0913": {
  3965. "key": 3998,
  3966. "newKey": 1881,
  3967. "operation": "change"
  3968. },
  3969. "Op0914": {
  3970. "key": 1881,
  3971. "newKey": 283,
  3972. "operation": "change"
  3973. },
  3974. "Op0915": {
  3975. "key": 283,
  3976. "newKey": 1097,
  3977. "operation": "change"
  3978. },
  3979. "Op0916": {
  3980. "key": 1097,
  3981. "newKey": 4285,
  3982. "operation": "change"
  3983. },
  3984. "Op0917": {
  3985. "key": 4004,
  3986. "newKey": 2352,
  3987. "operation": "change"
  3988. },
  3989. "Op0918": {
  3990. "key": 2352,
  3991. "newKey": 2972,
  3992. "operation": "change"
  3993. },
  3994. "Op0919": {
  3995. "key": 4482,
  3996. "operation": "insert"
  3997. },
  3998. "Op0920": {
  3999. "key": 2972,
  4000. "operation": "removeKey"
  4001. },
  4002. "Op0921": {
  4003. "key": 2753,
  4004. "operation": "insert"
  4005. },
  4006. "Op0922": {
  4007. "operation": "removeMax"
  4008. },
  4009. "Op0923": {
  4010. "key": 2753,
  4011. "newKey": 2353,
  4012. "operation": "change"
  4013. },
  4014. "Op0924": {
  4015. "key": 2353,
  4016. "newKey": 55,
  4017. "operation": "change"
  4018. },
  4019. "Op0925": {
  4020. "key": 1179,
  4021. "operation": "insert"
  4022. },
  4023. "Op0926": {
  4024. "operation": "removeMax"
  4025. },
  4026. "Op0927": {
  4027. "key": 55,
  4028. "newKey": 3552,
  4029. "operation": "change"
  4030. },
  4031. "Op0928": {
  4032. "key": 1179,
  4033. "newKey": 1866,
  4034. "operation": "change"
  4035. },
  4036. "Op0929": {
  4037. "key": 1866,
  4038. "newKey": 130,
  4039. "operation": "change"
  4040. },
  4041. "Op0930": {
  4042. "key": 130,
  4043. "newKey": 4356,
  4044. "operation": "change"
  4045. },
  4046. "Op0931": {
  4047. "key": 3552,
  4048. "newKey": 4532,
  4049. "operation": "change"
  4050. },
  4051. "Op0932": {
  4052. "key": 4050,
  4053. "newKey": 2374,
  4054. "operation": "change"
  4055. },
  4056. "Op0933": {
  4057. "key": 1388,
  4058. "operation": "insert"
  4059. },
  4060. "Op0934": {
  4061. "key": 1388,
  4062. "operation": "removeKey"
  4063. },
  4064. "Op0935": {
  4065. "key": 2374,
  4066. "newKey": 1139,
  4067. "operation": "change"
  4068. },
  4069. "Op0936": {
  4070. "key": 1139,
  4071. "newKey": 144,
  4072. "operation": "change"
  4073. },
  4074. "Op0937": {
  4075. "key": 121,
  4076. "operation": "insert"
  4077. },
  4078. "Op0938": {
  4079. "key": 121,
  4080. "newKey": 2028,
  4081. "operation": "change"
  4082. },
  4083. "Op0939": {
  4084. "operation": "removeMax"
  4085. },
  4086. "Op0940": {
  4087. "key": 1423,
  4088. "operation": "insert"
  4089. },
  4090. "Op0941": {
  4091. "key": 144,
  4092. "newKey": 2907,
  4093. "operation": "change"
  4094. },
  4095. "Op0942": {
  4096. "key": 1423,
  4097. "operation": "removeKey"
  4098. },
  4099. "Op0943": {
  4100. "key": 2626,
  4101. "operation": "insert"
  4102. },
  4103. "Op0944": {
  4104. "key": 2028,
  4105. "newKey": 4273,
  4106. "operation": "change"
  4107. },
  4108. "Op0945": {
  4109. "operation": "removeMax"
  4110. },
  4111. "Op0946": {
  4112. "key": 2626,
  4113. "newKey": 2087,
  4114. "operation": "change"
  4115. },
  4116. "Op0947": {
  4117. "key": 2087,
  4118. "newKey": 4109,
  4119. "operation": "change"
  4120. },
  4121. "Op0948": {
  4122. "key": 2907,
  4123. "newKey": 4361,
  4124. "operation": "change"
  4125. },
  4126. "Op0949": {
  4127. "key": 4109,
  4128. "newKey": 4448,
  4129. "operation": "change"
  4130. },
  4131. "Op0950": {
  4132. "key": 4137,
  4133. "newKey": 406,
  4134. "operation": "change"
  4135. },
  4136. "Op0951": {
  4137. "key": 406,
  4138. "newKey": 4731,
  4139. "operation": "change"
  4140. },
  4141. "Op0952": {
  4142. "key": 4192,
  4143. "newKey": 477,
  4144. "operation": "change"
  4145. },
  4146. "Op0953": {
  4147. "key": 477,
  4148. "newKey": 674,
  4149. "operation": "change"
  4150. },
  4151. "Op0954": {
  4152. "key": 674,
  4153. "newKey": 4137,
  4154. "operation": "change"
  4155. },
  4156. "Op0955": {
  4157. "key": 4137,
  4158. "newKey": 4859,
  4159. "operation": "change"
  4160. },
  4161. "Op0956": {
  4162. "key": 4207,
  4163. "newKey": 364,
  4164. "operation": "change"
  4165. },
  4166. "Op0957": {
  4167. "key": 4869,
  4168. "operation": "insert"
  4169. },
  4170. "Op0958": {
  4171. "operation": "removeMax"
  4172. },
  4173. "Op0959": {
  4174. "key": 364,
  4175. "newKey": 4715,
  4176. "operation": "change"
  4177. },
  4178. "Op0960": {
  4179. "key": 4209,
  4180. "newKey": 450,
  4181. "operation": "change"
  4182. },
  4183. "Op0961": {
  4184. "key": 3349,
  4185. "operation": "insert"
  4186. },
  4187. "Op0962": {
  4188. "key": 1129,
  4189. "operation": "insert"
  4190. },
  4191. "Op0963": {
  4192. "key": 450,
  4193. "newKey": 2910,
  4194. "operation": "change"
  4195. },
  4196. "Op0964": {
  4197. "key": 1686,
  4198. "operation": "insert"
  4199. },
  4200. "Op0965": {
  4201. "operation": "removeMax"
  4202. },
  4203. "Op0966": {
  4204. "operation": "removeMax"
  4205. },
  4206. "Op0967": {
  4207. "operation": "removeMax"
  4208. },
  4209. "Op0968": {
  4210. "key": 1129,
  4211. "newKey": 3326,
  4212. "operation": "change"
  4213. },
  4214. "Op0969": {
  4215. "key": 1686,
  4216. "newKey": 3232,
  4217. "operation": "change"
  4218. },
  4219. "Op0970": {
  4220. "key": 2910,
  4221. "newKey": 3328,
  4222. "operation": "change"
  4223. },
  4224. "Op0971": {
  4225. "key": 3232,
  4226. "newKey": 1832,
  4227. "operation": "change"
  4228. },
  4229. "Op0972": {
  4230. "key": 504,
  4231. "operation": "insert"
  4232. },
  4233. "Op0973": {
  4234. "operation": "removeMax"
  4235. },
  4236. "Op0974": {
  4237. "key": 504,
  4238. "newKey": 2610,
  4239. "operation": "change"
  4240. },
  4241. "Op0975": {
  4242. "key": 1832,
  4243. "newKey": 2320,
  4244. "operation": "change"
  4245. },
  4246. "Op0976": {
  4247. "key": 2320,
  4248. "newKey": 1674,
  4249. "operation": "change"
  4250. },
  4251. "Op0977": {
  4252. "key": 1674,
  4253. "newKey": 584,
  4254. "operation": "change"
  4255. },
  4256. "Op0978": {
  4257. "key": 584,
  4258. "newKey": 4403,
  4259. "operation": "change"
  4260. },
  4261. "Op0979": {
  4262. "key": 2610,
  4263. "newKey": 3150,
  4264. "operation": "change"
  4265. },
  4266. "Op0980": {
  4267. "key": 4973,
  4268. "operation": "insert"
  4269. },
  4270. "Op0981": {
  4271. "key": 3150,
  4272. "operation": "removeKey"
  4273. },
  4274. "Op0982": {
  4275. "key": 3326,
  4276. "newKey": 1706,
  4277. "operation": "change"
  4278. },
  4279. "Op0983": {
  4280. "key": 1706,
  4281. "newKey": 4154,
  4282. "operation": "change"
  4283. },
  4284. "Op0984": {
  4285. "key": 3328,
  4286. "newKey": 3249,
  4287. "operation": "change"
  4288. },
  4289. "Op0985": {
  4290. "key": 3249,
  4291. "newKey": 788,
  4292. "operation": "change"
  4293. },
  4294. "Op0986": {
  4295. "key": 41,
  4296. "operation": "insert"
  4297. },
  4298. "Op0987": {
  4299. "key": 1763,
  4300. "operation": "insert"
  4301. },
  4302. "Op0988": {
  4303. "key": 1735,
  4304. "operation": "insert"
  4305. },
  4306. "Op0989": {
  4307. "operation": "removeMax"
  4308. },
  4309. "Op0990": {
  4310. "operation": "removeMax"
  4311. },
  4312. "Op0991": {
  4313. "key": 41,
  4314. "operation": "removeKey"
  4315. },
  4316. "Op0992": {
  4317. "key": 788,
  4318. "newKey": 2878,
  4319. "operation": "change"
  4320. },
  4321. "Op0993": {
  4322. "key": 1735,
  4323. "newKey": 223,
  4324. "operation": "change"
  4325. },
  4326. "Op0994": {
  4327. "key": 223,
  4328. "newKey": 1272,
  4329. "operation": "change"
  4330. },
  4331. "Op0995": {
  4332. "key": 4723,
  4333. "operation": "insert"
  4334. },
  4335. "Op0996": {
  4336. "key": 1272,
  4337. "operation": "removeKey"
  4338. },
  4339. "Op0997": {
  4340. "key": 2595,
  4341. "operation": "insert"
  4342. },
  4343. "Op0998": {
  4344. "key": 1763,
  4345. "operation": "removeKey"
  4346. },
  4347. "Op0999": {
  4348. "key": 2595,
  4349. "newKey": 3886,
  4350. "operation": "change"
  4351. },
  4352. "Op1000": {
  4353. "key": 2878,
  4354. "newKey": 4685,
  4355. "operation": "change"
  4356. },
  4357. "metadata": {
  4358. "maxHeapSize": 50,
  4359. "numOperations": 1000
  4360. }
  4361. }