SQLite format 3@ !.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 uux1z ,d ] HOL-Corec_Examples:threads=6elapsed=153.172cpu=496.632gc=71.6087zXZִF! ~ }]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]8@?GT sŒo2и!vP.r)n`Ո W+?<|CGRfuiTpXx(F9*qbʜ[2)2z[*cjCr|Iۊl6B : xڷbq/[nk9A国DDoA~:8g Ĺq*Kt8{OZiFt&\_#u3(TQzL÷O`$m;(/jӡAd:LªK\lX2YvŴy9ٕ(:L+SOEklz ♻vnK@{y0Y;Yo#vmć>{ѯ|Tbc4#To?KnMGC?j]BP%Qo '9%3}н8`㞪'dc!OvLZ)99ܤ"ڮf[~K,k3}jHS :]?yH]:]7Cc.c-y,spv]w>Dg'XGok|qoAf:#?]LPny &2rԍJhhM9j6ڄgNڙD]t*c+Fp2ϭν[7'h6ND$|azsXKb=~ k෰ SfEdI!Fx`cm)egFj i20|?-$JXF cK ̱gd<PI1.ɝ1Q}[4ܡQ^JP8eܐz:t]s](Eޝ2CGWKW}& j?@1*-F" WNj cأB\QT^4*91o^NV@'€ܰEgٟ(U9H|۝M0QpNM#/=[=8%olZ_Zwu[1Э}ǂ;1>h-u'm|3ڊKBTў!.q|Je :^ 0>Tq=D v o˅E=R6Km/@ZE-ǥsb)s^#,wƀ"68j;ozzt"j2R@K298!w豮@]+" OaʹTM5dC)]!ǥIhPx[ǩ^Sv^$PuOĬE_||xk›S3Z1Q23:7P*'•a|Cw2 O>b9ӕH0c wmR8Ǧ{ ᧢]t.blN,+-j9j۩ͼڂPz}ThCJ$4_"ю- ^JXrGxŒ #EYmrpJ E[xflhev\AUm̞)gAR&vX̭gz0Bkq~d.N˽/G~Ktv3"h\ "Nnyljy+=r4~kS!7`ׂ.:70a!(4f72Jq<[FK߭dnFʿ?x,0 }3s.H 1 HOL-Corec_Examplesr1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g/.-*&$#"    0o ~ :z<(V [ +s1 T ? x P g7 Y  A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages0?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup/A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages.?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup-J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.tex,=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup*?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages)=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup(F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages'D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup&?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages%J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex$F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex#=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup"B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages!@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markupF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.texD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.tex?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markupF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markupT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex    r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ e 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x!.V׃iPtUygƪ~=ky0_r|.cȇI7)|>xҜ3wf-T%<[9^~x8N[Nž@KxvkH3-{4c:Ax93!!(?LxU>WB:+аa97naڳcj5@jnm:aQ k%joeo1uuIC@;?:4/ q͌==v ![A_9+&Sk5O~0c|8h7,2=9q0`yHvpEwx{:;xͽ ʂ &d]x//f>P3\{) ދp;v;jkX;k5㧖h 'Q̴Hz|NP{lD\):6$m9:\jŒ$3,L܆i`SE&gYZO1I# $HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! ]:F.P2p#J) :,U>6>OMBڳ:?4JܹLeg0 ĢzZ#\P-t6nu$}3,a:D09WBL~v].MӁSR-}RH5]csp+ngH]4&hK:$tA+<GE; JNhI2J!%:N P@V:ΣUxAzf6]~Ron:ݏEUoH"hQJ?!V{u2$Τż3%^)-:tl[SЦ.T,aQ3;+! fE<L)(,iyJVXO%P:co⺏l+B' ,lintפbF)WƗm\]+Ew gUp&P(Ā%;{8yUVgFÐ22(B<%%:r6GUWѾD,Y /a/9}O?麵x^Ko+mEHXt[5}^J&"/R1z\p|*G2Կ6VȊz[AB6e=Jp@v*ik`j yvύG-c*|B>I; zJ?'0Vjl-;{Tjb W ³l9IgYZF1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZ  X1S# ,HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! ] !M젗OFK?aִB1g٦ #k .\ykdKRJ#y_goc^<J'V@{#ƨUB=A`-cTrN @BO'Q(GvFV4 +`}9Li:hæf5_&a&{ {DL] {0˛?uϓF7* 한! >2.]l#$g:'.9 5_s5Úk2b=\5+p](PV}1aKF: t!y(Cd ᫑ji閄lgFM1Gވ9HWLJ#F mXy}QYi(OX:#XWzxr'ѣe[) \eJ@>P_H(NbR u4WU0D'~DE wU.7g_ǷyK9!X${.j0HNyyotO>]2L/W_]i{A{[G݆ 1h:)M -'3!Dæf-W AbY'#>Ք{*'6>ɠHp}h&‾mZ#8 R FNvQ%ͮ)cY]œ,>:\lm/_qvne^HNć2GD7@:ML&Lm])ڱMT]-JX%8?x3+6) A Pmk5Cq92붷c qK$4*k ^` ~D[|_PDwYy} Iյ9:HEii%UfOΔ Ks227n m;hz0ꭞʗ.^,Ge͞3@Y$_D2Pkz}RNbҼHwcQ;`k_6nŽ @Ā?Lwyzc5+ R"2?ȓ.R9Q+^>&03~s7]4ᇦpWcw5$JA5:Cx |l\GwJK0Ygl"4]ugYZj1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! bj S]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLeyԥ-jPʪ]&ځR`f?сo$+Uzj͓.\vJ)kؒ1i/59#"t"QL3esQJwL xLàǽ1APpO{fEkf$!M=d Zn[+AIЧL~h'$d8!1-T0F {"~xg>ZA%Vl+M~w:\艐 sKyP ;C\ZMݣPq:Ba ,qAOЖTWwH.t[鹘5N{1&;7ԓ|G{tXeb:I~*l׎  u}hUV~«WؐW=2iǤUP)=_^m@8h) SUU}Z2SaNԳg04Þ|lircXS/ $gS4d@վ˺;8k^FTSPR >q,MW<"1]֚ich:=({w$@R_w[xA*y@6o=q\ޤ_!c0QDÌ͆Ajx7Z54dE bN9-aȠġIA0e69 mJRwp g ;٬SBvYyYi\ ].yt^1C2(rQglh\3_%.JEIq8H/P0N~:(d IQEL[y:;_JGQ - N+*IW7pN$==xPU\yăW9UM'LWOu6OLAF9 dѤTIVߋ@&g)UtcYyΠ=t]a{76 uh~ԍE֭qq*mmUdDhm~mpp5cskKG%Uj2s4h9wVΎG)])\>ks44m䂦\:Y%:p+? yR&m_,O#cTKnD92{"5/o{f{P8wuT$B:$Ge؋"lBT_j=y Fﲇ*{ecvxF5GI aYRh'Wx~g6Gd*ȣ9""P.f|HK,?gYZ t t 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x7h\  6] uh^3E{7Fz1DǩX)8lwǥPw.4ƮFBi5~H 2+gAs#G"#WA8llB5R*xmA1x;!1?lʹs2{u]!L8Z%pm YWDb+3*})6) ߟjHOCsɽ@Awtӗ+F7x砿ϟgg za,5@f&(r:M/r4H57>ImLr75'b-ӠrX&NzHh\UUa0*gvvòZů"abŹX^;cv,߉"> MQjs6<ʛJY.v2$gKM}5_qƫmih\.^"{%xnB/9&wm0'YQ6 AJ§|*,/zs #ys*J5l%F ؇M@}̘|c/afNJ--Z7uD@(e\usϹ F. |!_ 8FYýWԛKm bN5Ɋ ? }iݒY^͐[]FAeȘ~.`xK6D:(!oCP8uy;?})Ds,YYXf2fsts,c ~:?;,l>9۴%_6()q$=D3<16[g% :fPRô>iCK6ͫõuBg"~?}jD9>cpg5uOH0m g O!GT 7Dadxm+a @'K \h_=m*#x +L Fqy-g)q'VWusr;|f q |g(=;M]JELogYZ 1O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! z] !M젗OFK?aִB1gD Ƿ1Jv›I`,xŝVRw#qf4LJQ;ZG[lڈHhbDxxtx `3} ɏ(ʈcӛ+`ӤS!YBKȨRL#;6"ckg+ʇT0#PY~lYY? ->+=AnZq ]+Q L h IXF}xlm 7l1i]AbP'u1_TwƎgP 62\Ҹ_HMGo0> Mfڑ!.+I?+>uDDThx,I 2!~VA yR,O%Y=)Zfq-Q>!ѯgb7:-kt!?s)Br gؔ"#&5 jaBq6f~ĺ@JC[!#.)UAa$cT^t'eJ~NX4RXIom{钊]7=\i^n8I\TeEM>D3usk>}O+4R~3XfKքO|P%덀qZbh,ˎd J;N<k'"Ɍ|^+khzu7@܁,o$mN:=!SEC=;$A XBAHV\ Hb=,wȌ$X%CX {q)#u|z9*q,vdLOƅDi<#W}٥ cTҚjJ H;[J[jŖ]/d0^=0̺Ǟ\7FW ]F&*W6UYHvd$kc6B: ߟ/[c8O3ڲ:e/#_cgj|\ʥhrB q.nJ' sVsO ʻ}Pmns%>|5g'V&E]u3 UQK~l5]@mqNszPQ;]n[EAn(+6L`Oi=O B~* =*`D@v1  iIֱgYZ  GD 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w;]D?7 {?:fH\y}wp$3瀶1D@\5࠴ۼ]3[5&rt FȞES#nq7<ۺqtZ)D(Ш}lկ{@*x eϑ-h* V]5aQ]$Vn벚? yZiM~4rky+Pom[м/bA2#F_O|Sm3M*:ߍ4 *}7a;g~` ]ui &ۑc3YEg)q,Yw$/쫤 Z ~yssХSCo {0+E Z6aH8MQp77Ԥ74 4]m~">/ G 0JTTf^iw>ۢxjDz4c)ޯXѷl#炕jd\J7.@oĂZ)}&b4V+dž(z-9h_@8Z s8Dх> at8˹Es%`ldmX#sƱ|;)f>uQt`rcq\6Bx/lvu)>ϴ4UJ5N8o Ujw jMX6nmV7 ~bhAžšZ?uo<ŪfN ,n=~W\;%4hw/d#&L:Uo#BR戯ձI7ha+?`2'_F %ֽK,Sh+I|f6.20(mw ÑD?~ @.ڒGHd)6Be9Q#O楽Elf$g Xo;aY#cD5b UH$gYZ6 1O# lHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! 0] !M젗OFK?aִB1g:k[&ԭ"EO"sizB%Jssт|1KywTUho*> /OЏ/꺲 m,ji* eIz;1K([ӶE~ n,6JRtŝ4kR2u2_RBmJv $,G(Ǟ*H6H僶K J?Z1!G F$i3V(D%ʡEȝ˄YeTr;@e ҿ%f@ߚaE#_JwWLzFۖ> Z7K \c?^ڻ+7TV]IxZ'ǢPURh2*C|P#\c4k1DW1\r*C\&ku\ij4CX~-H9n22[]͈&@h/oZsΖnh Fwf|M"LM%JW9`Ng9,ޗ6L"y]O-^J\K_I8;dI!jqGr商, ;"sqB9/Tn;pIpL8BU= X~KH[Vmޗ+Z~tT_ Ѥ"+#&oy ɠW5ס~NRЧ׫m~c,I ́%N8ZÁnJF;tyj9Md]툜:3wp9 hso1rA/qjN-? BFu~: ޠX$ P/˒kY)mUE>!>65 .v4%4 `Tmp#E9sY Ѧ!ЊL:[;KaJ Ԣ;fj8ÓUEh}w\Vg/ZB+QڎO.B/gr?K 2pt\VBE !ߞOEL{%|oQ[斪Q#ABg3RY$ʟ\GN2j(!mgEQ+zSE# 9N虦Hd!ir!vŘZԤ2KcYIC1eh<~Ky-_L wd5 Ƚg#y]d:.Z~#h/$hm7[8(\ƻ%m7uo6*z3y.ϯeNP5du[Z};V,ǗI;iR1TB%b$QhSG{"ga޷얝Y}2bo"\qOpG쐡eE{uF'0ﻀOV$ Mf&%f!8O:c'9Nl`g_NQ{n2xj0Wi6sc [D Ώ|%='6nP%y" %;ޱgYZ mm 1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ  .1OC t xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ1A' ,HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\y`ЊTGp͎m@(RzT 6ئf}ϱN- 3("8U-Be2Ԟ8?[H-REv ~b0pDda="]_p+`uHNq!̇W%~RAh [[q`o<[z'cSZ; ^<]~XRېW&H چy (ї2.4$pg롂+k.-].&A T*YZgQA@ZaSVs$Ol-nFO&'2(~KS7 #0JP&_gTV[1] ]VC;2HK1L&G@ "dT$K,^i@,#؟bio1dE9T.7@5*߾OB?[nCh]PSB˕Q ۹Ui좁6R[Y9ghR\_ =Z&9Im[[wآ3O2&z, ;қ' >YϻoR(p {f*ǫh}n|:#.}~YO{?^&qk YoؓN}!{LQj:>ȱgYZ?1A# HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! ] !M젗OFK?aִB1gq9r2r<#Ϛ+iJSX*sͧ;gHZr":.SrjCUڜ߰:R6ttϩ)o.`yhs"BQ"DJNDd̷NC S 6_ZyG㳙3}0T? XON ଫ%,j]:VXaյHl-)eRx-JanzlZJh'RC irh5!(#y p"1/xKjsiCHY2gQ.Q݂UhJl"*S]~|l8تף2m,ڸߚO{_] J|ƐLy> Jy#qs)a@!ȽROTHR 4\ _CW) )iC!R~e3rG={nYGeiNGg& d:\L.9VՁi3jd 6ZB0ҦOΥ9*ν YF&S -[0agIx@"Q<ˋ֐`jD *]]db獍^<ҿaGTw9]2jW|- xj]rwׅ-L*=D~\T.fX90`CIyF2} ,vsP#yOH"v&dW%z. ꠩g 2UUKfO󭀅Y Tej߁V0\ߦPxm'ېes(*2.NgKK}vӽ 8|gYZ  J1OC tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.tex7zXZִF! Z]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐb&Ρ Vڸ(Π[kcj݄`ng_l%cy-P2/_I] $b2R ,I؉@Q/_|JmWJ2@iѥ\O[)ՄlΠI[X'2 Zʬj(mp132sl!0kpä˳@K]n}@jztɜe#E#3j 2/ f:[ixcZ ( Py&o.,jمp* ÂzQ= ƪ><[喻*9yDvHeg ]lq@<ۘ $|`^5b2 [d^]~z*FDw-H{Շq`2RTU.2e`+EYL_nSy{/c@?YGJV;8fM^/M7bk9 (RPk܍=W|3vj}'L"QHҫ/ST;E-Xƚ* 2nHN2^>d} RF;2LρNv'v>=ˣ34J/D"w 1q!s8zמwI#.,17n B=CTqCWKdlib"=Vo7yНk\XF< "\{gQbWw˨h$&:CîF <]ވg=uj_Q+ ʜW0\)7^]N)ibA)z_JqTYu-zSA1BqKx;/>q)qB\21;.#.6;x-H#o{(@"}L㷶w%cMKCJם91j':hcsz% ؐoaLґ-_y%GGpKld@(1l>J[%$Y)C~SR`!YRǿ݉ޏF' A4B7F=\/&pv3s@c>&$㶧7B5Tjtۂ^MAOd rLù-!=I r{vbH<0-gP|LI"BHfsZQ<[ g nzzjQ̉ETy"9g*4pZ`_ W 9lc} -V :kU-R- v-x [K-^tˉ~/F jεKa~]T!`Sv PgYZn1OC L/"+_]KYz;֖%o \$N?rrJbkhCD17ĩF;j3B`.&~|"݉>3|m .+/Uc 7@]ObLK'dwX˶#דuaWҜ2x?m?D,CqGۖ-‚FH6R+Rb?I/o^?:ڡP<c$A89<\̼7,sCR=L@rᤶ$]tv]Չ kkT[|iғϰ+/~~-b`KL ڨ*OeW }V+i>Z%M&8 t#1&Lv-6g`w]{sjx{Y[Lct#%Joewu+_"Ѿ`C)4= v]lT-Q\2HH܊r+o翪cu 4]oِR&Z#\Y" ™gnbʎ~4~]^:%Y _|hMcGY>2ALP8ľiRk<!,/}b'u <:(x/z$!k~LdUu7eW런hngoi&,@ WYtm.TZ[DnOM#sa$}yK:)+vH!yW{FD2l82Ty=6Cz7F t r D8 /{ZLԹbd+=z*CLQ(ӗolkuբ,E89X4- EzY<>0*Lr/g".3<¶ ru^AIbL-}?.J-4+o֋ޭf'[ hLsjFy#|(wfwlĵMLhonrJ"]rv5 BǖCfM 3a'kΘ X@߱gYZ E >Ev1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex7zXZִF! qg]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VIוL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZv1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZF1O# HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD *-IWɼII !6M[.@` _XxxO"$R.B}4댬am rxgePӾFv$ĭYPO]WDFmE,kٽAwiE~kk8Te Ns8AWxMd[tk pɭzvR>Kה .!%kAꎻDoܶsP1 C1|/ mA~ է|Wn13 H@!c;_XiYϼQǧ`aq 6&9/yafSVeԭGףƃ:Fͻ8.ǀ["v7v99:0vȃ_.#߽XF؁ŧ"YE&xg4a17ZZ\ HR:QOy 9s e7/͠yQ۬LG9YOZEڔu5]2`l(ǵ 20ck4MrtJV(4AV3Ajߵe^CNGf'sC5*/pxD%C7]d< bv*MNrc!}"kI~fƐ6Q[fKjiG4C'k[1\;A%p|CWDEᦕ>< =寯Ճxm+P 0F0^']?D gYZ01A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RXꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZj1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ 4 ; (4@1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L6]D?7 {?:fH\:EV$ZŻ u& dÁo;aAu-$c~Ndop\iȺ[),EԔ+,>ru_ }p;l `s] D6)H> 7`ۿC\ؔKYM@lUUʲBpM&WQR1殺}ƲJ 2E͝3l} ~ʄ=jHa#|pmρkFfNK5m'+`%QcnS@!%i?ula8g17rUqg`QMmϳo1gap(X~\^ՄCϙ7,Jr3QhԂ'g`e=3eV)rxx6_Y#䠬 tBZbUwAm`bW^෺1v @ BzGsXu%2Ry|F 9 Hu|B)OKD~|#>``aLD*)=?ZwN~tQ-1HeK)E~o GN[Vs3}GC+1H&$B"a)+"2K"bGf56x,.ɪťN_b@yu ߔQ^5<=CPnpD19]CkڑKnި2t42]t䨙翿/eyw);Y>a,Q/& 3&%$񦷒~ n LEt,'hɜTE+gYZ.1O# \HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ] !M젗OFK?aִB1gDmx@ڃ_SL0Z*ڟcBy@S%Ύ_y_i>=|`|3Pў0]-0.Nv6MW3b鳶YF=0:1Ɓ˜^Fo79S0GEE_ pJQWtȒH6 f=({k~% 3CIؤ% P|4VltLʑHjW~ӵWo|ep cחoQvq5Ljhu<[ SsDqٱ~ơ]f+nB+H%oۨ`|ۤb1/P6HtO*l,r{p*ʃoQ|i/-r7v+3g6^gF巅*1Dmu|D]̺q!aNL2jOιz&t!Ҿ9lStjk\ B:fEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱gYZB1O# HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! L<] !M젗OFK?aִB1gD &r6ɂi2Mh !%~Mw,oɗCl1J$1"4w3YOtg8(I8{MG#d1ǚs}cH'䨫Kʼǎy_JK+3>ԫ\70 ,i{KdB%ƃfi57Ees;3 Ƞ(Ki[yHے\U˸a(EI%#ݒHɾ+lFwJ+Zʩ옣d*e-m#΂@@qYPMD|ya  M7* H*pF(tM* MoTDQd6>V6?r((x>K~8 s859W6Zy]o9LR>㕝 +Is%BRԹ zJL5bb1~YiP)^~/ٝToD+E O}&Ghb6WB:vD<6V`kL _wEFIy:1n u{S38bjM8G8g $ʺTRx )]>,\!mCGf4B߸/Db.}@Lυ`e F+p׿I}3JmzN SUW0m15|^0 NiCuƃYtPK;;5-Bkrmwa&G Sdt] 2'҃}\J]kD4v(f*ԪhxLk fI=6y1JZh)tıgYZn 1G# dHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! `] !M젗OFK?aִB1gDo%ĕf]\<'pKQWr^aY 2 ˦L~x=ܑٚ*Ǝ!JС'\ Xq}*l~z9!iғcπ (b~dDgҗI幄({ $א,J_pnP\PCUxaK]>o }o>ʙ@EvVTݧ;S(Yx)}h8E'f94VD~ 6 ~g+2PN0L? 9dv>>1Iqd5.^u|$BCR"Oi#!j-N7F俄vٕ%I$Wf;bi! E aȅ :пGɥ~<*3Zr&l)%Nٝ.gܥPD[4ܤfH 4hm@!qM'_VF,pnyQ4"=Eu^.Űx[' hhOTJ8tyzj?k J{׶Yo~%UncyD$(MW ^ ._&&ǗUBXf9:&?5o@lWt5~Z9Mw|E`81N -ðdG]+ﻼ2è{$)TO ]'gYZB1G# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! ]] !M젗OFK?aִB1gD '+JV sBYUwm4=Qt-LH: ?mihǔDozMw&bү[j]E\/k./5;ٹX~O)sn "FXv7KC+݆dPftS/3󠊫S2p@Z9Z֤zkn)QBUQUSED9fQXDWYQ'8>}W̑+>$J=sBKڕUKNN>GnqrV47(M`|Q$_:rQ Ws Za4~U )mҐξ8#UW ? Nw["Ne&#ot$"ݕfR@^"oTG=) FN4WqвSDx}lz,#sSZ(ߑe8,-p&i .~^3IշM*;A:Pn@MGhal_Ѫ>8>􆺛K=iOOMԽu'Ϥ;7p/LX'd>0T|bŊe{$"6Ɛ1Q;nW|>ð 0tI }nLy)M5{/'p4ꑏ_юN7O"QSE2M *(fw~:Rd[Gfܳ*x|<gx]xP9:"P]d=iƺ5dSc X{(6#fNA>_L1 R8˯!t'5&3}9Qn?&=:MA̙fHLe'a?=.a:>ٱgYZ  p#1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄c3jgYZ $1E9 |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex7zXZִF! $`u]A-MՋhvG"uIBm51FbhK#|Q}k@ My:YÃ&[.GI]:^"w*?6IWqXp(ߩh!K6cEUY@*GwJt`+ mH/<<2u(|&sz ܁c_jH*dHY!=L"SrMLץ[ pD=vaY@5mFb=>YI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZ f&1O# LHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! k] !M젗OFK?aִB1gD 9[=*erՈ* ],kVKYGLM?IOuLڀ.aڷʙf<Y_7pOqeF똨^-UJgpLȸ w%{*"::;h2 "v_b8״7&[RF_?%a6v9,YyY.oLzC~HFE*X, h 02i?AjfcKK+_>mݷ-IXzU9v3+k[;'{x /a@ 1F ;OJu#%s^a>C ؆>I]lM)yWqz W5A{\B6rӾy Lo_j@LgB&VK9fG9F3TZ`Li?IPuRڛvcm5h9؏zB{)'٧,{vvyo?0IgB  u'hcS"/'֑lmW>qşj k28%=}mi-P k{D=ʀ<^PI{n6 ~[ $Y'$lRVv~J^@}:VGyՃ.Nӱy;\c,uFqu p> rT _f Sjs '9b#-˗G2%E|a2#1dR,JmQ6Win#dD7ɖdг6"Kkޢ/RO8?u$+n 3?Z8 ZTꂞI İ_hA1e9$ON5Ůk@I[ǎ2vc~HvKmHb^ y'> t>~~S -cK{8AϚn'7;[Ɓ$EILt@<?e+Y c a+9=9Q>¼|/ >|' D3^,)rҩ;ٜ<"UJ2Ne遡(.'{ u\ox>u$ߵ7Jr'gQ%&bevœZĭBP\# ${~ )қ/)yk'Ј5܇@$Wg`:CG~ $JJ՝ZLmre8zl^d9he"cR+2症MJK7|vW'F;Ux^LtEŮY}$ G~aE<ܰ{kU[˾`٥"qY,Q5`P"ey^jXX1kڀBlxYOXRd0O>} JX  (k6{gYZ %1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\9 3Ҳ>46NɩRi).hƾ GG gƘy8VR[VXTmgjtL L?8eM$"Pԕ69ݱJ?v_ WRkl% UL^MPɖda6!=:S=-j<{"Z0'k[ ^ea}mnXNm1y0G7,G$`"X<)!j%ND\Ix4pkkIǁhl0RJ;(0aHukvoY1O zp7>3o FI-,=[iL*1SOȭUNpBBGl8yxXQnބ@@fhhCXFz23'э0Qr֓x^4 s \˓+9VꮭjRBůYh*hKKyZG;ъ.D[3>GW{ӫ[G cЃ[) )){b $ZN?4[g"\\m<Ap/=Cgn>Tp lΦ d 6׍1jJpU99%g7;  J5 UEn}E3I ȪNE\<UcjĚkW 6c*EE{~ #څ UU%1O)I,KtZGG ::cQڐ02g ytn<>x(e yquV $ɗC#]<߃"ӿHvh&M*` s'O7UhX@a;m0H^EEwbqإ`s}I/Y`mpL2i PGAdhGb8PXܖ ,^.y~]QOo6J#{[ mF{7|R+t # g)挡Sq3iT8W83I ݔ&^VBx&@$0ht3o-h\E_H0i"@m?AIk; qrv0 F `3x0%?n8Tph/dQ$gYZA)1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! =]D?7 {?:fH\2$A_*Z퓷ZL!N+{ӂ$-2Ď㢌ד#_˦pPvj1ݚC0 Y2Y|(n}qGӇ.al2JM԰v4o6vдdUo=Ye`׳}wiΎu18D/%/b AE!-zv-ܶ+-6O/&?CMoTiVdQ線GHM4BCU6HvNnjix[j3[U$mKVv 6kzhVs.ȮՒ7X-)IB8 'փgWym&/{Bg@21H><4fAw 6i[(gv(2b=0 i<\9=9^͜%ˡ{GM0;"JIhW@T/g 1`I-}UdPȒuL%6cSu>BEWIXZOZYD=fj! >8K @ʓ^F`Cf.26GңfA3[- u6U7=N@plN͡jl0JS-!zGbl2nh-dȁt2i(Bn妫m;az xHӼq81F~) e=fTenx8kUڎpZgĩ 'VQR%[= GkT;U/[3gYZ'(1A# \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! ] !M젗OFK?aִB1gD '+JV jgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iٛת:{/.)6fw[9ߩp "+X.B*c.*>b5q}@HaMfaSj8}orɺSr+yF`*=8J'm  tZ6`ƥCU!lu,AR/>nrvx21 zChj%}kJ<>=qǧ-zH؛&bVAgYZ'1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! {]D?7 {?:fH\2H֦N>y9'ggX+^p:Jz]L|WiS b ߵsWz҆n9pmGnðh}0r!&J^,Si.yi$ +VFM|nRMALG1^b#^w+ɤb=iXqÍ?RNиX$(5bzz7a-I}gPf.O7/v &N|aQrM x:OFB[K!U=lgT%v# ?t>_] Ӌ3/5țv3WhQ7:f:$xWמ#y_1Jn9}m# 0 7Eh?!,NgeU0V3ֱ-EIosig@GKWn?bH@DEw8#n-$?zo^#ѕWي22Xq:q/gWeFW 1ݞ%B1o9gxf\`,eg?D9N8i*\%jdJ: |p@ O54KrXԵ5zc,=4h0ПK촪FȞ2A*&lT܋>܁kd^_&y#U4"6MSR>G7,b*Ĺ -{F ig 0d:SNQ,Y} h_ݪ*hL{˼ꍖ8Ǿ2ּDhNY sLX숆1) |ld>=E"k )Ѩ$4`$*`b+g uN)w4!> =H+>\3BPV%CI#S,Y 3ۤ &}6 ;L`G/IxZݤ,YKdG6eRXSC>G 6JgYZ 3>O3-1E# ;jWVMBB~sK䴎8:Ub&'`BXiR}ګi? BY{VI(|hbͻiOreL^͖B3.)A?7'~8U-?"Mv~*U6Q VvG ue`#A奄Thډ8Xr WJU ^!b">tSzzyX=8bO7gSjI9mvTه|rWzc7C蠏 qJNF^2 Ϥf\YZ.9|?a}AFǁ-Fc;Ƨ8iSYpZEg^(ӿM-&U~i4HctaK=^]Zbxg`7'*b2o(!!ICk*[{arb A1 ~VrݬvC|czdw#/&DeCĉv\q59sBeo NUUԱ wI=xtKgqzݱ6deY1S=r't U&!N<Ќ't8Ko( CVѨыyWvn>BzG=’: eóCb7> |!Exϭ*OY#I/>Ptq)W&$>܌h[c8ygZXrQg3!ڳjJw!0 LsM;JX :`" Q^u p(8vajq :2DԵ߀SZz3$br-+FI ΤmEgfu wNHti5;n&rsDi*O^p}~7ݞ<药G'ȏ(r&-qgC c7_k{NDgYZd,1E9 #1%uw8JIb5 ٖ|-hjSxC_&l'K[uvv#wYf;mkypvrdr][YPyL/5w_m:o!SLs6 t  d~ hg+ZEܕcOYL7{"gl{\ 2Fe$knAb&:^dN! .b[IxܪX]Xw˜*tuU.Ǫ^!xR6z,׿zμ X=~Cvz;f؁RHslR%-PW勹- ͳuO$ls"K? R_tjSv?oW_hg{&fї )gϗKaIjFP0X!x^Nb? #7Yy}_:\ ֑~] qH{QQ9;3aD!9UrK.6< CbJ|MS8Bv"7 v @HV0j49tQUCD#.0:$ 7*zc\Uܺ뷑z`D3^) kbKez7[_4M;XCOwdjK#z0tCh +]Oyc{D#!\ ~gq?+1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! 9?] !M젗OFK?aִB1gD '+JV rgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g)挡Sq3iT8WU3I ݔ&^VBx&50Wowl[{'Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ 3.1E' lHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2,Á ԯrw,[IFRqrK?¡e![qd6 H EϬ:1ck&*~B_4ᬜm, ~,3 +JW>a;A]u6dwK]:+A)0?e[؇?+MlxK!{/'T15Img nE`ӵڒ;yPl-yU }!\s?krLP$hCI$y6&'rx=NȝْN,W%`3౰\՟=\*,=S幞N,^klުB_yh͗Z!Qb f`I[WװRcxPKD!3j>BI'èCA)4I~iO$_#TQyae-+/93sv3uc{0FrXLsS_V!YwOw]3,Inf&5 ,phMZ* y9d~B[[!VOJ4%>ߓhgrט&yDuB #D Q8JSEЄpvc 7 h/k=AF$ ^ 'R*S5qyt30&oGq~FnK<Ɨm\H_k,.~)PҎ-Eӗ(L,nL!dW饗 Uڡo#@ʊ Y8Pɶ0\c;Um( OăkPXս^7 dX6x̅l3UEkyO\nu+?bhCv0 ; 0+yٟǎO@`GL݄`Ϯi%Nw…M;C㠢o:{s`B P2/'FaTл5)$]FT[(3T($gSS@kg~=O^<δ˹?''87S1{[6So(,eը)R8r _<2KmBmvޜY]#Y>3o3Ԍ 66gO5?a,AzwJKx<&F.^xhf [r[gkdCc9ͼY 6~ y8g &bB2:R;]^bVUkJ4) afnJSY/%!0B1LV>syaz-#7$+Ҫ)Nʦ}<'Usvd8$HSe7)~JL! k;XL8J@ bͽnZzf5K/*gtT}@@d0q9º Ѓ? g0+"+*ڳP !@JJ]!)}.\AڐłI/8{{2HYs̔gA0S BEfz)ljF"Ƀ简'+y,>1;jDn3-4Tg+)6L^_2CgFE4dkuLW؟%AP AZT pӄJƮ9/X[]fO\A|?>]j, :šOZ:Y{`ǁD=O4p u.ý۟bp} Y]?_D( fpׂ|.N]# `[MoGMQ8[Dg(A iZj6 2|Vd j)6LZ烣>=͑'5{W]C6`rM̔C܌*^%CF?S|\2DqU(Oqȭ_ǐlU]{` e\_0a E7"'b7͑~y\iţO~3kCV Γ%UZ>:f,b zO#.3h*hN Fby;x1I>텢Д5BieW||J_i84^n]aNP>pvD[WӜSa;SNQO[K7@g)nc4ߦM\:a/[dQB?3l#c8A5N@37ƃ7$[ReVwfB׍󎛱out4c4j<=ڲP ´d;GPKp9EXRkv%,50{yXcc@9\RRE78"@s~0%˽= ߎlVS4i@t9EIG*畘[se5J bJ@J60%vRZ:JF22v2ڛ[U'WCOmYS#dq>\fO*31kUOSYI_0+ioE$)*myIv݉6aM m}ytUf!UF?Y/w+Yk s@e%<\2٘[<*y*VI]V"MIs*Q}_РX3joTh~Y7=8Wk8Ra$iGi[DDZcQWDi#eִYv%G0f^VYtfkZ-Ѣ|n=D|fTmqRBRF0^=C&hP> b3c.B ix (fECN("'֝NVDP5GjA-yeeb>yuÌjVH| jvD,ˑR8aR~]ꐨaE/IuGx2`^:LghF}xF{x)( ) E2td:.&JmY'.@dSLDU݄^yma D| ߳_ ny9riɟv|:vq񼒋AkVjDHעv ٿ&<5;"թp_s@АAM[7Tx'ߛ [e޸Ny{J&;MU ԉ+n7fxq 2$&X ε[5Ri3깸{xa[zqr0.ڎ7 mA/cT"ro3~qI~,+>Mea"0 cSA;xF@ĶgTι;G7aQ+wUvcrMVmB8p!#u"0vB: ~fw'3)kԧ7ayzjN M;(&?hɞmOA>`XH7z8*iZB 8Qd]ͱ9T4 OV}Qt>x:f#BONNJ\ SݝNa"z]'~n?V\pFuߒbtoypQ23l|b U>,#&*d~^Y22XAHJR9E/-+tu F_%7ȡ<(O?sZu>{m3>} e@pf"k=m&PU͕3֍#ar?w%_h8o6Ԩsӯa73:q1>]"JRm>;.Y> ,#z[0-n E_6˹+;~OID5T-և2{3GnH fw3=`%Fp:FI`MYTMZN,QG\<1]&AhgYZ b/񢍣W:i\7cjliբm}u OV.in@K67)A6[ƞSEjL!J?V^:$5\V-zۣ5YHgYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ/"'rfvC;oDżGr\ ?߮7X7As=yAp<;/߿%G^Bjc?0?t3 W WXM`ظ~Tbau37lHJGڒgp),}bam8y`nk&ņjSsBYqĸ#ZiN5I6t8=d65gpB^U =ިC#ztm?.mY`lJKFrZ6tЂȒˊ5adxA(%,%rLhY)u=;¬ si -N {˥h3Y'e,;M%7n޹ IGCI0Vo < F.gYZ7zXZִF! o,l]ŗXi%Pl(lHafEaʡIu@D]{.Cf5z6 „)¸\q@/zwbgJbtJ6yY![<7QLŞNH-(e% (=GQ#Nw8 ]1Yf:܁U @(~Ep0a9ޭ-\׸SEr%mK|E bt~C$uB'~xfDȞHiod50#kM\J޿`ϭr f`?Fԩۖ37tZЕo'. z vybR9O4+Z0Ϥ| o1jͪAUshNAӘ ;f'b`ȩ[_c?8CO}10SxV\%(ܐWp_ؘi.P7d괛zN$ry;.j뤉m K]YX-O)uE9|Q"v` m 91 87T]7Zr0bҏk!yaAd@`Ed?|Tz;rL~3FRU.N^N]4hYYC!dN4?ZdPst3"JOʤ3 B{F~[j2xJ#Ѱr+*Eml/) c$#rNRLJqb* 太9=2 פq ^wg=JO)2Yųй] RN| 2zJ.ЊdäzaY;fc7nusPW(m4*4x>``hIgRno|g0潉 A ܥd{P_:ΘP64LP&_~xY;E7cQWXQf4edݥp5c ru¦">anנGM ͏"T4e7tj^J4!ԙ4hs\՞ITЌt!;%t5SN"(QX[IׅIXoyiNLOp\a&)jE, `d` T TB"V| R{m~oܑ[6ĂNgl\!RXcMNac9(d|v&k?~ʌ9qt+uB˂S0j@)0zJrLfP*ssM{A j'̌Fe^[1xnPC艵6#<nCMg^`.~=c }WR>q9@F7;m/C9w)@34">^z}a0¿JMwv%?,SMv̭ͪJlf)֍UV{nΡeg@EYŐeE!)+JfNQif = $x LFrf J;~oO.iNL,*5ƌ/ FY{}!<6"^KZ/78SH#jmP:f`BG}l9 [_7;`V3BL!kw^t20 n RќȔŃE{ <,8co#~?%P6>audMeNo#Uhcl?]fq,?RвoH&L;Xꐴx|JE]Xv@8*Hˑ"A+32-ly _PgŰaNv~7F؏dn:RfEhF3mS5r@wwV*_Vzlc^f܆|[lj /UΗ"֘S13iJ^/8L;Քe(~EG~wsF2yuWcD!He]ysxsɚ:r5uhKV9 y5?tg27D\ )MdbZi궏xAKOR/?3=ws<W>9Oև#JMtz-oYo&Y G&F`Ceu~:M {TtjWw%& g:EkPX0xwyk8پru%3f ).ۻl|JUxۻB׋h4"zY^!MOP9bA{GAa0(߂l$˘lceL!] ;cLhP8)$&;RE%}#wDsvc9sўs3dYk5`M/8yoXYyסKgMQ&bR^I@:(,ۘ3qvC@ 6!ǠpŃc' .Dn Hx#wÁ ^YR,RTR{@0-nH%D|-6Y i"΀DqyR ,M$kʏU Y'IzdVJE8Ge\b>_#>:rj.`'SUyor4N^_MPag`7FOROVݒD"uӷe_ԁ'e*%`mA-~}Vt*'XPQObA7tNOg饂|CU|[KS7h2_EGm$VWqaRv#Yp@jw=Ő/Ȝ\zĩhN=~o} F&Pc+w0X'/FUh 6g).68N@>&W!w"gQ__b uI;SX R j?MYhDb*CQ)%L"YZ(2ؘؠ7(0&)΋(_^<@L^ iHxe[?O.&)!4W؅(dr7m'C{J7xd#Bd=M[T1~n?ӊsqǶǓ4 "N#GVUƊ8T{l4Ŭ?fl` *Qz{Y XIO:թʡk,$Qc~ë#DSUUwOЁ U.ϊ=FSt4P5>TNϥ'$SܴQFخH%1Ca˘^&pmʺZиH^ ;6#HɽSj* aj {w*+6=^l`S+~@ߗw'Eοxb˼ЃBsH; % P-X*yg}utP &1EM3 B)?ߊ\v0"pD90xKz@&^gN!{ 7o@L46T6.M EcUD|l e'RKI (V坔nrW}:ҁ`N BA%󙦰JxD\ZuV};a,xbo7*'nE7ֶp 9TE5=FBMCQSsLOM㧫YJ` 5+GTݜ]ĨGяb>פ8TGs^+W7L.i+,\uF$a+dH}| /΍Ө7!&ZUmqxC;ɣ[[ ^v[ֿ{[ޗŋX1M[>1ah"RoDڃXLg'O C%*c aVB _өKj]fMV2@9vmܩ2[Af G&&Xqteb$pX>?)sXb0AA *!bD !z`9kxga/~lNHGUӲaVI2<(nRy$ʆ@8~<繧Bb11-uV):T5juxTw ,2jOxs{n>2O ]{H1@JW~,x0T\+@7Ii\!r^ jx]Ӿ?`S# ʂ$h2b^pwl{Mi~~ɭ:iC9 Ca@l?puۮux6]( ;M\<r@ب_Z[оa3DmhZHJʃg&ތ3z)W@{D;:ku8un*x.5ILhiU? n԰ J-iǓG  ki%uLYNO{Cҷ$pV[o3m(-jk1AlWR:K(gQ=в . CY{~r;=qr _P$wnȶi =8}-ߞAؒN^Ad6b]FŢvSqTv m]7W C}; &@1DeI|p?s*lke^VRuy|7 [=<"?B< j;3)&,x9?JbэP1ʣ1Uv^~` x϶^[b̠4wဝ=%hѕ58> /M?O9ijas da:AG2YAېԫvzW7 UEX)fm#F!$Nv gB^hkL%.3gةCᮒҟб2P(]`Ӹ_xƦwEjG1GvM>DFE-1,,ڢnK lq"էGX ^f؛ }M($nኤ=yͪ }H+ _뤞@A[%XZ5ڞcQd7[W9q3nQhO|)H /}˝/_l )?B\$X+.zr{K,x`sZdv˪0#dڛyRCm|k:aE YyZ /C{ͫ.JOAY1Qt:% UUl_J,qnxɫG- ,$E3VДPQnuC|pQ&@` aس63s>}[{ BeuW2( 2WCQoޚPϘNVM"7CTgLi6>n- o2i@볹HsX4X;1~b̥ѱ)|hRL漦3ͻ6^KoB;mGr evLB/K }ok8?5ղ(/ ce?{׫uƉs/%s|Ey͖ Mu] DP7uv="D <̠FU:bV4#3sxabN4>* ̶۾bn> @a,!K~%!.^cY] Wr 7L@Z k ym'ž22x7&pm y滋oMҌ[j yvj!0Dɒ֣;/5FG$&plLc}4hc@U\h 8ًY|=h0i/~#X^\]y1&`GI^l?v+喑^LAZ1o;ym;crl5* 3\/9OBQ)zZ-OKS,5Nc['_1Q+ѷٿ60)(L,c\*<"x v )4ɕ~e󺻵?} 98&6R2CV&/˒ދߓ#%z)pȅE;_+:7z"ʠe z#-z )bep|bNXlV[ީjhw~y)a`X8G~h:p:TFD\m:OM:5(IA>J){bD#NFOx?+b0EvG'U> >E\{&~ފuˌ@#U,5@JP#qM:vk^}6pDt\ Ζ%F,ay7 >p[PJ|xrTyӦI&[%4ud %oEe%ǹW۝y.g+n/XBO^Qd(g_dn@k&6=~4ʾCD;tX*&{>}\/|47 Hi1=2'dߩmXW!&Ý@c>+~! @(:Y,倰n6*,f ‹bkWB7eBmכ 8oN_F%i\؁>曪j\킱˷M)DmsW6vD_(}@ܕP; Q)?Y Kl`#;3q@_#5M&rsAOOʉǂhC [ 굀}sžf@ܱ֨ ֆc((:' Dw%C̅H @A,n!> E(E01 z8r^70 ~~#{ߓ)ܩK@2q.,@m%OA.*M:8:v4tV`!)9j6&ޙaS)*J`DbERF^ Kkk51:ϟPyurZ.ĶÙOnF6oӉջyxCOÛ:򄧫>>dG[덒$![(C=gH&&O?b=U  !UFTQ@%ֱɡV~/γ8[bY Yd2|ޡ/vSk_#h.Myh@ 7f3hɳMK@jl=-0_BYݲH74jEא!lhϻ'GNG|4^aٺa?AyB Wl<7L