SQLite format 3@ =.K  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   `1z< y]}^5>TEe^+JT]{O&sXjt1.{ЇTvƧ+ѥklza$㣳uAlOa]Xr1eTWw*@*;bՅFtsԝ.l|UgnK)+?DbZ?qL+}Vpm3~놛.|r<6DV*b K˒qފg ^Z9ڢUya %)Sa?(80~Mx_S\1ohD{lqN2 C=ԯ\yse*v҇`y=`#Q;(@iWgmYUp߷Ƣ]'() bf[vs8X2jq.^d,/ e(-g-.J_hׇ;-TT(j\d& \ _y4jx"SڊkŢЯ.B6j\"oIe{X)4i,>$VE \JXT?ONx GݎJDbo8D2 UO  #vd:!c |"[^P$sKQ(o͜~ Yl ";s= \wB={ Ɍ_rf :eO`eUvϢͣ، ؾ)4J2{ؔZY..\O[K95!Md,N!{$}y >O޺ tB&%[Ɋ)hVbwLq.k7J|3f.U[r筍>q5BʃN){fݢ>}Dxoǿv,D}{|sx"w>MH|V/9`hbΒ+%g}- #g6WOvX4{I4xZǽi ?XwrS1&Eϡ'wd~PkhS'_Zdw_rӷA&S!U"0t!"Lh9# BNY/T`Qo;.| ZG::Q q@an #z=5 2r KBط;tmmЕbo{.4t?af K057<HRk\WՇ2_ q' dҚGBІ2,q}d6Vjb2oRF yjbƯ)Ԣecn Ȧu$w%[IF”>/YEdggǤhUY%P&`-^E=pf0wLu٩8nM|2eEAky, V -^zL1+f#7}{hZ76;0/ e#,u5k:T U>4WxgZ͝tVL|ɧ@oM^4HB DtCA2b~|tg!#kx)JDLسQ 2 Obd9=*>&%`Hcv|J۫wnRj\:ourXS2jbٸa k8;Nj0*KauSN/C‹G!>*EZ4i7&n][Wl.!n K2؆Mfr~Pj?lfg KŞyhmR+):(dil{mP#Br{Ӈ@zگHuk ?S-gKԡbu*{,{ ֲ*:h)0>%?2c c:t.+({x/Ys;)bX9U[̄v-oelkceLS  `RW.5+I֑(3HSQPoI) '.8OkWg%SZ2>m#GR4gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩK;kQxF4zhDNRjs'?m- w͢Ł'/6(kLJ}n33!K֬]]:}MiV"|-v5%'$(Z$*.f(dź> ~TZγ: l`:Cf~&_dn! ËzÈ<250zaJƭvʐE_8r>?ѥ?Lh(&\c#WՑj_',1>9fRqCƘT'6:ˢؗ@."‡af g+7aH7k|#C0oW,r<]U vo MAc 뺎ق+AIkԺQRSY6y58U>qd: +  ޱgYZ7zXZִF! Wj0]ŗXi%‘'Oyuz93 CGaqR 6r7_)x#L}D9K=uMq~ _Aˑe9z,9v{n^ (b ?[UԱWc|:St :oqYQ2 O_t o5U VFU *n0-k :!Y+\t@S 1t܌pnbdUԮc cT aag,2 mu޻aR +Ir l5l >2b6Izb")2rhAQlOųr> q-Y-,?QHsUr(Ǯ%7{W輶RC; 1 HOL-Corec_Examplesy8~yr1SG < 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]<7M5I0E+>*7(6'3%2$/#."+*&    -(G hJ  k . p2 ^H V ~ :  i|8`Y ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages4F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup3E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files2K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id%F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id!C1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HO,A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,    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 F1OC 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 j1OC 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 m.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`HgYZ1A5 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 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 PgYZ v 1G; \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""gYZj1OC 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  }n 1OC 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@߱gYZ0 1A5 \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=(skHKB8j39ogYZ  v1G; \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ܱgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$QтꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,D@^IQKL.sz^mqQpz&\3UR-% 41ln^⶜\B?SŌ|-&[ݿwf;PeDZMr 3ދ V[nJTsI6G>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  覱gYZp 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 gYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼ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  J  Jv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id518d1E9 #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+<.,gq/.1݀q;p=>gpv2Bwo^%Zb̳eqXt wo2з cՁbc[* rRwYii|leޏo[@8!TV/v,-Q0-.SDp7A ,z4 y3U0qiiu]hgdL'h0l}lxT>DenIo\-Ϭ[xJ(.BwcXfvx^/523:8غA*w]PvVGVlЏ*䘃p9eE lְ9N)}zV8չ15IH=4a1 F:T<}tXQxYJ;CпHLK|QpUhI)*%C\R?Y+>Ia7b,88?}O AЦ.:X|N/:y/BJfT[7`sHd>|%w xcZ8J한M$TU4,KR8h yҰY)4d0] %%{Õ%6n\`0%s֊#dz}L~ 5vՂo<pM g]N-YVdއ/}ڈ;=x(,3J6)#)B(ΈdHӊbaHmzfԫd=FIDG2!/Yaxx_NJ~5&en̈́B ,4r <*c¬m"S G/rҩt'Mz0LW9cLhϯ՗:i=u];-4 IXm+wlI}i֍Y3DHd*MM%CZMqР2$@_r-®f0WJ T7h2%0ttKDss-VX_VߕM~7`iI4fUy(6=bΛԉ0Q.CAm8H G8]1U0\*آ @|dh7]`ʿp*DZ CϖRL1$t]C0*5 Rb1AVkq~~wIXp@R,ל>*A'4u+FSme ],K3)7EXw` $8n{n-Q]tѮ^Ekqr"B"V) ^dV`1>>4&͓ZG61 -7.:T!kLȑJ%p!Z2ZfMiFMcCGڍHY1DUOBMZ{wHW q8ي=)"Q-3.3(w`FSEԹU6qx+nr_2 >UBo*j%H05~oZ9k:-# 3C(NձB]KxO uQL %D*R>`,,CrҴS}eh.>T>p*yEInQ}&c?PY!jԔLĕh}CB^M\Z<ڝ* 10^Y(Dض1Vz4t s3*:3 u}IX5 ~ꮧ%7 cxg|Fs.KJvs%J|Lc0MÉA(TE 1ֽss([ϡ\Nni_dmP.Λ T8,8[~:M@gzzI,)Ł:o()m8j AA5epx9\P(x(TtiÖC7k""=~ Nw܇׉U9IGT1FNY2Fq@#/5Nѳ4Uh#'E-wO @ur]MYTW"5G6(DRMtLpNXeg7)WRi-6=m=q/E,^7§^'&*_fD;g ! *:.ՔJxy3a~-ǑiGD<8!z$p8uJUJЦɽ{)eުT"abI{]EdO~y9gmD(qN_^ȬDG"t хi>|ZQ?`}CXl:c%)&^;zbgO< ;`ֳ,I /᣼9tr y2Ne;zKhZ.3α U.inQpԻ`N }4vz.C".\\!wS'M& emu̖ GIb:K?:T@(R PȖƾxPL9 FgYZ F1O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34to7aYօn*C%:Kj_M u &qU_x~:L7=Һʆ?Qr6^]=[Ђ;o YVy%i fg.Hw2&׷Rm~AvЅ(̪HxYV!obG`xEl<ś^0T .y)#/W4=\f{zs&L:ǔűs4v7\)PqmS7dn\*YBb3v dMfVzLXQ[eI6ʯ쑇&Z'AY@ZY{Z(>#ǽ*W.߆Kڕfׅ|uE? \efMd9mڄ>h>È,Φ!Lt]cWD̲R1^W~R@: !b>pJWI"LVM]8"&r ms7n}C"/Q1ɩANvX̃k$,I"CI ^|-dd%QLCoSdrEN,lPPկ[KtoC`j ˸%WBCj1}~9;p@RKy@0>Wu*$)co2q2彤wO1~MJC6j365̫j B`⋅Ve1P8+zoDD}'y$l[mB.q A>\A&8۞]PAM#G8'b{%ݡVtu <=g )_nw0Sa"X[Eoت%-L/y?_5Hܵe0P\u\MaK#6 ժ2j6D vUCخ"ML;@f?Pr)<)}B ,7PJ7 ZkjTqWe#cKYRvU%.*ڃ: *G1014h+wy'n %ĆMW$%_+ʁ{zκ剡=#g%al6b%MT 1ZHqf5pB@dFl4A;ñ}z= (a0f4v RGq3?;-\+4@6)~X)86+|36iO-…HBU̞2JG'hU2=W}E߬ h -Ń~@cz W0'ϝzAp*Q6Q"v'kNK5LL!Eّ͌'\ hKiQm'z!l S?h복>/ ~Z>'[|nr>ji&o=r&-'g )!6C t6_\v!%j[>2+;A} K!,?L\4Zz9. *<Ћ%N,!Ks7{ pR.jpZGx8y=؟|;Z\a|r5]j_͵OYh*2Z( XQGShroE%"ËK%21H9klJ:`*ǔq5r#*]^ui>cpQ9gz8RʇbT4dv!͛mTRhO*OM[l>LE|nwr"0erm&"]x4U0ehdq\ɉƗ}Nv2@0,_>I&݈dqO^ JFE$QKk$clĬuab<2]H/Nh*H(rmDDL噶kLz1 i#'Q<;֤ɳZ1^З"An=: -3Ғ?N$;kZYCo-ˮkF \ܡﳆ&1.FJxRnT%Г]_ԴѬay7`ڻkv{?(~"7-ȕOd+qp ,W%XV2xo*13|6##VTqg*JGZA5Z#"CUzaO]z밠'H-ٿ#~tE0g&R ؂cZ(z'-0`wZcO =wR5m3zWGԮ-JlV ]Y- o u - !oh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id5421A# LHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv J# nžkMl->UuZk*<)-XT$Z,zfN[SMCuemO52NѠiattqXGOϲQ*^=nb x20䯒z Nfd<`iΉ`3fU i/#&w^/<9iŐa7(nqٷ7ukY8woSf Є"p'Z9'0#>I/氫)/tEEZtʯ)K5|!fZ?G\75}2Dj"eY؞&Sw<㐴rFIm*VcH%],V$֧nx(+Fu(Ux/{W`]ˉyZxP(n]AJ*B*^•8, K6h<//pҌQ'ͫFҧ(Մ M } cxrᖼ)'ʹ)6 k1X@c ~Ȅ#Vcs L"&tkԕ\)(تnfSlAg (j^xgKaw5 c_$?b=z.s+?. 0v'cJ7:DQQVz4Jn$s@| ,p\g\u "ti: %X5W旿&# }pwƱ:g4^[10?;+IԪ4䣪,9ήM#֢~b.)#2?M\{LK󡽐N ;MCgg0Az"U0t^5 )(4zu\8'J)En Uzb-^|ϠtNw =v@}FeQb/ ENx\Cj7tD{g9 [1|qZQǖq$^ꇩ<NPȕZ3#jeNg sIgYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id5381O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\7S?1^2mna3~gVERr3ŐUɰ txL5 =(l/X&y voW7O̜Crü^bb7!4TݾݎO}Udo]wv@>kw:_,)wR4Uex52v9:G w(>9uƚR窰{O626W$. u_H`eepH~$8VC\Iǘy#vc}Mey`-a/ ip#Qvy%יDXh3=z$vcA)!QWKO)2A2 \LE _/ w4HQ;0Ƚ;ow$ՒC~^1mv5U݊5X>{G KBy0SH0gjv$TeI{9c,' kj~e#./CB pZ* BJ-:+aMhX} 릉|%׭2;o5\`1l9YK'A ^gpp֛@6W;(G;Ww5OR_ꪕ<*WhUG v6mU%D~+}ҺR@H.)`hߚ l~BGٳh+tO%.,#1BGj^XML@>:rCojTtǞ˨yV!):8A(DŽ8Vi$_U A <,Gǔji6mD-S+&\zgfJ\5$AM}Q:nWuŵHZeU"#)MUC+Ĉ;ۇ$A`Nס,zӣZn8y)c5Pro{`tfiٶ9[&Wi SIC6}T$ r !ٗT7%gYZ zz1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-xVƆ,0IbVO3=1 tj28A27JQFEa* |Drq6:=;;%m?f|8D jW~DXY$f8'$aӜI{r=,傯k}B25e3E޷&[|8< e3#dPmxVW^=R2LPhHt"[()+,8%se_cm)G'Hֿpq7ձ#{)Ê0nsYT`:MW bioiV2, D8UY6 b'vKZ2T+rh+B8bsn=nB+|9*#[/%U^i~qQNF vʾS4Q4'* _#Qnޚ{E; S 3ymY Xc$)OZ5`}QcokƌT`2O:T*k AS=5EB$~pt2e$V2 `+]yn&/pWG:F~5A 1i~8F'Y1â֍;(䦧́55PtѠEj(m(32& 6ѩZKFDmN|H;7m/~"gokr}h0}%~3a_ziۙ '{‧A+OK l=@v4}S%?#tdV [:R"j贐\~P %WRF{Q͜ /-YOQ.}SE:].ɺ, b 榱=R;Ũ)mWB\`rSUzkB-DnŌ w0K4̣b寰jjq;@d DNRnu(+hXsz8|f3 1 Ⱥ^\g/\2ON߬E*EoN -0ZߔPl{ۉTEMeЭC0)R~w_?*?/I:'y}^Sc5, e/688jeϥ#^Ҹ<=O"-h_ֱ]s$(9xKQgT:挐\Ԑ1ai~FЗ79p9(8Vb5$7.&o)Q)څxh2=fZ%s ӺXgF$WS^ʁ9_lcpQ& `~ KE2 Gc?^ kX>/ hy#GRps:C\l N|#.Kn?,0Q p#-բUÖI" lkѦ13Gݒf{| ' An/)8ŒDnbhRkmD]g.lywZqLpqQ#! |a<%-d/va ]j?^}]a-{Xa hl^הspy*bͿ/Syq2O?{J]?Hv/EJMKD'PLR ֫ѡgYZ 6?1I# HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! v]Ș'@7DѺ9 Ǩg2H|#o>LjbΕTA6?Q31X)!\gǯtgqaʓoQ⏆AXC#Uyנ19$U{e=F!ڷ{+DŽyKDD[ø$v>X UCQbA]]rG0qI@$.%o6;2Ѹ_oFT EDKUcw_1&T~<&S MV"4Xi6m+} t!]mkI=s:U.k7%uG^yQ̧vSF))=RRe.K[d7Y{a+,Z eVL`[7l:o{JZo D_QIz|ٟ6.bv|"TJ!\tE f'P, {ޱBKIP;&C>s3mǗaDk&Uh(JZD\.{[QeRGL*Np4+CA3s$߀l1ڹ: zU(qAtρæ-ȇ]UU]UcNS1:k E%ɕa^/^4P8įtTₕSj$lIƽ,OSh` S\]jt2v-X}%RN{Je#]f!0 ̬}#vHΡ̢oXÿju UƜrvD2p,̇vXV#^ioa1 9:NK5J_a-_ u7c,$mhL1rjeM (Ynynqp U,) :[b*RÛ$Z-tK[R/0OCMoۙ  }>>}|–lB@Gs3X @$w4WcV ])a,򂆰x qLpZor +xp1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id514 1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\rԨ[՟1e4L\>cX{ tt2[;V{~e?dL~!` cJ6 ˮng2ơ8!VRm*oI|URXO F; RsrCPάO3JHDp*]$٣ B.T .%OV׊̠>U.1HW*Xxجlp KǿYE StCV*2#tr9m6= O,E7\]@C$4:όc~.A/8]e_o?;  ȇߠm.bK#Mf`ۻ7jʹfNA=4nn\V 3yLJU%̻RdM?* @&0xVAlZ/-]Ґj ռ ζ(ute4hiU73,LSUA6{@K$T9VCJ Bυq/ºgUd𛾛'+<*GgD6UUτ{,ΈMZ!y;יtR5Ҝ9B&XWMv$.W([~a^zWz[c}d8")U?dg"suJm%8^Qlخ2 S$:uy>M$ ,5 [Ev AFDY6k$NYIV}{%cpd@k#`tTӝT[݆4c^hB %6"QBֺBu+j C}6<ԙInV҉duۜrߓ-TK4: rqw`lyҮ"Dc ~NMEbPTն喝׭}'l,vװ?\xm{@Pr ~ϗzt69!@Dz(%iTN˘>¶M\̻ 4<s(\5t!'[nBIo Ml9&"1l;i]DTH JjzH1('QR7 Cϗ+j;7 Tȋ %?vM^*2A]\gO#HgdRjLWT|l䵒(4zX1=+[`"~ぴK8L'O|' Rftkj&3M8~Nf.&F+,1;R+0Qn/L Cts)9(/Q\^n6ߋFoҧg 穋8jt.洍UDTʂ^--<qA]q B s#Y2꿇w#?1859ׄ_]""?TxiFUZ$xF󾴩$f^f7PaB,ž d[=Dc*V8Qr!F;Ҕjj@ 7;}ֳUh(x 7cٻ/H>BinF4;*H[ʼA5~dEQu w鬆AihN<.)t ~ᣭO BSdf;ب0;!eV['ZxƮCR:qF5j{Wj͖[FE쪜1daG@ozQ7gF ջ Q~e$XATQ$͝6 T GAtxȁYU\lEJg$!]YT&CsUSFZ0c0iQj/:;4)/nM;uy\aѱ$bnYD>څhvKX vR?x.97M|>TRґ -6(tv<>h\!.[1[u>7MH,-ej='U~-ac69~#?u}|ĠZ|bDƒ y#1HD^_UcVE4͓n|‡J }uw0sP;rF̈bo5<ϛr8: I0@v\k\]@ >${tpvK|Oa~ Tv ˗J2iPQ)qy)nx4eeX{l[.wm2N9:򫩪)ʼ3 zrX: fSZ ]հȠ)1wZz-6*=J{|pc;iK@e{H&Q427yMHT%kA}@8rP̱AqB?6:8Џ%+pW@ZBI_pz29c}u5s NO1N6Z >~IU|+^){G;+ݖ_LҖp ހ}[>Y֠Xz* }Ҟ"zFiY3^:*oW˛MsD՟ێ~:VØhC 6*d$1qڹr:XB+5g)Zm4&r%\Zr9gLI{8g*2&ak͛[>|Um٨.N cJ;PvkB`QmJO|*芰%ATF-@e&#&%MRE >4wϞ΃9?f :EsSBMK\.vm@p.}a{3V0ʺk~gnAE(@Jncq%t{#6C,<ۿo yQ?4aNF59ko;=WPh5ZB"o+x cSO-g[XhٖHqΛl.Ԛg"0^ 8ج^'淯C*e]7o~i:ins} bEy'Phw<l+ |(̯xLR_:u5^{W~M(#:ihFSh%IJ腒Mt8'gv}{u}49PG (_Af? rq^##pvmYcc_)KUwWˇCH~;U\M+/|PQny *)P1W_Y &Ġbx s$ nQuHG3i$ot7{!F\g7Ԃբz\Gl>,VL0<-6(I>zG0O]ߧBųCx!çl>]@=?!ԉm<ζTz%Dll RsWX Y:CO;(m%ڵ3d:0 Y89;Uee#$F8ͺ0ygw:wGB0C,O|墾\ o#BI%,͵촆{ URM𑄳85*GuAXFjH&w3ڠk8 B4tU.һQ>̥N GZ+H_ Vxjz7V}DQ[/Hȍo Az?MCv/-u£d?Z0`.i5n@^ Şo'.|<ufXZsHdBVYttᗧu, rQ31 )=ͷgYNnS"i~5۶GAx [WFl$)8=1Z31CdOmAy׈8UC#O\P"t~QųC Y_^B* :swq>ĮaϢf4S` "# hBIXb3+S "8 \C-ob+–ohtWݶ_SB/ xl*p`Cٗ l81ڐsWVE=#ĵS4J4lIc-;:xѰub-]*CKcs>¶$Į$V^A #Y+MeL֞' w =UˁgT5 'Oo/1-Qvpz=];2ib4bʞD%^ ċV+NV%*7K|1np;F֕Krh+ruˆ^_eZfͣi|ܵ˚rIn1kg+KgYZ  p ! iNh&1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF%1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id526P$1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! wF]D?7 {?:fH\7['O =1Jܐ\D}t0X[L XⰁJ]w+ߘ64c~P`XקekOLtБKq 4㙍nd{Rm/u,zf ^. a*ZΕPc?͕? D]Ef歄37&Cص 5*a^ sQ "l5;SNa'cfBD'_!QSL\ebنih1OVlK3+bhh ./1D)˴ݑ3,婣ޚĿwK0zX2YfXh.A.mK+%6gi맳[N$E@k|}W.}ԩV*+ic!3,~ݾ2Z_;K7-׿)55:45vRBQBy|WI0)tCG} ?)= wR #f^ /,9e,!@eYUZ-qx>}Zߗ?:Կ݊I S dh +FQo'0Sn2s2=Pcʆ+v}/^=/Acdh kqГײ9\H2 H]Gsv1KϛWő T.D6\ْ?hSes Ghw c1^x~2yf#)[cc7r6O`Xԋ}p`)3v疍BoVuҜgXB._|+1w ~xa[IU7||:TUgQ`Fz;gV6YD-O[lv oT`:w) >_œ$6/>Wph^h ]P,I`n ~@1f+ 1ov*X,mgu2+2ƨHA ͫIKz 9#PxlW + kGլ1i^=/͏LNgzh~ACz??\#c<^鼵j.)t>'$ҫ:7ِGrXOt@W'IMɔs/e}I]$|![iWʣ3`<|BNcNr8Y6P}c59iCuD|ݕB5ǶY$y|+-DE3QσZdh KEl9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtk\!'Zj:%Ҝw/JMWuـ%{lB' (rG=)KA{bC*h,e,cz=#*IhR'lN6T^ $mHt D~a"&0sn:2@Fۮt9.> AQXT\Gge2W?soUѫCYicJ+e}7~ g>eXcy"O1R* WX*I ""앃8>̫s:IIS~#T :x@Q[:M\;+x%ѿX]dsv-4;拾N3gXhGVNUꃿc_i,f)Ap-M2zF\7mRJՎ f!3y3Zsd&".#qp\pV9e!f;k?YDIe\`Pߴ̛b-v)RC ѐb lj7DfJԭ&**?fS%$5ΏT觹1H= -y3J 9 afqPK|C tE(KS 99$eTY+-I  Ⴥ*N7__Ҥ)X3CG9Gb>OVݐA4#NmBS5']%A|r ̶d8\G+U,ݢi[1b<';u|U5]ʰ -_I \<IM%o#A62 KƗeem|^8/ޣ͇Z1ƫ[AqtCM,"miޓgMu'm9MЁu)* !z5o$aSkѝ8A,zzMSRT_ގ%Q" . ٲJbP0GmѼ:O,7dF*oڡZ{)$5cosm:34VfMytQo˄hs=j\l݁ReƉʄߚ~O][,"9+g)(Sfasf ڔ˚ `dq%&g?p!|ygUk(l-DV[c+硁jOu}ԱU4*?JqHF"#ˊE?PQt lhHY9tf"}G"z;#9&Y+3`3J︬_1U;L!A\5R-pFbIK~"b/ I" KD7s 7+-XGמa[S05(=0GPw6^MVHjvain0:OD؃ 73#h@QC0mSB:)c$re ??r[4cnziSCL7Sd#i9rSHpc%b5ARCCSxTPЗxxc疿Ē ?ޖ)OAiB>2$K$XX Ո/W #l$KEZCH_^4u&lj]D_ړ/@Ɂr6x8BQy(*{vlB 6'+avfJk~ 7U3% I{.F ,íf嶌75#p =s!|i/d087TOQdkr6h"wщ IU7V`uNWIUOVXD&DZ =8渭Q!.988n#kZfi?MlR|򍋕C?&-Z%h-'݇ Wq:y%-wwkۦ$!*"c5axrK>mdq XY s30HT*Hw']L.]el9]#*~+C`;q w-Yw&ED5Shɇ,/SÓmR)P'B?'`'>#6LipFb? JqFt7U.Feží$BO %(nwM&Z)KkNv8[p%!ӴZ|dz?O?tCK& \xRi^Akj2;xJ{*Xt{xA}Mum~#5Zэ˔znPϴ~wc{S ""#-;'gw_d1X"hVD6*n (}<q$r'/ */w]2&Z1!'{fbU-YSM΄l$-3ͶOs2F8rnX_8%Z6ٓJ^驥rD?".ԟ<^iJ`JIкސi/lcHyE;+x-[Q*tdk\"(W^g|ҦXP&QC Qsw7Įh>/uAM8TUgP?t/rVH%r+Y@}?נN; |k̠2~dӳ-}`Ԁ W֌ԆY}B'G9hv `DFMM_3lҊQ &c JHٗtF\TER/:Jn]ҍXxz GoXʧSa9(P6szL8U! Cu~mS] 44by{A5*޽>Cr>e̙R~]?>34 .y. r[ͦQ@ߨxFzI\kzKܜlDx؅ $Ft$~ʠ)5N2Um=-*m=#}&[S n>ߛUjyt3*h3{9!D{lM!+d)d)2}d= u8z:;Hg-l8|FFjE0 `C oX<anͰGs.R ӭ&VdHӐlbdlLmwyO7nj9$q.nڬQqTb -ՋڿgWT.ہ܁X2ȡ&m'*k!,ݕ&Ĺn)Yn"sa`\2ZٙF6>ߟ;vQ'#VAYY|֓.뱘YV=%%hI؁$toRQa3~R'd>XMc|"$MLe *%UasnnBѰ/1X{jdTM?6%l4'D|M}\ZS qDQl*:=-x'&7CmRЮ?:YSVi[O{(P9p{ΛqE%8'N5GG*R6I #]P;]g4!j˔,u)S1&NeM530NSsc eGK"ws`X=5.-ᆛ3e+TN5j4Tۚ B(WҴ q"wڭdH{UjOu = 08uU@.3#4XpQ9(v:#]C(%|$?-#5xr*!b˗ϔU>o7&[4p=9wA^{ 8=3B1nаg0q8& }rD=n!T |י?@Ľ_`oB&!z >ܧH@_)d)?G,n$(hJ AȡR߾iyY|_+d'PKo>Z/Pͪݏ_r?a @e0ql7yKj۶xas=rzoU'׹{ wRnhEb$)Ʈ4!, AZX.S u+|2o#5S͝@I V02W $}o ӍAc+„몷 @5Qf/gs:*a,Zc=i$y0 x4ϧVc1sz;sqqK݋߹_BP=lpVNKF۹b#!թkH=:NG]s{(Ǡ'RkQD?cB_+qnĖ2 ŲyxmYY [n䐾pH")S"lg? GF/uH;.XbvbH vXQ l78eQS@SqOKL,Ll ["OFCTmċ?%Y͵/_*N aB2 qqgYfoo)'ϫ?*#;өO+EMS{Dd`KN6_i-իyΒIYmӸ/jOJ}^+ MEp%h?sznwJw+I&U(w Oح9HZx N喯{l){82աMrX?EN-4:Y;o䳐=\Rb8sZ7@[ZF@Hc4EKyZ No⽌}j ViʹG$NEr'}>%%"Vw~ULf}i[,O ߝt037OM9bźX6r0; ,Arg)z$B/{s{3v!W[/0)ڸTZF$Xa/M4aLB5h=+ѸT*QNL[4sqs#5W')k_ Z0J:q16C+rQͧ7mbREЬdrfp%W-6d$qA >Zlгg&E>]|VFtrcL(*_W:try͵¸}iڪѽ8"K t :SqS?6>Jٷ}[BEk[+T? Ûیr躚HmWmyUcAh߰T;C#ʇD_\z~iىpCAyJX/.cʺ܆SP3{dCbvPZAlxz曮җD)x<]f%-E꒹*5irӏJ>&!P 0gnшjUW9)35vO8`Qz ,.o]A-g$y.1:IC]gKدd ZE-e{<ɻt>t7`R0f] ͫ^+drfNMl rOX lwa(#a/4dm ::j7/l?]3ګs41:&-}TsacWo u}i|<xz?nѺ[s6+0k(;ok:^qn-lW&40"TK(tJvz]b{JB}= Uw«Qg8}HXaAf &\Q K?=G_7-K?aL{7y%}d]- "[wRjSޫ b覻#s|/:'P6{ҁ",{SĊǫ=]M:.E`qq\6¿j PcFrlZQ{rs],y78XWQi =T0 M)G~9Yaש;m[ jhׯώP Q{Op z9ŢR+H%JB2i%YQ L)^!xxv"ѯOv_] {zN.w?ıY5挚N7'_O@S럗]%eD^H<{s\zQػ0SMVX-EqQɚă.יͲM >}g+ׇ6BQ6ցKNAO](m!@YV#PK Ғ@ܢ0&/Aj9i= 8BS^"CFaV;cjG&6"c?9kL)pOlR=[CSW,H/L&b G'̄]_0G`(w!LȼUɧRABiIPKnFP3-pi5L U@ N,A]job >[5SN͞?iƜkϳ05`K9;;7綼L~Yrk Vc@Rkl4E^7IΉ^#v>eF_,Ko?4XhQ^]`t#\HZBWjzKFo36kGO^{ZC"Y΋eЛ`t-jgFFf*wHh> Ʃ=+ߛNVg) nQ &yP ioq,ʷ6=|C13J-Tq?̈N)ddxzBFƋNR&ܞ47Rpɿ W:0o< n(]X|"AߘNxH@ܰ 1٪g[\k@4JbҜ@Աc*kVδbblܜN!.t/g<%X쒺W)逸$L\`qDVŃ*H6Le[r{zn*Ơvl0}xF!4@U&39?@XDc3¤fJ,^A)K:EH V}JYZB :eq-b!aGDe-/LgYZw'1A# |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1Q}$6@eG˹sd_@\1ؤSR0, ܭN8[4_P^Q}ad^Z2*GE8UҐPlhO\yaG X%W_abAMz1u揃X`f,'"R']4,a|B񚹯ܾ 8z<CUJ4 =20>7YGlL`]:b#,4{G@<#_y4DfA9M&5Ȑ6ŸJ_+Ub"&`rv&[w_hƬ*s& 3Ԩ는2C˱zUT8."1{e7r2=Q|'b jd>>[&7:G wKTgj-J(c%H)?v`-Q8xmÓ, A%OxBHL|`dUNC]eɩ|U05޾dw5r$qO ,g}qr4`2#IMCWrn.JE=Sz=ǭA+7)zvyG<3LXX4)ݝIZ:c,\ec!aM{H*p~̓\73~06 O52Ml_V xAaE?t y6Dnnyʎte|砀}#VYp:MoAQ/= P#I$M9d', YGCQ|[ A0SJFuǬ::ohch+B$}dezwlT%?an7q%ߺ`> 魯5/l?<ؔMrV9oܦw kkL)BlY<#^}q 2̎NK"V F %nsqRm7?0ϩ#B߀Kp2f-8r:Pm Y1 GiWH' wA *pDE2E 9H0=ưĥ,]PS%PSsl+`2gF|/ªgsw|/nRwOUpSC9>d!$5Cb{‡A~BgF5:K hS>),ӈz(. 6-\+u*0,!H'B)_{A1~ȄJ%Piue 8-Sr9cF`El>c;d)ҀΫ'=+tQ|9wu @,w8PNHA+@a^sczJ:°X΀} ] P*JU;xF&U2 ]^7zk6ɓ@ԫo*e=?UsZ /ZphɐdxQR!~-2tAg! 'k9{|lHxL?W0mgQ:v}\[VHCk)G!ݗ͋2[M%l#9uh`H2+ti9O(mhCmC,s9: ^!On3]aaŠvԃw fzӃe7xlVY 0%O.5Թ@b/SI;uaD]ܻqD@ՠpZsΡLot +"ҤUwJ'A]ݞaƋEwWjܞg?3g1 ͋(>tZ-"T Y>ªg3BR%U*RudR@Hf/[%3װl,h8V2+/fe7_/t9H:,ׄBŔ"hNaPӉ"|jEz$jJ@i/iN`3D?g`3PcPH*]T@oܗIA ]L>lgJ+kJCw`HA,;mP{KeHK7xA>sEeкd$Xtc)<$VXbSQ_QX !d1z0=girc`=Ⱥ ~K=S]%vϪ(~|c Dp8X.0zjyF>{NudedB-g˒ޠM1|Z09.`ɡeSƶ}y"9fߡzuWA#ȼ${~E,sGWW<|f7\iikfTxSk'#fz S =)\z/ tvt)\#JT1~Fz[OZK,&>}y&& ayEO3I\ńyZ0xW76</3NѨ)JoN5ƒYyuϱzR`[׷Ap&VdjIxm$J]&CD x|etbp%$+R9#Q/_yq0WnMqx6:mBQ;)}_wT 8}!̛ 0Xta('g<{  V*͎BW6dY= v.4:Ӈ;-OXqH9XZ ~$o 'wzp79&9D;8Ky:;-vk 8L o-F!`oۤ}|]0.,SoE]dLɤs3WJOPsgCP/S!?$ EaYج6A!|y/B4nIZ`G4+tҵ3VN2qjh$n<݉N;gP,M?q' w0^=5@MZ) _r C N# tAû E+V.j7qwk/-s燇^Qj娲n''SsxMk+32: Pi8u*Qhk*_\Y*FPA w0R+|':gk> \̥ JzCT72. b8$蓞[qЦ( +FPFhmYaV g[>t`MXcMoÐ1DE'QPQcybz"_S]| Ѽql0 Ds+~P.&x(,}rj_ yMa^ƪg수o1ZxD">-c Cȥ~Vѵrj?Cܹ=Ɛ&AT4ꍵ~ 4n?;x7HhdDѣa?@ HYLYo8PܼW͌%jFPΤtAN-ov mXӂsTsSzR= TİI2xoɑ1"IALߴxp}q3_*O!RU1 r#"W7J >Ac5Øxai2ʢM%9/0Fq7/1c$[E]\@hwD|FkZȷ6Jd=W}e )= OSW}cȡI&ۺ?0; r=YY`-[:3Rf|W9تgD+y5m]5 Wɒ܊2&/,K/;^=Ԝ^8q䇺@E5Bvʊ_i$90|b;gKOᆝu &xqnF|Gh#AJsqDjMr>7e|o C|V!!8XA4V v+3@dA`|4?DWYUlZU4JN4[Jtk&p%HXrfj$ yV"Zl`{Xټ'UIh828trq*0:,ּJ_2+d2IH|e)a#H!_]`>] iwTm4M%pOP|ixlCc=P.FɽSi:J a3wЭ[=u8P@::"Bw°-+pH &LRL*tk)bGQq],yjh+ ,|s]ev ^ӫCa L)ݧ43U 8Xoy;ѽC!0TɌ֟j-Pw5B|~ uT^eߤՄ%P+&͎-΍CMI҇X T4K~P|o t e!*uo٪?ge2aG2 !)oFTQ< *׫:ܛUy6L,)uS$CSEʲC7 EAÕ%I!zd3 kmp~k daNPsɓ596w=u2&GP: ȶ0jng#,߳uD~*&nGV;">~/Տᳺh$&(AцQ#~Nn v|Y\O=)Ҋ718 l9j|#`Gp،r( E )Č.t\<+յ]O$%ȨsKT]ȜT82W s r/Z&[721'nN{YI>礪 kИ^Qo)q^ٕf7 oN0[.s3|>s64 kʗe 0QE/3/j%鸃!k( 9r]' 8!gޑ2a{|H-J%B"VALM='4V; " 8`m&ٍ(i3LX>6>ܪ@p_2=1bN5iҰu:^vI9 ɧ5)z♦ Po.:kȑ~ u~[G1`DܴQ%@S ACdIEҗj ȍ8PX洲Zix \C,x;O x ъ6\\닼A Ox=SIm.g/-b#xDe._Tz-n5L2`m5y<AH7Be̞n|[`kEG&q Ĺў-s7 UĽ)Է˩T*f8|‚q[Pbmp0EV)5 7(!Q1_q2a48"RYΌ]AX#ϸ[[$J1O=jV9)W^hIlI5PSVZRRx!ĥ[LH + {N=3xCf#%|1/|pսZvX2@RSO;3*$oV#" k$%z֢65z6ľP^7 kCo\>4_N^_7 >sD[VJNf 0DI}Ն@y/&t#+b$'S,aocaiρv%T쀲`27b,^y2@7';8 v %C0[!)rQ(EܢAJ3$~vԈho*撗M6 j pLU tXrX-d C,K mbh"!O6ΩtmX04aYUTA ަne j=%*/UI: C+#aΪ٬$!P5wamv. u-%ÕOĢ)K[e+'rF,ӦtHC[IaPlŚ}:CÖ(cm TKœE ' 0)Ulcbdig@W+Sj5H1+k&,l]TA+C,ƭk`TրwϲCMIj/ [5d.Pڈ d 36|+7P^;2)E<70{^VҖ%o~"< >N=PIh+TL @ 6"念V&'[E"4bBn*3J-5I) TP`,F#nG8?|u D). $Ƀ~Y}H5L&n O+7NJ\mSup QXӍhnt[?]WK eQa-ְ/C NV v]6 "h=[ݎK9}â<'M{ 0Nm;e)ӘmC˯li[֢l-6츎c(_ׅϒO `q٦uZ73R8/]v?fZΩ4#ږE*-_vf{dVcƞ\w-ӎL xkZQ ƛ^#Z]V{9fn:}+WI& cT7N7?M nW ښ_k)tЩ2Fs8 AQQA9c~2{bZl"F8*z MBbvw*X%"NFN/'30J7glyҞ]ofȘLtx1`U,ize'ikeLTE99!j9OA>OpY Qh^@K0'7dыA\ǐ=1|r|KA ¡7Ƃq$3l؝cׇEuUqlp)`cۻKzO~cf{BAq{ 5nzu}9[Y'GPInwh[Nb荲rr1-f쳾0yiʟF0C_e.l;\^ |_ pMB-FBfF&9*O^~: [nd߻N#:?V˥.q5[Z>Q %ז`5Ys5`EZpªY/|iw'RM(cvaϽ!5l/<)vCdZ7i%F3Ƣ㈂Ǩ28rֈUH'56T̠(}ͩ٧FeGH. uTlNTm_;IwR )E6QHPqzMkJ$B3Quk( ?C19JHJX\F`Y+@߸X M[i`jvUv ~e\wnV4TX;Z E@6: X< Z)bE^F}K|T65_(>S_et|2%؃{^uz,5n}ɓ9gעD ʟ0}̑û-d00,+]GH9lMت!՟ a_^tsEt']l{iWfQ-𻇱#K@I6{*2%@Vl% tzz%?Um3m{ !>40sp5h$<ܕm$@r{/$̐Z=/^;$ 5Js&ڂ_`UzIr`^X'2׻~IaU-ITyQ'nCt?ɍ92rX;J (}a-Y֞w00B^g"7B֡,կ%kz0ztC3GXzE?!SxNS4IyD!X1$ف70*@?O(2N39}(1Һ!icYr]O`| eĆ0ֱW®sx$y >HP-=\jv:Q)u!0gF8}O;R:G$U @Xۮ'^9qQWDh~ݖAH*BaWb-@o%ZIf?]w+Hx,zu`!f㹇,"Gh$v}V?T9~4wDDscnD21z/un%>l?>A-O8Ւ~D7fQ [^~Z14w c 6%4! ]r}!)8It|l~o, W 4kYbqcx /[Q~K ΈƍOnړՊCyٔ ;3_u{hm2PCm4xHbxp$BIidWM-h<&bC=b8+ȵ 20mdց{Q2'2Eͥ&( [xq b/RaHH-r+hoym#{I* 憿n(TGHnMՇer8Z6,C3=> phuZ#os^1S֑yZ$@0C7Tu<ӫRr&ɢ6|Nw0aۼKSQ\[48s E4:x/W$1Y/$L);؅b8b\]@g[V0HZAKa(qyG8^3gFe}Ltl-O4Y(I๟ ."$ %Mn}9sKb1>Kslr09;5bonr+#1bG{ky^6ڟ}[m;.VV j+ckJ#b! R4l+V1HfĪvsx#%Ps̵0~,^*6or?VK)$'nSˣsRګF?B TS/)3ҿ40G? O͒+@ -@ʢeߐC0o^ -o i9߃3g iT/SJx64gT>$k 6ܦXJm'1]A$-QIT1m藎-\Hh54w*Eads6]%Ɛwv`"Q;]d>ߺ~*[[(qxI6OlIOt/8ýR/A6 %e4xЊY| 5>rlG/rU#T;֓瓢fD*vܫ0Mաឹ'T8bnnfzCސ;+|̕K%92S[Č6^k\FŪ'!B(f%pg=qzYV;(/{ }p##FS&xY\W,7iԤ ~Q]I-h,ɏ Qz@uUYR D=Q}󣽤~|cir,ݏ۟@m9?=nQTU%~->;[ua2`K3utR"lfGqf:x /Q%xl5.no|Ky8/QеS拀t,,_@lhK#ң]Wߓ̎%͉}v` y.PmEaBn<*VG?[xjDzr YU 3 <YJ]DqŏiUXx;٢[4QwRcߴD0 ~but[?Zٹ.x~1k]:&[ޝ >ϕhOZ.p9D2^Y3<ŰYN9V@tOᅆNE 6-HIfxaQXVϥv&`$n KH%X ]wPp$&d@ъy!hx >vK7wb";/UО2wVW0MBG<~ ;du?CBĿ;Q^PS+;{ղIp0)!Π돵6sh0z[uk2lI#򁿿č֪B#7 0SRiix"e/&nCg2Hkj[eQ'm9hg!m;>eمPћ9\Ee6`m85J|CͅlPzgg[ y1$h'O^x& ߍ8XLQc*I7E+QTL+"SY @[W^l;JXOoTj1;aOa1n 1^ҟjTcSb.Dg)/3>$AV`+QU϶ ֯Sz5|)*kEgbz% ޮϫAI:x7vXP{A*ʑj|;I[To j:Unhk:9\,&̰!_{RŮl;1͘ G@Zdwh"\*Q}EI'y{x;Ż$=mo XM3QֹaۿVǘ:E0('n0d@ѶoJ%7ȿ+ AﻪMt׮^Q}om#q\}܈e=̚w8qzmM bg:;sa:&`t#=?l{?EC<δ+uz*=u;œD/8*$%lFgB ?UOUlY fUߒ ${HJ>iedoUtUM|aX`AL3h.ϴFjE)'daC(XCXRO=v[-s /#ӄ .{jK^}|;M]-]^wgE: Q+7:W`U\կ(kR k'Je;#*}&4*?*nx'r~]Ta4ΰ{عNU+MҝWf% "jj Kpӻ1to?MpV|T߆(}VƠW?KҰ}Z`m]jLǃ }bݖA>9MY"vyeGzmbNHԡs>IU*ڽ:VgY1>J9 LxN<M^iBCAXMΤM S˙g[鲙T[ֱNLFgLnb6_'ʒ*EQ̇,*iyYzw</P e;[juQ vhqH}sA#}}AK(9Wi02n}3̥>'j6=CH2R/a&8/a[ݒ u]3=[mi|!@lӖ:[D$Qu`!(IDŞ|{q[&>?hBA$DL™9v[2a< g˦ ka "k? 8eQa6/Qz\GPƦm h} ]N.rM[T7S+Pacwbc{'0`MJG@.ȗ…;@ z-(0Ƿ9n_T&.}09(Tv N˂Y%.^mY{ ؞A)W@-VT(ri!%N)ieϿ;Ê1xK49jamı8aoJ$.Џněk&Vq=I5es:VEO.aI5ez;4ZdE$J+ b00t7@b]T`e8 VBS6eM<KaEpLD_OT`xO r\}I2y!pwa٧J˪{FYFy6YLkU|o :AWȼ*%Z<ÿ3dHS_}s9c5\M%c+@_lf!!ko 22x5O4e;UZRj;㹇*sLWG~j& ABzҹ&>/!4="' + w ڌy'Ra#U9M #u"yMB㕀q Lz0qiDا&"mswȊ(s`rE@8/kcJt2RCtnŬ"E 2s{'_~P829zzoV^餳n<?j2ԚȄBe?=]W]Y@'әSaOigO{?x5:wF7֓Y'SĖ_ixԕ.!ѱ"6N+9qzwD!_M2<+dL9>}j0'vܸӜVE8]B^:ba"=łӒʑ5=!r~2N) ^¹ShV085Q%8^w*!fAz %hyr>3E_->}[wI.+gobږjC$[52n7p>Q_{Gp1W%|?nⳎU&f\o9Y%*Qޕ#l߮jzx!EPQ_I`OBl%1laS+} < u2N][6i5gڥJZ(Qd4'•!FT¦rC׼*5d.dNR 7m5;[شnǨ4Ю.o-EH?Jc`D&dʽ뫇E9\zAB\'}{@C8G" x:"D\MN皟'%C犵g >jpdTޒU)YK7ٶu!>sZJNըҒ8iu sì t1zC#;v G+VO-IA0tImq#ESPҍ<7ސDg2k ̓cJ-ҚaNi?/:b<ndEX!5x@]SgɆ&ձR(ũZqZ zȿk.[L_2!`  <1;*+ G" "{#2aR}̉f6qsD<2Ӣ{`KBi 0IW9O-kDvT^Dg.8t3[[ Ќm`!ٙDɹ–֢X, 4vlA[d{?)COg8 Eu1$Dv6p]1m=8l].xOy$>\khڥwiʼnBʑEiRH]Z |,;l)_Qt(Ɯhfyڝ.[OpϸLsM8 SݸChh =$!Dp`4zҧ?‚iKUJ#?-ɁyRY^ϤdD,m]P h?L_iYL II@-́YDBf3[dx9]G1,A惯7kx\DR[N I. =ibsc_l6nPNtv6 ;ՙ+J@yRɶ4ծsGǨS<_n;)NK>n.gx 42  fZ `kO'eGpHUqOJư\&O"5׈KւeuU8:ZVlE\f:X(0"e ўJPe;g#4%90$6wݳyTfaDoqcYK't%X5@@$, p壄؍W 764a1 +$UAaި :oQ9l!aX <񘹪LkehED. #m2J5hR/ނdnI[ GOq=Mm°ʲRggYZ ::*+ 1E# \HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! IX&]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tiܡ^^wUâ+ +ߓV'ZWژ5ؒ"S_bi{Cue^6J2m{^Y(ЀmIվҼ0E]:B{˥0}.6ZytXx}MN{빂dt0\\/0=7:Bj^@.`tK:iӹ"T2CV9GݢVV/`?b]r&L+0NPD+Pb5­K-/R|aQݻ϶jU!nFeH}TS`d*v>?[{W|*O&V? ^L_>R1/ȈG! tQp?.c茹 ^$ ;V r(}w&5W*ȫJt@PJ $A\[V=wx@͔{%Nhf<eߒ ݜP Ü*!gE|0FO5mޖH+FQӎ( qxws" KTrgEy@̷gyJRiCK%zUI>7Bb\Ac\jD!X,AhJ]ں.^Iכ!`K.1u7du쌅&~YO3n5B[ @EI'C=esHW깈3ˆ؈<GF#P e2/L. 6;qA88%{s,EU1?rxT'a{|Tkd Re7 =죻oU*pwjj{PYH$ ̅F)L~y4,R- Hi5=.xT啧PN7S/)D>`Y$xP*p,<# 1p PH.GT1+E;=GrudU{j!y ^ ^[Z90<PGΛ3?8GJF;~~VI`mh0c6xnXO:YN3%2sUڠӢIx  ?$>?@/20"kNE]9vw`a|ƫ#Pa Ġ)MNsȤb EH}QjS %׬V D /-K@@|VHhKnKv5V9t@ݖG4Z"%Lc 0BE n;UXⱵ[ffl;ZG%OĊ>qwrU2}c0;7Y $7D"j 1)8(#bʹEH`6C,9:dc ѡ}&`헅>. G[QW1鹄'o.è ךs&}qa~K07CR%H}1: XhCbCԣU۞0'08^4B!Qebꪎ]n%+Q̿O7#y$O^8ڒ,59PfsU.''9:#qn[5 n7vFt <5&jfGEDYKyIH> ov A4hR%kbgA, dc*uSQׄo,>X@bqx:|2q +w#R5/kU)$~d4Yeןw:˃2D'xJJb+(c4 TjB) ԕ)0.u7k QФK&e1J3#f-tJ) I'jT\dF `ܭ45oéG2@O~6I pWZ?R8 "He=9_>bD!"CMx*t?;k,we*>> E 2'ع\ĸV*#}n(Q.,"0!wyC 7yyxh[dٷ)Y@Ӫs!er{L; //I_*w|kBЀI gAG0]o6xZx_|н;YȐCA.H4%'}f3w WbI X5TT%ٮ`׳oxI*C,oi4UU)cx{=`~Jdv "hݓ׸P!?/Ǒ61@`,v08jY>K7 cd /xz$D`YjΫ2v;}") zOtg(X^6a  u2,MQwZ?zNt'͗\y|(uAFYRQ<(Нm]_FELQb8`vKŒ0Mq Kq{[|q\rb2|i$WS*ANܮ#q)aj!cf5˂ns-){V)nmzOWe>#W .Ef ӴUZ{{CR@هkWt!$R!DqZWxHqU33`+⧽\ o\nkh걤xpQQYVق=B0{S<-^>AI_.j!WvYA,hS h3+0z[)p54`/}MNx}[^XNk!(ވ%%v g[*n_Y u2SƘR6<"&.B80z8y {b !.t 4&dW[-0o+Bi)],bktiv$0 HV5=i> ײTӐ[G_e̝Ub0d^Ջ+k/B~1o(o^x~7@~! 'e3rCe:斊*Lr`a"C !@I#&.ڐ_9FU8 2w!+KzS'a5ųYY2ύ4ubcof;g8JySLh[l2rБq3S, QP8x\frGio=niByjd\S罎+3Ђr)˒al\4hjgיp< -\sn][lԄDt@6g=0[f} ]pz,G@ S|o藎2\ҼrvfgRPD&RS[n/_t记Tnv|*v>qח]Od U ,;2{cvLY^v$ xK4.TV"orgYZ z/1O# tHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! s]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBjzo=KgߺNen3kTOjz8jMx%lg$\!1 r9AN!vՕarX cCtzOΉ]X@=Ƶ<${|ښM3AcxSV} qjvZSZq*)ĨeJF,_^NlaO霑U<<9ざqؒ6q Sb;:.6/).k77RJ;bJc3o"[]Ҡ F w7IClVwC'?(ެ׾y1hu\e3,M_s?rى/ۓ\{㲥N"fJ:,4X;QҒml5"j_`vӋv+)&c.6ZGl  _V{p~;Kѷ0az0!Iz>O OrK|j!E/q$z[QMrXwKM\D&rGl9ԤJ1II =Ry<Mx(gГ{ =Ր?Ȭ-i 6(n@W i(C/j-n:&Jk#^ fgZ`ivxoxFrڲӌ*NTv`!2~.\)cӄl zAgyr;BU 7%a " pJøO>k>FG@Ӗ **^|'uP]EN4&M];]@nu~ͨb( bU-K)ajLLZJEE>^YmS|ga#xaJ!(Ӊ,HR,quwdl}G#pGw22rm'rxH&F{o*((9u#7A2z5rUX$X,يL6ePI,ʻMa|YCG&#'N/+}V[e ioLK Esje]0Gm)/l1X3xooySqL#yU>mv< f*;XEzMtr$sq/\<-V&`JlW,E?Àl֎ӧoxs8e (F'('P]\6s^ $g%QImnl1%(kzAO`H[3~ ^]Yi.n]Bqmj"$D͊)$5M>]d`ԞD޵ۚ!V!la ( z}YB98OQdW]0G Ɲ$lr-RrS]F$Mw`znv__};0Uuf\%p: q?_CV:D0jLǮPҨ7>$2L۩mA2u0 =]ۡ_H hʙ%2aK/p\\'҂1*8n_d6>`KʴTĝKץIW}OnYG1frj{jhq͘uȋn ?wj5³EuH%@JBsR)~I9[xաƇT„-&M nZ`,2{RϱnlWv[֘Aj쀫Ԭ9` x ,6EXv`F*I31?].傈(Pɟ>7@mTtgj*Cşbn̨X8f=ݡ{jm~h;zE Yq*9Dy/XA;9^J$ cmS/LQDuPJ:־?QBaVFbQ .~eİ4V O&5 e 3wX,`L4J!DN=` ћp$e7@jB&0d[?T3X${ՁDzNըϴngYZ   t21S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO11S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id520 01O' e }]{̽^J~(݁ȭxjW@L:D?:rJBpvyCN>?X^ !el3-Fnnd"'"m˰1aVb3.éyҸ`;n b ؅5P^L$D_TZ~V-Y_қ/Rw:^#+H@ lh O@k$JY$ gEcgXbU$#ma&*L"9P;US9N˄HWTqjO׸Fmӝ~ĈP`]iI6V惘uj&uYhx@9w)ueNp1Nb8tQ~dKn>h̋t7YrUo՛HT%ѝwS9_#CJڞS7r):cA mrtbx;>;0( jKuUgvv1:m}Wty$l5)l7i/?gYZ"cʪj _P-Ke ~}XȯЛ#2%nvT>Lb9/J< 1p%^1\ѠP8?/r˚wdOq6ƻH p=ߞTè-G ^\T9m͠&+U5w=V8EDfҌ7$lT^;bOl@rG.B,CAl2e)d!{͘_0=RU~+W9=")P $Ȣa=gB[M>^@Dr"^(]-{ KD7}}vph>G!ٷ Dvc> ݹ棑) ãÍH&`՞|סc8#뜚^ISxO{v'f:Kd]R7+F JCc;V(&wc)aG~aI626"+\a\pI!Ks90_kHIMl+"]En`Qm;XG';}5:!'!utD폋m -&%a %A8@KJ~|A OpX4-o0qt!9|Rٖr6M8ou FOzM#+CJv,辯PDW俁ūw${; 5ETgrE\OdY Q\OUIFCc74fy/R`6eу)WGyEZCnxX xtYϾ{:]u&:mŬ-#~O Ǩ1hŏ|4 :b 4I--̺243yrH[ B5\C݆H3RLnXd7D%O:Y|3/a+{c&rV72sd&7BBLcmG#ī\5tja2W0J" }`mTMH`0v{Fb9P&Ʒ;zuL .i ySN&O23?LK3Íy+H 6Qy`xPBdD_{*ާR)D)Y˫VE9<äZQN]XD؏w!DPƩ憉~{ЪYHJ] zx5eORzw=&7c7  Ä$`ρbf%DQX`AO?B -Ry5l{`3hvvDqR ngƿϒttDoOnӆ Txj%/8PSw҉ Z65;xɊ@)v kF/?$5]A<%0j ?h;S>/\f*6,e{= 62P vtU}`CL!ON:1|¬J8F@ w0۪CDd3SRnP]%('}NUV>RCe>cەo sU9>80lf*.5SGu(:~Q)_WS^ZVW<݈-Gy4-Q3n PJD5fM+ڲ HuHU[PKÙ@~MnQVڕi~ܯvpC y^ 3\Fd(F4R)J4KoE@ImO,澥MTzi$^p$%(Oshw/E|੫33|!-_} gM}s5 t׾#0b[.v}M^̭(>p hxG]걑-R:9,XpD^nsΕ\X= In:v-ş=b;Z`;bLBOCy.HH* zzhppe%ՈOVF4Wes;-"*"#k+LS(K孯I,T rE0VLMѻ~r 'uZ{X%p߭MQUh xxYQ l4Xm{E(EՏ=nw4+% d2Į$ a,ؿVYuWXw6;Id[ X~+$F=9&mt0'߿hxF0s ^6,Ncsz&S0j|6 $m ^m{+,9c%>k.WЁ4׌;o-=~PX5xU߹.ۻQ-s(YEoS J+fqPuO ֩]3cݎSu83( 4Q |rP)HvX1Vn[BJ}a)]Ga0 Jn )`>hqNXt/߳ K+:FF{==Ȭe6jQdv/n038Dwl! :z 6g8FŽ-܉c HK >jN%4t[5`ƭEXs(dyzpGtu50ډ9ON(Ҫ6 mi؎?=oQȬ27^h3 ,b҅[ ewH{f!3|5Giol FS%7XJ1.Ƴu}ٳIk3)> pj}Bj$Gk gC L ҅Cκ21f0/x(yT=o:; _j:ɂ9:ݑ_9hry-@FJ]OHkV`Ux'آ CBm \Z`? 㝼AQ :`e"kp˹mu_2i{>bK’ ,{r-*b,xԂ{l&!׶j3&Kvr Cx̪<}!$42xۙ` pN7vvտB40:M̋FCRTT*8cݹO_Ĩ:!gǽh oTr ϧ7ؾ>Zߊ>sԡ6,LFô2[S)ӟm]r2ȊE=ADhCLhy @YFc䝗^ohuQB'%"BJ&;$_'8EmK}T >7~sx[9rc;dYdH#[Nl>V&徇x0W,KkVE~;D0+D JwYQϓ3Vn+tx^]Ƕ\|)bAnuUdt AvhJօ S.5t$32Սq>, T=c-οb/C BIcm )qS ѥ( 2R3۫,跜/PvVubc]Gx=-F_[R{rQ)pk"TE-PMܖ곕o ak,X`S)k}^HະQ@A b4r?`vS_)2փ[>~;$F+*82`|4St̻X: mqp<56B^j7j)FjmiC-v!9@]iR_H!Y6Q Y-nRþq)ʱg:v.?(?IxBI?<-ELn|_(_K({"][m ^ CZNMj}kd̨!"Tl=RnX{e2XyDa'S󄉦+ʍF =rr_}_` k 5ݲ NZbujGDtiHy{Ȑ_<3G6^VHW l HsXQ[ۥB >)h>4?>֘A()=O!ׇJԁ8AV gD~xң_+ e!K:2Iy" 9G3c3.`KC6o!qJ4qGQJ]4&  C b61A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id516:41S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! .]D?7 {?:fH\7[u;oVyfU|^jC'YblMy̾a{k'X&.PeÄ~י"J]6w\t s{umGeIQNsXLڮ?]]7Cfǹ_*0ߚ2ъY*O2|#gͿaX<$̈.e.w(]Mh="A9:}O n-!qo|C,fZ#n[f5&"A.5A`-p4-q)S[jcJ%|yUsKH {%E%,GŔS]ylBY|GVhKf~~{5=Ƈ8DEis0t1djcgm]4L0i2@aR,֔q @ aaI6VB}M3jx4=D9z.4Ա`)q/n TCfS^|tHgΨ3 +w[m4nqMSϽPV9ΐDiNt݃0Q{8(1\Bp$)JHZZc}9Fٖ_G"bOڟ8~L=6BUkzs:ٙ,gBo_i.|:,)xGKK921FAxCm o:1zln: tȓ1F"Vt<kcybY\]%%yi`yR7 QATf0bɰ*M|S'\>CA)5 \(׫R2P {nNF)5Ҵٚh.RuȎP?PglCj zlKMTm(OY#kqʌ_D溝x*WKpid>PhuȕDC^q.F@)V*#LwP :@), ܮodALjX |I~W[%=8WYOHuOHQ[hἳ< FLLj̠>( Äi.`{MUt* Ǔ8;_m9\ } l"20-{.#ʕ7 ]B(6bA0G^y/>M>g⎾'7eg>xKͿQ뱧'*m٨7;k=yv}:I8Ŵ5k&F!#PG]"rj~kk<P ?FYxZtÔM rp8l:ȞLB@Uƕ2nN"yRo޺i*CoZ9~K:$[mжVg{8/Ь2FrTJJCm>̍Nb>rʤ7mY#rd kq#3I>tJJI&?{;HNr\k“k7dpՄ1~Bja4/XJs*DF݋ i ./Ғ(}+79 Bk/h;+¹?^w'zSѱD@"RNj3>Ue&s1Fhr(8R_:0em؝~}kxO~bI"N UgCݖ{m&<a63΁QΠ_]e$9VsrmiI*x/rڔ3p<`gTTסO嘪{O qGkx$(n^[>$x^z@:pg.t;I3fA˱fQWcrJ=t}x~[}`F6m;'rV; lz GvVmrhNH8T.W.#r?LM\УT U}Ӏ} c!fCGU"' S`&MǑ0Rv0wp(L2\ bް?@JAj+cx<']'˟%Pmύ>M֑67cyyN%ϔ"ChG},vbҲRڢ|jDסr N金T4Ī&F+Q#yyV5#o&og5NȾ8X=C8LsN}yԓ왆3ks{@owd湎.O0GN+Qbst2Cj& 2Q1A9?V'DP=dTk~. aa 2A7en_C(j' &[uڮ) ϮSx^GEnpʚtVȖB"7'^IrzRjE3L vPpK{# |Ufs3+̢= 7/.}9ylŻ`ۖ>BՀi< 4@\oߦ2\:SS%}>%%.()fGYh3o̔Fe?ޛѹlk iL#2苗sNªzXkT=ԥFԠEdO)w8֌!CW^ēj6diZћMIV/~u^SԳ;Lt)aHp,_]=f[gFcrꉃdQ)`0S&j`Z: 7gYZ **K71A# $HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&I]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o S5:Pry1c/\nHO`6'3S97sc"'Nh!V@>OǤ\GcCΖc>F?TZXu%{D,'G|r0V2 ^$NT) #8p:Qz\٣۽lgׯcboФFp)xkZ>?!}g0~IYS`\Ђi2 ȏn0E)T#CT95~5R߇(c]a빌y-<;P?d(r&$,TKOe*{L>6藲qn n(Yе%׾y{!;G|xt*%SCN 1P$ވ2z34@ M D[ 4zVmcTB}Gw/y>is'u `UZ/<7@8Qx_KW _U9N:@82Hpr:zsEVugsm~Zc%*qɁ.ퟒDk(d_on2mh. *7·Tt$a}D#{Q{4s}SL#Y`Rn8 gF4b_=v%AT Etc4-Kf3z@>S%Y"ۓZ;~Z鱀o3ՊsŹG]Y2?)p"+ 04Avٹ- lPs7sg8:67/lX$!wJtzWfVDU4A{pqҏ ֲ :+"FnT1 t*V r'] $ΟB-]}|]52!ߌC$" EYKG&i;« \^qi%Z/6{lW'S7D2/YuL(?DVKְKiB? 肳Ic`b\vRE͖j,D3EωjLqWX k{7a{ Q& >| ,<dm]d <>0?Q1mA&x +keoO(n4KZWGp拖fDkn'4o~ic]o=تFkRdyZc_Wt@\F'NX'kC,MYnuJ*87q Gsm7vk[/;>2.!DxיNuR[?s6z0l%r HRkWj6iw 'X.PLO².$mr݋VҀ?18>Opӆ|X1`'u:}#=`R9  G\XO4'ؑ- ;6E=<}j_` _e*x%L~ZgUf}ifQXjp1GKּWH=^jt-yxD64\x7nڀj uus_|G !o MQfrꨞI60|Au'(ˊ-.Q15F+g KѢX 7$qH0)UC}p /t(; y?PԨ-&uݯ[un&c9R)Ĵڌy$o.#}~%fu]ֿ仲 ^␘4B\Ajci8L]q׾S)rʦT @1l 04joUqIhyOK]aȲ&!rtP;Gq#&LVRT*F˻q9B C/S5&C/&{QZDH{A30lp@NMFj uߍ=H &aAh̶[D>>F{}9(vl;ڤ)C?/ze3հ=2j jx# ;ƸAm96j!|ob$$p֘.4o9 Q)%Rlaܯ+N@H?W$y#[Xnb%Ɠ$IB*|* X8%Y=n^c> onϚ3crۂ=$0xb_ǪX|sP'xA.DdxtͿH\ڌP8bg['ө0fcmh[>q Z&}әVn{}{ UՋJ{ѨbzS %QE>-AxX)  %v>1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM=1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id524@<1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L5]D?7 {?:fH\ny=.(dZcjzr/ntRq˄2:ZKA8L:eрGW%qуL7rk!H_UO(+.ݒ.I݂C*J}/mq5֎k TS6sKȱ B>39sE*p:"kʬ;#|%`zhDAvǀU.I{U Ǿ }&5\SnclVF5m43P_$%47%8"w8D+dNq/QC\-UMp1Vj.a'q;(\SD:CPȈ`]Eοx#Uqñ"=Lysn(`eOzP{aӮւ]%|#s:3YjXLa' G.Dҳk_!{c6뛭NM$`>7gYZz;1O# tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-UjCy9FiGsU!8447~9@tRxa3-^̰`$&p(s/<,/+AW{6;WS_#nyNM!Lst_L5!XDt| Y8o~2;yCc?&.Q#x 3Qq ZxhdDĘdDdI0;?\˅ F&myAS@ϸs#M:1r'Q,7_0E1Ԝz[}|+Awj+Ƀ̒ W,ȠS.A8<L^ w.+;.m Wln Iѝ{=,eG3z4:¼V)`} Wݯc |}(-&74Tȍ3BqRne})#ќnU  I ;̴Az*@8[IM/wB3r~a3P;0}w]TYʅ)@~2UYMFܴJgZix^Trܾ ãv d ('3WL[װ=7h"ZpQlj*^L~n >{lA_8F|_,++Gn 58#Lkzx!zЎp}53-|z(Y?RFvrF>RD_#-(|Cv{\<@S7q+4}p[n1DkRse_><%*k PgL*ӹ.[i8doBHkPH?%(Eb-m^$|p-i` sq !wiQ:D]inlgpd!>ndΙ'~ Z-d0s%DbT4ƺdA=*HRsZ9:dXpŵFNbP|!1#uBqơ/⁄ 2gN1Ӫ׽2.C7[wG I-;ձgYZ (z5 9j(G hJ  w k . p2 1 ^H  i|8`Y ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5&'HOL-Corec_ExamplesHOL-Corec_Exam@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupI?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idG=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markupB<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesAB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id@D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup?C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files>I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id=?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id% 'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id 'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex L;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex CHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-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 )gL j P m ( 7g 7 d  | 6 M EaF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesRD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupQC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesPI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idOB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesN@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupM?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesLE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idKA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesF?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupE>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesDD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idCF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesc ?hg?FmAx`=zugj':: _MlӃ刪wjV1 ("iGq1jRQ>/t/F`2=H'q}0WN4G,ꕿX`!ۇtEԒJR6dHUf0QuZ֧p|.lx+NIuP5օǕj0s➎֧Fz76 5gWe\ _$EcJC3Y ; u(x*epWsB;(=O?(RklDsI wn-9Uz%U z뱭`(oiH~"*ցfAzjsfFM#ňIseE0BL]Zl$03J8 o]rm{Zh"r)dnG\ȁOIsE%y$тV@?3{@6=Qވ/ 8(umbQYcr7i 8 J[;#4O`O"ەg軐'EM(,Cn&'40M|O.J%Eģm4[eg4Zɍr>/w}2rs_ݩiuA'qCKmf95W?68(ȟoA6<7 &зh*>]0)0 x.El߀1@eR 5A(IcX2vdCE(U) o!G}_j;;.p"0SGi!sv N#T:1ZUb?M zbzW,޷]Q!L7btwCE ۊ +>3GuKp1 Wz*`DbQ({[|V隸d%>7_ ne ƈ,+Z=4{Ġqm@5|jMv72КQ:Wiɉ<@)la9|p )ntI 0$:VN BP|]q N#IV0-ZG^EG3a ~6F6n.˅V.K';`,e*ɴF­eKYzrjd'ag 2 LIE=`2T C)՗c5ssu4./,?3)ayt_P~JFd ʃtZT*z]`WGOR~f6aDz^ .A)RM N}"zJ.jJj}=7 $_lVBw4B_.4aD+3{)+:,^!ƒCɡI[Q+h$dҲ ԉgUr:cvW0eck'kPycRXB!3g~C5i+<,E&𢀆쬺Q$HjYXf(^Uye22N[k 揁TjP3>evwNR奈&Q!k6\J J/D?OZih&*Ŝ<=$wG@\YsL )ޑ<ρatX 4pKy"L[73;ީ`K c(虇;|vd 'k7G;3/Y k@֧rƮCHkl%vЫr#{Q?/+v)p2<~>z($lAFv*@{1 BMf`3G{=̀+W71{Y)؈bP.WSt֛VSõ%/ ^ZAŗP\/j*“L<dW<RǏ aچ1ǹuD_!*lZE'l0C#ܜ1dX6_C͘\Y-I DfCvWt;SNX7zԶ] ,`v.<VamK)#b@2~qξ'ݗJ--=fGhP`#v5 aũ/T[DzS}ozQGT.E#!n~URro q$E V-$/1/!8?بP٦%]/$^)'s06 ؖs[q64{ڼY`!u&xש4gwGfb3 ^]`>Nl MBL7NQt=*ϵo`ϡ xѬzYISb]/UKu'}W8$7prq)B1.IEpq.OfL-ĮH ܺqs9c*_FvT*z@gYZCyl)g0 Vqo`N]⽫ik辷_d4UV9A4z#+"2;#79`e5@BzeXv+SY^M$ Bk7[7M@CmM󋫘ߧ 4*Q@Yf^*Ѱ7BdO` c@G-͍)rȅ$'[ ,hZQ g@-T35N[)|GYqF(p(Mpȶ \V#;9*f+}D/AI0ܵ~tl*IYfL̒TȔK*V5%mM937sgTb=~6>k4{ʣJ  /41E5a64`-ƙSQ|k%aED>S_C jE)Qn;uDrg'FR7 Es(O3ǏѺr,26,XC d3ttYЕ7Fe)pzݦ;8w#2u(DaQݠja1G 0/^?'sc[WhSe%Ac J!Te5vDYO57%`b%Фq kqfQbƪ etW)Lw.Z)AC~e꧚4TD0A2qMf:H1:Tl,a ƱuWy1̨҄a<*opM`Ž€'9EP MtwYFAYE3Te0v,wlUIV)YD E2XWf O9'hDB;qM66ſ( }IVͧ 2#]& /xU_+)]W #^콘!e$61 2ú-E|ôK̻3 tJ{ZdO9q8b=g`X_ خ0*,F !J9x th O|pm pRWk(=~IUld{0w =oÃ/)fAOti=|POi-,kAVdAPn4:ǰRΙ"YìZq7n@>>c8jt5'6ӳѲHD_ 7_r=G!s)ȆiI{>;IovS! 4烵%;X*Gg昦eh@z= P\@=SF #9x)Xr/{,PT-#ړX5oG*58҉  Y:ɩ+W|rf#C-+By踅RafDxB~BR+Uc0ab  "N+X9 Tȿз,}+E#g2Ύc@=B4PbBY[+TOr=vd+y5zlꩦ?B>I󪙸(ޔWjڐ3|qaɼhf~;.یAmu8DgHg71r'FG\OM{yLL;\NGCwX\u-"I(',% q[Ƹ/,rlW7]=k΅__ Y]X칬(羽`%P0Xe/3-af"kCW8bQK3@Cr3{ium. ۃߞO'}&f#|A!N{ ߘrCQЅ^h &g[ Fl #)M e/ xyRtC#\ͨIDe\/[s@w!8I^=/ VfY"Rc4rM?NcP|iBۨT޵C/Ei *)4@chNOf9!굡Iae]4C"7Q ˔j)uƬXn\9at/lt1PzފNqvx `+ r'I/CXrJRKCJbȒs-*IC0iӢ'T!'z,qѾ),%[^p}V5Qu)܍b&w&[by@ m#[g24 ̴iB+`Rnrl3UY߉dTqs wi%e'DRR?ok(N&PْMwD~gJtOۏo2{ʱLfov XwG;)8.ysGP:㈭4gBReK.n[Jy@sܐF5U7h(X5ʅ`Wv.U܂/C**lB*%B$UPyNzO\TiN&X|9XZWRƄ![z١? G'&cQȃsAnZGM( BRwfM{0=s,CZjAZF }YxN jq*jV%4c}H!"cfπ6, .)hM9^5=,۲?D"˫w"#}BavG~C4Ӌ;6 .ocPYC0#p=UyvAplcjYA.4Bɫzvw *q-5需zj&eZy0]IuoO60EǪ"♒_#O T{xKmvD "ElB7\ϲ9oueWIbZ}$='5KgYZ  { ]E 1E# HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! @]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[Q÷ ]/>((»\PšPBʶb~c }^c9uv J# nžkMl->UuZk*<)-XT$Z,zfN[SMCuemO52NѠiattqXGOϲQ*^=nb x20䯒z Nfd<`iΉ`3fU i/Du Ttb}j@7 =Ƹ]~3Y>0i7{ݾKv\ސS`>ZF;L1]K$0ن[jIMpd=l%!=TJۛ';h1*k^騁;̮,p70ԝ#w,B; γʥ`D< Dױ##Q! bz>5ěžxtec8?h'GM*ƝjKk^'#_RLG vU& w砲2E/@}/{X"Wuׯ^2~ 8 $׼0W7&Tԡs{ĺF`D>aq1бՌbJ ԻpG2c/Fy_ ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv 7gbi![(kH ҖgFj:ͬlRI.IaTCqQ29ʪ\Ë wP")o`[Zj~v vև{!1!ǖ'zod_p].3"ris*uTY|YkA|g%JsB|l@ -\"s!V_+l4zcgQZgm} gՉ9Q|Ka\EQY$X݃Hc웕݈jlLefu [[jxu7,=@8eQ`i.=`Af@e%Й$Py/[DMTcr"EKOޔ_G-\?LDD89wqi-=%@O BTʬ՞ Tr!L[߭3uf\ʟ ڰy>ChuśHj!+ |\Hl_}:;, [+"2.LhI`S2qw%y}]^9Vڡ&?JQJnIHgAuH..-Rc"VhF=|'*j>mG'[$to 渞[n:*fDXr qe Y%{RyN+rAE+h }wo~n)( pػT_NL8>=^}K'HTԹr+V\XŨ 2w+*5 2f_S("Y͡!q>M<%1wv"bCX~Mx/Y+/ 4V-%(W*%$mNNώ/D3*&Tڌqh9+ BFwTSIk^QKAY: EFWҖhTTOYk}gzȕ0u1"vXwyiΚ|&_=~bV L`/8I ; pXL= |Mo(KILzP We 5K<t!K x"-4p(V54RL;+LyKTI0yhDaz?ۘFʩo 5;j:7tx'X 6Lt2h#ש$lk`bبm^/ ;}Te8pޯez,/)FnFu6=y%8HT;y/R"}.B~ qYR^uV`mAxL?Akӻ=u:<(a=1&Rg:R*uj-z-~\m?Iku :SwշBbARj0UieŭR(n{Ύu4ΨI0\Mq}p9xJ3 ?84 n疳#YS8 ΅h b =L[GB1+F-wU֟"Z7[s|) {bl|\_s2 ܵ }uw?xP1B%q1۳&u0ހBTEf><+\9.t̏]QA xzZiG^H#1Dd fkbtz [`5%QM5ICS$5֪,Gt6>p`|\7_ /X~ZC0ccP˼ƕju},Lz Ppu :51)xpfrCȺ Af*er )fq)%ixmɩPf+'3ڷ*k5/[.:nS.d ՞{d}1I;#{e{On )5>לqG)o$ߺ#=r?M7Bb,+y<5eY_)+YϖJCݨ U&pХLr}ıM@Ge s>l Z8)95( *yCMȇD"8&fIWW(zDI\Fru o5mk?6YNTFK^+OM+W0i<c9Os8zab 欋ӧusu/L(rG+z_T&60'Ou{ {% D  CKXS;X{>ӿaoyRrG(͟i_ѓතΌQ>1ԉ,VPdzIՓ>[MX*6*r:S`*+Zj^਄Gp]2ZJiѓl] ܈.5nK0Q~SԢO;i(rJ8]Z#rntCs߻8K/x=#`R/.hז^a K)"7߂4+ڒYQ 3hmca5`zXWM2h{mNundꉍ$9i~)0kt'} Hpbjpk@UͿ gnD[=i:d£-I/)9{B"z+LY}k>3`({DB.LG%X1RM%?{9شIqmƷ6`\xQ4 ށtF׿2)@*ZܚD|uY#jmÚ3 eꅧcB8Rꯃ/.6o~[,%vmy2l,3%E2:X'7,p2DOhkq'7#Qޭl~K"Vuy CLo-s 'ue5 f9 t$RtۇPElb+\<7,fՏҍ1ȁzշLJ(ߡ]Dl%8ʲ(NپH=DA.5'}H_''lo|B?=@Kp 2NMYuiZqհ [\WA亸C0$t|Փ=?9rA?Q$K34QW䎌C'na?!eLo&\FbMI8t,N6 W,)uPH ILn{~yd)@6ox搆@&py/IDWHOtguH~:Z( "+EljҾ;v.A1cpϬBk @`-=g6hq\"dQG_?Lck_OM^S:tXAe TCM{q ؑF漀tAleFdA|x-ڍ-yN6܎̍xGmR%$,YR%E5-֑aچf?"=:Nt&.U- ( ! ]7?Q"&bKhݛמ0?a?3P,B]aAޙf<~4OHtT;m]c㸸PK. 2.,3ORa^z쁖 đr?࣒']-5s`Z=s*zBG0“hL?=&<9]z蝅 r$z*'dqrll߬w;7p`u3}f<9Dž[tq$X 9FHח[*"PFm|ϋ0^m]:X!"C_Rus9R;JjP\ؿRxt@#$> g(z8cYld A‚hݿGOړul/5R%F'pv2PF2b ZFzж:VBZ )eRz{jz1 'ɆC-_y]_Dbc-i<9=Җi+Ds5fQiׅȓBqi$/E>6n^rTO_Ǧd SϷ}-3Vѿp27T9jN.^t^4hiۻlzS+ڦ"CIW Vڲ.&`,,آ)y˙FS, UY~llmh[t%x p[`ICrO׊ozyj=uy]{y,Zy._G5ߺ0yԜ9bOkVrrz -\@ط#ߕX7\WZpʸpLLxߗ15Egٯ{EkiwyF㋲>GlӴVDW[lbFr^+: GyYI!Ԉ~<XYf08(y_Bى'j (JENQt)EaXQrޏ HȾ*}8Tpᆂ0-4tźpfT;ذ7i3AAwsSpH_FpEK'%݂H FAj Dt'|c<~YI~@359|V,nHy?fbV*xInX`=T,-'*p6߬>6NMr"*hVLUٻl͂1$4 0|d|Vݩij%eI%ő(G*ʙ܌ wżrLғJnWѦ'{;P蛙n@NGJ 姂R gh&X[D ,#&E vrLPPAƊT &ͬ5Qfr )+xf؆0d)9Mרk`wU{ǡʹ7Ј4d?s/7c՗Ş?*$2% qc՘y11cFӚ8fma:I] SzViǽb%=U[Ӡ҈q̙ޘ U Mwك?v 'rp<ƺQ[qMԱ5T\;2I{h?8[U2Qb`dK_مIrwϡGFۮ|B$'rЄriNb(#iDh 2(_@S[g 9ÒYWKQ"a2EA%$}±զ3j6sLQZ17Q:Q+j'_@ h'E&F(䲦HLmo^ta,8`YfR8j0 !{*.OQ(*AXn 'b^%L.R{&NݮV՜ůNI/&G*Α[v0SbfEĐdբ̅eO ;UP߽hcsQ5fgnV{-B.XygYn{PJB)Y6!U0sVSjڥZhuAL6)k~70'ȳhTx8;sm&;A˞re!6BB[82s@k݀7BB[ų DÙ+@=wR6Vn3VbOJؖԺ C:%sSY:N(o+ɆiiXRUɻQIFx7{O0V :JԖÎv;䒲QQnOJKg퐖U N$z{?&see]۟}uV9EcU;#dq "aqv4 ҍLҭ gD}%Q 5ʽ׀- aABsw+< ^6S(.sqZQKϺ+ƁvJdRsN^$hly2^|ٽpU-p4J .\${u_om^[W#Ҹ81!Xx3uvuHa=%C\IׇcF'ɗKHlm3&ʶoR3;_B<4k&J3t6}5Ϫp2ri'"`!1W=*+8A&#*4+-3{羣a I1;5N/EwYަaN H[*댜 Cm1˖07^}^?.jj]lWɖY( kG$R' 9dK^ԡu&o|Tt9*c@\_xӽb~Ld*2T .@Y4y?)~e(Ԯp8eOm@72Fk 9kR J9}:x0u kg;c:Mب}YiE1yi++' 6EQC {}}L\BVBc4mw M$"׏kϘJ`H^*%1<3s͵OFS]6wrH1S#@|&+z@ } . E<%l27!FڗzЪ9x1A쒋vigB{kFjc'K[˗HȚm>1*&>[jR҈k9jЊú4,Q|K?TAW`~f^Eׂ)E EiT5$KiDa)N (=.:\t2K'9;@@/H1 G#4? ޶YOըJ].AjIJ@NႡv"B;µ"r0 DHuC|hA8QMϔ}z7LV p"^YivHluѐX-WQL ;J41+$qMqzi y0|y d``hI;|֋mbJ@jbdgq<x2.4Ho>gC+c䃬= [0{"apj֜n($I涠 :Ioy7,uO~]!]0,=D!Fu ◮J$̤;x|0&M<#9=A!$prs@"txUt\X6,L $%zqBӊ33BR񍈈unCvPU;  o9N~'*.V9sQ7d* MOCE\ZE)r9&Ák~#Un`7`*@8hQc\5 m^Y<&&te$N@#CvKd4p }bX4tnԭPw[MmD祦a ɖ=Ys{=&b]SJc%d׽ɄJY 3{q?CoNװ**R<j5KdEis=<lW@t:UJQ~<]Ph׿Ģa|'/BY#d~f摀rq@ Sh0FZ+ӶY /B;& +aAch-+BsܿO`Qs+D BGYjĮ"\L/{ 5${;}y faˍJ8,=7rzhg.M,an>w P[BͻWY(ee#'uS8:1FepI ^L;RY`AsNo8soetLzҢ4wMA F K q6^/R6 Z*pLAO\r҃$୔6U_既aЩx%~| T余c=jtB_{gI^k,5$Ov'-u)+ TRHi.^k]лMWSDOBw%NwD,t6So?}Vn+ԃx|(3RQز1b-y[*2"vPN߂bN5 awe='e,M8VA(y#Up mQI 1;'n2Kd}r~۰m{0LƷ|*!|Pt)ݺDE s,Αj{kY|D^3 n(pe usqGD+,`/O!"kβiՑ~Szo[R!g1u%܌)*/Q0[8L!K?8*ۻR~0m^Kan3o6u(nTr[ eHj*ܷn? jÑ6?sNI;Tc|z,؝97V Q/L^S0:+Yן#! sZR lC=WFL[l¼bP2 GF́nSoHDwP/*", WZEjgLfVf~"KeM1J#Ze"̐V""rɌ6P]PM |%+MsoN#O\'6D:cϼl[*RW'x"WL "QNG.EePZG$bxUC!pO!UGnYj\@"E""?q>L4%8{Gl)xqnM2[cs-xcSAL0Jim piD&#;lnd6l+J~Q.ٷL^&n霁`IΜcwY%zXζ-e˽CꫴG e8HdvAgѫ_F$wf9YU|ʨ:֨GґU 2z+Y b`.jĥ)v-YȔ=ꦂCar0spS %jL`Woܣtڠ井̾2Bp֥fܲx?ab%Y AvS-zIFG͉UD㉫2)xZ=gr-vTesJʤ)pu|µ-wh _'+-Y:-,lu8!.uȊɍW07,D <|6fL"QCVmJpbIDNhabJ׺ƬD*(e"V}".ޔm*v25Pc u F6kfקObӊP _n1]llve_Э,Z-K:ViQ;|",ž[ZXE%֩3rr1 c^ b#YB17񩣙 ]-"tifgLfi2>Z.٨@I%^nҙ=pEf/+CH*vc!-᭺x$pEGLotӯܠ* E{̂R+hAuaF/++rn\N7{fwo!!MjmP\C^iJY\T|Uy0gB%? Y9uRh@ܲ/|<~G_tCK9ۋbʱa6Z] _JvGз&I2*' xӓ]w3smDi]f /Z_+0i$gxxxxgZDW;*%$P1!%0.m,E1a+ *9*:wo2>E;dE34Xn 9kP^IbW.PA8L TTeڞMz7D.ꓤq {BbP{A˲+"QꅾZg6ЩʬjB&'e\@":c`(dǚ44I*F xjE_g+`"T>'䋕139aYR!L`0ѰgPRa{^1xMq_?~zz }zm))bh PLӇf Wb z?4 Z l|#0TaOH)&t!8oUn%Ou=J;(z\F]A".7:)I A ͊=C.QӰSfk[k먊נcLL/>}PLV8NOvRQ23Pe@'mtq 'OPQt ֨P4њ~Y\ n= EĖvT-Ec+s%IқZI) K=*KF6A4g-¸ 6}Y&O#'uOK1Y baam؛͚99p].54s·TPn~!. u[Ζ81Ukc ffq=o3qѥYlnB*/+gYZ nsn I1G# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-M"Z/z5aW˒GeT#UN2dC5lR]̘\qƂ5t#] wzFLt3>G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9.Gnlb\"ž6 z*E0H0h>Dgiz!sU-NԍG-j 6oF,fcDՖ rk܍s'cyqgUj=@FPnNr+C8Pa*^q|]`k`wH[ zhʮsWI}wt1dpw2/XҐӷ|I&sv#[j%c` IUi.3X4+RrD+ߠ ǁEK=V"cpz[ؠZqM'.b{:"hOsr)5_BԻ.Va{Ӿ뀠o+OL[y߲'^1OF;[8YyavQgg#r떅b뿋`d$L'6Mg~̗RƳٗEVs^OV*z]5 2fsƨ*s %ʴ-^ᗇ(* +=_C^+ۯB {yʫOkT &EH- M12{^.t$ߴehlKkC3Sh=:ItoO (w:$d3oGT1s7u6FpAO#TjŒ'r[:ɏy v]t>X;Ϲy& M#d](r/S$4@eI\6i' ۋ0yD%e,F(IA/Nv')tnKqDȳnpFK`C,*jRAn{T9Ƭ Ȱ/XkOTjj}nձ1R12}{]'rn;gUސw :RlG%2ɀmqcHs* 4PNFYG)]3ЙSԅrnY|K :eOZ& _ijG)T6h]x/רFI3cX*m(-g@X , VٵOQ*etSX>?`1c"Lg~5c%XETYfg-0w2dD^J_@T-]#` ͺo?FA3%-Bm8RHksI7xbq< v9jBMYM~gxvJkfKǻ*mR\uA#S hu ?-u@mp-'t[Zf㥭{l{0WK6 c24̃}UOɰwFɅ`5qs*#eCGrS$augwJ 'K'ѩѹ .Ú ,gKz>uX.;UH =o 4::pp?tҕ/Mx#48̦RD;FJvU!83|4yx2s,:*sSb5y=vn6(N%G *n=bLmhUEj'TqH v͘;.z75zos G_@QC-xrhuO V4 2g 6pxϰQj b.E,nI:0Ȑ4 r&=u&l0}GA2qV9/t˪]]pthNnH-y_G "dHc5Q$Wj¡8a[8g&'̝ˢjS}A 5uOnꇸv+ˮ@_e1ƯlޫsX\'AȰ}z, MW<˔0::S_X]L_01ߡF~V:GMg".Ȁhtԭ) df0GL#24(eȑHOt#)7râ$FR .ϙL~ 6([>_9tBNY<8,Uw?}\kf'-,r?9 xSL86$<'#Lbn7G4xB0irPuVq<_a]T E?5S#l9] /I>M3H((B:d lTpSu_>{Aɏu3/R &) 6sςa^rTD[; 읓T 6 ƛ.+=njQ1魣NC/Bv:;9z+fmzŚ2l4ܚś0Y`~VgՖubϛ |sx>}n#dn7TE)&CI:"QBL&W-Bͥpei^ jɀᵳ72ѝ-#b5δ35j[\UA^ :k 5ܟX25CNik#EQ@3Se;Yݠ9#F??^l+oNՠ Ȝl0 w}Ld-hn"k!(X ]bXi'CKİ>U-3)뼾) E?K7%/0^ )쀷z~)*AE@%D$Ht18H$Y툳(ycfA&}ň TB0 Yndh% 35r@R; {()HW3ok~?0j҅;%hK!ߐ35{^˛<6'lC,a)M' A2;=*{oB,LH 16OlyPMu(q X_Zt [0Bkwܓ} 4.u(Tk k|ejB^!BqGwpB/>]T;Fɇ ԖJlunJuY̹V)-{-P0nݗݗX^EUF< ѯ' b \7Q^MrË;H_:*\QwbxOi aUf {;85De,ƃtoYF u7Vۅt(s-aĺ@rUoNa䎢š7AB"W9>}{I*a(\b~$Vy-H~P+Tlrv05 qeدOQ6 IdX):_niC`eOlhqKMc#c/$?wyom^SC)m|C]ADB-Sf m%_8\'gEo"wRGZ/,p 5.r5׵qhji7 [^1F uL[Y\ԕ[ c3MX>E38?5>FT?6blP\hIup4Ki"PBhUؕ=)~JTDc(w͟GzɶDe#^wKR,7tFNõ@R`H1ïh! Wb~;^rSF̷f0h #yaxW, h07$.BS+B}2?'.Mm"-у|8) pq K<''i.bӁ&:1@9'qK|ٻ/'22>^:ݺ >OU\G>6ۚ?'rq7ǛLMlK:A ѫYˡ_CMکEc$wR`* FƔ5**t924W/:ì XoB|%uW2Ũ8a,`/Ty2")fmB TPjjuubkqG{>K/XeAzǢY5-_Du?躙HBrZ[qQ^ *_ϚpeWgC*4o/VOͻy Mٷ8 dNͧZ:VYsBbibSm}wa:St EJ\g 4}fuP f>|5_U ] V!P*v] mCbKK൝+VؗL|"]ZCXޥTfgY J]o)]:f"30t4$ThC6%o-[ w|ϼ?v⃎23aAk);oߌ(r ,2A.mř6)gn2(Ɯ܆|-0׍>Fc}LyvM)dbA\Հ9vs +N+2g>%Q_jhwOt¼jKU뮯N*F&g5G؈s"#( +*oO$[2f]I7F< q "G&j͸a֛mn$:LBel(ϡ:'[Zm%T3fK5S&Oa ނah:H,#zg#ՍSYڨ.V: N @DB<@< bucVݩ02rZa4Z @ #f)LSgR!~:դ:FΥ }2ÈĈĆep/D|:Fx14^EYWtŒ\]snjVTM56PbITn릍N2lQW 4 ]&C.fv-tzB.!`m#-s|!FvjQeɎg=\a O5z"" ܼb tR<7 c =瞈bkߤ* S q7Fp#*r b'ˣN_9tw;]K>7!X$x~ .BFG1;x1&J#3Ӳ+ 8bC<<9SEY-ǐE]VE2oکyY{x12B{br3^wU.?+ᝪNfDEաQ\h0B7B>ҳm!rWݏ+D8XiܙBȑDf{h"KJ`~.:8D.,!#7@'di&op2Mr;G2%0 sobY:HZnbˠ^Y4i%)Je}#nu5ӻ/b67Huc.ފC-xI{kN*(녧g*8sT9VK0H(b sO &7N +&gb}5C܏v7|yڴ}c_ Vټ1Ep|* G<ᶚc7 6w9y{xgYZnL1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIK1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id546 J1G' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\t`s/WZ2XifR+a/ꣂJ6<0-Vh Ŵ{, kʸp "IX)xQ^ A& Mc"X̳,e%P5vm5׶f潾Z\ĵkWGFep kZl䴙ݗ<NY.3 JJBrv.|}10,S9eg|JQ"ؘ@3&k3dB琟j{9R`|Gdb*w*|I!ՠ8 6Y~c6Ϫ:5w QWSSwανʞ ̄ȣpqܛ$}\5n6o#}$Q0@y !'KQ`(ڨal\vy%Y*Y 5|$[N:#{IGC7@8Q֌dgu_"G8Ǚ]rcGQ`/GAw{FcQ_ iVjJdpMh?oPY̖k.)B?L;P\69L1_4 krt% Usp~K=6g41SG:Za$~4}SNl|$;em 6,ZHa!/s AF,(!$u /B棚OƆ[{`0F<]͆vgYZ M = vTMR1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! z]D?7 {?:fH\b=wRb^#itBf ~" obcaXBd)vBHK o/^/9=X6@e9Af~ PN9)KCkH"V"NE2-31ua4bbǵ܌ 2-cj=y̎oCu.:YB)1|_&ƑBP]QGw >ױK9wupodt}[ ;|3+ t0+dįidOb2}W/ V,p[^&Zt&aPaح [X ӇdX\8$0G(Dx3$GT$Ձ/G 1z`JUSa+viF0QlWSc1ržOwf`"Қ(-Ϟd0%3$_%y5) ;m?uraHJH*Q>uC(s&K^-.siN!7qnEFn6M3CT%q5ʆ9FC:lQA03Lꫛes - )S9ˏ5Dx ӂW(8DLs0'TBQX8Pl:}QpяMWjtu"[؉:uA.%~<2haZԍ6`O;iYw~ld\G7u,ܽkyCokm`|@%ZHCS^1%;ggHl"eUw!O.5~&B6i{){ ġ1LSH0Gֻ;+'5wՠ]O $^ R9S æzN0:5z*pJP`LޚIfwZ~N=\w`A;S8x!ɳ6o"ΐZNKJ>4 cL/J=찲a Mz$_.7"mKpFbc+: 5$K y C Ω$*Q?\[=C"Wث߱*_=f#" !ɼ{X EG (>;_8MzT3F3~ jS2A8Aފz\ Gw40^jèni!q ~[;xN<ȘƆ ?=j.*^}BNJ[?EٳP25iu[D:.Tf@h#+\~q To^kla-rL1Rje1*F|釒2\ؠ-A@Wf==EH+.}팳&nb,o;mn>q{K(гk :uAg ,fW6?-Pv&Bika zbo)C[|FK!LK`sO*r }q<q"@vu}v;l@=a J2$).>Лn?raPBizS&D C4O'+We/s;]EC87㬡XSLx헙l3j@|q5aT6>Q.w<۵ۣ}8|tz/ٛYf `GB\r%yǺ߳P6ﺜFy]/s$U#)HO qiJ9vP1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyMO1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id534@N1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I;]D?7 {?:fH\# ‘1sA%[`:oR۞%꠳f|U1 V̕-8.^\9i?( 8Ҭ*ـ 4(E#p8,m49N `&-7JN !p:=;r gl06#}A|z<5%B:Kn]+'6{y13?U$Satc $qZ1mZW넦c~x[|Z3I7|$^IgzN$ I@`Mh{~4駛c 1jh[r[0NВln|TQduX$8HdHKFQB*=QIQd(#mףOm'"%wohR9oW(Wc,_r@ТP 8|eRx^rJ "5gYZ:idAcS.&~Bxbj# {>=_VP|pi5ޡ(qd$! PZ~L^?wY@*Öoz{gκh9b"{%)L>BFv-f3A@Q^}l Sl}>99^sl-#(Lq9aa,T%ԍB)c>1 m<]ڽM6̤VLIԺަD檅=C:?[N%g.)_,qcaxj94 xtU_=M^bp-}tG@6!gi #vAfCImqHڌ } Ө2H\2g1C)CnF$/8.FLX.iv5$R0)Y"`ӥ#;Qs[}}>iJ~:%?>*iljpgWXXb;yD͝RNTgfj+ .zBclW}iav6jR:  y=Yn+?Sa%V?|F\(5`k!HEDp A%.t{*5L} KI:j@8^[\7jkraǢdHZyckzu4cEVxW.AnZ+ U;`1z$b!RC\?k<5J5. }Bm++"u|3h񓺪 U2]nC2h+@Rq^B6,{k: Rr[p<-O^!R%$s8a/\7$D߫0-Z>D/@%n"dKΊ@#؏)hS omDC~= SוFGJJGy_f%۱2A2*w$Ҳm:o$2H@)A0 %OJ8 l7\(8F8aMXs~nqm.7Vp +nj,(_\cTGd 8U{ PًIiQC}RϨhs! nxBiq*!xh: ]&N67xjՏ~gv)7M0{٢Qx8ddD!/1dVCa TlPpg^{3pLNOc!{?*v)8đRkw ua}kTzUdLZ*{evM:o)f:;E #z#n ƀ:"64.vaRF+1<8$QBF͖pHlBKIQ d:''cH\8 MF*:i\+2:Hi˯(IMj:,W)Ȏ>fULj)cb~Iˑn5S~%2qG*)gUŵkS~e#AtRP-1#}g5%=1s$1vw#3ѭǭ/RIM!(CWA~) t%W~Oy,rU)xL: Ѡ /(;[0O÷Q\FZb~|:E_o#\#^rsQ ˨쫝j0ACM-,A =R3o勇g0񂖉3%2ͪw܁Avyl-MX>AbS9,9Ɠ0pw4\A |ܦ.!$ͧ {2 Sm 3fҸp| :t +'[]Is.:5i$} PڶMNvTYU -GlI앇:=bP1ZbB"G[l";*8 mWW75jЮ59A:0q&]34e)P v =wɓ:_{&0_ֆn=u lt\Uv&K/A %X4,R`PM =,}%xGTq@xh-rC/$6-z5-@b2kϙZK%q 0oݣ]jv/=u!R/.\v-MF:7> D 7/GdF2kr9fƐ ]#d&@h[ {j,bA@W%3!g:M2'pD>G\Gzk:mD/+P Nwa&I%MALV~lZrxT,cUڌ6Tx䍬B q-z|Q A$ҳg+ VuL.Ň oN*qo.<hЪZz,؃Oic[E%G+*x>*|[?Tm- <ǮDKv\ܟ"/|qVFZu/0:CxQXǸoїþʇcBv?qᘨ4`zS>xYkbm5f5M٣:@d<-,舙!9 h>G-hX8nK^TMu M4/+ڼJB,sz_*vKtE)8ֵ8du6M"ŋoCyq-U0Cb@~j1ePJ rH8e ch 8HIExVl5g} jZD?(`@ʚݱ#g:qՒEz& <>(65!<3Z.%i/Y&^@ ΕUg6\H#MJtA&3K&rg<\O1]9\1se(C1h-&h-c]$=)5/׺%1gVfKݯU<?4bΐ}Ǭ/b-ؘG#l(83O;Vyh)Ye7 n0[JjPE[>WE{0ڒIΛu =QBTSE$٘G: p ynF",8rlXI1[vRYQO}jW:=WjpD&|ALdb.rmm!^Gpc:O@? V:K*fU絊ydCY},(LTbN<_bbҙQyhbg=DMB*_pڠ7#z2@pdp-/U_A=3E9d2MֱDþȠ_Ƹ 32)W4,,,_L;D@]C4pc,WI\K5EJ|JA[v,r(f oH * wPP53ghGJh|g%Ǩ " D ]f/h< nk'󅳷3bA-{,uH;Y^S q;sd`IV\fuX0~`]Qj Qfu$T{g(QBA јlwk-UM[ n>jʓ/Et!?LT}5>E&F2Us!.83Ͱ6o^ךpQ+BG]F8baw}elzPҷj3޳N>;W k>/%B[)ōYoTi[ pO|z]MQH&A(H*c <3DV%ҡE^o!>5S/t5~0h1ɥD9MW\i J3iߣ$Ce_bg{[5p-$Fbv)POk&+D #}a ܠ TfY olo *0V(&!qBrЇTyΏ0-٤o&sfUoi%6ܿܩ> #m ml"q`ܵz+V:!r*K7zPLBuJ>f"*g|`jYmK~gҹοp~NJ: z~G**M &+tNeJلTW`/},~DȄlkʮy1} }!dD5yZMܧuЯ4&L. J0{%]$iLG7_;e#@tW:]rrQKA,#( hvǼ٪\hT6Sz6=D `:z, ~unL 1GLJ[ 6[1k}\MRf+6U  cQ?qeG2ұO4\rW"$g 4VNq<}t;yi/d*@ JOj2N*&C\?NM$*'48D&ӫ:X?il0#p=ft,sPNШVIhC(ԝ\룱P.G%2"8Lph#@[Eo C)Xџ?OlV >RXn,P=uʉKPX|$M*cP58n2Q⻄Qs" 뮙{G):5߉IfZ|#ci( NSѕ]^}e}  kߓs$L@$regxDY=ɇy <-'D.Ϻz/dCExW:Md}b׮_f0afk#( auRRA0k[iꈢ!7Rp*aJUOͬ9=ULZT|$_pz3j #nJ.B/zcߚv]BzѼ7\LT~=PEGi 7g`}}-$CZ&jyEfu( %ƶSOTxeE/%l)ۛ(tX==!~=L$37zxWt91q+Ω5[yXraEtA̡3y*Up1h@d.^@ ݿ`g?FqOR A4~ȸquti뫖(d0*ygXS[Q]c8%}^ue "P:%3@`H BWyq@V6AϦ&묙&HFW`4(p̮3[Z%h4B0mu] "Pa0X.<:_7asG(|C"ɢ)>1ڿUA76pA_"ig|5ޔH%y<vB4 CŇ0)5Mvl!nI0ZOXEPhL0)]W*B{ժmB1_G\~k VaDz32}y  ӚvSx &4<͛O cIriޜmtf۳“iOpPr|Tc 5[>YHӷñ9q@j@boj>?r{ՃRw1D2Sut 9${H0;3:N&k"[Z2*>7peWq\*kOwh^Dз+`KtkP(oR֑.- p[&p~^$PiN2ZZl~M%#qnAdTlث ڊ@4CF];w ѵrkMDE0Zi/C`iҺC:GP )N(!7h\DK5 R?kS0}:ʐg#V]>+)5E|,0.\#?g`GA+N p)|uH'LG*S+m]41}ȚڅQ3r(B1X^S b P_Ecf[:>UTbr[fD }[%\!rR3x!ړ=8GgyRFqvS]*hdn)-*-ߦ3>\_aJSq ~+Z\ x hq8g>״IlᾹ|4_l '=ֹv?:8 F "xEW0փ4DK#͸Sj(W, s r% wKEJe#ՀG_12Fz7Ji ?}+&H_iY"/d@_! 迂#-?'~7#Ȝ`KTWK,[?P~~dpjtc8L~؋d`Vw^VgЈRCaX`*Ɛr Hg dbRD#!t<۷[ڢV!SpۼN"ϗi8WӒ3`tVTn!A67C-{$˦_/t'SIzµjYcrDO[N9J,zOԁg;i։+EVl1*R?>͐3wT6x/a z8% J'eo]~L"zUL3`^^g)VkT=Xn,!p_)PCE~c5F*In{K,KEJ9aXdlBxv(kGWpSQ|V_.;] e&rJR"YQ{dFoko*Xi[Z,PBУm(yL[Tr>C4e+eR8pZW8ֲ8?fyѣ=i-":&A'~= *k%?[ޑqCn2 b4RdI4P|LJNA{vE d&"FۢWX%۫9h0vuڣ%(d('Ye~$"|ӑ;%m" )Z+829fIj?~̾S/Ľ(s&y okIF!<^KEB5 H`#25q{쵱ge*eUS/VIh:5lhWV]r(G5;ؿw}h>>+]I㺯Q0Znŭ@;O,uMNvJb!,+gۋC! ~U+[7g|XGӭǼi{&(Ag&a?d4D),v!-E,n9# Rޞf=Ķ7-y!<:u9S +dlx2ycNv {ydPXhcYpq  5.VЉvU%6!\uR;̮LDX`T(@5RHz2dGASMwXiqȭs)*>ž ⲅ#a~Ɋ4BSf#Yɘ][?m3bՄpxTS(h]  dtӰmՌ~ڈI\zhKKV~ @umJ720QY\ʆI++%nhn7u`;d*.Zws7HXЀRz5o,g&17aI`ݼ "C?y7{V<gtEb{> ;z#*\CήEliEi%ͯ*tS!;PQIA[P%ǰ~Y j3|s4Q'o8=G oq Z/M+%SX!w^`OV]{Tww4v,E1%ZI]3 jt~hFu>큤eyf @f8i?(RUr먊wU43,;3NFʋ c.4H {SUvUthDg* NN~7l6ϥz[j) X_|}6.Ɖ?8OR + ;zTz\JMqbm}Rͧovk:<am>?atgsSӺŵy\u^qa@g J0#-82'y@@Ya8m[?1A8YL'6>x ꔺ 0ϱqV 7CJKcIB㖻<,1 {4Wb` 9?8z8x@#Gvq>?V%=H*[9!x=#V`K Osm\k=h2ܷn7Ⱦ$ Y ֑#sUD$sʚ#lvopϪ%)+QC y0h̻=W,ijRL2Xi`LpWLirJ,0Tm :xPK6fWL]bMm҄Q G *lT_6QSrE! ©kJ57ΎӺw-"/% mTó}iê0MTdya-rU AEZιDW¤2cB.䊿,,{vmBR:rSS&™^xh8A`ž>Oa$# 7QM4FR>nMy¬µqG\VslY--@=Qk_yU ~SI/UN2agJbQm| ,m5ޡ&԰HOp9SOu<Dmr/yQ( ] Skf{OR`jC{{!RC*e/Պ#w$$:N1< G1xiO,KpN)g+P1߶ZMƒ ҝC!SX &lekBjrAޣ6n>"^A:;'\E?~2vc<7##({Da$s%2yW_ 1}Vh3,p#,xYLqY-(ADx+BDMOFkJ列vBwltT!Ak{7'TZXUk)qa i%Y!y}&mac5)o΁LF{VE&ZhޯMW8OyK,G-,Ŝ{+'z\`Փ-9uofMi_RY6|rI lOHlw[&¥w|@xW,` ~k}QWUșE͖»Mz-U.E]‹XGŐ՝5 65ME.;vaAf_U!Ge{ %ܕ9|9\FַϥGO ;P53p0Mfl>6mѪ"81""S] QTNWZf(gt$=g'`f'.K/5 9]-i2hynh,+\2>Xh6p'vR<+&d# O xtdPl)*܃KDwIamnG P*;T5mǠ" ЧC*χ:r2*>Y%e%.ڿ47TFċRؔoH3sD .:] a/?,vmy2$ u4+h$HP\F~RDJOZwR}2?Vَ)S-NrVs't7GvJ/F:_"⪬\4x{L?7e՘7͸6ft M'Mد tTڇ3EYv ~{"*kL81锾B凳z=ixyJ㢵,L+u dI#+c'8#-cNc)iuYOXwM*>St&EݡZwhy8rJ.Hu;QR04Ϝ*Hx^ThRFw;i3J/ㅫ\|90h0^"ѧ[բ<4/ZH`dƱ2}Fc+;J -Jqs\L~9ɷ8UҦ$!˧Q*v;ߨ| ɡ?]"8_9lsWn̝}̎0OqX/K9ʤ%(v>pgFiy<7+ǮĦfi5mQ xQ|TUd6Hk tJ+ J]H>>- Q<)"9>y[ -G K&B= p<oȈ3:v/uEc8bq܂/oO&ak*kdW9x7a>[T_J5< c*8ϳdNAfݶ-R)%aȟE-!NӯaDz]2I҃ |3LՁ~rE-]Z=[϶Ƣ(,4LV*S g@egwAv#ɞpLl紤` M#Vp ʳbp]7Z?ŷ+y2iM曈2Z.A6Hjѐv[bZ@ dy,~:HZUèOsJvgHeBE k܌OQq:"k/~t1W 6>}}Q3l veN倫kLj?1 `iL`~7tK3h|s'0Dpo~€m)=@Ì@G??K5itf#⡟s 6pq _rjoL)u жi_Gs;E@B甕Hz0oQ%<'A˦Q]lhuj3<9瘐td -ӾWPldIt1l 6nY慰@uz ʱc1]VbRA)sy!iBN[,/TS?qhtgGY¤ X8X;IOhm;*>S )hH6VX(nGK.d :^", m@s(!RGvdkAmo-$[xb+@Ѹś.']4l587@nw+'>H'ǰ^:I!FU_Z!c4*f `̠bb<a (A/tsJVT~r˰N{عxrVI}[Q .2(ԘT 2a -XoynM`3v M6><CfQr ?8LOdX#K)pVcs$3G;RIO\o8ǟH90,g}XڋM;MŞGtQg͍Q$">+",5J(OYR1MPs¡QFeLv9[1=tc+&lDBSWѐ6$?F窫~ׅ?qj}>/÷I4ToSlzܠL3V vz^l !a\/gjw(da~osJz,W_ jN@E꜎ bAhJ۵Zw([0j&9&6zRE?T@_h,b7@ȱuIJP#悍QItspqM ; Aho3s '?! +~'> VXl2?[$3GZ|i iN =#nT+~#Gev>tʃ'Lv[<UY?I67iX)6vw XvnAbu1(r̫qB3lp^ڍ׭q:: m8Ԏ׭Činz| V#Cn_hE* 6YSgnQ cJ}rbzUYD t-&ypީF?ϺzI>^.87M8G@ن›=w|wq} μ&[gh+q s yg2cABxT)~rt [}6_(`=|(>B颡+Թ"O ]Db*x9M_5W HF?o0Gc5ݔ>{`9==dTw=a^?{kEX}gF9 zw;<,506(SqQ{3B8i0^ˏV,dUxk^n Tb޾Xp[ Nu1f`0k5,j*53 hv+D-crH _?=kS jj!ONmg b[qk<ԏȲg b?dZ*27 ]v*]`( O$9I[J[|2 #yw8,>.̰ه1[2˫և$G*~bSԌ ~8!]|3^B{_qm\vi㠂OYf_q:JM` Bܲ'.[8줠NO,:tmjr ҝ[~ u/o,XAʀ; :vzG"ߓV333Q``ΖMg;TM-/ & yÜ٧?f1ZN+g"A&[gkBӎqꍎiخ;|\3 I}]}BPk }Eƥ cTP?;=OL{Tη~̣ڀX^]r:Fpz9ZDk6;8#sƩ s 5iv1A? 4RQcH1`ʖV@*ظۇaF OJ$]v>cZ(BNK,~&c[zLR7 4X䫕c$^'4-C0VU#4 V+ağQ.YR{1Zfڳ\C-iO; CB0,_bT}H!ɽwviw҃f<4aCgAEEgxVHι,I v*K(ͲmW=d([L8-\qWkݖhMg”p _v{ $=vWr5ہwq2u7kY ͭALk {&ZbeGo'Y@rl씝]||Pɶvن\{az>R'R^7I77)${ɞVt :/2W`b髟B'oaó>SDX.uI`;VSpE)y0sQu}o];I5&!Ngp,-=)r'U+vqD6:Evg"@~m MEL6Jʝ.AZLw^o,Qʯv鵝ܖp6Љ.5h~\U^IƓLwQwl%[$N^ ꓶFϊl,=ȰĀ|:+70 8 jl6N;G4(eO۩h=sR4Dhe-/sE$spDv:2Ї3c5+SYі3|̲1?O ޠB_RVe[} !dy Fڠ7I .ǞDSP⩇Ddb Hl ص~49o,܆1mse %ŐEpܷF{ `iNJYeUFFǴJз1ڭ3B+'E(Ā? v 2"ތMOK%Utd]oiC;G@搨oq<`T6k05$&"c/L/L,Lgb|t*r sBoECX{{!zǾT!>as̟)c&kY'o=Q GDƱ5KADm!6]K7YVetuxRz_="ٗA5O.WO{ݫ|'mZQ1ha] z@LZk=ͧZՍltf+|P\re'~\Gꯢ08؜`\ֻica iSWv$Ǣ9:hH: -(_x@c*ڃRw竁3-o?jr j%;6ǒe>#ԑ6jT|_yfY8KzPܶ GV/ ۲E<46IL H#􁆪=3"(:g]YjEb'W<145,ג$-տ_VZ/ow@nhQcMM4g :ka8ޗG$ȧU' 26N#)1Z\_'Uo$~+iF3NH/S i_mϙ@nlT[J0+|b:7POЄnSrfʇ0* HA9Г@hSK򽹚Фi+\ p_e7qmuxLƾ DWD'Ǐ|ņ7. .] @=2S @Hio͢Ւ;g>D[^u]R=aɛ" URo%}!1}uQL"D ,`_q(a جU%N DƏ1 WC;_帇~m$% gGAvDrh*{~{ъ{kv^{zScFMl M{'u1@sHܲe1'&EV ^+0#ٕx3a