MediumOpsSmallHeap7.json 71 KB

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