(!less_than_int(1613257572, getprop("ro.build.date.utc"))) || abort("E3003: Can't install this package (Sun Feb 14 00:06:12 CET 2021) over newer build (" + getprop("ro.build.date") + ").");
assert(getprop("ro.product.device") == "raphael" || getprop("ro.build.product") == "raphael" || 
       getprop("ro.product.device") == "raphaelin" || getprop("ro.build.product") == "raphaelin" || abort("E3004: This package is for device: raphael,raphaelin; this device is " + getprop("ro.product.device") + "."););
ui_print("Target: Xiaomi/raphael/raphael:10/QKQ1.190825.002/V12.0.1.0.QFKMIXM:user/release-keys");
ifelse(is_mounted("/system"), unmount("/system"));
ui_print("Patching system image unconditionally...");
show_progress(0.900000, 0);
block_image_update("/dev/block/bootdevice/by-name/system", package_extract_file("system.transfer.list"), "system.new.dat.br", "system.patch.dat") ||
  abort("E1001: Failed to update system image.");
package_extract_file("boot.img", "/dev/block/bootdevice/by-name/boot");
show_progress(0.100000, 10);
ui_print("Patching firmware images...");
package_extract_file("vbmeta.img", "/dev/block/bootdevice/by-name/vbmeta");
set_progress(1.000000);
