SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info __?r,\\ ] Imperative_Insertion_Sort:threads=4elapsed=3.566cpu=11.016gc=0.1527zXZִF! _N]ŗXiɟO}M:; AuZV7L_cnTlQ$5H"+]},?~,>ǯ-c K;1I܁H-$Rf|Rr.NzSa31|ooq<ڨ'B"6qZK5 9hw"F3 =4h(8RPԕmM9VfS:Gb 9+;`FK뇴ʋPjZ O/<, WY-^ `dhmwHm(zy""~Ϲd5*8K<1Z ҡ[Du!^: eY֔4|=+@Q$xv-f-!AYrYwd]iCxc/wrEMvdSzl%E|PT9eΝPCOfGXwpd^c~ 7,ToϺR4[3,\kMti"h9vxfAy ͖:skځT\<1Fts}Yyз{Ծw/]gH0h82m1G=.WC?9O^Q9̫9ދpIP%!UT%L4id-9n^Qt i5mc95L$ӂw p(?uňİ0U|Fygnc_7WOn؆̲IFGj+4b~nLk-m c6}cGX60k*$^4TwRL1M=ݱgYZ1245f95068dd55127caeaa27370cab0c3f4169dcc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 2578b0a1d3c8b382569fb090f446ae7bac949058 ? Imperative_Insertion_Sort ?s7 dImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Arith.hs7zXZִF! i]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcQ. Ȟ6Lړ~e_iX=L^nGc{5Hc%Pk~ҷT:2隩xZ&' ,硯}H:d6q냥6;4= H2nZ7 q F8ΎL)\Vr.Q~ވͅ,9,S?,ޗ$t'~7S2 Q+u?k@\m8=J0IN^^Z~L_pΆ&.i?WF11-krK+.^#X (l'&o8INҋXMB+|3GZ Bʯ.J߂j:iq ?rLU^_w[B/u;ԙ1c,e--@;;ǘQAn@_|̥DѴTZ-6ܸǧߡQ3Ű|{sfq ي\;rC&7/4/9h4l3ZeMdN%׊ˢt㿘ͷ^M..0 [ x< xVPBH^|YȜa?X|ܺXZPhWȽ%HyQQk{Ty v d{-w\=fI k"l9K!ɜ [e{Ɔ :8N:kY;6]ѻg5[uBU_hPW$_!܂}ӢbA~]\*W٤0 $曉@ !?uIgBhjc~QS#w$F~iA_e!5[T!k[YF3n^b+g%P~q3I}cJHļٚ%!C$;:[ \GqbCW1Acb'S4C;p*/o+똒,l|Trj""ѯl0aBq*iU~gť$~';Ujhw%Edn\_{+gyЛSdAL1&uTc ؓ]ZSҩ+wG?|hLS=:4y#;b7Qs7b P!c^8k8"A8;SW ź&cLyYzַRqguvz_MS˼ic+Xp7"gX'mȠ cTA:i"qlD~5(ֶ YH U-p>V 8Bbӗ}ݘDcqOv-^ʥd   ')8gYZD?s5 DImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/List.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm`+ [*a<6 (yܯ@;sMFX?2'#CLJ!nt"g3x,;pL* ( " >70a]KSOpnDRPh)濐_>ڶN=(8w ']J"첐]j:gaݍVկ?&X` 6A9K E\b)V=7ӌIw>iv4zq;rBHKb(|?[}/QJ4a&IgiEMmu2%m\ GngYZG?s3 LImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Ref.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm>!sg,d5קaSlCpo"{]㖿(y B2㎼7d4ݔ*nzZ8}D/ 7MRe %¥NSdTBGlMF+"`aM 80ͫ7ϔT$V[aiu^+8[&֊V-,Y{2SXDp_P0˒z A>sx@[x ~OIFr޲Ѵݻ 欌wN'=Z-SAi,Y⠋:uE6SR,amlBu}xgYZ?s3 LImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/HOL.hs7zXZִF!  `]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmﳮx?D7꒠s1Dtx $}GK@)Ȯe=QB7TSf&9bÖ:R:M ?nhs5(69tq#EL?>P%L}]ldh.V6gu\[D\,$y'],B9G(QSxA6>ʮ"w ._Ua}mLJQ4IiRA16a!(0HQ#E\i 7JѱgYZ,?s5 Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Heap.hs7zXZִF! ]K]b6p*ARhZ¤7cS 2vNPAoD9he] a)4[C6O0|` 8Y1UiebPZ{edBZR.< (%Yu=TnҨ d]pyV_j4Au;˒;9|ZMQABٟiZG!{5vzItiMX0g+7 UuEaw7)w3aVPCO%Q{1[ 6刬0͙T)w[fI/\jI@l1lu 2 lt %3ĕ+   Y4 / g ~ 9^?s%Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortdocument.texU?a%Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Loopsdocument.tex{?s_Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Imperative_Insertion_Sort.hs r?sMImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Imperative_Loops.hs n?sEImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Product_Type.hs k?s?Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Orderings.hs k?s?Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Countable.hs i?s;Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Typerep.hsg?s7Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Heapa.hsg?s7Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Array.hsg?s7Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Arith.hsf?s5Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/List.hse?s3Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Ref.hse?s3Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/HOL.hse?s5 Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Heap.hs  }6?s7 dImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Arith.hs7zXZִF! i]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcQ. Ȟ6Lړ~e_iX=L^nGc{5Hc%Pk~ҷT:2隩xZ&' ,硯}H:d6q냥6;4= H2nZ7 q F8ΎL)\Vr.Q~ވͅ,9,S?,ޗ$t'~7S2 Q+u?k@\m8=J0IN^^Z~L_pΆ&.i?WF11-krK+.^#X (l'&o8INҋXMB+|3GZ Bʯ.J߂j:iq ?rLU^_w[B/u;ԙ1c,e--@;;ǘQAn@_|̥DѴTZ-6ܸǧߡQ3Ű|{sfq ي\;rC&7/4/9h4l3ZeMdN%׊ˢt㿘ͷ^M..0 [ x< xVPBH^|YȜa?X|ܺXZPhWȽ%HyQQk{Ty v d{-w\=fI k"l9K!ɜ [e{Ɔ :8N:kY;6]ѻg5[uBU_hPW$_!܂}ӢbA~]\*W٤0 $曉@ !?uIgBhjc~QS#w$F~iA_e!5[T!k[YF3n^b+g%P~q3I}cJHļٚ%!C$;:[ \GqbCW1Acb'S4C;p*/o+똒,l|Trj""ѯl0aBq*iU~gť$~';Ujhw%Edn\_{+gyЛSdAL1&uTc ؓ]ZSҩ+wG?|hLS=:4y#;b7Qs7b P!c^8k8"A8;SW ź&cLyYzַRqguvz_MS˼ic+Xp7"gX'mȠ cTA:i"qlD~5(ֶ YH U-p>V 8Bbӗ}ݘDcqOv-^ʥd   ')8gYZD?s5 DImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/List.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm`+ [*a<6 (yܯ@;sMFX?2'#CLJ!nt"g3x,;pL* ( " >70a]KSOpnDRPh)濐_>ڶN=(8w ']J"첐]j:gaݍVկ?&X` 6A9K E\b)V=7ӌIw>iv4zq;rBHKb(|?[}/QJ4a&IgiEMmu2%m\ GngYZG?s3 LImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Ref.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm>!sg,d5קaSlCpo"{]㖿(y B2㎼7d4ݔ*nzZ8}D/ 7MRe %¥NSdTBGlMF+"`aM 80ͫ7ϔT$V[aiu^+8[&֊V-,Y{2SXDp_P0˒z A>sx@[x ~OIFr޲Ѵݻ 欌wN'=Z-SAi,Y⠋:uE6SR,amlBu}xgYZ?s3 LImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/HOL.hs7zXZִF!  `]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmﳮx?D7꒠s1Dtx $}GK@)Ȯe=QB7TSf&9bÖ:R:M ?nhs5(69tq#EL?>P%L}]ldh.V6gu\[D\,$y'],B9G(QSxA6>ʮ"w ._Ua}mLJQ4IiRA16a!(0HQ#E\i 7JѱgYZ,?s5 Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Heap.hs7zXZִF! ]K]b6p*ARhZ¤7cS 2vNPAoD9he] a)4[C6O0|` 8Y1UiebPZ{edBZR.< (%Yu=TnҨ d]pyV_j4Au;˒;9|ZMQABٟiZG!{5vzItiMX0g+7 UuEaw7)w3aVPCO%Q{1[ 6刬0͙T)w[fI/\jI@l1lu 2 lt %3ĕ+ԱgYZ   nF8 ?sE Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Product_Type.hs7zXZִF! O]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C0 -U.\[T04bcc)bbxD^~qV_M>.r@dV>-*h g ?Ҍ0lޖMN$Pb GTs] Bg kȱx~NDQ&9pCsƳ4E™dh{W XYõL U17#OuV;95\*җq2elt%2fq]t'v-4PKP5p+_)YVX)߃Q {}H;ۦ3s%&30%zgV!gn#L$gYZ% ?s? |Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Countable.hs7zXZִF! ^w]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmL>N KDIG_̻әIKSzJIvO%9ħA>a7{ p=`Qۚ_U+(V؞yWb)4GӬabRd)f|7^ױ@I`rj7WwQ?bf>!|=ж: lx+N7ڋ"VS2I#O-<Qiyv5B+]Z9fgYZ_?s; tImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Typerep.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm/^ j]P4Džh2 ,N'jQ)6saKհo .‹ge(. O5Մ!ɇp`An;S;`HUL[ߺ*0 )m5vZTHBoΌQbھoQq4Ln6+\ 9޴i]V4$gՖ;CZ3ѰĀ{bu:gh7Wi "./9~?/|x>'~fr9 ԥǽ.gi2igCz=+ф[!gbᓺqtx5T/NIYB9PPXnKbO>7Eok;<)PEZ\gYZI?s7 LImperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Heapa.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmx:9d4E ]w+goհH UQN{i BE'i2J]^y{Y[I﶐n|OQ]aVj"f-L,(lW+-(tZnV$֦Jmx3NrPf \GJs(pec=!aV a-5ìʛv6F;z% {u1nL6<-va,kh[W/Z5 -CJyYיV+3qOZVJ>lA"Rr ݿHT \X>ƷSQ:י6D׏gYZa?s7 |Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Array.hs7zXZִF! 97]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm]*ڲ3uvfMv)Te5dB]IJ]d _E=ktJ:v%SA~b!6g/;}pfǽ6Q;&Y,T,2Ģv #q;)ߍ ncCQ#1dh%1ێ4Vο~ }Jb {FgtjT|ߛaɺ b0rd? 55 lWg俦/r= PޙF(sMP?&هKc`,/Fo0pݚ_X:rPo@1R9(GmhC8F^nDBo0q^ K4?e5#lLV v/dS*'Z!~չ^兙 t,ȋMq&8`U{i3UJ^}fR{r GEη#.ak-]4/JWF a2-j5^Λ\@a`y0` 7'ݱgYZ  = [?a% Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Loopsdocument.tex7zXZִF! ৵A]A-MՋhvG"uIBm58 NZ]Fdn[F:o> !Z|:-lJu#H5K0{,y$2W<6fji`i Rx-\z>mQ4jAp\QWr]Fx |( cUOF>'õۗˇ;- ۊ0 !J^v½Ÿ}#E˅_v, & ee' 5 \f\4YAz'\SdTTP&kNٙ(ڐ9oa&m<y%̤IL{Zt H}  ?s_ ,Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Imperative_Insertion_Sort.hs7zXZִF! c]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmRN&GVTLP+[E}8EGhEbXEaKjj}^idhAv/wT(; N{קkGF ՚ u(ڥ:-la<r{+qКƣ KJ́F&<>V 6tlZ:j!z{D:}d8DSkf-rd3,0i~= (^:'3jftDfITl`X)qiW!Z6eO- q%$IlSv,]SQ{c{] 4i&KwAYVaF~tFXXaσ>ȋy.ٛYZG |"kU jOW)R]#F ?N IpP-킮Fg-6u RH5o{A~rgZ/B' S5l4m a&ԑ<a*PD5K$gYZ@ ?sM $Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortcode/export1/Imperative_Loops.hs7zXZִF! 2 ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmRN&GVTLP*7z;)R׆4G im*?k4@y !F}ܼ6ouK PϙFe0%8$X6B*s"~BY&:>i*6UGm&c&J4\6Lb W-^ɈN5!SXlPShܔ_n]20borer6Jl}`cʔZO(B7H)dd_ P3䶟[2~;@1qz\lpO{)m';qYtZ##QM}m ̷yn0E*h؁ 87c zW ɴ8͹&KB: 7e.X+=ry:4X+iHe ,p+:{yB~gYZ3uК^`VDBA}up`pĀuNy=zN$'? -j4(b:1"M4v&zH)r$ۉ_Zf/pm_1@-rLp~$0=F*{ ^zovâ6pD}-co=@ KCl))8 NSiAb:-u &&q[NNrOe`9#ף"HgF'}k\)Jp5  W@@ÏQ 9EZee;u|6Ǥ$R1mL8`wk^tn7){ =8WZPKr=oг}bG֗L\q#P@$fN%]K6rw# -q_#MNTaݥ'cvV̥ AΛ\)JpFхX8hX#5Dv`Ӱi+k7/%wwdٻD 1wAS>҅ z<+ 'Vo^tD8CjчQ3p鑵Wz^C% s~ ޖC5C vW$- ,rwZjn:iIӢti="MCmEu7mN Tk;>!Ee8f,߆W[!am$i'!S^mB=}ig [ۦgR)e\tyQf%RSL:GQa1 E7aas33[h֡>#MfqK=)PkF;G) JNyPu괦)+@VR'/rzocYꕆϿFȫfŶ?'^7pH< BhEfV4Q)#%{a[@ȁHƈ-}^mB's#/6elB/f^o#(Wت."}edf#W Œ }CtRϴ(IM0%wۭj̤ܷ$zJWFLX^ Ky0ku6ѫ(G54Ϲ;y)d/1ËZ_qYB{:{733K9|l:b+ib!.*K45̽ Y3B FI aXݺ"z t  Y ls ]2H ,NĘ }1 8@: (M˴Խȧfn;ZũRW ʎ•!a gMzk*9F^./XRK.g α 3VeY_hX/E5C3\+RroNҲj>:k~׀tLK{jHvٚ+ A֣k4|1 */C/=e1_e爜wm 1͌CS.R3_ɣ?<(oqiCS${q_HU Q@r.<͎b#}E:}ކ@ ^#\nU7qhGQ$kMF )tLmg6)~C%AE`+!TBn=c:|na']΢~фCB Cd:l /WxbX6LBy ̉FBQ^Q-R$ݣ ?!{v}OWETr)]56ML7"UsS 緉w[wwJD0.{k2Uz m9+BG=͋buV1\8~NJp.:kj*Ć&%skrw׿J|S?r& +gcQA.gP NŠ|="׃FU1M_hQJ9 rK9MAϯ͏(2tPw_Ip!U4a0C>>ɤ5mB` 1zqo86ogECW=Kt*NN|2Op&VwX=:ok2e AfhsҮ C): s!u0\S.-=>dqѐ̙vT'_L'!&԰ VL'>)4%3WOMktQj%vWUw16obԅu+Օ"8J'Zf |jmaU(&h{7 /E@m4/iM+7B4g@ܼZz_$2*^E-ha`LɝVq|S$,0x֣<8.KmȬv(^o$Kaݾ+ikWVZZ+Hlqô 2k 6:죠XI/UkBȂs :n3U)Qd֪qcCkt~ZF5⛍ڃ\™(%#i"w&Ƅ0Itzņ%еk؄?MIo: tVS_CofmEIw:ЪA%|dIrČrk1ިV8m:6$dۣZ)h/`3 )NsrK{3Gco z-Pmb湻vL>o^LtnwMKَOGÙdX:C˨=h'L9hfҒ=U|Z4ה?%p*2K(Vlϧc:Urѱ:1Lk!TfP /Q|N%:`My8[ץ yRg4]5Jze{VpZK5gtMiBɊ=G>ߞށϘ>!& ,鸞l| jja۱Lnn!v4YN$LL=P|AYڋRhjV3 -/b픬]]E{_at!ᇫϛ+o"op^Ե5Uq9a󨰦dlQn8Cs06-6U嬈EMU4bo xWrGT& 9L *xb!ޤpsgG%"KТiVڛއGVo{<¹֢p^7oqasne 9鍧,ef:}b ,8/ J~; {eJwi'W $]{[ 0CS\-;IUxB<0 hT,RͰ)J4CB2j0n{`ؒ@. 1rD˻`я T5P&#@i- Gcu,G:G"4i{ No:j=O zJb)/K8uB!RCߞKI@E>PgNn.^QMed.^*ci:ޯ!bK%]A-8`Y?9g)=^wsG Ьp- ϘЧme0%-͠O2:C=ζxT5qWH詌;3jg>+;"aX'becJ)9*+`ue*fͬVga^zۚRC3v`̑_uU†ZAYB.zZ3nA RlXOt!50|_s d?պln\C2s:Abr\}`v]f,g4: A MW!]5ؓ ?d X7u C1r0y+,(@ V(~w،J+թY`w=s/;s4ɺt@^F['IT/ls㊂?L&}  _YޝL+_|.څu \KNmY:T?"3 , k[N$rRTZ)_ظ#\G-\CUJ36Չ26@J-m.g=zZTK&ixsR&r+vjcV!,*:&PA|?ܠ99NV O<^2=B;32}+5҈q}oxxx ç-c[vAN^ ! `~<_IaB*hW vPfYFMFȯ+KT!pl9vj؉3""M6F<#\gja1d G XW&]u(ِ._]W"}D%l6- t6.6bUm.1Fg5i(u]w`UeM~?$DŽ*uiA>l"Tl̰c]TDž>܂`="٢;q[]Zu$p"u%nH?bԫdVq ȯAW^E^Tuޢ 4]V]>//Q?I?‹_G$ "}Gc rg[;3CJ"~)+7,Y[gl_SiUlMt)ABWNP@x Ͱ<#`ʧEK.M pvV?1l%c7%#s֋Jۺ5Qxi@u9)aS 17M$e`䥾B}T%2|+_(K0CYj{aoZ"d]Z1ބXW+! a'JIN ,AdAAse Xq+UD!kol5D2Z u$Rsi$۠oJN[x%\Wn۸w'&d:j싉l_e3;_FHFVh\%b?dyZr2bz[AuBlQ{6fEȳQ90ˈf4~U?Qǜb~ Kq85ɋ>1Tx4܌AJP,5sZ|2VtA,8fŰ zĵ,[ 5#80:z0~.9Sbl9,YI-&f~C^L%np\\CJoFS ȕKi8WF"%*69¡ DR"I)7fбgYZ 0?s% ,Imperative_Insertion_SortImperative_Insertion_Sort.Imperative_Insertion_Sortdocument.tex7zXZִF! ]A-MՋhvG"uIBm58 NZ]FdnZ!L;ۺۇ8]7)/5Ra.Ib Es=wT*|9a(,9Cy`nPhc:e’Ddz.y]np!\^21fSW7KAbPxl=(7^~vk(0p7$S麳3wV^P*лc0C108}JY\gB9 =Ů$. ۍ0en /䋰KԠ$(LĿ]E:$em+$RS,mFKb%]6Wۏ>s qt hۢZjUDPͼn[oyuKznǢ"+kEzVBzD9d!ɢT-ʏ堭blP?şX񖹺`=c QRx-,ZkEr=]Pq&/}[ ?u|% Gؐl3Q?\< 9fa:DGAsjFh,/=h (͛a &"ok`ML\%ҁ\QDFcg/4<+sUpCKa7WU(u6Bd~VG Gĭm@Gbei1Qvu@3&^yLYZO:MpAEp^GnzR4!2d-NOs!J(+ыl^QkRWFA?S3i6WAqxvwW'",}I*4)D4)5732ok"sn~k .a)j6GIE"Z.o0UGbkCPF8FhQX:Š ޠR6UaKp\'li"gm`gj+!|Rt= 0-]-g& s1c  (݀~4ZB[^O\&LU4h@E6+GVb2/˿5Tv;B2$VgMT.%1sQuD@PO&N0OmE&."_s{l5$4QF@:@7]psO*\`i.'{O# 9sAD13ecAC3+h>_C{Ԟ󕉶 "S!!=_cyB&_i~L -3ߓq C|E,\J!.|.r-[51@& w`AO1z9\]+s`-jA:Jπ+Լ d%}C~H7;?.z6e:yOIepCצ.l2üfOy4)3 a8I