MediumOpsMediumHeap4.json 68 KB

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