MediumOpsMediumHeap0.json 69 KB

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