From 6ef6ed2dea917008c71b5bfdcc8e96af98f5c046 Mon Sep 17 00:00:00 2001
From: ccckmit <ccckmit@gmail.com>
Date: Tue, 9 Nov 2021 10:32:07 +0800
Subject: [PATCH] Revert "Revert "simplify and test pass""

This reverts commit 05e15d2a179998ad19277a2844bc489a27867b48.
---
 04-TimerInterrupt/README.md |  12 +--
 04-TimerInterrupt/os.c      |   3 +-
 04-TimerInterrupt/os.h      |   3 +-
 04-TimerInterrupt/sys.s     | 162 ++---------------------------
 04-TimerInterrupt/timer.c   |  27 ++---
 04-TimerInterrupt/timer.h   |   2 +-
 04-TimerInterrupt2.zip      | Bin 0 -> 23921 bytes
 04-TimerInterrupt3.zip      | Bin 0 -> 23690 bytes
 doc/tw/04-TimerInterrupt.md | 197 ++++++++++--------------------------
 9 files changed, 79 insertions(+), 327 deletions(-)
 create mode 100644 04-TimerInterrupt2.zip
 create mode 100644 04-TimerInterrupt3.zip

diff --git a/04-TimerInterrupt/README.md b/04-TimerInterrupt/README.md
index 245df9e..cdc756b 100644
--- a/04-TimerInterrupt/README.md
+++ b/04-TimerInterrupt/README.md
@@ -3,19 +3,11 @@
 ## Build & Run
 
 ```sh
-user@DESKTOP-96FRN6B MINGW64 /d/ccc109/sp/11-os/mini-riscv-os/04-TimerInterrupt (master)
-$ make clean
-rm -f *.elf
-
-user@DESKTOP-96FRN6B MINGW64 /d/ccc109/sp/11-os/mini-riscv-os/04-TimerInterrupt (master)
 $ make
-riscv64-unknown-elf-gcc -nostdlib -fno-builtin -mcmodel=medany -march=rv32ima 
--mabi=ilp32 -T os.ld -o os.elf start.s sys.s lib.c timer.c os.c
-
-user@DESKTOP-96FRN6B MINGW64 /d/ccc109/sp/11-os/mini-riscv-os/04-TimerInterrupt (master)
+riscv64-unknown-elf-gcc -nostdlib -fno-builtin -mcmodel=medany -march=rv32ima -mabi=ilp32 -T os.ld -o os.elf start.s sys.s lib.c timer.c os.c
 $ make qemu
 Press Ctrl-A and then X to exit QEMU
-qemu-system-riscv32 -nographic -smp 4 -machine virt -bios none -kernel os.elf
+qemu-system-riscv32 -nographic -smp 4 -machine virt -bios none -kernel os.elf        
 OS start
 timer_handler: 1
 timer_handler: 2
diff --git a/04-TimerInterrupt/os.c b/04-TimerInterrupt/os.c
index 00a8b8b..a8c6884 100644
--- a/04-TimerInterrupt/os.c
+++ b/04-TimerInterrupt/os.c
@@ -4,8 +4,7 @@ int os_main(void)
 {
 	lib_puts("OS start\n");
 	timer_init(); // start timer interrupt ...
-
-	while (1) {} // stop here !
+	while (1) {} // os : do nothing, just loop!
 	return 0;
 }
 
diff --git a/04-TimerInterrupt/os.h b/04-TimerInterrupt/os.h
index 4058445..2e8389e 100644
--- a/04-TimerInterrupt/os.h
+++ b/04-TimerInterrupt/os.h
@@ -5,8 +5,7 @@
 #include "lib.h"
 #include "timer.h"
 
-extern void user_init();
-extern void os_kernel();
+extern void os_loop(void);
 extern int  os_main(void);
 
 #endif
diff --git a/04-TimerInterrupt/sys.s b/04-TimerInterrupt/sys.s
index afcfaef..a4d46b1 100644
--- a/04-TimerInterrupt/sys.s
+++ b/04-TimerInterrupt/sys.s
@@ -1,163 +1,15 @@
 # This Code derived from xv6-riscv (64bit)
 # -- https://github.com/mit-pdos/xv6-riscv/blob/riscv/kernel/swtch.S
 
-# ============ MACRO ==================
-.macro ctx_save base
-        sw ra, 0(\base)
-        sw sp, 4(\base)
-        sw s0, 8(\base)
-        sw s1, 12(\base)
-        sw s2, 16(\base)
-        sw s3, 20(\base)
-        sw s4, 24(\base)
-        sw s5, 28(\base)
-        sw s6, 32(\base)
-        sw s7, 36(\base)
-        sw s8, 40(\base)
-        sw s9, 44(\base)
-        sw s10, 48(\base)
-        sw s11, 52(\base)
-.endm
-
-.macro ctx_load base
-        lw ra, 0(\base)
-        lw sp, 4(\base)
-        lw s0, 8(\base)
-        lw s1, 12(\base)
-        lw s2, 16(\base)
-        lw s3, 20(\base)
-        lw s4, 24(\base)
-        lw s5, 28(\base)
-        lw s6, 32(\base)
-        lw s7, 36(\base)
-        lw s8, 40(\base)
-        lw s9, 44(\base)
-        lw s10, 48(\base)
-        lw s11, 52(\base)
-.endm
-
-.macro reg_save base
-        # save the registers.
-        sw ra, 0(\base)
-        sw sp, 4(\base)
-        sw gp, 8(\base)
-        sw tp, 12(\base)
-        sw t0, 16(\base)
-        sw t1, 20(\base)
-        sw t2, 24(\base)
-        sw s0, 28(\base)
-        sw s1, 32(\base)
-        sw a0, 36(\base)
-        sw a1, 40(\base)
-        sw a2, 44(\base)
-        sw a3, 48(\base)
-        sw a4, 52(\base)
-        sw a5, 56(\base)
-        sw a6, 60(\base)
-        sw a7, 64(\base)
-        sw s2, 68(\base)
-        sw s3, 72(\base)
-        sw s4, 76(\base)
-        sw s5, 80(\base)
-        sw s6, 84(\base)
-        sw s7, 88(\base)
-        sw s8, 92(\base)
-        sw s9, 96(\base)
-        sw s10, 100(\base)
-        sw s11, 104(\base)
-        sw t3, 108(\base)
-        sw t4, 112(\base)
-        sw t5, 116(\base)
-        sw t6, 120(\base)
-.endm
-
-.macro reg_load base
-        # restore registers.
-        lw ra, 0(\base)
-        lw sp, 4(\base)
-        lw gp, 8(\base)
-        # not this, in case we moved CPUs: lw tp, 12(\base)
-        lw t0, 16(\base)
-        lw t1, 20(\base)
-        lw t2, 24(\base)
-        lw s0, 28(\base)
-        lw s1, 32(\base)
-        lw a0, 36(\base)
-        lw a1, 40(\base)
-        lw a2, 44(\base)
-        lw a3, 48(\base)
-        lw a4, 52(\base)
-        lw a5, 56(\base)
-        lw a6, 60(\base)
-        lw a7, 64(\base)
-        lw s2, 68(\base)
-        lw s3, 72(\base)
-        lw s4, 76(\base)
-        lw s5, 80(\base)
-        lw s6, 84(\base)
-        lw s7, 88(\base)
-        lw s8, 92(\base)
-        lw s9, 96(\base)
-        lw s10, 100(\base)
-        lw s11, 104(\base)
-        lw t3, 108(\base)
-        lw t4, 112(\base)
-        lw t5, 116(\base)
-        lw t6, 120(\base)
-.endm
-# ============ Macro END   ==================
- 
-# Context switch
-#
-#   void sys_switch(struct context *old, struct context *new);
-# 
-# Save current registers in old. Load from new.
-
-.globl sys_switch
-.align 4
-sys_switch:
-        ctx_save a0  # a0 => struct context *old
-        ctx_load a1  # a1 => struct context *new
-        ret          # pc=ra; swtch to new task (new->ra)
-
-.globl sys_kernel
-.align 4
-sys_kernel:
-        addi sp, sp, -128  # alloc stack space
-        reg_save sp        # save all registers
-        call timer_handler # call timer.c:timer_handler 
-        reg_load sp        # restore all registers
-        addi sp, sp, 128   # restore stack pointer
-        jr a7              # jump to a7=mepc , return to timer break point
-
 .globl sys_timer
 .align 4
 sys_timer:
-        # timer_init() has set up the memory that mscratch points to:
-        # scratch[0,4,8] : register save area.
-        # scratch[12] : address of CLINT's MTIMECMP register.
-        # scratch[16] : desired interval between interrupts.
+	# call the C timer_handler(reg_t epc, reg_t cause)
+	csrr	a0, mepc
+	csrr	a1, mcause
+	call	timer_handler
 
-        csrrw a0, mscratch, a0 #  exchange(mscratch,a0)
-        sw a1, 0(a0)
-        sw a2, 4(a0)
-        sw a3, 8(a0)
+	# timer_handler will return the return address via a0.
+	csrw	mepc, a0
 
-        # schedule the next timer interrupt
-        # by adding interval to mtimecmp.
-        lw a1, 12(a0)  # CLINT_MTIMECMP(hart)
-        lw a2, 16(a0)  # interval
-        lw a3, 0(a1)   # a3 = CLINT_MTIMECMP(hart)
-        add a3, a3, a2 # a3 += interval
-        sw a3, 0(a1)   # CLINT_MTIMECMP(hart) = a3
-
-        csrr a7, mepc     # a7 = mepc, for sys_kernel jump back to interrupted point
-        la a1, sys_kernel # mepc = sys_kernel
-        csrw mepc, a1     # mret : will jump to sys_kernel
- 
-        lw a3, 8(a0)
-        lw a2, 4(a0)
-        lw a1, 0(a0)
-        csrrw a0, mscratch, a0 # exchange(mscratch,a0)
-
-        mret              # jump to mepc (=sys_kernel)
+	mret # back to interrupt location (pc=mepc)
diff --git a/04-TimerInterrupt/timer.c b/04-TimerInterrupt/timer.c
index ed34982..e188cd3 100644
--- a/04-TimerInterrupt/timer.c
+++ b/04-TimerInterrupt/timer.c
@@ -1,9 +1,6 @@
 #include "timer.h"
 
-extern void os_kernel();
-
-// a scratch area per CPU for machine-mode timer interrupts.
-reg_t timer_scratch[NCPU][5];
+#define interval 10000000 // cycles; about 1 second in qemu.
 
 void timer_init()
 {
@@ -11,18 +8,8 @@ void timer_init()
   int id = r_mhartid();
 
   // ask the CLINT for a timer interrupt.
-  int interval = 10000000; // cycles; about 1 second in qemu.
   *(reg_t*)CLINT_MTIMECMP(id) = *(reg_t*)CLINT_MTIME + interval;
 
-  // prepare information in scratch[] for timervec.
-  // scratch[0..2] : space for timervec to save registers.
-  // scratch[3] : address of CLINT MTIMECMP register.
-  // scratch[4] : desired interval (in cycles) between timer interrupts.
-  reg_t *scratch = &timer_scratch[id][0];
-  scratch[3] = CLINT_MTIMECMP(id);
-  scratch[4] = interval;
-  w_mscratch((reg_t)scratch);
-
   // set the machine-mode trap handler.
   w_mtvec((reg_t)sys_timer);
 
@@ -35,7 +22,15 @@ void timer_init()
 
 static int timer_count = 0;
 
-void timer_handler() {
+reg_t timer_handler(reg_t epc, reg_t cause)
+{
+  reg_t return_pc = epc;
+  // disable machine-mode timer interrupts.
+  w_mie(~((~r_mie()) | (1 << 7)));
   lib_printf("timer_handler: %d\n", ++timer_count);
-  // os_kernel();
+  int id = r_mhartid();
+  *(reg_t *)CLINT_MTIMECMP(id) = *(reg_t *)CLINT_MTIME + interval;
+  // enable machine-mode timer interrupts.
+  w_mie(r_mie() | MIE_MTIE);
+  return return_pc;
 }
diff --git a/04-TimerInterrupt/timer.h b/04-TimerInterrupt/timer.h
index 73b9f3a..2c15d29 100644
--- a/04-TimerInterrupt/timer.h
+++ b/04-TimerInterrupt/timer.h
@@ -5,7 +5,7 @@
 #include "sys.h"
 #include "lib.h"
 
-extern void timer_handler();
+extern reg_t timer_handler(reg_t epc, reg_t cause);
 extern void timer_init();
 
 #endif
diff --git a/04-TimerInterrupt2.zip b/04-TimerInterrupt2.zip
new file mode 100644
index 0000000000000000000000000000000000000000..5b8697c19fbc09451c081848f90596cea052c84a
GIT binary patch
literal 23921
zcmeIabyywAw>F9s+?|AA!3hxD3GVLh?(Pr*1b5fqP6+Pq?(Q1gUGC1DU(S%3WX?b5
z-sgVLH$2@{-M#nb?NzeYs#R~5lqe_|G|>0IY*Ay`KQ8{0AOmt5dMY_%bA20O3p;%q
z8+$9ew^IN8ePe;2zmNXQ@9Sur{_z`Bz^5;OZbY?Zd#4|x{6T?$PT_%oaDMw6Gh-cU
z-9bfV%Oq|@kI?LU|A<1rPE5$6%g&B~(~$z1sDi!|sq6@TW-~bubpLh6Q_mw<%D6_N
zp=<|DEknnqgd2lPmu>Lav^jV?_ag(Ey+a2FwxE%6;Cht#lfh*(q+5fv8+a!k5QTV%
zfQI?n<%4~_rxBcXLAWIE$a<_n-C3`KK2jB=*JQ{`?BbLLg99&$5@4@lK=#yMrKyWa
z3=L}`1TOdHjvrxgy~*v~*3`!g;~{KF=@A|y^-^11>&FU4Dx#5d35{J_ka=sNlwt8r
z<gG&VSa07TKkfkGehn^g8~r!l{RiteP+;yGuRo!rm%Zw6SBghj=51{ob_O;B+w>bP
zPDuAml!khsiBBA@c(Yk^MpFVM9p~*mgu~4V;y);*rp02%o6NK59KfK<u7?^uNT&-)
zq={XOAXVr#7BV=R)I;l8+^a}%eq%dAhMk3Rc}WKW|2mxi^@P<N+EA?kk#H24QlU7~
zkYe=oyLvZoWqiYahoRR(mfC7#j(qlhTxP3R?>@t3*1ZT4)hJh*SQt>ATbdBfYw_by
zz?b>vOHDE26c?^1A5B>x0&=dU=8ZkWk<|w-DX*$b#DFu2$#3uUVxM<7N?+|@?zDU~
z<EwjUdIE{Tx|zBUAvtPi*9Z|xb3sWjRh5E{wdzgLD{@=$^e<%?6G=|KPz9YHXC~HX
zU@yI<`s^))I)@9l#bvUY1`(qB)3fWmH`O4ReL=FC-II&4)X=VU%1F$eI&FF<t>sT9
zPkT&^W%9hLsY2-Ej>6M7dfgBtOI&68*OwgXL9;)NUNe~zqL+qrDRX?Zc1N1%;=7M#
z@>{KPCbvCz$|v02i)O8Ky5>5NiDgC^X0s`$h*u*n)?asN8-22YewESUp!V(}YBVaw
zv^g}4-i2D>mAY&8)fl#Pc39nL$@0j|hdTlDDXVD$HNzN$(_umf6Gr;X&+)Zt<4Y4T
za_Z^bnxHRK)YjL*@F*0j3WP0fqUsb`IVDTrW|krMYbE$#x0u{LhT}}9pJZw_8MthA
zxQ&}|n$%O1&v_>A5;8R9D8WCCqosrbdCaeI_Jw%$lZZ_RWYAzUq-57vp{{{}kHfxb
z^F^ukaJqW8gFe;A5&Z4Nl9=4M`XMh@5Wly5wWuYuW(dShUd71>3LP^hEZ+ngS@DY!
zu=qjJUdFweuPUd5gY?P##3WyoiIuKS|I&YxGVnUK0sVFi_<!oZM(*L_qM)>hen-BK
z{+}E5`jL+t2r4jCkF!?nKM7C4eheU*z4m=t+^04f<+tg3H+;9HE6Ra054tw^%}cQ3
z!bJ6|;}Tb1sOUk9(u{yuJ!?L>tUp>DPT27Rrr?^nHBCkm!AKWYT8IqCDXm48XsD69
zVR`-W@)o}A+sbT2^;!lip47CGj^@`8SmN*mn=Y3Na*<<lMGO<D9U3c(I!i~rGc4Yz
z_iSi9^*ML*^4rF#M`Jo3O_}h?biqsTGBE3e=o??nFnm+VNj+$zuPGSSLEFMrh0YCV
zL934~l^?YG{cbOIQNHWMKlK}$RE)3$plpCafPh~8R=<gBo9Y`Fo9Ww2i%WvgB65hf
zdB!8c>&OUsInC(Ft3`AOf%$es30J?I5#gGusuyVst5&C9O^<WnTxxJG9i$U#h3?+%
zr_Dc?NRkwnvgnB|bD*gAOdikx`Czop9!CKAb<}SoCS1elbs$;0bPhDj<XyOIf8fMa
z=4UDToLV7YO2KxA!bKH{?Y))@?*amgBX;sJv(UxO-kjoWeSA#BToFt`bcGioQZReo
z8*R)Z0=ijlb?!B)!x&FaG&gLea#-GSePF?R{x)J^(jY^!dw1|3lC2;--61qcD^}s-
zkHHKV&nWkJm~nhLUKh?p;C{Nn|9Ggn5!@6Bq$ZwfI4=J-c<Ejntp~Sc6-YH`b98jl
zOP6CLCfbS_$O8&bFaiyN6((qiXRDY9B|XvStyDXO(>M@5r*SS4Rwk+K4TY`0LMHpk
z0Fg`z*cbU#jMX)zCy1YGqHvoX^dq1KJ_And-`0esEwwIjFfF_f4J?o$!6t%59g(P!
z;j2;aO5}`A8A@L;774c3j~b+Vi{DD3m&znwyurW=R#1^f?$M7I6uFEtwoxfoVTjOZ
zm&sN-+xgtnb1K$lUyqa+0VzT>Wj|7t>&xZ$;5T58bi9Ojw}nGWFjMbi&$idV%`H%4
zG)W_}30Cdi@bU)X&v&QeF_t}wwcdOQFw7&_KtQ<v^zQm*1_!b3X0p?0EyJ!?jcOvf
zELuth?l0O2C3^Cp!V7|h)e%41Vavv+zfU5l?V{~4M|Qmwr7JLIXwWmDlFg_Cow6t7
zzJ>-S&z65oV5|e*OcO~DF_%#d5&i}}H$g0onRD~S@$l|T3bzWmI7-xz<Z1oYg6mN2
zcIw?GhG~^~3=tHrUObShh}>#!-86DR3n*-#Ha@$~1%@i?n&UO1*LA)_{SMcC-RzrN
z<Y8K%6AJPjrf&jw7UPh(GN%t<JcvJzd&dMNX^vEvO|WQ6NGs9E28~<z4$;DHA5pna
zL{*+t@bf{0x=dfW5y4JI0Lh;}1Uxu?eh0YzUwF{*gpp`SW<(*vqdE(fcx9L#6DOk5
zi4s{=CotwVER;ynQGr$rdxv%TuJ|5xoP0?~APjon3GU011dU565L>QDS1oqHg}sQt
zGFm{2qW-#D$iOX|e&$o)0CnC#ja2*P8=!^oCvjX`d1H=#ZniRriX}@ghdTI*a*vT)
zg7k~#7jvD|BQBx6a{;1Xr|wjh+1%x)hL*xBo1~TZhWqCDF?e0k4&*BoM>Y6=Tui!z
zT32iv4UeW~atOMHUa~J86a>bhD~d<E6bP)&DXw*j7QUI{ju~ACacF=KURT#jwi4dg
zOVLZ-k5oF6@7=NQ-Iq%-OWuvd>e5YipmoRz#WJkJWOI$dGE|3VQ_RKOu0x%2l&8H_
zBWKgh#on%$oAQ)rxK-!hf3F^4{kiaydV`9dnw_;neke{{of9s5jPKrhY*z5rJc0#(
zB!i`;Uksc+gg>y1@M8y%r0)Dda8IW9!J!^&p)*%ca6{KS36I&nYT|SJBk_UDm^Jd`
zjo5?N{%dkJ7?|z2GR7srxEolbT_%=>6&>Q`i;KNS>!wIXg=b~_D_`|Gr9lYbyDjYY
zXVgcjHzE$*%>1^^1Bw?kcWgz@4i!hz3T|9TDkm)^Owf3vRBkSW2MhHoVy;y`uP{$0
zeQaI<ZW<+>r_=9Bx$p0`Xi|q}%u2JtBl967CJ=1*rx9!!vJ&)A?r}xQ8xFD_UPh<&
zT+GiLCOao9|4OBF6c7D~XkG@_-SdKtDW_!svX6|m8x27xYUOIqPVa+1a}}BFp&nIg
zEy5ePV5Dv0LG$*S99eeq{hZP6iY+8s67+P9H@;_j`Y*>p>&GVZ?XZVW4~*ZX`l$7G
zqKN9M^WZHax(Rl8U)at0-uVZNy&AVLRpd8z^3VDBaJ%83&f_An&s;KN_^Ocel(Sj4
zBuKFcCfYrx_GZAz@Pp?{ASvXvQsv?$8B61v;lcb`zd|ZcmCgg>VDRp}c-p(Nm+pgE
zP6)6QYYF)@wk(8~8QDH(WEhNbK?7xMe2>vshU{;2;u``^V3j#9bM&hdNK{FjA^C>*
zzHKGf&W}?gX-a4Y8xM*0h7j)(9-Y?fxEX{IZbc01U#z*FZlck?L1pW5^YEZ&<5Eg9
zsKh-iSIix(n;saiaDJt^9tFO4mG|u~8)Vr<B^9mPnA4SN%u&s@o9tMTXov)5JIXT7
zCoH?zb{oyL<`#IXOn=wotOZx;3i2|^9Icup#Z_xV{xL~%o=fHZe)mVSUE&(E-FVk3
zU6G=&5&QFxA?{aXPF(qy91NMx7`=0S4|GfNutx>P4TU*yZ%eW<rqy2d*U7iITF!da
zV05Yzui26CzsitY)%bwC?^wtnxxVPcsWa3$)_c=JD;k@~3bCtJv6}+<#bc^Lm#wyj
zOaF~dI8kgf*LFwcns@`RAI<i3=WT%6s<YIwxh6pXgNQXh`gS`jWF^+#tNor&C(7SO
z26o~-7ZTc&X(wwf`}mYEYLrw39h<5RGhoT__=d5VmIf(0UAVk7CVjpg-12!chYe$D
z9<V>29ubzz3$6{Kc|eBYq8&MA_FSyc^yKT&Q7n;0II7(ZtY9G1NSzxBy}bNTi{N_r
z=^@CplV{-uv^U8>`GaL*5&|B|S7wYYPoKz-#)M1UdjqhUjkX>&A03suA`Yr=(gbUq
za7?)@d;2-DU!FawcO=#&R4gCi;OX2o7cn-qRN<s-!=*7;?k$SHLb-~&*3{~6My8#y
zJblZbHe-32a7}RgNcgxkxLHUesNovg%Vq#C!?i_oy`ciN?J(Fo$!@*)G!S^zMqx8e
z`_8B<Y6!j}ckl^RfjuQiuzR=5`q7hNn=5%J5ckvA&@|k@aC}TV5lWLl_x;h}&}7IJ
z*Xn=)Ej8}&K%8EP^QLX4Zi#35qU)N4QR0BX-H}1LXwKHtf!J_t8ddm_hg<0*!#+Z%
zPQ;9Wq^whQGZi*W^^R+wqBB9UONIPZhrQX%UVy*m3uglJ&oikxLU-?j`4O1>bsoF8
zMR{dkn2X||&zZlf5cDsW=D;;prk49`0a*vtaqi2F*zxp1yzm$WrrXE-HC20oOi|a|
zR4Ghpkiu<JCy5uH(rYTW3Wu|;kkr$ctHrBT;gG)F%`eA5#ZxO|n(UkUx~Jt!3eStx
zx97j~StNM&e7vR!7hApU52Z{xUF8iOpggb;R4`!CP9KU0G7Ce84mO<r6xeNyHEhvg
zS<Ausxacpg;3%=g+U<d(w7#s9q3E4rd%IT_{OTjvZO0DrjL+sM2utARCddsqr6pQV
ziW2%0(c34~emHO&=zc?(jWk{7V|gJ`txj7L33hiS2@?Fzy0w@LOUS(*P{@MjH&;p?
zH$X&Hv!`rIj2R8%u}>fM_1pRcY5P3ePvO+kVjP~RDDhlbj*gZIUIibOP|d@Hmv56k
zVLznF7d>W^G7+6!_DeTaap4UsN_%8#-IGW+#eCpH=nLw&wOmqq5@SaVn&x^L$UkLS
zvWyyH0kz|OYaXGMp6_9p$D)D<Tjg<e=gPQ$%&*lwB%ai~xqLEsGzr8>(Yn2k2-lGc
z>DJ`N(_+})TyGzCf&LlyjEQM&9K`~WL2g=geT1_RJsA94D>HA`9Dn>Z?gxi6Qx2O}
zA=4oE2xb=)$*ha_LmoiIp$Z&3a%+go7+2l%?QQl%hnDakRk_2!Ggx5yITw(pS}mJG
zbBt9RIxj6nz%TryWVO;ZLE0w>Lm^2#jytay_PiIBc4-UE>`YvCAX%?<A|S-buZxZj
zop9Z@z*k{*u6vFwCV6L&gXx+4RqULkn!u(mNxyc0p(Yt}36`l-S6}GeS=2njcr9;E
z+EllYtA@=wcCAhWr|Pm)E~vjg^a8I+b&gvxV3o6qVV)!xCE2ZjX@stsURJ0-T(Csr
zxT(t|K^tiO{OY2rUxAYNvPNepOlf^<hYMIr)+&N!lHc~cOLFZg8)SC$?wMQpJ@_&s
zwYqK(a3>r7Czsereee&L*mspf=1{BkJqGm%jGgWda8WGtE=sGAFgI>mmh9Y#do%IX
z@oopo+4%-!IfHwGlyMfO9eh2?F2R^va9T;F*HxNc5puIZNV0OqSXt|6DiIy3bIqb>
zf2<Q3?|aqs1QTV=k<Y1<3Xh*yolL3!^nt&>EF!x!KObNuB>{*Q{XS9z@ZZh!LLx;?
zeYjD5uiEbY=Zg%+2&$qZ$;pIJ(cEYgP`@J2*H~$TkQZlfG*3HsY-!_B8`KyMaa_rg
zD3{rF(j`&5!A8}YX)M3t4)>#HGO!E5H=S#+$VRP|em^aA$A`_Gq6p-*Tz_9c4HX|g
z(gLFs?=w0Gd$Yj3)Aj1i_2kk59p8LdS7!OMXv`S8It*EVTZaQBwb>~n7m`NeRvtRA
zsAKB~B2K*>f(|fgpe%Z4cw7uaHHB;2kpSYbT&3#^8`Y`}sa{xjkuHM3gDo~K1j+kB
z^EZr9IN@(dcT=>QH^Lz^i3$V{;?A-kH9w5sxGd}Vdt<D-uAg`-8IE$%F(Btl^QlGl
zF|Vb0Eu;h8G}8}rNxluWwW?M^^Uc#|K|aBG?@0~i7g~_#aM4YpxTL<21Xb1*O!v?O
zF}-VnApS6U5At*2@0!jNSON<F3^0tv`|SWkhM$K|oS)iUuTe%-l!6w~17U*;R*uhi
zw(>wliZo9!?9+rP|FT))%f%73OQP9=r=_gaYWJx)nzIwyWnWmW=C)e8jko4RNA-+0
zU9(z1xhZ1|X6^2V@4hNgzHe8?=)p@%;Zhs4v^cRky?S)9fiCag3(6G+*H;%I^S|@g
zH|k$SR3{Dj3f%~8lTw|EzK@AC*3dtTj#)+!p2&xM4sncj2|ZSt{LnyYh;y3NHdIpN
zS{?uKL|lY>?|o6F${Vh!Rk}*#7;yTrn#A)7DXM+LIp4U!iPCODeK4z7uk1wf#ZW;n
zTdU7P<{ACGtZ?|yctJp`@3NRu-V$}}mxU(~coNdz6OLOu?2&<8qcnD*AXfR!g!>wP
zg5TlguVG8$u!*gWUl5>M#%77Lx74Tz5n%uye;;ES9`Y5;bdzvJrWR-_`=#Or)wib;
zmU`#w60dUc-MBYUrl*25`}mo!=nnDa5m;6zakxIP+{guglC$KbHPrmMuHYL%(boW-
zWFIhKeEHkDvN5*Rb)Ys%kvF%T6GD6p?eN4TX6>y2X7e7y6+WC0kmFY@APtW?jH;aB
zZD5@@Jt*<c>+@`$RfkL>8aclQrezy`cU0~=5a%2$`l5ZlcmMY2*c7u$wcD=Ec7Y>H
zH&xIWi%^aH<(b-5B-dOqHq{B|gj8gPr+}v$9%a2JBOQ4Oy~qmmtszW_d_Di|O9I(g
zHeC9e_Eu^~W-GP+*cx1(4ExUlP0bpmu9RbLzDXe23XMW~P49b^=cqnTs7Jy?=$5#v
zn`jTkXwv0BuzJ@^R@>$^Y1v}eSSsQTH7{W|8tQN$T-1jehAu-Uz21qh5#}0;+$3M0
z<4gGzZDQXnzMfEPS?<2Ysbrglmkm)&Kc3C1^#)hca_i~ixMX=V=`9b?{BVNzuv)tn
z*qMM;JlgFl2>N@HbQJnl(0*MQL*$eu@~hxtnx$LCFQ~|m{0X|y5j_kR^mz=^(jN+@
zEy$?)g)AAk=BV;+DQEeq^48kot7!!&#gXd!u8m)RcynKY&Yi;G>miFt?~5R=J%h^0
z=zErPd>1;th$sddhEWQ)$}ufm`z2El{1ClN>d}B<U!)`>rdg=7&CyeRF?mF^2>&h$
znjB<=G(B2>wT}cmhCj81byZqN5_34lJZ=lCFI8Wo@mkBGf~Kr1P^KBAw$9}6=xQ&C
zjoFb<R#Kvik)7gQPrn(@RtNHn9FwVw>fS3BxP{p>^RhrI)-<v1>2aL5pVil`A=w3;
zEDh;j><q6gMtwaauNS_#-|Vkl4BEjLk@n7@fHL;*J(P#D)~ADL4f@y-TFYeDHkoEX
zny`g5$y8kW63bwyUT_IVx2}xCklZImC?Gb&5tWQ=wR#1NybmdOWk=+dcl9^!Tx?|Z
zzJ;%Ng`aXLMS`0X=2ukhaQGA!B&LNW4bLRc>Xn%rYpq@PFIG>HB_z%Jd^^xE^zcz=
zFE78C^zC_JIpsnEJFbA=0Y_PP9ywN>X_xOMrejA1v8ZMlC4J4^rM}TDsLRAHxm_2H
zqiEGtvgA-mO~q}ts`9Y0d#@4l&Sty8K6QWE8PtM+k{*NQLU2Jeb~G@y_Mo)(_8>zA
zWOy;fD4jBtn0ze2L}OMKT9k|qru3l1IkByA=Rg!DXordg$;|V;tBal(6V7=#1X9y%
zN?Iu&5mqDSyy9j@6M2u`EztQV^onlh<cx)R>26QaTeNd6$=uT6Q)oh}%dT|chgcxk
z!}P0{M^VLBWs6x|)Dm5*b`9zsyEf^9u}i42ob7|vHDNF7OD=nzAQBJE7`&sEb{QI<
zAm8|`zlDS7erl}5U6xS~y)$(Ub{>d3nDYEtISBF1x+wt^xjjHZ{9ZZO+G*R^QQM}-
zh)cH9z&0xGdeY1RL*?WrIRFvCzp&=U?GEUVuB5(*eS>eEzcM{ebfBb-j2DZ{@33@s
z)(xwPt;Dgkz*(etCFv+z6R$}<MkH=9EMxicW2LV4tn1nyxp;ax6!S(G_jbP{JgiDy
z8yDU{N@dF|s>x9%NYe}$Wgy6Dmx>&&7dL+gD;b&ALxLfpT3Ss;B#(}xwJ#_(qvhgN
zC*4<})%*dw5l0WHbqx=%D1tZm>w+|isE(C<v1w)?MW9dxAa+=(5#3l3x<p9)qoTA;
zd4xoj9-Uq<8T5#D5L`ahTMI?pjWtnV=NNum^ks)vS?gmu-oXCqa})41XqkD;p~dT`
zi=F=wU6Sg<7_5prJnfx%43)qoFiUjhMV!N)N;qq1u(Q_uMAsGhm5}75rM>D{%SIz7
zHb!39@IvUoDtSt)O)|GozHKY!9b9&mYfOn|7yS*;pH%_|2<|B`R_X=<^mHfS{Jmpi
z>ugJHWF9IC?Zb`8cLloic{Bu~7rcS{vgE5tR&EH~Sf5x}+PtCA`yPURmka2ENNJ8R
zubE}n27L6AKILdnX}=75l3^)`fC}~8uU2lDkiIPl^j~O-nBjH};V*DbL=JMZ@%b(4
zjto>gc-aZN)Pr+aRfM7|`KfTM@Y$>q++m)eHygic<SI1=`?@}J5B#}}Wgk{b2QmRI
ziufOA@xF^-n;p9xwk81EoyN1~`K1F!4j(ag@T==uR^VlE^MvU#d9j}!^e77!{k!nR
zr$=^tjJA?S1al&(FV<UZRa_`xtEIfFTBbH|wN;(U+sCC0#0|;g2~=the!_KgXdbNC
zq1uc-K39TQ^l3*hp3Dbp1JP$+kIQu}78-&Qjz;#k;^s@|6tK5TE@$x{>9GB_&0H|<
zZ`Ut}m$lChvEkNb^ryJDG*eSpO=rk*1$m9$D*DJHQNDQsyF2e%4Mi$a>L&QWuqQ+y
z6kB8{oEm+x!2e}qS~J2Q!%Fg%1`l@Y%hDBZ_J$7(2T_X0LVzdlS(KoJ(<v7;89M6v
z`bUp*kd5RXbC5~pL9#{C<)Bb0ymg4BiogP6xXX}96+k*g(v`kHWQuV*x~)N0IAVFz
zHG=uT<L`+&WV*NZ6fp2e`g%PKna%?re;ox1s~I&y`BM)OGMx!NekL*$R%LX!v?DUD
zi9OXg4npNLN2%8w#U`4RYqlG_kZRwyR|Us$H-xe4N*LT&)mFV%MX@t@miZt>`jqDe
zn$#ZGDfIh25*Q8Mod><vf@8<l&T2w)CZyXF&YEjKF<ul$R;7`6LQ66D?T}5DJ4r}_
z;aN=bb*P;-ekr-|2n-XrY$(g!13b@q5^f}ZRB66nBpt5;k2u%^Ni#kX{4%))4g?&e
znV;ysC)K2vQf_S2j7pF9^O8XOBQNlEOvy_%*?~1iW`tw4z?hQ=Ag^{)-(CisT}C_i
z%y~X((S)rOmyKPV%YH&gd%Jp(m{K$u)0~0VlQo0sL0gcLMn-NC8o?3LHlrFX1|8%M
zUO0Me;$CNvf#Wzyup+sfG~7bk7-BR;8bgl+g~9Wo1WCblr-T-_JVZV%Jz=yp>Gi7y
z8%^!^j^)D&;;yPE3NO=!Su@Aq>JbfKw}N5F+Dd%rvn@>VIo)6<Et)L!N%1pSx3frq
zMlCX^SCj+|W|6P`TKdp%9-H0)JC~oc*q0@G7fr|BlU#Z6`ds20U7-;qlD*8QeBo$G
z9(m{O55kVs#<zpHNk_59TpR~>o8$e^7wJ#O0x~&>NrRSe=eb5$^URHWkJ*M)%zdmL
zV{V-u#D!uKSbe8^U$g6vm{o`1!6oHhiA!O8`m9Hy%0N+7y&UC6jcPBvK$cxeKvyAY
zg3T+jD8AJ*)p(R>9;<LSdW`d@dV=LJmX#&nm?#7T0=h!_C)fXvzD*67-_MR)wj^Le
z>|Q23;R^2H{j9Eq@d7`YIX~mdYHZVGH(SyiEkPaf(&EzJ47AsCxeQ}Q{dgnGftY}<
zT-TH19p1d%s&$fy5?a7Vz5=_qC{7Ce5O42hxwBc9cr6*#b90t!zqM%rsp^U}Vump0
z&mK;-*YpS|n?UHx?2NJ)RCMWZ6f}9nk;gHQL84gtYqBvpB<rtx`)ewC-oy77=Gwj+
z;46auG}s@7?h0l4S$`WMG>p>=8Teykb8+Lc%?_Pc{xlK<%@u0~P)6DGyEnrFdkJ7P
zm&07dVVW&e&iBv;z+(5%hdt|xG`aS-XbVx@rLQw^#S)05&@D{icoRsJw{zs7DEVv(
zI!<^>kbC4oYDHeFLg`U>n-PZ>gME$Ru0rln0Ga*%aD&2|tK?%O4jziSl|XsSWr!S3
z{`s*dK{*+go>(uw?t6GFlu6&Z<6vdI_vi_qcm+P<(h;nMBk96p(XM_%8dpe2d}UIq
z+6-b+nxF|>IX#dDI>vYg=;ezy)o^1D+slkX^9##>9)76EJ-6inK5={XpQP#{bELHO
z(gW2+K0d%+8Ecwa#iHYUz1aQ+$HpLu*$st$ICh%YpV9Z!_A-r;kIPWK2ZonBm(`2j
zKfb{#JRI#ZOT+y}_AQVyY6L&huanWBwcd5X-+XuihYC0%1d*J-C(5XAOM~G15z;(C
zk2SDc1&RU}dN6psa_tU?f*3&dgXn=D3ew13C2=Z);5xdiJ*jD+R>tD{d7n~3s?$m@
zokAQ%dKV^kRO!eZUZg==H*m>LjF=PR)Isa&%FscHF|mlTF;&`28?L!6qJ8d6d!%0W
z5j19NJCG)@L5g_$0c;XU1e=*lope1L`KV=av=vo>9rJTDZ&(xD62)k<l8AkNvzmy$
zIVC@l@Gc|!9TwkuZIr)K2a#mQaxb-xa<gaC<jz-g#Z8bh2}j+{DT^_&g52UBlxXNW
zxOEzhij;$VwIMs_#@u)1m9gsz<Dc@;<<QACRVQheQO$`*T<VU^<6;<x*DMlx>HJ#I
z^>S@YZ9ixiXEBF5M7V4>4>Y`EL|*22Lp&%uzSpi`G$MDZ{;k9>VF3C<MAO$>tXpK}
zYke&}nGu}r`6C*{xYi>A<&ZH;tgjxt`;nmT9UXD-SmtLZzscONG(69-<Kyd-)%M-h
ze&^So*8_eeGP!}FEOBFv+)ARh;dG_2CW_bxm~5ThD*3w&EXCwst`ToeiF43rdX{GK
z+b%g;Qu(!y`b>sDo9=a_P7KYVH^=nC7w$P)e75D!n`G3~Xs&bUW4hSQyG{uCRQ}aH
z4sr4=L1H*Tp%`b%>C8N|ehI>`k%P+v{rx1FNMXpWL{NOoDP()30>%dCI{8*ywxN|f
zOO2&kqJ$VV#dfHgKW_|vo58n7gq2#U5cAwNLv!nQ{3+@Q$xbY9<!UAv2<j)n`u&QD
z*Q}DI_ymy>7RfNIgph_Os&q=nSS_nzT#{Zi!gXK19dEMNo0=Q>T-jTLb`@J`5_pgC
zr=Ft$xMA2-RN*mz@J1rUKY7M>-w9CEy2UZemUG;&-OCZzc<cqAvkpiPSjEW)+vP5R
zjpbrQ(l7%<*$k5fsAm^_9p<K*-LEJRL3Zhl*<T~i<IQW%uYH24E5Lj&d4{{GHM{3f
z_tI^O6uby#C|$}}qUO_DL}hXcFfc#ys2vm^fj2Vo!UETO1)&}&bsO)a(>BDHh&42%
z$}uW%buR-nWe?zty#@}&j@>S`509xct8H8DQ61U1>R$pyp~KA+t03!}wnSnAeIO?n
zMhe`QdjBO%D;}zcUK2T=1tx`=RC<~FEs_Oi*ilXi_*j=2+2vqj5$vAZ4i{m6I@b>L
z<cpq+Jo@CMJ|p~iYyYEoMe2KIn-simYDw0FP?Bn<sJl<)n2|mT%(ENw3aTRW^w>f9
z^dyNGZ8`Zd$@LIwH>O!Wh;pj_KCPX&CEPI|*Fs5lKv0zl<LPSXgyq>T8{vq8h2{Fl
z4>k+tXF4j|sm(EYJBhy*yCGrllw+djr6G2%j^3EFlvGoBKOSybF{Z&CEOD2QfL-!0
zozzxv!dU~Sj<I7Bas@K8Gcxjjc1ZeKzZMy7fCsMXy9FnV!*3c~ncKRg_4##>Jj~?o
zVr*7Gi5wAAv(7bml>fKfZ|l6QSj&&#I~A;6o0!5^2UhE<6w$g5Rm@3&veic#W-4-9
zjv&12)*UqO?hi=cw!Pd>Ywdi*+E;T#)VE!sXc7`NZc(0?KdJdpy&trb($*`SneKGn
zXKr~2r@_VSw7Hgyxm3u~f%u7-18z@PIQz?CTXSR{1=(2SdmRoz)gW7m{Fjnzc<Bi3
z+m!unlqs+=3eu$voVL4`!LUsnnT+eZX#$VP{BO1Q9S%oX)HK_>nJ-(W#1`reFtk(d
zR-3iXxu#2oD#Uj-pFsa?&yAeMvTS0JsAhm6MLyvC{YdY>+Ov`DkXXN{u(<4}FoctH
zd$_=>Phs1eG7y1!TiF@VAinR;B5g%vWzeDn>4KvA&*`GWI|C_#M)_>$qFM+V)bi1Y
z^ZA{j^=}f$potS|^Z8G(0-VWM^7*k7r)KotozaQ5$Z)UAoXOCQJJmiL{rr^xhyi%j
zzmp9ACI9_P{`;5w_y2eD-|zeGzr?>^)6M=R{r$g7`dbk)mKCg0KTHQ$l^MYKYfAce
z!XHCu8GIWJEZ??3A6NXBEMyVwY`oT%KshvQ>CB0IWJrh!PZBbk)T6_cY9XdL2$(*>
zcjRPQPA<4D-9ye?djuv<qSB25cIfB$h2V*ANLF6>K%TM_EIJ+wMSPBCj6oH}$F~L+
z=NQ8v;>TxcaIjs=oBReFao2(&W1sZ0tJe=6N_pBGOIclMINX@=BmFx}U7PEtwK>>W
z+1E4G&EKBQ+J2|y8^GaoVFBiL1^{G0%wJkefK1<sfN_5k0og@zXD1G1%ww$1kV*I^
z#PQ`R6zq8r$MVIrKLi>FZeVqLO%hezCugM_Gr0G*sR(4$qE!@50IgDh<q42H&ekb_
zoOHhd7Z*y&kr&IrE|QJm3!o9lb=__Vo1y(8W1JXo=MlNwxV>Zxm`L4Q*qGc3!66a`
z!NAICjTj5LcDCq1$8JRc+0`Or*Sc~we|dYb49U$kX`K7`aHL{B5hno+bSocyt_u74
zA$${*HCl%Y5O@A@JgMgtCg#vJv%<!NfnE~{YfwEP1}Em^_q3CDjPnj-e(A+YYfu65
z(~iFb_tVCFcEsPoKf42b^1t!m5pVP%%u7Qa)Wx1_$Ge)lv@qiQHka64zdQ?4Gt$me
zZbyC*<PQ82rtvUuWY3dgKpU;&vjHOEgI1^-n6*sIK-6F)=0V)RXiy|`cHdUMfpYLg
z|JDq@a<YQ2bDi?O5a@OKb&|*Mcpk!A$cN*o^e{JsbKT<fv=`o-*pTk~@*~5rA2{z*
zi|{xp_6R-0FLc+xdaM-`g-P_>D)CGWJAus=8kJ@=240f?d0}c)`nl2X5_|5C3j<hZ
z>=10rb-R#eYY;{bJtsWlWDjKQL2ZOjyv16tu))s02qFur5TEs=6A5$?+jbBJWfp&R
zwv$4~409eJ>^M=-euam+)=@(v>4a+iRi0K7o?ORHjaHDOfO)bYF&9Ffma!yJHx=5t
zuCk4tLkWK<STWv^J&}37Ai)rl0rVa&`))ldtKroGC?|j9MT?Negho$VGgvs*NGfNp
zewq0j$vq>Tddt_UBcN%UrHz@Jix+5<c%nPJOA#9T6q)%}eC6iDrYnQ6X5eR$5D7&&
zYV(Dg`QjA=8yDyHg^Sari>=diBZ}y{LG6N(F9nIEa7z|DHe9RoQZ`I^J7>h6x+C+J
zWOr>P5cZ`3Oh8CMgNqovf!zxXgNr(fau@F2y~*oB8LQ-+%8j?DiB(-i>Rg7M9LK$J
zoaRxe#>1RPY*H|g<i;Tom#f&`%q6v_I7CN6nN3@r@3?qrJ*SH^hgr_ag61xij*^1z
zQU729Mx`LcwWuIOzoYLia4i!yt)4&MB)p?HlihLyrE=QlOk$uFNRE?R^0VHgQ~9uO
zvqPABN49m2Jkf7xm6}oY*3rVWiY#hyO+B?&`DA}G+Se&kxrky%_XUAx2J@HHL6_tE
z7vw3lDODOVBJZrUL-!RC?m_K(Vmm|E$5_thFHAkhEmZE1)7`!2N*Sut(T?0Uh7;d!
zvY3DEHNFdEXrzoQ&9C&QF!ywM5QEokJ-OW~_AnFFJi{`_9I9MN$*-QWNgc{4_BqQZ
zObR0}D!Vg!h<0{l=b;_Y=ysx>;dIc`Ppgy&9cmFzXUH7OHEx?ux{z{%xuwrxc&o2X
zS)h4W=n&L}F~m$Cwx+_!VK?srPTEzm)}f@9mPVz4SG3I+1mVbB$Wr*~%M_X6Vz*<(
zY~+LM$mxSiz>%DS25L90`H6;}rAuEo*@+_0mF&pF1Y>W6VEJVu%m|i6oxgKYTKzb?
z72N*4_k)7!!$46IWJzPb`?dVGpyar-SbwaBN)*-0y@AWY(Z}$TLP17}Ls=TGe2LV=
zY0!SXMwhVQS`n?1KJAje1mJ~!pu<{L<>P!WXUiLwzM$wrQi)}tV%{}pc2TK-2Tpl+
zVB7Wl8U_qi!&b;p<(n7Z=#%nnyGpK_{Vq@xLJy`%J^MZYh=9@qY5Lak?p`b#ASE|w
zb6hGE4G7Rp2MD4Sf>`1a-#lin(upm%TbtNJ-kMMkNQ(L8EU-j}<i|FXjaQ1xR#cZ9
zE-s~hQ!%Q+;BZva6*5hKXo76)avh()#d}y~Z!&PBay(IV!?Rv)N@t3@Pi+RHYvKoY
zi5mcF+Kw?!U*Nf6KeL4!!ebUXx|7(0g<q~%z67Nj!f`O3F)2+gdqRJ$TIX+MdNAKY
zTv2N=nNocf1Uma3cwV=v!A(bp&Mrl#R}If<X}gf=i~E?xcr3GntfO=0k=rHN5d>*Y
z)6JPe@@!k}Qqft-rF7_%U;6biRS<iudf@uQIQEfD6}PU;w~nh?j^S8G((Tb@<j{M@
z!G7m%1R1;(>AP3z_fs8uJ9LknWm7c;ZXwg2o7i|GMV0bK@H^YPYn3&(jxNpnWr=a(
zVpS4#j+fL|U(z9q+~d|(`kc@U4j8u&J#BSt?lo(M($<nsQh==7R$1nF8If;92GF68
zmdR0HrPSXY3C?!fxCSKOojN>F%;1T?S?^_d44tWxk|e;|6EQDUT@7>0MP4Lpj%f3H
z=|Nb<wi|ZE7d6ke)+lQIDqqQv9%~Nk(B$Y-hPgN!qs7uB+KHfM03S-eQbWH}^0^9A
zW{?$KB`T)hjpkPeaF0k@!ZFY>n<8=zhS_o#c{BM8{0ZSS8V{|2iu2Z3`@N~_J;rXv
z4wnoM)YNMpdbGo1u1Q2SG&3h1`St?871_cM!zETKhn#weoFGJ^HTQlL{jm+6X%sN3
zu01g^{1RY!`Zm7nqXORfZBcS3^;ELH4A;fBUEN$)+Qo~FuPsT-mtS07Gl5-@f5|Rt
zhU@Rp5XzJc*7$Is^olY9Mae^s;Hc|VAYdUZ`wD~qCQgY{mB8@Jy>P%iV=UY9#|jV!
zcESENtj@0p)8j##ym==$l(wMZ5-g`jy~}&yC9!5VVWeD_*jY@h4~jipeX6)OvXnSu
zm$y#RP2QVHJ5MaRp2+=;n9G{D&O?D&d2iR5n|VD+Q0te2PVa~xn?h{Zx*SK!5YpY8
zC23P3qAm4ai$nAqJxv!IyY_y16H<kd(R;mXZ*GbbaIq>^W3J1Nd}uU}d>~fAPoNr%
z;m8&BqD%WMwsKDc*8K4?ED1O*uBRV@sI4~+IPHrT*zq@L^SvdDW@%Cq-W0YIsK82D
zxJlVXh;!-!{>W81Jra3Y4(a~a=)M|zrd)OrPL7JuYY@&%?_ZucedvOoE!|w}9y#2R
z;9m#??xH5tJMS`jQE>>{U56W`q(}*lzvo?1;TlZcO`M>_Ds@V!dU0ta=oF`W1Od;Z
zt7u5x0M{=!M(tQvDR&-&3Kn(ZpeFueZrR)qn1|vWSUZ{9YPEfC#td?Rqk}-b%rV1t
zsJ+HX8k?$^&ve}tj8n>~wV<TKY1^hIsGE|UY7Y<vF30Ld(8G}qGzyFfjI-C_6SClN
zA7MMtOJd`WV#YaEsOpsS-BkxqoaDNs`Cb1Ydqqj|1RqhHUGvBTCGr$&;~|8Zb!r+1
z%$1u+qAi8Em~ZYLU{40*5$cVe&*DU;02diwRYk}g;6`TslZ*T;Ky-x=`k&~K&AT(1
z2tF^J1m|9sY_fc45&neEUVRrVksckE1YskBKSDuTv>GK7fsqp#?7m;`2T*<Q*RGTA
z??K=Y1;??e;}R4zfFk?F2L^olfd@qgMSI28H$naqA$m^y`}HXEU((<II_d8i&@#T>
zFs{7?a7BOtvwy!PCj2+y?;wf`z!X93bQFDr_Ya)G<-rO3I01|Z3c99AQ8wC9%a}X2
zt;Oc+;krL|h=rv@**q?Jw4}U^lpJRwf&Kt0c;0lBfhrR$U^O3QyaKD?Iux^MgQY?y
z(W-zG-6lISZ=CP4^yN;+*C2aJ#YYE2M>h|mQYUv;4>^EG*<9Vnz@RMODb8-wp6zVD
zH{L8pU;G{2q8_XXJT+>5rOi!bFn&j0Hv#vIuicxo_q+oMFeymx!Qg2|u4Jhken5_+
zIQF1uOo*y_PX0SU&17x;59{v(2MRVYM++Y4YnkdROY36CUbi|(ZRyn!3(Q1@rJL9Q
z&kz?g?qCh#XP`=2Hq&O$kbtsslCW^HpmNPcccnM`1!>PXVKQR*#k7Cv*PgM%bhv1K
z=V@;^78kn)`Ddi|dkFM7VGrw<1G<07djFF3{w3@EUrpBgwPN^}sQ3R7QSZB+UY*|L
zb^z$-LcsZJN94aqdLbOpfY6nIqtDUnNMf>Vj2`eh!`&>N*nrnDtuh`icZm|d4);s0
z#}|<d)({;xwCgWv{hG|B9|hn7$LfgvN&-hcRO>LW?Mk3sBfu`{?3`_0c72<k!I$XQ
z(qOVl&sc)42~Sg+vh($Pe}kDj%wQUc+y0ESV<TuRYk#io<^Uk%O~d`us{+V)0QNTx
zVz;JGha+<U6OC^;khn1gxwzTUWtP1wQ$Ae)r1V>;uW)wD9^2uk74;Hx1eJ7-We?R)
zSGEhjmW2y#4Sn=_a~rBDt&*~6#|`2TZ>qncyY%Ws)O+ME`nCco3>6<7Sk(+Hnv}m7
zFTg~v#VIQ9gGX@pgDFC9cRv$Ol35=)RI7u=V>Ra*+TZXFv)tC?YTpmb9fyaBNraZU
zx;L6sXn(J~Xv}*y^AZz{d*W_&{h|D$IwXxYiZqZcBN8NH*v!BuI;bQpNSd|nG$}s}
zD}F2u9^{sIMJw?HQSiHg=&4?cn$NJMuX8x!UnFtYTiH(_?$S}P9=s#@A~WlYLdxPD
z`8~-%A!Yq*5{%LvyaM*P2$dO!i=v+AW0C!UQ)@prbIcW?Tmr7Qpz^+pADNCiHr$#J
zDM5(uO>DSy#K+)3V!a8W_W~hToU{qO3F5g}<fRlEz%hz#6zQiT*Br0Sp_(DH4idQl
z{2T^Pv+yc1O#n%!kK(ntEZ|#@aHU=%PkxFkqFkX)a7~x%pX67&I6LDAshH4rPx^AN
zKZv;@36_57!gW>`QBuT8E%#(abRMdcQV8`LG6!;oBGcE-{hW6n=kmB&-w6II9v(aI
z3EjKcP%+@&u=M_5?sX_i0S-Paem9<oN&L?M!d~2TCwBi;+7j@WIDuo1E%|Tf<%BJ^
zbq+Eekib>)sooFzcvmN>_6AX`LP^!ja`E6+Sd<qfp4)eK&5%#d;!IsTV=qUq^kkM1
zIpqp!xnxVfa0<lQp>;(GlV#Cp#?pMN2pgSWm%uHlCqKO&f12f>5gB%!FpLh|dqq3#
z1NPDt^I+xJPCI2NxX$M`6utz+1ta;Z<Vfb!%2M8Ar;M70k!@`xs}PJaLv^^p?vi%W
zZ3SWR1a`Tpb16&`Hvc<_jfSIgSyK~l@^W5i7yqfE5`?$`4T6X9P5Ns5xP8N!N(snP
z;%w-$Cd|QBtVCn}vvkHK)+aVG9CIp94Kx?`d+`^j`E%Fn&6|S8lQ8aP5IYrntHU~9
z`jH;qSc)kR&(h1sjvBVNF)D7DI*o{wgQFVx6%<D^9hn`GI$Xb>grN#{NV&B9)BF1?
zzwXyw_P^Y^f4Ox(v+Vxm*8R(^`#*(SHw>7vlrL<dECg`t^Z?wtUpun@;nl^+iA&CN
zBQ^^5c{*j8RKU~YnG=(LKtNkV%;ypMh!Rqy&taipZ|3Ouk{i{-)p6RPNyK>1N8i<8
zso~0@%Tn*n7~LDYV718Ix2y*W_54?Ua(?pEx*Mz_XAN4dGyD*sRz{y|kYKF%aly%w
z)inrv(PGso^#qP$Yx&Q;!V`RD^tJ7p7iG?==;U7)@K{iro!oD&FSIuYkd*<+PX^{<
z!WF_)l{q1jeWSfL*T4==7v4}dvpw;N)nA@;?LuoB$kOJiznHOTm5<uo3ZSlWz|LEV
z1>)JxM*hg|96+-`L22*;jS52z3u{`!Nvfo|o$`gD<{ON6mcYyYC!`!(*;gQGnBs;}
z-)?5lBYT;-uXRxUO;H#Rpf{D+T+IrJndpX-@4NbH4Oi|;h0gaf-mvapEe~6Rs9W){
zCD5?YYa&s?<(tbkYTmV?oiZzARhAcw&G#rx-+bK-cO4A>xO4cbCU~2P*KuLS58<Sq
zfpeQ$Wy-kdD_Ndqbtq5NN%t2v&p?dJFXha|0m?+WlO@`(>^2h2fu*}F$2pQ4y{+6}
znX(N`9#B_Eaumyl%l8V6SXrK6(k*X6iimRV7u&^$QZQca^|sb3$Xq)Y-J?1ir}4tN
zS079k@GG+N_%atD@E^;_mZMCP@aM=W%f0wWZQBrVy&=ThrG4>%+V4s@a^h4Eq>Is8
z@}dA@k$Qf@Z<Q9Jk)yYf2ay?U81z`8Q|2jCo?CbNo$hd@{?I$dwr^yiKIw_Lj@hS-
z<k8?lN`~FZC=DUa1}TKNuPkP3$?n^i?v%>EIJu{t^u2eDe|ff-zd!XfZyj~U#S7NJ
zDbx~GFI`~V?{Oq;Ouwhbp$B63HqWXV-CYaLgm0NDE4xJi_*EJ^Nw$q?2BWj}7l@K`
zGd=n8JD5MMxDmkN7U+%r<^dQNv;fY3YT<yD)Me0ZG^l`;)ZvaV4rF-TfDL&dF}``^
z_Xac~mPTfEHo0e_OHUtdTbW$0t-wjUG9OA*kc<^jw|&s09MEZB(JJWa4NYpgt)kE7
zf^zc+P;k=Yqea5#dvk^saVw$5ZMNiBul{z{fw#@%4l9Joq2JHf_DpOOd~L>*0TB8H
z2EhXYkOu&Nf8XMd=#S?>K#2dz|IWpO273L+XTSjF!N?gn9n|DBu;3EJA30UL8E4DT
zH1Knbzi$ip9D@e%zy6N#eUrfFI1LNvJD>oZA36Mn_1gFQ|HAomtF52668wSl{eAU*
zi}MG!@HyBIAuQgYqdiVc1OK@HE7;Hbo;?R60{fj%-@%N21xC$prSn~)-+}$SiP&>6
zKJedx{a_dU3XhR%Uge+ge%>nUIo=RJf&aS3zVm2)g;m<h^4o&^`_@*^u>v9g0Smxy
zd5(6buJ8v6SsSA2cgeDiN!A_!)%VwG`+3KM=V+^d<t@LJ?3cCnPm+BP7d)T0zyW%W
z6$;o*^S4-Ldd~&>(IkEd_~ZVsg8jTe|2Y^8pojb#?7yS;zXFtJ$2R(2g1-ZN9<+Y>
zlXTT+zXSYF82eXn|5F$EdEM%B`6dAB_Sf?LCph*ixXonP-?qxXugQE4X9yUh{RZy)
z3eD$W%#E5W--}R&i2b)<e_uWM9E=>W+1u~IY@dVe>psbS2P@D<`YqUBhnsjm)f)sr
zRsI9m_r+b$0i!_|fNlYRMA$6N-+|HOQO|Aw`SX_f_jMJ|r8@-N{2K5--r#dM;RF@r
z?+O`?o$R;r{hjvy9IlDvpW%M0yES>e%{u@b5RAwAKdH*+MhD}k;?yVo72IzPPJWOI
zBp5(*{m7pe<9BWH+~E8SgirZ9pr0iA(UE@u{K)?b^xW8B|0EFy)vtj5$<VAGsQn?-
zkNi2--|3mpE32LQS6F{FGAp57SP+0h`;lu(Y5sxt9Ov(p$>%t6Z-0aH7X$Od$@!6I
zrAhn^>F=}Y&yluReuMN=E#Wuz#eoAP`jHERNdFDzug2x)=HSoz8=PMomLC8=^5;eO
z_etRA0s*oA3h0+c#TE*i>U%x?$ldj1e<{^-qk{EQ+cV<$71%!*lphd3^5=4WFTm#p
z<!2~wo?k)zgE5)zlK(@RANgOQex5gYUWACezl8d$A^FjDe*pZ*p9B3p>i-<5{<lCs
z8Ik3^Sj6wG??*07ru4UZ`l}K7*|jkc{GCL$zcU~|6w#0Txm14-9z2&yMC?~!zc3#8
zZ??3*4^{p<|BteL4)ym@+;b>O$=^f$)Pa-8i^0Da;g9@JslWlgGZ0|>^cu(oFe|eP
J_=iA1{|_~9ocI6$

literal 0
HcmV?d00001

diff --git a/04-TimerInterrupt3.zip b/04-TimerInterrupt3.zip
new file mode 100644
index 0000000000000000000000000000000000000000..9f946db81fdf7b1584350092436d488ff9c65357
GIT binary patch
literal 23690
zcmeIa1ymea+sBC$+?@muuECw)?ykWdg1ZKHcL^FixVyU~xI4jvJKLG}%{OF*%y-V7
z-95W!r%y?Db#?#hsVmQOZ~gC;5eEf>2Kw<Llr)k5<IR6J$bdZ^BejBwg@KKzrJaF|
zjlH!Ut<3+NZzA;T`RLD{ulvsIkKdpIzI_37E&fivfBGRN02B!51Re+o=eNHxH_@fh
z8&+1eO5sKH2+zF>h$`~$#)K@s=<W(S87q{FDIEANlN%+-YOVl+9<a`Q;&}v1mC#H)
zlIx(YW8~P9bZvOyvJD=eF$Ztweq>0ucj(~25i(W@+=w#&eR$a%>BeyF8s3QyL@5y>
zsA;}_`CwoFaSW$Z7%s&-x)EzwZ`P}DfJ_YupB#CKQ<BPXc<4oO66|Fh$e!k_3{45C
zkx?Cl;N|}OFGm<Wuk(AiwGA*M_=uX)`a~zlyfjwV2C+hsis=+w!sFK#<Y+BbvMj%e
z(JIAG^bZUR;tmn**Wm(pFn;6TzkmN43e0^2KM*Ce{8g8`N+QZKe|yKMGq5?>rvG?J
zQl@9JEYv++V)A&^>&?1Tx>6|F1aI#V9A0jafMFR89X31uRK7*$ASOLdebm@t20ch(
zZR`>RnIgA|u;KBPK6=lRer3Y5Yuhn$>>P}X3kC>y{76Ckuhw&DBlSYWqA_49MUqG(
z%CXaL8r{5A35*6EM({<f-f2uY3fTMen6F;G`3Rfc@FGN9t5W6b!jS6R(pT|MZT?(J
z1ajZ}Xeh^=5+d~#W2p+oK+beDys>Avat6Sq71dRVnQ$gC1?`<)?DLPt7-$^Kom7rz
zRk(*|CXpJhn``<KQJ{ABj1i->7MAu?*C^?}SHCWPMPVzM`MDh9Yl@Q}RAINrsp<Pu
zu$Nv_1NN38-J?a@l5)8$!w9j1nYj(#n;H<Tejqum?x`hM8fcfg<)ju)-8TJ`?-jpK
zp7fcT$bIsvr4D0EIEu{N=yyYqE_Ia~Twii%1kDW`zhW^XLN5#JQRVvZ-W};{kHB3l
zi~nkkGllJ$QvuQLUMzdH(-qHwTs$kvD2GiYWugX2iNU%{$M~ZS^sB5k2aPx9G2=0D
zX0727j4m`vuQXkAFDI~Nb0ZqYOP9xHd~Ss-rmUw4HH_jAPDY6wOqm(8KPJ{|d|CPm
zqoA4Ds}1@>O=Eo>43AQ&rcl(%CZ<7|om;vTZe|&Bzg|iJc8kT`V>H2R`cbZKlZnS>
zhu5S9r$sY8^^9-wHYrP6feJkE3tCz@kjMNQ_duA}AgRQ3P!=6FQ(A7FHR>7|_!rn0
z9eybF9!{5UcF?B=xI(|ZSdviqqIt;A6C&tsUn_0}tsMq&{i*8v7zzU`Cal0$H1d)c
zrC^D}Wc|#0brotS!^4cJf+VD$RY_DXPySMVQ?l^7wgKgK0{DL`zsBy7lH#EBi2g@@
z4*?&W^#_rUn+U5g)Q@vk>;pxoU_S&A&tCaGF7DHqjtklhycxaS(i7*xnFn1P{^ljz
zb#AJD*>!=dC{lc{LuF1#qM0+FT0R&n2`B1!4pVr=+MXdNjbN+?D=R{d<CM`RPdw7h
z+qAs?aB%}){%vJ8s&*}l9ZzOjMOV8b43;D^$)?BUoI>oFLK(vpYKP9+vcbwx{}hXV
z>MaKvUt`|wyyCV=`q6~0M@u$*DnsZJyd2Cr5&A}jIfh?41(^qZ>=h-mCTK^by2zO!
zJ!tK*mFoSwLI0ccU6dbn;-B>!noOLi6yV+fg8%`&`fdFt`OeJ1(8S!pURF{XgdUMg
zyu&jQ5nfkL#LH<$Ur{5fO9afXD@L^T<%}55R86B;M?|eA<7#Gt1NTysbJ;M1NIP`z
z?jU`^nN*6jq>N=>e7OT<qi5=n7Ko4WI%fhQWW~7uMqH$pF@7+4r)(ZH+vIJe{9y3c
zsqBw3jCu7UepJGp4n>P<QrmlN=iY^cmPecv6XxNIoBequxdsH7i1}ie!stpb!en6f
zyf->n$At89+#1~L)JHKMo#?JP$`r7?6$ZdU_X2DrB4j~E<o9mjeNwF<Jl!F*$f{Q1
z6OX}+7Eh`6_*ilLxbTZ+qHqJR2|gUEZ-ll)18GR68+}ov4PCl>ht`K%x(cKovN=9J
z>7~at78h&H3giKWCme+a!44BL!najIjFOq`ODoe!>GTDNfZHS=2`ih-_L|Z*Kq;H^
z`w+2Q8rWyWRgBd&l}CtQQ=({_6Z8Wh1wH~+?BAw@l`V}PNhm$MFC8q95#c6+WdpIe
zvC*q>?`q_%ZaFGHFg7U;{0A+vy~S^(u}kGrFJ5Edg(|7ZBKH|23X5IDnAoV5s4+!p
zb;{+cobG(=>pPL?v2R35j)D{;p0XdS$@k;&zxN-qM><}@yWPSeBb;gUwddGt;^h^p
zGoGXq+XSn1Z+dx+@aMHN@R`UT#lPQt32@9~xj;a;|8(sJ=7tCH?&k8-Xl<jem(3bt
z`D{8Wh3+ppiKO~IK}8mZifST$u)~&5%zT?dSl>h6Wr6H^A<j@}!qlX1NG+e$06Jw)
z#Crt|Op&Yjki^^ozL_DG8D=4;9wzz?dhRQUEN0&IXUD_a&uP4B6p|=0Bhn|0mkX{V
z_1o#Un;2#_7IDN-xcZ4e>S7A3`3=*^g>9g)1Mdhpb<Z)>+1DJe5WTJn92$3c?iyxa
z-yo0D1AV8Y*kSo5bZhwq5?Aiz9*ht1=W^$mq$10e?y?CMO9g2y9^IsM1K%ZH)axs*
z5J+6(New?ALZru1!HWp?eGIVq^M`-~$4@^2-v3{4pz9GM*@)bjQjAZ17ApDDC^IfW
zOsyLwx~4&B!fjL}nY614tpxTK>*7tx9qJc~C0(Hi=zS-+&r4EtE@eO*`C>iw*g@y^
zVnWMkL21ec>uzB~Hyj4pkHJGUpN8sWIxk)WEkr&_;@T>ja1HWultWZ4S$R1$z*kjz
zjNK4sp0~c3>!ulV3Gbf^60exLRafP3SDYGIimYytRoxpMm=na{cSSo;tWqA=68!mQ
z(k1+T)wc2IczQOMuxt1Q=h8u8a00rrWUNb}(CVD>TDN%7>nYy2@pTY~Ciu{GO`TM0
z(S7|i{nY(vl_SOe9sB-$g*5Zj-Ds>Hy;KK!hrDnsqXtY4*ElRAO=u3~e9Y|z)G0?r
z`Wp=j4()vG?M8(uPerC1O~L)Qno;jR76ocHsp)Ijy>}=G$4O{#!sU$f+gp#%3Ei4U
zuoR4Dva<4zgEN2#0G1Pd=mL_~n?DHc%l1Av)Mqbp=IIM<>UksOF*{I8az=0@Idl=X
zMv=M^e}EsbreK4C*@-J>QW}c8fi>P^YGqW_C0V(+*nhNchGblHS}wR!q2DbFLI~e$
zX}3S4IZm??b?9d9zikmzvY@?VD|ULQJeE;-?Lt~TX(eTf#vh}0eJ(m&q+b<xrT%e+
zbu#5c>k4qoIN3adK~LJ<V6SD1CNy(Sh7BIMFA)i$aAyFWaNCHru!m}&E6S(QkoTj@
z==7e81=*wIXXKR?)G9}b&<}_f<#4@yFF088+J+zp$mx605OiZ!F6Zp@eF9i($mI|9
zsnhEbUc-eVZIcXJbk^m`b5iW*jrUe<A<>hfXKKCnJJmOM`31CbVzR&vd-UYM<W0J-
zMt?VoxSl2--Xfx#aF_SF-JIWTK+wdiFP3J?f+kJ@c^~d?HUcvFT%`6{OJ|H;6>*<%
zx9XLKC>O)Ty64qj4>=k6c&-GKL0+j;FJ6$dHNPGmE~xh}qV`nlJ}?Od@7+tJzb$|1
zKAhu(0Q+?<sesOwjp!mP*Y}hhgE=8&sGLLKAr{Ms^R;ebQ_y!<Rql&CgW4ogby8<Y
zff0dkTdDQ)UuclDrL;p$M#THWNOp;iP8xOH3?qoPqDBqQ*IZ9F(db{Ja`d=)crbGC
zsAL#c;~rKj=MOhb4}Ga}ex<!01HO0p>Dz5C$g+!CI$Ey@w=4C8qlRrS`LQzb2r0^T
zj8%efL~e=gHkxbQ4e(aE!LG+?8?MSF<VA`FS}kdstImevLyGh~kJ{V)-Vf%xBz5My
ziLNzzV#N_-_Gcf$+%L(UcnU7Kn6jNQ`sW7j8I}}bj|xqiit^xSOLH-%HC_%jD7Lv;
z&3e^gbZe5V*^vsq%938y@<HBrEMk&gUv%Qu9qFFvziy)!k56WY*wv`oO@sXGG1a8U
zQD4Vn@LD&LIKGu<yQ_LlvWefHZhN}>CP-t|S?1V6n=pt;?7blRb|*VzHP+s%{l38O
zs^7+jb`m`ok~&lAC+n>S1XR!KRMdqXTWXE6U@7nfMzL6yhAF#Uc)YYGeZL*t2zata
zjACjZa6X(I5tYshuMMMlKt|xA9XV$Aov+aK73eciE|En!YTOR3U?9`UoEeF{yzr?<
za6JsX4>9ZJTet@8Pcc;Wu}V%sz(c8E#n|%njs9Rlw8XnN1e@J#>rwZ?QMD)Pp!PaL
zxXua3jK`{fkQ@8u>7!;>azj$p@(~W6?rm!^b4yzdPTDqH29wp^qU0--%Y-X!oxxUQ
z`WdSeTEUDNtBa&7!kY)8ho#}oB06C$*YJK0LwGr!ExM}>HK=We;r>a^_lu81!IvGB
zHq-QPjC*26;H&b7A3>Ek(?W!McYEGHcrtDCq>cpR22PAj!wrol#&r^-v<UUy9Sx66
zhF$Wk4jIzZ;EoO@=!ZFP+GgvOdS))Vu2~u<4;kJb8CHttZ9N`HjK*hBM;>{&l|3-+
zBXsLV%?L@$JJq&QW5d+$xDF^g6PCDCDPDHjo6qb81!%u;CbalClb$DX`!-Y%fh9oq
zp@&zTU;c%KI1c)p#j7gefD&0QToY9qg^!ky4NzTYe!PfXk3Nz`$0#tpz83h@orQA6
zJ#$lKFl8Z1H!0nuUU(|_)NWM{r(0p^Cofk^R%;?5{d!wpPJl|LSI4#3w+!@7E0z|W
zm1u6ye;%+*^6dL?MHeZtdNUYKm2$GmA3j8NU@5F*$o4LCBr3!_0v$TkXgV;s*92?S
zvdgNTi~C_QKvKz3YKgtq14m_jSvO1BJI(fHuRQeC2e6y29g-Q}&2bR6;LS~tYj7$n
zw7xVI^haXaN7O+$a2x1BBbbd0J?CRZ5i*@_TT>}ccNHm8f{%Ljm`qE^{T@)r!WP$;
zDjwHB#5J=g94gFNO<&?4KNuKv3<%Q?cy^w^X=KDXJW^BPxw0J{Efc;9Ju0Q1hl#A*
zCVRxb&rmFW$R%STKD`)}ZK>hG8&#I|$kw?dm2HXh5kMFS>AJC6QhAi%L=Bndc^ND?
zWmUS28fFQ#<9%ZhrIT6UVf2Yj4G*@)<MP&(dH+~Yr*}j$rFC=p`|!~u5I1G}_BtY5
zS30CyiyL2?(O_$%eZ)EXN8D2umbEV^mWWIW)9UME+(qc2;AcA7pLQ(>zTo5fIGmbs
z*|dw8g}_I#x}ZqsoWC9M04fPr;@VMILtMtV?49rIuqQsWg8!h-8v&lh1~bULfIQW1
z)e@d(qTbYfVI>BB?k^*+ld%cX`IRUflGNk4`;uwTdr@VVzR29p)MW>f{Yp0qLW1I|
z_~_6H*KG@Y6=vtE@5pkJe+D^}ktIOQ&Pk>PZ0drnq6-W)#fV3^T$85uT>sXx?g7SY
zd2`aHwv9qPV%D)|bs9KbkF9z^6aUZ)ye8c_Va1SL!8(q0l0uwxw+f~ix^8+|sqt{Z
z3XSW!A)6F!sQu%s^O`{=Dw2yj-H`~D^{pKqU>SMqD7HyK+p`|&wZ~kL+40*aVdam`
zml>JWb$dWK+4R4K#KxM#e}u$-t6Xx2I_+;UXvSdd^mc%Y<5_o6+C@ZpaWit{=f1nQ
zl3X6|cA=b}Z9rBsxhKh(<Y3ytH=^tkPPm0;lvaCPX6P3qw;G0}s%A};w~wb2GoU)x
zEqV^dJCXChRnJT^Rn;E*m_DiW5XkOiM)PM3{NrK~Ib{U}04*sgKyT6Sdx`+@ySaW?
zw78isFRI^V$6dgDvEc+^O>8s;xd<wn8+{UL1@e5I^*a!XlH85fY3Hu3cX%|0bw(px
zm-3{l<#yc+DKu`dF%9Ng%ddGO{TW#d?ZODm=9(;XQR`*jPK(?MVDqLa19>es-WAe7
zB}R_5!RRLXjt|3LFYxa4ygGILeqo7DU@@vExBO8&ZUS8shJ3K2%Yll<{DheYNh^8l
z6FRWCW4jMAxBd=c7nm$i4x=+XE{2hY(v|I45J^P7%GJ4zdd-GRKdif04`J}Z7KaXk
z^xd$<Yvvf7$k$}MX*#VNk&xNMg~A63r@0T>K3}d~mURQXG1gtzzk90~jq@-tAs5IB
zXhaXNu4Q;FWCC5cGLG^{(}vqx*Q%iTeKKG}{*Lq3lLpE^yzrC5c`u#vlIB7RRC!M*
z!+jsb^sXg><o)Cw$gekl*KD593UKpJ0nJ#v-!?$x1o;Fc1!*kwo8{ESDd`bC5H@&V
z6$Jcds}Iy<$UX^21b#IWTsBXBxj3eAK|EXdxRjG#>pqo0clw=v*$-BywWFS4gVuuh
zsFB&GXI2L&KW&1^ywlz2O@#{8+fG%CKD>-H9*tou%kS1Fmk%yB(3OLGA^D=<2AX2z
z0k;7L#)GSfnq*-W(9O^`X|?I-`<O@*O@p)OnB|0#$pXk{5XWd2&=X~;_f1qrI43zB
zBc;WzwTU0TON#OCy)CX*d(AVo%216Q2hKQAmwfhBhI-#<&M#s3YgsRm0ho2XS8g)J
zVz{uEt@TF{i>yI@b~plPybz$(H#sb6w8UNe<&jB*o<xjyL|@)J?2&_Ap)~iPAlCTL
zMEV&8!td}4)^TKT*~Hf;E(kF!W3wgLTWM8=i7|nHc^hXI8CC&iwn?-iR}VCm`%-y>
z`rG4ownpcxQm;zM-GtXrW+%dQ`vlpq7!C;(5!hC!aCm&!t`$N96|A`FjkJGFEBIzm
z^ff>s*#|TjU;Z|&Y)owR9B7Qw6fLagL=YdsyF4*T*!!!1IlL!uMGwCUDF`YTl10WG
z##GPnH?hx~9h7>18t`nL)r3qT9y_}Orso)ab5!X%l;9jH{-SfffB)v_*bK8qz1Ob8
zc7ZELFJ0IKi%5gw<*CMHG|yZKHuZPzuQJhDo<g2(cvOv^%nTHzjAAR$H%2g}ij9Id
zFA3%2IdB>4I@@U+S*<k&<Lhwwvg|(!wX|xLxl&EI`K5s5Dm9Dfx4i9FoumHnRWlkU
zO0U#i)AZd)oHj$jJ-c_Kbgk{D79CscIxA(ok=7;bW+PoLg!9I5qwr<O6#SjUI#Hg9
z=uL|CIf1mmSX28}$@Qdqt4jARZWY@cyj+M9#xJ?-I<Il1t+pONe37nfCA;ARnjcN_
z9@Xfy20In9PDHy|1wnsHnu)^L4mzj@V}zX6LU9>dLbr6I{23MbK`==VI;xM!lJOJM
zw5(6zv?V$9pokR{&m8rq8>(4B>Q8GOiM8}XRFX)I16L;aKCkbp(0S9C{5<3_8T}9>
z-_4+MGy9$99p8q3Swxh8jld{_TjiP-t^b@Y41S1SF7sf>v@ceg71t`#-Qnn|xtKa8
zUQBQs15E)kMwS_CusT2r9w(UI#=a`6D~&lCXOXalHIQzg)qJI6Sw&ag6D-#XQr}>D
zcyzg!!oliDBrh%1!^}zfrf<-kZ>tOWMV{%@d2RnC8{ER|sYQ9PHG76c@AMZO+K-y+
z?;$ybove%)U+j#oEXGuvQZ$NQ-)#=oFNW+8h{<|qQ9_w`_#G<3y*FThXb<_&6<*I`
z*D;x4NS3sPG|5s@_7cl*q)~VYN3Wrr%ZS1^P9!Kk%Mq2Fe6@B3jA8&ObY(~Em3Qqo
z-h6Ci&4GmqyrRH7DzVVkr1=$fI~)O}1*vIKX`@r=(?(U+=KA-p`{%1C$Wqc41Abj-
z82SV#^cNSOO$YY8u$=NCfgM-CZ-HapcON;{oW85vOU}fO31L&uF;1z--=(?ME^Nrg
zExlP6PoQkqQ?cSwN>9gawXX57v3si(_Qqzr$v%C5+8NZ6kctt5?Ob?4JbpYlzW$)B
z{^lS{4P<mN%{Y@PoP=T`$W&`q9$K870jBJr)H%7MdFMbJCS-@24awZ|t*eW^1Pjht
zB?MB-Y+6Q{05MiG=DhM|R|`d-{teJsAbM4=b86PYylk(h_zl{bj&y$6=m|6t^+ivn
z=zTm8>|y5R%cGc*%kssX9vZ2hRl6q5u3ei<;rJ!gc<#>O+Pa9Bjind;P7uil=1ktP
zD!WY0kC3l@*J<G(dLNssahK&Z!*9)8L!E~b4yHVRtsF!IX5CZ(6}dg2g7|&qU~Biz
z#*W4|O-@p}lMc37dDoL}4j3x0AjJWQ82-h3UfkZG!Psh=^Z3^U?+aF@zYrg&yhFx|
zM;3HgIz8=$)y7ugT3X;PR=$*Wl&?$FrkNm?G#r()`tYGz@7=8H+8%{uW+fEsMi1}y
zpd&o2+NTa4yrHz}wpmouqim3t88E6~kdq!Y1zay)!7g@ka-I7mBO;BAx~ynEUB~x+
zpxDe-i<jLD6(XwzLv~}19y04%9$qnouL;(L>5@?$s|DgS%t4Alp$b9lu+pP?v7+>d
zkp#!Z>03S#5m$S3d%a}RC*DDD32b~X5_LP#LW!Mc^kLDD6JBj?faQ1tyTbQ6=yBL8
z`<P3I-(L^A-~+lewa)~snmauGtwkKQ&;>ACZ1s79!=73sdw8g`&ivP&ONvVo=}9Yl
z^@+BPW^QbZPZ6UF;X|twY3(+tydnj*?U=W4xizkFrP@7=*Fb+J2^gSrPl>r&FBniy
zcLUbn2R63Owlu~T;o{J~yodsqpi3Xe!yx*>n|LouD@=3p!{8<cBqB2AjYQt|5e~YX
zLl;KNaz%K}EW0)lpqCD)#(K*7XEBnF%0L8FY35g0yJ155wIMKmrYmNJ+ckne$N4UH
zke^E+XxVUNsNTiTNz|hmn#Zmt5?d`ujblx~VV&d-^9a4!{7oxgr8(5k^+|XTz-uCZ
zzfv}o4aiX>|M(Q|hY7a1@yiiwLa@CVd~2ScyI>Ru5aWj{T-S1fFG^a!nk`e5`0GQD
zvtcp5iClbq;3UB4C~ZctAeQ<3ev6}q2PI;)jDJ<f%m%K$rdxIUxQvOUDfLSdwT6Sg
zXu}+u2RnB7J7!<sOW{k#j3XFN)`PX7*wc#RN<GVkrjVqgvHh)t`La1B?CsKvS%L=!
zZ2xU@7mT}`^^4Kvcc+KgaO-jgQ@mT+>1pg{GvxWg{KmA(zKTdxuOGo~&w5tFk&0D%
z34NIML<mLVi;YCnW6u`^KW|KHM+IP5OTW_M!)||Bw&Km%<im6jqkJp^IP#WF1xhrN
zYC)T+t6^Yp{5TKUSm7ZLnM@HRS1eNj3YF4Zmqex*EI5w09GOfBq+2Xg<;OvmIH#kV
zI%K6Iw%0vlnD=}Eo~R>cduxwDLl0#5>k-Hd9s~sIC{S3fs8OnceZ<HNrUV4p$WU0-
zv5~Tl$n>W6)L(EAs;9Ziyyhr3(PUh6-QY#k2e!ScxQ=@vOk7tY;3jIe8ojDYoWXM}
zhAA_rJU7r}_IOU9-|msZXz}md>$evkJGOV%5?Qby-F)Y+yYiRdM{#6V8A~Lxl7Qb1
z+hn_yh9n%F#iUq=+UXFKQHYGfFony7vf4es^K2yLMG{1n6?kUT^(y#?i!+!kE0FNn
z%@uGkU?Iy6WcabECA*Mu<Dg+ydAOUG2HGEcL7;0!QKroatTi?x8m|M!nnDP9xtmUV
z5p;SH>)bcz`KUt|u~Je#aegKrh>$_MdY+tCJQ>%Th1ZuegXuwEn3h3KVHqC971lAM
z9xDMI;tpOker)RAV3>vDI7zr7y__=IM%El=JVF-7hy;bf=TnNL<hoNzk6Rh0n30(@
z-kyU0s>w$C-CM`XQ6))N_3uhAGe+67ztHLv4`H{1VaVG``3%?=rTLz0aFP{I7Wt<6
z8?M_~CPAYX8#XFSgNCvx)>o9>H=V_2cEQdS<Sh>5h~LICaQ3BEpW~lNePbvxhD5TL
z3oH<gmF81)-u4l7tTnkA&QCdtH{szru-p7H2z{RUcq}BBhnO;KMLW+k#{S8|*zcHQ
zM9sq2`XTPd>0VMKE{WZ5x*wm@V9dNW3=b|P|58#0Bk-d>sX7y7P3>}w8x5+x=mL3e
zH6cTlv?(^f)S~28-&FHavPHbo?f5aypVbpAmx;VQ#m3hnFd(2yq<;$i|0vrufam+U
z3CmW5EQr0!MBjNryZAq9>R`MeNM$X^y0o6yblJ_7wm?hLguJl42rvij_gpT=n9)4m
z$Z;ScWT@2h<a&cQZ@2nB#Z(0?=z~C^9W9EJk{|@_?JRFD`x3tuvu1wYa{ads9Uyf*
zv1ZIL=7QP7sm{7SAyrcd1G$}XHp8kOU9Q3wj|7SY)(J=ys{m~d7Kc=Wb?*ReWzReK
z!J>TIH$wu&(1F8)G3c&PW*-f<A;KfLy^w)FG`E&CFWc-ecoj?|LC{^YX8~oEPrrFR
zI<%JrMt3pFLlU9gM(unDZ3rxJ2YuMLu1uG2e}lFV(_4n0g)5OnEQ4-o2FIU7s=A%0
z2t_4eQ`q&LuN1jY5u{!WUmZ%H(%YOQvIMLmj<*K6PYGo9$H5IsZ=TW*(KvW0n$|*<
zaTj3<I0a|No`jX;So#wE1bT1bu}~)c8jeF%_1~f=1@a4hz-1s@i$v0c$D&^iMEatX
zl>ExHOuZGvv@A&*xO#dh19XD<6i~_+uWR8Z9JZI4MdlZl0VVuUnRjl>1N`gF<$pId
z=h<Ur?H3-XE{cgk_NrLZG-{SzXX_>Q*ElwYDXeZNjHB_>BmvBRC$<+E%mO?{ntd?*
zy!q^2i~)&F){&8D7dcw)*YdPLs;E(dNY8J^L)QA&g@5zqcQ{nQ5+#h}{9~hvN?R5J
zKZuaw33{xB-7ZudywHci@0D+NKpesZvLC_-d|#MB;VO+&9Rk<YTkA<f2emShILQB)
z7FL^4cHtD}DAvF5bw{0n+~GwA^!p|r`LAOZL^uu5dU|pUP!cR`5*#em_OeE6Zi{Fi
zyE7hWmVJdyI64kw32l&~XnnvYk;JfBc{It^bCHkQ7RTFBl{hg!w(>``z%5aZx2lNQ
z7qn`K8CXyW5{vFKbKYVJtk=f`sB{racP;nR=&H7QwoL9+pet{JluJ44ZBAKENEGIm
z^r6H;H^8maX;q~i6ljdtIXCCOsjQA)SNalIfUbZ}zNtP*zl>@@GUn27Y>^PhJi2C?
z)X(7GhOVD)V`l5~t|W&w+#$+kyLG7P4KwmG*K3kt`7e8&O2%UfCz{_%{gZ~E&&9O;
zyd`?YW-1!%8Oe>|Y|kFhAin54AW)5%u*Li7!@C~|>)kStgid6Cbn>6fkI2CDoH#zd
z`o7w^yE^EM?|C)kPb!xm9L|<7(aftNZX3x^25YK}eSpc)-K$ox+r(Bv@%akz`h+A8
zeWq_|mZ0N;t1Vsd-O+&Q=tr}?uJo@XbLg#c{qRM5j+P&71wTzPYiqSOI1I3y?|!;U
z3Ja{Pa8E#-q$Ny_BrKBPPCJ>Ihc+lh7&Ufqxo5naBo`|RyO9b>Y&(JMj8?+f;9jTL
zO2{>`c4w=z(nyw)prPCj*9hQ`Bj_;v_JFWbFB4{w-(h6&{*7RoW>TsX8?8d!S0=*7
zNw7ix5|TCRR2czbq@+c13~Ldj(XTbSWfSaHwJ<IzFPh<cFKEBC*y~TtjeV@{uS2_x
zuQm<7!}znFqXUFt*woaKae(fPWQc!?jO~61plI|;;+C!Ecwu{&qpt8c3qR%@kR7l~
zQVe%0oCBLE#EE5K28VMPr3%r^F8VplO|`mTQX+!vGMaGWBhTZ_YtOF*!ZZ|OzLh@3
z-PD=gb7*+!Hbn+r3^S4`V<J@-xE58Nng$FkNHT5*B|zwnOtP@R^Hxcu4@%R<`{<+t
z@g-s%9hqvJ8eGH6AZ_^rI1{g-Ly2Rzi+6{|G}*Pb?e?gS96XILfnw0%=1J6$4b0l2
zF@bz2C`6Hh_hsIGj?hVj>SNSKE?|R6V<nSa=A}il<c>JXD+QnEF(<zmPA-PsbKBt|
z8qDO`fu4NPm-UG;HD$n<An|>`QKB-<9ji?mUN4O_dr~-QElbR8U?pa>uM+F*#=Mfc
z*gPY4NC6{hGDb&UL0oDhgvPa5jxVBudVp_xH*P6!+=sPr(j5>~RiZ?OItEcij*DhE
z;!shA0g8jo!ugr5>P{L9O#W_?iV`;@48BTC^iLUx-K*o*7Hp-p)ZPz=Th`1Oa0g4g
zm1AHRf=l1)tGMCb1E)`LViNHLvvM*s3x0G+sc2k_jy1#sSNGe36U7lU3$4y?U()%A
zAEF2|xw{yj6I7}|%+jiR1s)UdE&tm(KRed)1NcrAyVoYB=;eX+x;ka7-hB;gO0azG
zk(Rld!j>Zl|N8qbx;J+RWV9VG_cPkNAF%c{91#s{S14OV#7){%zs`TJ^Qqkr*-7i@
z7tPLeIvcRCI)u~WVRhPEOT}C&V(UT-B;kVF6BW(<eAv+%{fUx%BKoZ^m#}(>tyIBF
z={3AegwAcM!49f4*f=HGGA3@@U8_*o7OrgO_1z4i2V_Cocl!>9<7^t*oxQ9VZBr5p
zjfNQS(r#B<b<TLEOGm0CcQzkE|IE+L+$QoI649vUfF?x&VEuhd??3t3SbjueP+U|}
zJ}?5|`<Xpl@MU1c_NE*}u>MwV7Bq<8o6~4pF?l((*kFc`n87oK*vRf+%8+pZ8-|!R
z!X}LZG?D^AXJ~`#Bywnyr1}EE?^r?3<ZK0k*vV5f`fpAd#M|U}*X2&-7``~wKWY8^
zRRD+qxYWOk4F47X{VV?aSN!+?cJbfu%kICzzvty<|BC+p?-l*A0wnCs6@kss0IyO8
zSf7`q{~`DbZ-?%nLlhW=+rXQ066KX^o{KnMQ6!s$Xq-5V*Ut`^@MM|XYw8`^k9wtd
z2#P7?L8oToN8DDB#!h@|xSysJqBI$J=`a#qT(3bOim@rw!{qluil9b>Y>G){+7r4J
zQ%pUOeiUTsme3Od7j!1Z*I-dY%Gy8OTLmI#8(51CDs<>ns)z!jKWatAaOz<GNoe{*
zh~MX0x>yed1XKl(|6xAsBLP<Ykp3lD{g3pI6PtTxB}-zCaiOUT3W>=?BtKYElkmkX
zV<8=%pMs!Gm|ox{am`(-e&!$AznAh^^(e*oNN>FmK_s%!v<t&b`DO#e3J||Md_tb|
zftXMtk<Chc9o}raoH0W$!#fvX%)#@m*>$veJJt2D`6%72b^fziKK=_Gq7Et*xh8aN
z1O7Z27)u=)sP1E**&{~#D|t6uFP@6Yk=qby9E&De?opsC`PgZzv51R%e+1(go4<(v
zs7q2rA6yW{v_Pz(eCiah=#4k+-*{sfyy#71!rpiA&p$Hs#($x!_!sS8c?13npQnq8
z=C9&FzG9kRPrz5g_(eU)hgbyj%Rk^hu*fXp@KRGlRu^L^j9T%QP+@#6R0g-V_04oy
zMpbZ(EXYm!L;6>J!YN<Gt$X7IyKfHq`J>iYfF*DvG0aUagm>5(^i3bNw`RQHy^U|5
zkgK5kS$tn<pG50K8+;G2Mx?9ZD68qDcUUI8C9wU@ZKjqni2V%Yt_bGWaYw%9Imq2M
zEZLV$uM7D-5hr0#ve?~}6@>Ey>=`Kwm0!Xh7}#5fgkCVr4I0yCH~;5NS!T1(1@s)H
z@gHx3r;a{N4y09AZXV8&&opb<T7F7f1gXC90-c$CJvMsb&Ao#-Q~#QeXPWf$M<_l#
zo4|dym`@o;C|Et&+SYUq<w4&tZZUDvb#6ZM>n0=<-^*om3B4wE?;@xil&tWmmp05s
zso>rv(^XCmKBIIO+}{<5@|gVi*-SFnqeObVO*5^Phla23(-P52G??r;tbt0m%2p36
zFT=+s7fsQ3^BVqT+2IGJ0u)6qhX${CWEd`PDk`MG&In$GmYu~Z=(FZ0*07*jzec&`
z#Z$&llFRAW6Z5Yv@2L;PZndgvbcyS|QiI&x(lCElN1pgT7AT^#CMB8sG_uy#xq=5H
z<?um3$3XbRou)9I2>B*P@o3Da;kpyN+SHt{q^UB~B_~wPU%KGK`qxQYPw(sj=4RdA
zEF{M@TJ8GS#kZLx=M8%T;HhM*X0bcnOdt-j<(sc)@Itd&*1D`b!h7#D8^gIV#`F6q
z9CVtE=#S;Ax|wl_IuA7Jz<OLVQ#Wj>+|g6&PCiLWzqZzBXEqs+GwyohXvNoy`CjYo
zJDi?4DGDUZ1R*?=$zi?lGQMUB<n4Y6mx<}i+}-E`)b!2zDx^_*LA7ww<c@|9+&2Wr
z<Po5I1+k#5cs=4~5=ABITe*i=>Khm8D34%ha^U6bb$1-LDd+v8an5?$oNn5gYxP@O
zOlz9Z3rfUVTFQBQ#WnfG-;8uuld)avX3z4KhI8rBam$SQcX}Pps$&%(R$PeElPL74
z6Rv8FcURmf>W7C3_4Z%2cuYidy;`TITIhA^k-&qL&l*%A6(^-fa2s~|CWpGUE5+vI
zHhAMEp{F%*qSC~D?YK#Rm!Z0T?7T5mVR=uqx4BB+LqgfJaC2wAd85NMjE&|rRGZAa
z`${iuqR07;SG8}xwc7va^2DuIZY`LVhK%x(km-mFmvmGci6<j8L)xGg^Gaxd)A7{<
z+%#7wrvnwY<*Paf!-qDH>=IMU_7TvSBg$6Kxy$UH>q|@wxaK-SZ1x_O`O3b_fW0}F
zg`NR-<So+K0eSI4qqI-)FOle#>4y|e0L!AU>$i5Ug#1bxEV?6$rjb*^QAJKEWuG$s
z4g0(JOt4$c3XO>R?=~}uAqAEDpuJSHZT8r9U+Yb$TqAVdXZp&Up+_?a*Xdt?3~rA4
z)QRzQ;WGG}c?2BcX;X3{ATJ%zLc2vo2NR#1zDxJ*2~C1@WpHy-;;vz2I!GzsmZ8hj
zaLON2`Z|2vTy39WcR8fQdtSLSyKZ_f#<YB7G*;x!-0ZHshp_!U^*a-HyY`_+m-}t>
za{a<l*n7n9Gy^BDqL(Y~TF8*;98TQQ4;tP$q*5oh&68IUkXyrz_X64W0bvN32L`rV
zR=}2nqXcu<xAB<5DYrt44X&-6Q3HnMT>1kz`FVNnm(EoEw@`Z?Ew@1P`NPZxVFoOx
zA2@ElFLRGJva(d&CafB9#%;DZnOxu2qCJ|V4_;Y;iF0?aGwltKFZH%^ow_j=_s&?Z
zpR(v33_wqpZWovZtUu^&HZd>VCZEQ1*RQhnq(dpen&s!E7>-#+XMCYWuTZ^Ip4~6+
zCgt%ID~UbY=(m80*gbMe9EQjqx3)`Zq^???Mho(1*M+2DsqaiH7cm+t>HfT$sSfiJ
zzM)gIeaE}T+L68o8KxRCyG6-USX>>^Vo?2axd}qyZFadX{)@H8up7y%VE-y!j2AfN
z6l|Nu(^JVZk~wqJBibHr?bsikEY>d$<`?2z-*WJ4^07eEwjzaI&o7iIxSBOh(oQQ(
zE4XSGd~d1gH+4RVeE*<}kJ&NbT4gXE84@wi@TU6KLRD?`gSQ4ghUzOx;>3Q-RkYeg
zhL}bFBQZ0#yLyCk!^?`M$~F&-#C0B>CS{*y@cUsEp>RH2cil4(+_n?_blmn6!*n;y
zK}csC+V~OejScO0*J|mh8+$RNkLZI_m){||62GU?1{#44+JUUmQ%z_02roQv1$tWc
zdv=|u3lp>qM)Pbw$Sj%ld-hbYTb2f(Y|?(ddvz$CH2DZLsE0YKP3=5|$(G;hwb{F4
zrNVGKz2bjIGrH^&t4`Mv6MtVT`>-!UlP(sEM@%pRH}(B~siovvk{WX|*%L9;zt+;K
zG(y1PO7CGybJeT0#M$aI*97hhu=#uH0JG+IGnKU-w-Iix9#=}BD{<&f!oGn#H}ETH
z-{63>!dmXrAcr^*H$Rm%qm?zwz?6M-DVFy=M62fgiU(75Vp>dTjQPQ5%%W*Hgc0#@
zKafv_-|7zVgm*PAp?G#23uXolu8KcddJq2n^t<8dLj-%3*B`@WVBLBQ%#9sQUdD@C
z>hAC^*;{>8_px~3k8gfS=TyyqK>z4Lr6*fyUTs#sBCWd;=C5vz)^65vX@>0-2D@_J
zdz{euFrtE}4zhZ2p(6~N?rVj;O!5%)rkj;D?6f)b3x#&YnZVv%t2?v~aej^41dFQ6
z&;U$#KJeCT#oUSW_O@GCuF*yauvbl!-8*G7$+W=5k@Lb8Sx=6VhP2K?2pfBK>An<S
z$v3-`L55T$Q*~}5w2A99wl0V(9M1g%rKOZ(jqdQC8JqnzOP)`<M9f4?<O$T(L@WSd
zUd}%StxvjaE)l~2+h1ez=2R|9z)LsDxt}eUyZ~BEFsZxWzy(XJPnRu8)R^#(&KVtg
zt<tZ-(O<JT{VMK;Q2p-Ku2S#rK;RICzhKiOBq?VBMGs024fzfN4~q|r_e-pAf;_pv
zze@3*Z}<Hx!~4HnhIb6e85P&eYqS9M1~A}x-1Aa_|B>Jw#P9&L8;ISG;t%iv!85pg
zIKdyj0waQgu4z-2k9XBG=g)2HaQJz+?oS+IVX08Hevv*}Qr$*MO)!;0zXugQYdOk7
zl?xTJo{uqEfz@&yiQBZnQX`jYSHg+ykRO{jDR5c(e5>ncm^-EBtBawl_X(m}H-A?j
zIfzfyLetmKu)M%2!EV!@<8;11(LByT@(shHKCCG`4QfHP&2@ArLDxVpA@7Wz-Rsl0
z{6k4FX-Mv&;2FlQ<mp`gK#t=$_Mm7ii0b-I0Xsmg<Q;?e>u-aH3O6vv3-1~0SsJU$
z8saDL+Z|-K^czToW}+i9O>KZ@NJ^M@u!ae;P^GO}>2qgDLD{)U*|^zIdFEn!GF$ya
z-px2+GGqD2b$%XvH)DtCaNhdH)81$zA$|?=&%V<i8T_e)4(r(l*T3?)f8}%k%IE%n
zEuVY7V)$1&_y3S|?ngbnI=#v30H~jf0PFLC$bV#WVO-Dv9ixz=?-71933)C?A9#b&
zZVq335Pn>{oQKP8vXr00-ID9^c{I~|h^}k;^_TSiEf%s5LU6$o4J7`h!Q&q44VYJU
zrO>WXU>6K_&NeT5zD>^%NDb;}vDjp0EkV~sW~fZr`FXy*#>^jOGK<FTd?KSEl`@eR
zcSvyX0!ZX6VE*Y+ZNuUhE$3Mg{mLxbj_ACs_TSc!^vb59(tJL?C~c&kTWkaYmMpJ{
z97hnD8)&(QHxUeC9nb|Qj*RF_8c&MI$vd7VXZc*l0G>2)Eog8ot_;qpJ>fSJ*3?F|
zh-<@<5t{#5rLBK%j<Z;)cOiWwAh$SJF=}2gP0?_2SoP&+_Tti7X|V)o<-GEfsylkD
zM%G3ajJxmi54XxQ<z@_8=x=wSbKE@`*RoddLz6>=^MI)d1C4mn=vpcA!ganVuf3>o
zCket=z0742HPLPe(s>EC9EmE>N<#i3L&zHCLn~1MjAvYpf-&MldJewZ+exdAlY)o&
zX)tj`!*2bBQz*))=Bp1wr25<hr%?6MeeQ1$QEW0IZ$B)MZg3M^0uHgRptM|_wMeVI
zbmf$6f2<(ge6`s_VG;kBQK|RR#?Y)MDGbYq`CaNP(>B#sDoN-Yq&Fi19jqvTFY4YU
z21$-`(aNG&`5u4mssdceryvs<E&~bQUGjC!&thc%*)UtDGg$f_$G*q;Kx%&Id;DS8
z9dYShOcx(WuO#xN{0vS$_<gQR%;)x6DH!%tcKEeNu<r*xY0<joxuEc!_ID%f@T{qC
zRaJf1S&%kJM4~^+$|zWdEPLM0a{}2YL}dr#DsFrt6h>n!?2{D?r}*n33&*-fk1NDq
z&Vm0J%>QW(sF2l*0zNbNC=2`5<g58n&j)xqCmr9E@-nfabn3*{`9vA0q#zoFoS>%>
z&P}^-^v+e)A`f;D&<v42=oTbj3$rZW-&;3UahjEg-8Q_%U0`&C(xw>qXdElf)ixBq
zfo*3I6-7?O6Q7ajDcc2A9dp+U#MIe+IO1;S4LXo%H5FV7c+JmW0ES%{=XaR=mfBIx
z4eXH|tj5OP2W<<=(606>r<?QB+?L<OyKyZyC$8GL)XI^l`gz8j@dm8=8gwC3J}e^B
zij*&b$%nkLs+TVe7Z*peb-pZyFkBvurzbKu`&$ZGW#6df@SYj%ymIr4ARX`$YixK$
z{Yg#8x;bubAM2DUe8EFz?8_lbl;#zI)W^(ht-Aghqdk+cjo6eS?!AeGv87<DY`Dob
z5{$3o2FeX(f?XD5%Y&Da`_3~itNB-#G#VlKRo;W7)8naG#_pxmf^i*NicoKM8wN#a
z@1D$V@mKBJ^YQk-y0?FIZ@((w{?)zxt9$$Ziteo!5STz`ji`|UbZ^|?KtRujv_Ca(
z@|q!Yyr}LNcL<OP@dCA~7BGJHr!rlTA8BCrxK*LnhpMrX%SI%q#OLo1(vk#}OU%i?
zLW(k60v-^u+0yE_SE?bp2yNwLRZSn*aVRV6jA_t!%F_wLqLE7+zWPj#X450DI+oH@
z#fsod1xv1|EF`=bo<$pE0v{c(?`+myw0S!@Gp_w&PQ?eJ+5k(aa|?1lk>@1z4AWe5
z3WCUZ&49q1x<yt?7`~M{*ZA6iKoZe`gQwvoE2FA~mhnJUiZ_KJIHH{@r4$*<HdtqK
zhfR-+XgY&I&WpFSlQ9hUXs<~mxQ8t<mOvcD)>Uu3@tW~&I`mr-hx22uHSq-lulC6y
zTv5{J6$c6&E@qV2-c(R6Tyan;Yk42FlDw+UT>M5Cyi{rpr%5j*97jjOIFDQmTVNsY
z9_+sDCGkQ~jiV^p*->x*{i~@D3(K0(m}L>53A)v|4R!BD@Ybcx+=efStp<I1@;<wB
z1@gswr^j99>88MOAgEAEG+=O;;~LJEYN`Mwq?lpnSY@k6l!|zlH|0IY<98KweZRK8
zw#uC}n&(MyCOJAL1|9o&X;)cr+F^TdV^<ot@xaaOaZ*t;3W#dwS52$=S!{hMJZAkn
zR7*^1QHDtc^OOYT-glMSEbOAoJ;og8<2#vlbDX!oU}3pJ^q2Hc(jbkiXp<b{h;|B7
zUb7u<?9#EOQ(*OY2N>M_A)ywEw)o3q2t<kZC^xh7{gY{TjD=0)h5F;ac>u!mHo*E%
z*$XhlxE$~h9u+XeIMVUOfgGP3un`|5#y5|G{-9>Wvgn-d7WZs)+3BNgYtxIh6*yT}
z)<dZ((uqQv4j*l*A>Gauox;BU@RXLD8pd26C^wHFB`19WdL)d2*QaPvH&PnB=1cyK
znzXYH{2ivZSYa#<gZ_TDrxKgsYcpm{0PP$w2p-Vy=Ds5aT>Ot0;(vC}h}58g@c;M@
z81R6eGc#lXdU6{0=bk#zoV#sg8u%&W@AKt7WzYfs>+eFiAG7B@<uomz?|=e0(5nQm
z-~oI1jrVImKL3aF=NweO&awBC^W%E;f6MtpboUhY(}>TI?Ib^p`}z5=uwN$xdkP~4
z`<+ogV8+kEsxMyuVcG9szs|1p6ea+u&7Qx5KV>)nXL!HPA@!6u0#FS<&-)=Td5-l@
zH}dauK0RdxL;eE`AOm?yJJnP|d-ysHJSsr?$DPbIAzix%eEw^){W=xEQ`#zE+{bS%
zdp6ayf;#^(i~Ks0|0ydRFwNv|S?2mr4f~lTR6hSR?AMX&Phl{C67oFke>%~h1KLmj
zGw^BO@k^kmz*@B50sq^Z{2Z>#<v$7c)84-(+^+*VpW?m(s@v!7`)?oBbGYD#-&^<h
z!HQ3DMt}y=Z*V_`E<S~^Hfyi^$b`WpUBAsJe;-!(6h;A<1?~4R+o!O7y+?%~usn(1
z!~WXV!}}%OAOKb6Kfr#BdU^_s1ziBT0RXdY{{uu*L_NL!OOgBgfP<&j9RfZ)5BzT^
z_7o?Yq=x*XgpVZu-oC%<!Jpz<NdFo4OWLg|>TlixaQ|DreCl*Cez~0nWY6J#>u~z;
zbSq&24yPbQ4HE1b@AlN;{0btV`W@&Oi++}@{|)ri*<k--5f}Aypnq~SuP@&HVbtn@
z#@~$kyKeDmVs+9y$NH<2DOxJI_~E60?zLsK|Hk>dvhXP<i1s&}zc`qmLC(*8PKMOq
zNPmB*{gmXy_8ZbKsYK8`kN^&_2*#S^4@V{nBKtSa-=9rC<zTV@hV#5*`I#M_1O5G3
z>{C!Q$8(@(or*0KHZ=sms-Jszefejtdg@fLe#v_`oX^4j!J+)L>vyQ94&_%A3g2_6
ze{d#0QPVw&&sz0s_x;mbnDzEq)L$LR&!YQvC^q*;9q}CK@15^YL6ZEx1O4JeV(M!j
zVE}-idr@+gzghHGCxY`!I)MoP7W6v@V)N!d(eHCL-``vAPp#S#e-8GH^H2$^t@v@{
ze(s+`{k;|U6eTG2d(<xlIEA7F{6_%}^!}?=;DFc}2+)4Q2XcV}0=fbGArR320etm6
AG5`Po

literal 0
HcmV?d00001

diff --git a/doc/tw/04-TimerInterrupt.md b/doc/tw/04-TimerInterrupt.md
index f8bd376..598cf61 100644
--- a/doc/tw/04-TimerInterrupt.md
+++ b/doc/tw/04-TimerInterrupt.md
@@ -33,6 +33,7 @@ RISC-V 架構有規定，系統平台必須要有一個計時器。並且，該
 ```
 
 在了解如何產生 Timer interrupt 後，等等在下面的介紹我們就會看到有一段程式碼描述每個中斷觸發的時間間隔 (Interval)。
+
 不只如此，我們還需要在系統初始化的時候開啟 Timer interrupt ，具體的作法是: 開啟將 mie register 負責管理 Timer interrupt 的域寫成 1 。
 
 ### 什麼是中斷向量表
@@ -98,7 +99,7 @@ csrw	mepc, a0
 ```
 
 - csrrw[i]
-  將 csr 的值寫入 rd 後，且將 rs1 的值寫入 csr 。
+  將 csr 的值寫入 rd ，同時將 rs1 的值寫入 csr 。
 
 ```assembly=
 csrrw rd, csr, rs1/imm
@@ -114,10 +115,11 @@ csrrw t6, mscratch, t6
 
 ## 系統執行
 
-首先讓我們展示一下系統的執行狀況，當你用 make clean, make 等指令建置好
-04-TimerInterrupt 下的專案後，就可以用 make qemu 開始執行，結果如下：
+首先讓我們展示一下系統的執行狀況，當你用 make clean, make 等指令建置好 04-TimerInterrupt 下的專案後，就可以用 make qemu 開始執行，結果如下：
 
 ```
+$ make
+riscv64-unknown-elf-gcc -nostdlib -fno-builtin -mcmodel=medany -march=rv32ima -mabi=ilp32 -T os.ld -o os.elf start.s sys.s lib.c timer.c os.c
 $ make qemu
 Press Ctrl-A and then X to exit QEMU
 qemu-system-riscv32 -nographic -smp 4 -machine virt -bios none -kernel os.elf
@@ -127,7 +129,24 @@ timer_handler: 2
 timer_handler: 3
 timer_handler: 4
 timer_handler: 5
-QEMU: Terminated
+timer_handler: 6
+$ make clean
+rm -f *.elf
+$ make
+riscv64-unknown-elf-gcc -nostdlib -fno-builtin -mcmodel=medany -march=rv32ima -mabi=ilp32 -T os.ld -o os.elf start.s sys.s lib.c timer.c os.c
+$ make qemu
+Press Ctrl-A and then X to exit QEMU
+qemu-system-riscv32 -nographic -smp 4 -machine virt -bios none -kernel os.elf
+OS start
+timer_handler: 1
+timer_handler: 2
+timer_handler: 3
+timer_handler: 4
+timer_handler: 5
+timer_handler: 6
+timer_handler: 7
+timer_handler: 8
+timer_handler: 9
 ```
 
 系統會很穩定的以大約每秒一次的方式，印出 `timer_handler: i` 這樣的訊息，這代表時間中斷機制啟動成功，而且定時進行中斷。
@@ -143,13 +162,12 @@ int os_main(void)
 {
 	lib_puts("OS start\n");
 	timer_init(); // start timer interrupt ...
-
-	while (1) {} // stop here !
+	while (1) {} // os : do nothing, just loop!
 	return 0;
 }
 ```
 
-基本上這個程式印出了 `OS start` 之後，啟動了時間中斷，然後就進入無窮迴圈卡住了。
+基本上這個程式印出了 `OS start` 之後，啟動了時間中斷，然後就進入 os_loop() 無窮迴圈函數卡住了。
 
 但是為何該系統之後還會印出 `timer_handler: i` 這樣的訊息呢？
 
@@ -166,10 +184,7 @@ timer_handler: 3
 ```cpp
 #include "timer.h"
 
-extern void os_kernel();
-
-// a scratch area per CPU for machine-mode timer interrupts.
-reg_t timer_scratch[NCPU][5];
+#define interval 10000000 // cycles; about 1 second in qemu.
 
 void timer_init()
 {
@@ -177,18 +192,8 @@ void timer_init()
   int id = r_mhartid();
 
   // ask the CLINT for a timer interrupt.
-  int interval = 10000000; // cycles; about 1 second in qemu.
   *(reg_t*)CLINT_MTIMECMP(id) = *(reg_t*)CLINT_MTIME + interval;
 
-  // prepare information in scratch[] for timervec.
-  // scratch[0..2] : space for timervec to save registers.
-  // scratch[3] : address of CLINT MTIMECMP register.
-  // scratch[4] : desired interval (in cycles) between timer interrupts.
-  reg_t *scratch = &timer_scratch[id][0];
-  scratch[3] = CLINT_MTIMECMP(id);
-  scratch[4] = interval;
-  w_mscratch((reg_t)scratch);
-
   // set the machine-mode trap handler.
   w_mtvec((reg_t)sys_timer);
 
@@ -198,86 +203,35 @@ void timer_init()
   // enable machine-mode timer interrupts.
   w_mie(r_mie() | MIE_MTIE);
 }
-
-static int timer_count = 0;
-
-void timer_handler() {
-  lib_printf("timer_handler: %d\n", ++timer_count);
-  // os_kernel();
-}
 ```
 
-而 [sys.s] 裏的 sys_timer 這個函數，會用 csrr 這個特權指令將 mepc 特權暫存器暫存入 a7 當中，然後設定 mepc = sys_kernel 。
+而 [sys.s] 裏的 sys_timer 這個函數，會用 csrr 這個特權指令將 mepc 特權暫存器 (儲存中斷點的位址) 暫存入 a0 當中保存，等到 timer_handler() 執行完後，才能透過 mret 回到中斷點。
 
 ```s
 sys_timer:
-        # ....
-        csrr a7, mepc     # a7 = mepc, for sys_kernel jump back to interrupted point
-        la a1, sys_kernel # mepc = sys_kernel
-        csrw mepc, a1     # mret : will jump to sys_kernel
-        # ....
-        mret
+	# call the C timer_handler(reg_t epc, reg_t cause)
+	csrr	a0, mepc
+	csrr	a1, mcause
+	call	timer_handler
+
+	# timer_handler will return the return address via a0.
+	csrw	mepc, a0
+
+	mret # back to interrupt location (pc=mepc)
 ```
 
 在這裡讀者必須先理解 RISC-V 的中斷機制，RISC-V 基本上有三種執行模式，那就是《機器模式 machine mode, 超級模式 super mode 與 使用者模式 user mode》。
 
-本書中 mini-riscv-os 的所有範例，都是在機器模式下執行的，沒有使用到 super mode 或 user mode。
+本書中 mini-riscv-os 的所有範例，都是在機器模式 (machine mode) 下執行的，沒有使用到 super mode 或 user mode。
 
 而 mepc 就是機器模式下中斷發生時，硬體會自動執行 mepc=pc 的動作。
 
 當 sys_timer 在執行 mret 後，硬體會執行 pc=mepc 的動作，然後就跳回原本的中斷點繼續執行了。(就好像沒發生過甚麼事一樣)
 
-但是我們想要偷樑換柱，讓 sys_timer 在執行到 mret 時，跳到另一個 sys_kernel 函數去執行。
-
-```s
-sys_kernel:
-        addi sp, sp, -128  # alloc stack space
-        reg_save sp        # save all registers
-        call timer_handler # call timer_handler in timer.c
-        reg_load sp        # restore all registers
-        addi sp, sp, 128   # restore stack pointer
-        jr a7              # jump to a7=mepc , return to timer break point
-```
-
-因此我們在 sys_timer 裏，偷偷的把 mepc 換為 sys_kernel ，並且將原本的 mepc 保存在 a7 暫存器當中。(a7 暫存器預設是函數呼叫時的第七個暫存器，因為參數很少到達 7 個以上，所以很少被用到，我們拿來偷存 mepc，希望不會因此影響到系統行為)
-
-```s
-sys_timer:
-        # ....
-        csrr a7, mepc     # a7 = mepc, for sys_kernel jump back to interrupted point
-        la a1, sys_kernel # mepc = sys_kernel
-        csrw mepc, a1     # mret : will jump to sys_kernel
-        # ....
-        mret
-```
-
-這樣當 mret 執行時，就會跳到 sys_kernel 去，而不是跳回被打斷那個點。
-
-然後我們在 sys_kernel 裏才去真正呼叫中斷時要做的 C 語言函數 timer_handler。
-
-當然，在呼叫 C 語言函數前必須先把目前暫存器全都透過 reg_save 這個巨集保存起來，呼叫完 timer_handler 之後將暫存器的內容恢復，才能像沒事一樣繼續回到原本的中斷點繼續執行。(否則暫存器被改掉的話，回到中斷點也無法正確地繼續執行了)
-
-```s
-sys_kernel:
-        addi sp, sp, -128  # alloc stack space
-        reg_save sp        # save all registers
-        call timer_handler # call timer_handler in timer.c
-        reg_load sp        # restore all registers
-        addi sp, sp, 128   # restore stack pointer
-        jr a7              # jump to a7=mepc , return to timer break point
-```
-
-當 timer_handler 呼叫完成，且恢復了暫存器之後，就可以透過 jr a7 這個指令，跳回到當初保存的返回點 (a7=mepc)，於是又回到原本的中斷點繼續執行，好像沒發生過甚麼事一樣了。
-
-以上我們已經將 RISC-V 的中斷機制原理粗略的講解完了，但是更細緻的過程，還得進一步理解 RISC-V 處理器的機器模式 (machine mode) 相關特權暫存器，像是 mhartid (處理器核心代號), mscratch (臨時暫存區起始點), mstatus (狀態暫存器)，mie (中斷暫存器) 等等。
+以上我們已經將 RISC-V 的中斷機制原理粗略的講解完了，但是更細緻的過程，還得進一步理解 RISC-V 處理器的機器模式 (machine mode) 相關特權暫存器，像是 mhartid (處理器核心代號)，mstatus (狀態暫存器)，mie (中斷暫存器) 等等。
 
 ```cpp
-#include "timer.h"
-
-extern void os_kernel();
-
-// a scratch area per CPU for machine-mode timer interrupts.
-reg_t timer_scratch[NCPU][5];
+#define interval 10000000 // cycles; about 1 second in qemu.
 
 void timer_init()
 {
@@ -285,18 +239,8 @@ void timer_init()
   int id = r_mhartid();
 
   // ask the CLINT for a timer interrupt.
-  int interval = 10000000; // cycles; about 1 second in qemu.
   *(reg_t*)CLINT_MTIMECMP(id) = *(reg_t*)CLINT_MTIME + interval;
 
-  // prepare information in scratch[] for timervec.
-  // scratch[0..2] : space for timervec to save registers.
-  // scratch[3] : address of CLINT MTIMECMP register.
-  // scratch[4] : desired interval (in cycles) between timer interrupts.
-  reg_t *scratch = &timer_scratch[id][0];
-  scratch[3] = CLINT_MTIMECMP(id);
-  scratch[4] = interval;
-  w_mscratch((reg_t)scratch);
-
   // set the machine-mode trap handler.
   w_mtvec((reg_t)sys_timer);
 
@@ -315,57 +259,28 @@ RISC-V 的時間中斷機制是比較 CLINT_MTIME 與 CLINT_MTIMECMP 兩個數
 因此 timer_init() 函數才會有下列指令
 
 ```cpp
-  *(reg_t*)CLINT_MTIMECMP(id) = *(reg_t*)CLINT_MTIME + interval;
+ *(reg_t*)CLINT_MTIMECMP(id) = *(reg_t*)CLINT_MTIME + interval;
 ```
 
-就是為了設定第一次的中斷時間。
+該指令就是為了設定第一次的中斷時間。
 
-同樣的，在 [sys.c] 的 sys_timer 裏，也要去設定下一次的中斷時間:
+同樣的，在 [timer.c] 的 timer_handler 裏，也要去設定下一次的中斷時間:
 
-```s
-sys_timer:
-        # timer_init() has set up the memory that mscratch points to:
-        # scratch[0,4,8] : register save area.
-        # scratch[12] : address of CLINT's MTIMECMP register.
-        # scratch[16] : desired interval between interrupts.
-
-        csrrw a0, mscratch, a0 #  exchange(mscratch,a0)
-        sw a1, 0(a0)
-        sw a2, 4(a0)
-        sw a3, 8(a0)
-
-        # schedule the next timer interrupt
-        # by adding interval to mtimecmp.
-        lw a1, 12(a0)  # CLINT_MTIMECMP(hart)
-        lw a2, 16(a0)  # interval
-        lw a3, 0(a1)   # a3 = CLINT_MTIMECMP(hart)
-        add a3, a3, a2 # a3 += interval
-        sw a3, 0(a1)   # CLINT_MTIMECMP(hart) = a3
-
-        csrr a7, mepc     # a7 = mepc, for sys_kernel jump back to interrupted point
-        la a1, sys_kernel # mepc = sys_kernel
-        csrw mepc, a1     # mret : will jump to sys_kernel
-
-        lw a3, 8(a0)
-        lw a2, 4(a0)
-        lw a1, 0(a0)
-        csrrw a0, mscratch, a0 # exchange(mscratch,a0)
-
-        mret              # jump to mepc (=sys_kernel)
-```
-
-請特別注意其中的這段程式碼，其目的是將 CLINT_MTIMECMP 加上 interval，也就是 CLINT_MTIMECMP += interval 的意思。
-
-```s
-        # schedule the next timer interrupt
-        # by adding interval to mtimecmp.
-        lw a1, 12(a0)  # CLINT_MTIMECMP(hart)
-        lw a2, 16(a0)  # interval
-        lw a3, 0(a1)   # a3 = CLINT_MTIMECMP(hart)
-        add a3, a3, a2 # a3 += interval
-        sw a3, 0(a1)   # CLINT_MTIMECMP(hart) = a3
+```cpp
+reg_t timer_handler(reg_t epc, reg_t cause)
+{
+  reg_t return_pc = epc;
+  // disable machine-mode timer interrupts.
+  w_mie(~((~r_mie()) | (1 << 7)));
+  lib_printf("timer_handler: %d\n", ++timer_count);
+  int id = r_mhartid();
+  *(reg_t *)CLINT_MTIMECMP(id) = *(reg_t *)CLINT_MTIME + interval;
+  // enable machine-mode timer interrupts.
+  w_mie(r_mie() | MIE_MTIE);
+  return return_pc;
+}
 ```
 
 這樣下一次 CLINT_MTIMECMP 時間到的時候，CLINT_MTIME 就會大於 CLINT_MTIMECMP，於是中斷就再次發生了。
 
-以上就是 RISC-V 處理器在 virt 這個虛擬機器上的中斷機制原理！
+以上就是 RISC-V 處理器在 virt 這個虛擬機器上的時間中斷機制原理！