MediumOpsMediumHeap7.json 69 KB

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