getprop("ro.product.device") == "lancelot" || abort("E3004: This package is for \"lancelot\" devices; this is a \"" + getprop("ro.product.device") + "\".");
ui_print("Source: Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.5.2.0.RJCCNXM:user/release-keys");
ui_print("Target: Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.5.4.0.RJCCNXM:user/release-keys");
ui_print("Verifying current system...");
getprop("ro.build.fingerprint") == "Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.5.2.0.RJCCNXM:user/release-keys" ||
    getprop("ro.build.fingerprint") == "Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.5.4.0.RJCCNXM:user/release-keys" ||
    abort("E3001: Package expects build fingerprint of Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.5.2.0.RJCCNXM:user/release-keys or Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.5.4.0.RJCCNXM:user/release-keys; this device has " + getprop("ro.build.fingerprint") + ".");
patch_partition_check(concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:ce60c204d3cf47f1a4ef283a53bb4fe118a5acbd"),
                      concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:6a396b143b194c5015d7c5d537d467ff1c3fe782")) ||
    abort(concat("E3005: \"",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:ce60c204d3cf47f1a4ef283a53bb4fe118a5acbd"),"\" or \"",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:6a396b143b194c5015d7c5d537d467ff1c3fe782"),"\" has unexpected contents."));
apply_patch_space(67108864) || abort("E3006: Not enough free space on /cache to apply patches.");
if (range_sha1(map_partition("system"), "516,1,29,42,53,32768,32783,44046,71918,73077,73079,73437,73441,73454,73455,73593,73597,73605,73606,73615,73619,73623,73624,73656,73657,73663,73667,73671,73672,77703,77704,77715,77719,77723,77724,77727,77728,77748,77752,77756,80526,84099,84103,84143,84162,84311,84315,84321,84322,92670,92674,92739,92740,92742,92746,92750,92751,92880,92884,92890,92891,93024,93028,93035,93036,97591,97595,97661,97662,97910,97911,97981,97985,97990,97991,98304,98319,98481,98485,98501,98502,99957,99961,99986,99987,103345,103349,103382,103383,105442,105446,105472,105473,111162,111164,117351,117352,117357,117361,117365,117366,117376,117380,117384,117385,117399,117403,117420,117421,117426,117427,118055,118059,118075,118076,118258,118262,118269,118270,120980,120984,121049,121050,121208,121212,121217,121218,121480,121481,121932,121936,121950,121951,125493,125494,126946,126950,126977,126978,130841,130845,130871,130872,131072,131085,133983,133987,134045,134046,138255,138256,140014,140018,140056,140057,140098,140104,140110,140111,143006,143012,143053,143054,146489,146490,146683,146684,147808,147812,147835,147836,148013,148014,149004,149010,149033,149034,150809,150813,150836,150837,155745,155746,157710,157714,157742,157743,160829,160833,160862,160863,162785,162791,162839,162840,163840,163855,180558,180559,191396,191400,191754,191755,192091,192097,192111,192112,196608,196621,197158,197164,197242,197243,200493,200497,200539,200540,201018,201022,201038,201039,201150,201154,201160,201161,201164,201170,201175,201176,205215,205216,205278,205282,205288,205289,205333,205339,205343,205344,207057,207063,207106,207107,207133,207137,207141,207142,207184,207188,207192,207193,209571,209572,209889,209893,209933,209934,210051,210055,210061,210062,210131,210135,210140,210141,210392,210396,210405,210406,218574,218578,221200,221201,221212,221216,221220,221221,229376,229391,231647,231653,231763,231764,239417,239421,239531,239532,239540,239544,239548,239549,241077,241081,241104,241105,241838,241842,241859,241860,241871,241875,241879,241880,244151,244155,245023,245024,248173,248177,248205,248206,249150,249154,249177,249178,262144,262157,263218,263220,268806,268807,269591,269595,269621,269622,269691,269695,269701,269702,269707,269711,269716,269717,269721,269722,270124,270128,270133,270134,270158,270162,270166,270167,274114,274118,274189,274190,274538,274542,274555,274556,275495,275501,275524,275525,275588,275592,275598,275599,275625,275631,275636,275637,277094,277098,277126,277127,277131,277135,277139,277140,278014,278017,282474,282478,284676,284677,293426,293430,293551,293554,294912,294927,295922,295926,295941,295942,296337,296341,296349,296350,297981,297982,300053,300054,300432,300433,301903,301904,305209,305210,308054,308056,308057,308059,308060,308062,308063,308064,308065,308066,308067,308068,308069,308070,308071,308072,308073,308075,310519,310520,312756,312757,316239,316240,318713,318714,324207,324208,327680,327693,332213,332214,336795,336796,339261,339265,339302,339303,359468,359469,360448,360461,363500,363501,376715,376716,385501,385505,385632,385633,393216,393229,409496,409497,415068,415069,420925,420926,422579,422580,425187,425188,425984,425997,436136,436137,437618,437619,444863,444864,451946,451947,454230,454231,457432,457433,458172,458173,458752,458765,458981,458982,470261,470262,483805,483806,487240,487241,489236,489237,491352,491353,491520,491533,495249,495250,500574,500575,518547,518548,524288,524301,538012,538013,538464,538465,538470,983041,983053,1015809,1015821,1020984,1024047,1040273,1040484,1040485") == "6041b896641313183d21094db2cc90b084bb6610" || block_image_verify(map_partition("system"), package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat")) then
ui_print("Verified system image...");
else
check_first_block(map_partition("system"));
ifelse (block_image_recover(map_partition("system"), "516,1,29,42,53,32768,32783,44046,71918,73077,73079,73437,73441,73454,73455,73593,73597,73605,73606,73615,73619,73623,73624,73656,73657,73663,73667,73671,73672,77703,77704,77715,77719,77723,77724,77727,77728,77748,77752,77756,80526,84099,84103,84143,84162,84311,84315,84321,84322,92670,92674,92739,92740,92742,92746,92750,92751,92880,92884,92890,92891,93024,93028,93035,93036,97591,97595,97661,97662,97910,97911,97981,97985,97990,97991,98304,98319,98481,98485,98501,98502,99957,99961,99986,99987,103345,103349,103382,103383,105442,105446,105472,105473,111162,111164,117351,117352,117357,117361,117365,117366,117376,117380,117384,117385,117399,117403,117420,117421,117426,117427,118055,118059,118075,118076,118258,118262,118269,118270,120980,120984,121049,121050,121208,121212,121217,121218,121480,121481,121932,121936,121950,121951,125493,125494,126946,126950,126977,126978,130841,130845,130871,130872,131072,131085,133983,133987,134045,134046,138255,138256,140014,140018,140056,140057,140098,140104,140110,140111,143006,143012,143053,143054,146489,146490,146683,146684,147808,147812,147835,147836,148013,148014,149004,149010,149033,149034,150809,150813,150836,150837,155745,155746,157710,157714,157742,157743,160829,160833,160862,160863,162785,162791,162839,162840,163840,163855,180558,180559,191396,191400,191754,191755,192091,192097,192111,192112,196608,196621,197158,197164,197242,197243,200493,200497,200539,200540,201018,201022,201038,201039,201150,201154,201160,201161,201164,201170,201175,201176,205215,205216,205278,205282,205288,205289,205333,205339,205343,205344,207057,207063,207106,207107,207133,207137,207141,207142,207184,207188,207192,207193,209571,209572,209889,209893,209933,209934,210051,210055,210061,210062,210131,210135,210140,210141,210392,210396,210405,210406,218574,218578,221200,221201,221212,221216,221220,221221,229376,229391,231647,231653,231763,231764,239417,239421,239531,239532,239540,239544,239548,239549,241077,241081,241104,241105,241838,241842,241859,241860,241871,241875,241879,241880,244151,244155,245023,245024,248173,248177,248205,248206,249150,249154,249177,249178,262144,262157,263218,263220,268806,268807,269591,269595,269621,269622,269691,269695,269701,269702,269707,269711,269716,269717,269721,269722,270124,270128,270133,270134,270158,270162,270166,270167,274114,274118,274189,274190,274538,274542,274555,274556,275495,275501,275524,275525,275588,275592,275598,275599,275625,275631,275636,275637,277094,277098,277126,277127,277131,277135,277139,277140,278014,278017,282474,282478,284676,284677,293426,293430,293551,293554,294912,294927,295922,295926,295941,295942,296337,296341,296349,296350,297981,297982,300053,300054,300432,300433,301903,301904,305209,305210,308054,308056,308057,308059,308060,308062,308063,308064,308065,308066,308067,308068,308069,308070,308071,308072,308073,308075,310519,310520,312756,312757,316239,316240,318713,318714,324207,324208,327680,327693,332213,332214,336795,336796,339261,339265,339302,339303,359468,359469,360448,360461,363500,363501,376715,376716,385501,385505,385632,385633,393216,393229,409496,409497,415068,415069,420925,420926,422579,422580,425187,425188,425984,425997,436136,436137,437618,437619,444863,444864,451946,451947,454230,454231,457432,457433,458172,458173,458752,458765,458981,458982,470261,470262,483805,483806,487240,487241,489236,489237,491352,491353,491520,491533,495249,495250,500574,500575,518547,518548,524288,524301,538012,538013,538464,538465,538470,983041,983053,1015809,1015821,1020984,1024047,1040273,1040484,1040485") && block_image_verify(map_partition("system"), package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat"), ui_print("system recovered successfully."), abort("E1004: system partition fails to recover"));
endif;
if (range_sha1(map_partition("vendor"), "244,1,35,40,41,43,44,46,47,49,50,535,536,538,539,541,542,544,545,547,548,683,684,686,687,901,902,981,982,1052,1053,1236,1237,1315,1316,1395,1396,1475,1476,2374,2375,3773,3774,4179,4180,5982,5987,5988,5990,10869,10870,32768,32801,44766,44767,46396,46397,54426,54431,62899,62901,62985,62986,63055,63056,63395,63396,63756,63757,63870,63871,65536,65562,67087,67089,69730,69732,70066,70067,70368,70369,70403,70404,70414,70415,70430,70431,70465,70466,70587,70588,70589,70591,70605,70606,70670,70671,70673,70674,70732,70734,70735,70736,70737,70738,70739,70740,70743,70744,70747,70749,71007,71008,71015,71016,71041,71042,71819,71820,71821,71822,73223,80089,89281,89511,91844,92642,92921,94061,96017,105670,106709,106710,107045,107046,107387,107388,107722,107723,110324,110333,111810,111811,125692,125890,128538,128539,130828,131448,146804,147015,149035,149184,149341,149342,159596,159597,163840,163868,166331,166332,170842,170843,170865,170866,171477,171478,171546,171547,171808,171809,172146,172147,172502,172503,172836,172837,173176,173177,173504,173505,173838,173839,174166,174167,174259,174260,174502,174503,174835,174836,175176,175177,175511,175512,175840,175841,176191,176192,176531,176532,176853,176854,177180,177181,177497,177498,177820,177821,178138,178139,178462,178463,178780,178781,178868,178869,181646,181648,182128,182130,182180,182184,182188,182190,182196,182197,182207,182208,182236,182237,184712,184713,184715,184716,184718,188735,190684,190685,191194,191196,193525,196593,196649,196650") == "07893f1d434d44182cc4c4bc4c9862265d70e26c" || block_image_verify(map_partition("vendor"), package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat")) then
ui_print("Verified vendor image...");
else
check_first_block(map_partition("vendor"));
ifelse (block_image_recover(map_partition("vendor"), "244,1,35,40,41,43,44,46,47,49,50,535,536,538,539,541,542,544,545,547,548,683,684,686,687,901,902,981,982,1052,1053,1236,1237,1315,1316,1395,1396,1475,1476,2374,2375,3773,3774,4179,4180,5982,5987,5988,5990,10869,10870,32768,32801,44766,44767,46396,46397,54426,54431,62899,62901,62985,62986,63055,63056,63395,63396,63756,63757,63870,63871,65536,65562,67087,67089,69730,69732,70066,70067,70368,70369,70403,70404,70414,70415,70430,70431,70465,70466,70587,70588,70589,70591,70605,70606,70670,70671,70673,70674,70732,70734,70735,70736,70737,70738,70739,70740,70743,70744,70747,70749,71007,71008,71015,71016,71041,71042,71819,71820,71821,71822,73223,80089,89281,89511,91844,92642,92921,94061,96017,105670,106709,106710,107045,107046,107387,107388,107722,107723,110324,110333,111810,111811,125692,125890,128538,128539,130828,131448,146804,147015,149035,149184,149341,149342,159596,159597,163840,163868,166331,166332,170842,170843,170865,170866,171477,171478,171546,171547,171808,171809,172146,172147,172502,172503,172836,172837,173176,173177,173504,173505,173838,173839,174166,174167,174259,174260,174502,174503,174835,174836,175176,175177,175511,175512,175840,175841,176191,176192,176531,176532,176853,176854,177180,177181,177497,177498,177820,177821,178138,178139,178462,178463,178780,178781,178868,178869,181646,181648,182128,182130,182180,182184,182188,182190,182196,182197,182207,182208,182236,182237,184712,184713,184715,184716,184718,188735,190684,190685,191194,191196,193525,196593,196649,196650") && block_image_verify(map_partition("vendor"), package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat"), ui_print("vendor recovered successfully."), abort("E2004: vendor partition fails to recover"));
endif;
if (range_sha1(map_partition("product"), "126,1,23,28,29,31,32,16556,16557,32768,32784,34696,34697,37477,37478,44781,44782,51401,51402,51414,51418,51421,51422,51423,51424,51426,51427,51428,51429,51431,51434,51883,51884,52255,52256,53741,53742,53832,53834,53836,53837,53839,53840,53842,53843,53845,53846,53848,53849,53851,53852,53854,53855,53857,53858,53860,53861,53863,53864,53866,53867,53869,53870,53874,53875,53895,53896,53902,53903,53923,53924,53940,53941,53945,53946,53963,53964,53969,53970,53989,53990,54004,54005,54009,54010,54029,54030,54036,54037,54057,54058,54073,54074,54078,54079,54081,54082,54084,54085,54087,54088,54090,54091,54093,54094,54100,54101,54103,54104,54106,54107,54109,54110,54112,54113,54115,54117,54121,54125,54129,54130,54767,54771,54952,55826,55853,55854") == "ae37f0aa5729143fc2950408ed1c2b9dfda701ff" || block_image_verify(map_partition("product"), package_extract_file("product.transfer.list"), "product.new.dat", "product.patch.dat")) then
ui_print("Verified product image...");
else
ifelse (block_image_recover(map_partition("product"), "126,1,23,28,29,31,32,16556,16557,32768,32784,34696,34697,37477,37478,44781,44782,51401,51402,51414,51418,51421,51422,51423,51424,51426,51427,51428,51429,51431,51434,51883,51884,52255,52256,53741,53742,53832,53834,53836,53837,53839,53840,53842,53843,53845,53846,53848,53849,53851,53852,53854,53855,53857,53858,53860,53861,53863,53864,53866,53867,53869,53870,53874,53875,53895,53896,53902,53903,53923,53924,53940,53941,53945,53946,53963,53964,53969,53970,53989,53990,54004,54005,54009,54010,54029,54030,54036,54037,54057,54058,54073,54074,54078,54079,54081,54082,54084,54085,54087,54088,54090,54091,54093,54094,54100,54101,54103,54104,54106,54107,54109,54110,54112,54113,54115,54117,54121,54125,54129,54130,54767,54771,54952,55826,55853,55854") && block_image_verify(map_partition("product"), package_extract_file("product.transfer.list"), "product.new.dat", "product.patch.dat"), ui_print("product recovered successfully."), abort("E2004: product partition fails to recover"));
endif;

# ---- start making changes here ----


# --- Start patching dynamic partitions ---


# Update dynamic partition metadata

assert(update_dynamic_partitions(package_extract_file("dynamic_partitions_op_list")));

# Patch partition system

ui_print("Patching system image after verification.");
show_progress(0.700000, 0);
block_image_update(map_partition("system"), package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat") ||
  abort("E1001: Failed to update system image.");

# Patch partition vendor

ui_print("Patching vendor image after verification.");
show_progress(0.100000, 0);
block_image_update(map_partition("vendor"), package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat") ||
  abort("E2001: Failed to update vendor image.");

# Patch partition product

ui_print("Patching product image after verification.");
show_progress(0.100000, 0);
block_image_update(map_partition("product"), package_extract_file("product.transfer.list"), "product.new.dat", "product.patch.dat") ||
  abort("E2001: Failed to update product image.");

# --- End patching dynamic partitions ---

ui_print("Patching boot image...");
show_progress(0.100000, 10);
patch_partition(concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:ce60c204d3cf47f1a4ef283a53bb4fe118a5acbd"),
                concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:6a396b143b194c5015d7c5d537d467ff1c3fe782"),
                package_extract_file("boot.img.p")) ||
    abort(concat(        "E3008: Failed to apply patch to ",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:6a396b143b194c5015d7c5d537d467ff1c3fe782")));
show_mtupdate_stage("/cache/recovery/last_mtupdate_stage");
ifelse (
less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "1") ,
(
ui_print("start to update general image");
package_extract_file("dtbo.img", "/dev/block/platform/bootdevice/by-name/dtbo");
package_extract_file("logo.bin", "/dev/block/platform/bootdevice/by-name/logo");
package_extract_file("md1img.img", "/dev/block/platform/bootdevice/by-name/md1img");
package_extract_file("spmfw.img", "/dev/block/platform/bootdevice/by-name/spmfw");
set_mtupdate_stage("/cache/recovery/last_mtupdate_stage", "1");
),
ui_print("general images are already updated");
);
ifelse (
less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "3") ,
(
if less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "2") then

ui_print("start to update alt loader image");
package_extract_file("sspm.img", "/dev/block/platform/bootdevice/by-name/sspm_2");
package_extract_file("tee.img", "/dev/block/platform/bootdevice/by-name/tee2");
package_extract_file("scp.img", "/dev/block/platform/bootdevice/by-name/scp2");
package_extract_file("lk.img", "/dev/block/platform/bootdevice/by-name/lk2");
if get_storage_type() then 
 assert(package_extract_file("preloader_ufs.img", "/dev/block/mmcblk0boot1"));
else 
 assert(set_emmc_writable("/sys/block/mmcblk0boot1/force_ro"),
        package_extract_file("preloader_emmc.img", "/dev/block/mmcblk0boot1"));
endif;
set_mtupdate_stage("/cache/recovery/last_mtupdate_stage", "2");
endif;

switch_active("sspm_1", "sspm_2");
switch_active("tee1", "tee2");
switch_active("scp1", "scp2");
switch_active("lk", "lk2");
switch_active("preloader", "preloader2");
set_mtupdate_stage("/cache/recovery/last_mtupdate_stage", "3");
),
ui_print("alt loder images are already updated");
);
ifelse (
less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "5") ,
(
if less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "4") then

ui_print("start to update main loader image");
package_extract_file("sspm.img", "/dev/block/platform/bootdevice/by-name/sspm_1");
package_extract_file("tee.img", "/dev/block/platform/bootdevice/by-name/tee1");
package_extract_file("scp.img", "/dev/block/platform/bootdevice/by-name/scp1");
package_extract_file("lk.img", "/dev/block/platform/bootdevice/by-name/lk");
if get_storage_type() then 
 assert(package_extract_file("preloader_ufs.img", "/dev/block/mmcblk0boot0"));
else 
 assert(set_emmc_writable("/sys/block/mmcblk0boot0/force_ro"),
        package_extract_file("preloader_emmc.img", "/dev/block/mmcblk0boot0"));
endif;
set_mtupdate_stage("/cache/recovery/last_mtupdate_stage", "4");
endif;

switch_active("sspm_2", "sspm_1");
switch_active("tee2", "tee1");
switch_active("scp2", "scp1");
switch_active("lk2", "lk");
switch_active("preloader2", "preloader");
),
ui_print("main loader images are already updated");
);
delete("/cache/recovery/last_mtupdate_stage");
package_extract_file("vbmeta_system.img", "/dev/block/platform/bootdevice/by-name/vbmeta_system");
package_extract_file("vbmeta.img", "/dev/block/platform/bootdevice/by-name/vbmeta");
package_extract_file("vbmeta_vendor.img", "/dev/block/platform/bootdevice/by-name/vbmeta_vendor");
post_ota_action();
set_progress(1.000000);
