MediumOpsMediumHeap5.json 67 KB

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