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 II$1z 44 ] HOL-Corec_Examples:threads=6elapsed=159.564cpu=523.244gc=86.8807zXZִF! b ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]8 8؛?GpnѝHw[2LBL3'X V gKolEFi4uenV*S\n6h4%9 dóհcTSjZ } pSF97ߑzGbe)oCW `J{r%D#XÛGUpbBQ.=z,AuSDgJ՜;Y-Yğ.Y]?0FFO$ɬ4Qd!c0V2: 17hHٜn{aSVf;p;YsZNƣrz]}C4.$w1=榎]1ͧQs[hgQvbdDioS2K, n,o .;Z NT-+݊{vwR,!NjZT&* j!UC4qboF`ip{\3E!Fw~BGLIzt rg9L,1d.g>8)uVwmɟ(ryvv|F-/S"]Bۈr4E^ IY=UXMI1dYy۫Opՙjҹ&<,3Ǻ,%´G \Ng)qP 0ɵZRCa|܏ >'7=lZ]9.Ӕ4DG03y@U91B F,`"q |.B)Yv \Y03J@#dH3N̉}$˔?|.JM,7}$ A,j_jU2 m9!|w*P4^_ͻwYC `fg*{_;ζ ķ?ȍWg}U~S Q5@*@ @yec<O2?FN g[5$cDbJ0A=.聢&PkGϴnDu&(5`Yi7kU)}O6#L9Yn_CZz_MsJ*snCy=ֹm0f|/^ɰW)f]>(dZo]N~wɉN;k,`]QR;UôGafAT0+T%C,\6tC[QX1\fGv\M_%ch]0jš3p7 CqjM6*H]TQr3At",Cxf2Ą٨a')FzФe7;ăADZtwdz'ƊP=حq6f+X-1koۮL{n)Ng5lmj?5uܸ(k4 kl)+עS7D,cю,*w&A-#P :VD*v!&y'&r,r Jܳ{c59B]M)`9)ƽ㶬AfiӨlVu0Z(mɣ\^&̃[ Սd;D$ki{ZZD.h"{%:8Rc6YW)v Te7ID$Θ%ᒋo >& `f@Y۷!Jh~O_;?[M{X4:Ds+dh:IAc@sq\saa[kىh[rLp)=[UϿ㐇5[ҷ_íEqQG9{]A6D nf"$3v2i2E}]Ym5۰v = SgYZ7zXZִF! 0Q]ŗXi%5d,1YS?%%3I6 VN/J&. % Z`@]B9Kb6t-P pO?**H-mRhg9V[e O#_o՞hN˂控&rOddx\/X q^$%M! 96¥2yX04@/F5o3 p^^% f.;,E i-4BȘHY)J C; 1 HOL-Corec_Examplesy:~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]<8Q2M1F/E.B,A+:'9&6#1"+ *'&#    ) h]  ^_" S X 3 V p,Ff" zY t 4 B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files2B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages0D1O#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-F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages,D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup+C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files*I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/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_DPIDE/messages$=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup#<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files"B1A-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.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#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_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.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= HOL-(?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'    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 n1OC 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@߱gYZJ1OC 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""gYZv 1G; \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ܱgYZ ``0 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?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 w w1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ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=(skHKB8j39ogYZp1A5 \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 1A5 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  覱gYZ 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 B  SBI1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id550 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x)I&+uշ'A#G# 1=$ţw>3m1QlY*@'|F(*R̄z($JԊ К&%-vI呷_$9)i!0[U \WTUﴂHz*|C)D66kx=??Zu*v'rβhh[XXJ>zTH\HY\qHz}C Owuŀ 2ݏɾt'1(H7yތ] l=&mi5T(s/U^g4Hm-_ZΒ=S@'sCLm穳i5#^Ppqmu9G`rZqvB{)`fnӂmI( fQS'E21K"qQEվ)ʧ*v?Ʋ^҇P(Ɂ@Kֈ̟h&Cv~fwq"/6;JmgYZ+1I# \HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! n]Ș'@7DѺ9 Ǩg2H|A0:>lA Hhujioݮ(J/ y\ |Ⱦ)T-&A)/;k"i녦Vg,E:9k-0k*YAMʃ&+i"UMPqm66Zl>@eqym:bJ42eKVjG5i{.u9~htU>׆k78scz^"sr;Cr?w(|:Գ-#6ت*xtg (Ff;)QT4ETBsVbT6'^ ui%sW1?ڷ_DxrAbz4RfPyE.͒''MJލ:hnfBSfkJʓ_PVSħBV !AIo\LTnYc3utND*i|8S';1:ૡb4?DG,ͣt穇o|OHO$kUm-jFF`Vрour>8DW_2@*C:zp1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/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#!\ ~gq5# ۴|W, ;.iy BNK.]ArL@FgNG88(A^;0॰*cM36c1vS#XE@.Jl;5d.T3|zqЯez'p{QpqI{'P=I_=95cH Y96L̠-|;]{/Ǐ5Jqz{YM(\@xta!;Q&T%QduJ*pM}s).G^Ήt 5F&[cߣݘ~iv6@WZn{^DZҙ:`W^pg_TǗZ3~ kS dE4vwV{|;=˼ra,H{w_$i)Qmn:I%ԫ"4/۞4\L»2y[Q7FpkZ%Czm Q< 6̃`k&xz3N.KYU7J %!`V?)SöێxmATG,航Pj@vHqt]pvuFs}s€& ڌm7Dmg&0lt='޹բKi Q# =}2+eHHZ!Ht%Fw dBj&o8/H=0,ij{=*wGY`9FIT]T39FJt)be~9 œ Lu\IO#,hd{^uSoZ-oKю<~sHb^ŷ3b%qI)JIeQY.< dY ;rpaGإ֦pX꿁*tܨ,5d#(T¹< d7 ُ@@WS;:>q {5ʕZ? M6~`> <5ϡx.өAמVA@&).{g"Md5WfMRحgD4IRqMcꀃ@s 9d{ObPU@3nhV sͲ fq(-ͩt;]@ 14&=n*~jpI0 Li̽h/2mp$vA툿<ҵkm}u|ERLݤy̓c_ Ek?}W޳lj >B̝"ƠO9mq= 51AUH݃ݰzcձ OKBI=@?Ŋbߴ8J/%=5%Y'#39nQ btaЧ;%O5/:FbfxeGyEsd,,zk׶gsOR͙y5<閤kƝ!bY۞S7Y-9hoNd)HAS3GzW} >ejF|h>njAo4KKW oۅTA2\`*QZ{Zהm Q.kТ_Ơk^0(vj W(cX=yՕ!{OID%pYL:9_OcmU˷k()$ڔS]yd9OT6=ʼ&71'?D0.P4jDX¦_d;҅sZoi(Zntf¢sMPxSl_.T,/`F٬ثtm -6G`t%w?pxP|@S/#i^xĶz\ ` sv%86D3X&ԪTG?l̞g㯠 8^o](tKߠ.R VåkmC{%Ԋ aHuθ;: ow:h,sYai70n @F Bٹnf~( m'OߧlhnyU"Y bL5ܾ "=ؚS&ҡQQ\1,O*QgfIE4QuY+H7.R{ V֣?nn~39dt?LdD_po0jpb 퀮g?cʋʷʸ tKHgVe2g/8$cknq\@4㹁"݇x!=d%b?qwM^*$x>{dO Cަ҇c„JDgGhAk}Zco]мI4_~gzIxmrLx]&uA$!g:T l풫{G$orE":<ÜJuCkY{P "ٳ=4@ ^6xLtCk.a%QSfv <%6ӂIWh19^paZq徚JЬ쁔1UÉ|e Kb0`Gt7*WS5+.<gYZ !!v1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id538@1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I:]D?7 {?:fH\f‘ E{~AaorMi7 #>/HsE 2 ~Aqv)ULշ(3bI "=((Th bj2Jf[F7$Z Y*?S:gÀrca*6Y[ j_OD:j3T.*F;`>ֿH I1IbQ: lJ ϧ[aV8KBjXiI&CC;2SL 4 9px/dSH@&_ ?10WYrj֪%ٙyuG"% tb-^K F](ŠtT[e1=m$#Έ_KXv=\x!i) N< r$%&.{?',&f +tm|A@a3Q1& c&j %nA{8*;޼+OTO;A IpϽýz_䫬4Q#[Y~gYZb1G# LHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! _]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-Uy1W{`|B{)dD{GvN\ꪎ`0v҂E?CiAZCLفX=x2^NnuG/{H'(,,g? sI#Q^k FOfcc2@Ai(j}vqԏ@q;d`C ;6 P|TJ̡ ThY3 J\w X(63VXLQ>'^zS7QD4OmK 8~ XsK]Jߥjdl:6?x1v#B2HX2ݭPo{_Qt4P\µFcs-za=TIDMY|0lAPT D<߃ڰ ]i4~N D#>d$L#`t"Ytg 1Sf\&0̺ uӦSg7elˣ HDQyeOcva1`L((R+۪k &e^xtLJT\9Sfᇂs+F$|50a'jPRen@re?kT>zyi5Qm<B|W /-OLDەxjĬK?}X5pTo }on[X-:ƺ^renz8Z%rG@0ok ?]< P|5SZZ16"GrR4o *Kݵ#9ĜZ9`Z \em=%W s'ArQ2p?NWC[zN p%nHWk}mg|xPW8ɟ}*R{Մ(E^ HS4쪱NTr2eCsjnap/q *kI=u EPlˣZP3H#hC;nla=uY??F e%'cR@P|x'(arayǀ GcOW :D,PS?6C='ȸR<۬M]œrRj4[^=Fg?M^PPudBhdzu`E~CUyg8'qeu?4CwYf @ly⍙<幧,bЋ28Dx]:%||#ׁUmI.x'U_ܕ}O t}rDc,4}|K PM|}tB0,fSik%yPeD灶Xnk2f,W=*3ƤGd׆ ȱ/ t_t}%q@6Osè i1d3Vx]8cOCJV a;m{VI:/DoF3"R?`qAx"m}:ԢA\*/aCn@Qo.\髁`V\圦(C@-5hڰG ۠Fl2P9e:}J,tqm]yWȒgQUNߟVbi'D9pq\/7)z Dڨ ]4W@*B|ZTeFRc.E ]w3dC]ݗ`B0|zcVc"_s,5[c'41QB >U& v%28#&)fDuOoE2%Z ޾[âH/ 0Bn ǔmD¨k(yhoƢH)OuGfnAPDY!7H(\-C(Ҡp*Zܿ 8]8 bGMR[w'څ8 "u mM:֨ZP1ںlL~\8W/":ݭ7ZPxTzM ڋX["_\ E'&m'>iT fcTp<{du)·? ̃`BbXK u`$|!k{h4nyT\ݓs>GPwW2l`!_\XjYq9  @!p `23}؞]F'AXkH~KMę}E$!Iwϧ׬sl3@@7f6,h﷟m@ ?N8\j32]-Ų$xj/ss{iWD&W+Ԥ7U lBrfή+ѵ[EttKE4͌bYB]V)|3if ݩVӠaXH"ۘize?#Z:m6|嶢A;vIP~o0{vѫ _TGq$#]P:\@[%@9 n\":lϦ<- UHsӴs,ѤOZN>Qڭ |CwFSXYEQsFe\{2D2|B4G],4 oPr~|M?9R+1lيگFcgn uwIsEv 5a'hv;p}.$h2ոC[À$@xn&4Au{ W(z%Re!8F qO{,/df=J\{FA[nO=R;IE7N "z=XTBjzhlgaث'K0*t#t-?$R.X4ؙ:?zs)/^pK9oZ_8D`'aURlcMwoY;ET5X<w᚛|ŽP#Ge*&qvPd,g1A4kcczز/9v(* M\0ŒEt\!r)!X`RdGQ!<{JE-V{=Jl]~WiJBlL/ yR:55`I{Y g\e%}=:q l{?urQs?Oݬ4C+s;:6᳹qlF)| #54(nUoVajEPWN$3p\8+2ia_R4q:NRk]esGU&`` T E/s^..iZ?D& TXX=PL@'98:&g@$fn~VTƻL8}X!wTۼȶTuàs_W%vRg^b[qϞ^kaƐm[RM]e偑xIG42D-0B8,ڗ Pݫ)gѾ3ziľatʩE1"dM^ժ9H%튙A{9;E luOT' 9r"15.fr &c^Q0c:ڿB$y3]\.. u{ lk~1j""x8=|3g1Evd QᡳqU :L=~ݕ}̈p]8u$V?LFꑑATl {.˓) :i@SMjo-&9HcHt+=Pu86ܔn)dIW5tK?s/I>S8ϭ!~JNHmۻ聣1n΋顿<x$g{*(<,%0vAl>^,`s՜h@g ssou0ml~!R=/}jᲰxyCH1:%@=WPG!VK:א:BL#q^ D /:.ۚgd*lnK>T^'A@y7`C)xR0r9erKSy -.b=wzqw6Izos8 9:G8cM֮_)|O࿋N y76ө7EeV,C i)Pn;h`v* ӢH0Y}-,/_m~y¥SNMN^fgqLϠdp/T҃ ( U3݀(_O,xy"0_ʭ깬,(;yİ3>V&UKHGӅj$*eHP<23m{cD:[trEܼAtq}`>\ߕpm_IgXd*yu:Jm&,{Tf2LfM<@EZ;5 ]C[Jšq-27 "g43v…ӷdrTzTB% `xhu Z ]XRԤ T)۪d.M{hBk[ɇKp6.jR!:-͞;e:[{Z\H27G#)ShU󐏤aJǪ݇od/~[q`/Jb? |}|<F[*FA0hCu23jXW0ѭ0xY}<)%TSR|ݬ~A=ig>VG)c.3\w:#8wvUɑh!P]{}4AB\#5uHr99u@|TQRY18h]NhR{~$:>mhPt/a]BEp)AfeߣNt`vM`;˶,-N p>>;,!W#L0qJJPPuփ y+V}!C CCr]ߐ9JXdT9ӕdmYZQמ%&ѩ}ۏ~l#:*^yKD4UEڶüYh )Z0wg H#0+I1b'RYIPz|vCղsu\ܕµ҉4 %~0J>;bF5;SA^i *DYg"z/H)Sd,Q-b)VvaϋPyMT9RQ!A:)j8.u>~3:#/zi#{녶Xo^zg%dY|~*2 2!x.BYQVOsPٓ߅tHʰDɆ٥W5; L.J4rZ5OE kGkԽ茪Q_wy0uPۃ&_%!>abK00@`Mbu￘0(fevBO:@W-VBMQ.7ȮeS~D:v*u CH=g7@l,*BQ`~@liGs{, /քLa7;W >F!^m٫+e$IƱx ܿS'Vs7ұJ&ALyڥ%>gO tI*..ǢWJUWQ(:P* P;}ؔaܔyԮNlmq LWuLA~&LW4qW{vmΥ; s{bJN1%%z>r d-+-\ fX)k n(3ƠYr2c󅟳̖A 'VV'3Gڤ2Xh>:**p!&]WWᛩH|qfNLh}l Yd3ElƫC*ɝfaJOqx>SbVĘ*p0{A?kr 17osut+:ż^Jvt_h2-FW#nX]sQ%.[!BU]ɳ ܥx?~rQ\3K2q-F=s5hD0˅fKl iiaxQKshW)$W3FFQK8#ޡ0 l] 0 bmRXuU vVr_C,fM9p/pU.yW@")M#DFyF#ɡlQcE@<ɯ`=,ܗE1- ֙xW/>t|J f}ԶQ!NJ_;:i˟'bA$?Ϡ!ySDA;;ܘO4o¨NǢ/*&" ewO1.k?Pfm܈92_FhS( " _e2XBF¿k|vE'I7DZ^lvvv%=f<Ԣz~ %ۘ"л<,Eo1o5Z>6D,'; >2x]7`O ~`ԺYYAn#Z /P;UE{(Z8N'gR[v㪱Ij|^\w= l֨\ycI;ydZܵF'@D=}I ߺO)o>>,^zqF&&?!m^Ţ\]FJ^G"0رgYZ  oh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id5421O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ]D?7 {?:fH\3IUK5{􋜉:a5y핯FR|qC\_tXV^r Q [;!зi/O#Ys/β06 :7DoZ=-a(aouW$r2fe'_֓XҊulSJϫ]U:xjPPw C (H<[[ݜ<8k"~,Kl惻 z[lg~_vci<п3IbۧJ+yͥ{3KjN1[xl3X+8+$$}a׾&pns e5/5Q"1=le2&X{_.!A(JUFk.(,/, RN_+4qxҵ`La/CK0ZFtUvusOY/ty*[3aJP/= LF15i'$ZwH1ɤQ$n\ e''&Ye**~V{&tbjC6BER댆m{g!.@EThq7$iĨ4^큥8B=ɾɡH* P9Mg_~*o_޷UCw+NmfqXU88,;4{Tpe5f*,|An[VnyQT^vTd3t. k@$\̟'b2Zx07|&tzwa˻rF6=&hčQJ تu-[#ŔJ~-.5iPe&2`w0I~Ì3vetTZ v_Y`ng iV' ӆa%o!<6 * f  *#1A# 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}B25e3E3fQ٦< īxp\& 輞FĀoI̖Ldݥ~S0*Ŝ"=:8R݋+iVcK)CA?!]k (\F<`q`M ,Jק.] Q"}r‘ۛD*G7 _G.Hlm\@oֱgl3J<*()3\tfv\PPv0g+0NAմh_XH)%K"qg >F@W`rɌ .'yɝf`@FQ BOuعwB馯sgr w9>e8ѤkJXBRWΏTS >OCV=i,~| A1:奆LI%4%X6E\DkfExO5~`L.:'Bq#x'lI4!Uq/<,/Ū\=0ӭ(/Ww›$M"4ߓCts_3?XڀQjHoGiQ7pjHc?'~õ_Hg`-%&xW(ŘhՆ2fcsYQjP< w'Y枡Qm1*&],@':}EDZHjD0ӭH+WRG>jxCtQ h]@7Uϵ[Gkw.%$bQn崵yj ; ~Ops'FDn8t!{>FEǫMI:s,Αr3RH¼)mu϶g]rwuRnoO>C~zP:[] g$Jpwtه.lɢ v,[ؽ( D/nJQ>Y"P& ͘u/kz7='ߚw0]fҽįk{C0qHHz)`.B϶F+m]{.}̄RϴޫZ] _Н|VIRQk)ov*Kʆ´4;^E-~i1 |-'tlA2 ejs@k}ʋV* K_ǯlBUB.܎s׃W8/WC+dx $@rW0fL@7AsEM|0 }Ry9+ZuN_iٽ B7,]A ƨHzx<4y.+DC zſ3Oѳ0 / {m,)70`Uɋ R"YL H Lۃmj֫EgYZh"1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF!1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id546 1A# (»\PšPBʶb~c }^c9uv !&HNh%# "Dlwy ibBm,i,Pe{9yj 1 e-ZGcz.OJx 1Ѣ*[wH\`Fnls 5ՍkϾ~ @كzH|y (/Y<[,Îcnd'd7Cv„n8@_ud[_K'( :,F3=\Ԙl'&n_n@z'}R+҈rBbgUx|o*݁ɡkm-IuY0v_f~Ώ4rq9j8ʿѶEYWc2`+FO9Szˈ"uAda)UI&j'N|=1%S; KThV] MRG(LMRO@^cn|13HnokVo)g꘡A k6LDtZ:g9Mhi!ppdY rmD!(0*klHR$ϣuQb`V1Ņ 2V\"ijoî. ]Wb:cokNR%`>qTD GsCow!wfj zz% ̵Ke2xg _=M$Vx,! 2a`gsoc.x#+a+ގE<1=Kav6C pԱgYZ 44l&1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyH%1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id534$1A' ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\9Ÿyj]p8cM XaA_2adKkʹ|O&SD%!)!tb 9S3Y; G*3x#ztft葖NT*2cxdPvGBuE9e'W_]ƜDկ:aй+6 _)gS[!YP)\EySfq)'+)՚e里;KX3]= {s]"~k|e*措roS/߭%qYkf6ZҮ `؍Şo t$`Cek6 zy\ͦ17>_G :]+#m*Hcm5놮xSMGʭ}$!l~]iEqM/8t%2 2ʐh8D'^ېMgٓ\5Te;LufՓ\Gg^;rO[ 5zP(#YgYXm ܦe9 /䤕*@bpjPw/Wwpy22$.0\b_?%BRiJب:PTbޓ-&:"/'"Nsi-3q,5{R ָɮ˷^ sNYXC?~-؊#ξ %.FlURՠ"S{qYٗP`w>{_C,R!P5, #lܥ1Ib.Է"H4uISOC=#NECf(hhq3E$Wŗv<tڪU.|ҽ38zV ®k%RG A͠6т ,9aeBg @5Z$AtBS4N%>!c#Ƙ+mz n{V+,=PP rlĭŤ&jrZX4kɢU+}TУ~aBbfn֝*q T'hN'Ճʭ/̃x8V |[B{ n!ށ9 젅?ѠI.,#cz"'pKlON^U`9ZnTI5c3{ z@t']È _ys6V}ǺM+pV?>!IV܎gtLj~yA : +":5_/UCVpFqtXӲo0qTvy/{xW"$ۖՙ?{fƾ?fM-3퓉&q<}mK0^#ԎbIwi94jNfD8Bc,hZw! 'SZ*:x}. L;{ghL`: 1\IA}1B MVVA94MS;4o B+m8(_{"yvR cbאK3{]&3& ;'u cjy~P*۱eQ!]yb$TB!o8UR"&B:;S0@բQTM? .?P֔8+BcNf, SWTa@h9ksJs?SgK~)7`ߨMrkHu=1EgFzYv-sE5d' p˵*{gYZxJH&8l4lΥX*JݝαĔ՚hNBDHx)Ev˴#XnE&CM% ?)ol\!:bJ,c y4uʋ~֮1h%luX,(EzRG=3 \Ma)9g|V@+tJ#).\N g-vs0gvm)}FD[^M;hPe)Dx~&7 3̷|`[y{Ab +Jp]䎐I%$luP)s5'avV#i_MJu-gm=nD`0 d q,(g(޲F?4y*m&luhF߀Tny4g~ xQP8et%vhg맼Ǵc[а1Pma2A7 n/`m,3 'M ҷݺ(ߢZPm<0RW ضP4[Xi;^UNd14U' PL?Hԓ޹llrFZsR?KʴOQz,]4|qm{LЅVu>WЭ,/ m!/y07ѱ]:TfP}l .JE3<*OCY$`&7#5Ew_pYqΗ =kdz+SvN; b eJ9 T S?Nmq1s4~stYI 1È̀)۰N%̘(̋Shm¥c(I8T9jxh7<@iAuHeɛtj/)Gt' N=V̓<8ɺ=N|E= 5IPTzd(ܶX@L.G r fOƌiGf`WPJ]R(v pox3O/V@"ߧP tOvҽk⵷Wp/1ǥ5t7ym;,N'(J;VV{>Un_XMpkm#y4aovQG)=SE-N DS =s"8[/c؇7z2O܂x\3"@ {ܕ~$ԑYeOc[; .krd!6s{#9~B>&X֮x%A&S;H(]͓9~ }wg_W}o?AɅZA rK:϶+ N pGtd]X !-cp|_tcyx+\ >'Ә-3 OvվQ &"fT!;v 7HKH5C_0^|ƺL/ZN)_^CAiTu(-JEV,@O TaFf.E)k<~1-=\YjoepjK X\KEU@f\bQRάLۇZ$q` oأΔ#HZ*zvp%4݇^@<, pUO0(' U8Rt"!qkPX-C~ل<EVΤ'm܉!nqw2')DF(Mw|KPbi[z{x !2;-9~>#)TBK.!hG#¼v1Bv~Q\9f',+:9tPwA^t;R(k+ڴpjƫWKr˨m+qy8$9w :UnH7$>mT+'Rؑ 0r"+{tس1S,jUT/J- ܣMЯËe&Q#uMi% O{C9 #B-Xa}f0ɞ 5xB6ywRȕ!0ro~شF-w~{  elO5L' ̋o Ôa` *轳 %%f脋} Y'=0G[S=BkLF4C}-xf o{UUxM\XH>-|=๫<;nLM%39zv$vRzkVL2z B̪p#r'\ ,濍 FMĈ5tl, PsW]`qVs7i9DL pGsׅ_ exYvD`sB@)|gdc\L/cnKzl[sCNG!R''IDMTK; a΀0Wç 0IG.c$"5 bHpYw7E9M(!p3!fJ$YyZWW{H4_kZҀO;ՎpU\_ᱺ7 9"˛o#;uG0Z*Re*ފ76xa9be]˲c aU/YO-k=7sn2O:ѣRklkeu{67§dQAcS"bZ}-aɫɅT%ʥXX;PI͑pA:8*S&μizV؀b s!a(go=0֟;-N>U! rcU?ʠuǕ%goS*ϗ3S:@z6=U.EbyK)uԼEct넒֍#) PId#(D}P8_ N1ockW;.BRs%R+~cl_d2=+Wdi%Kp]]:]!O=V7Ђ8JJRcV{mMm6 yY?O f]O($A?.u_(o? BOyuޗfCUL2Q( [ɢ"VS`gw%Vܔ5DdQ[hӰ uw %/"f@O@]|mOIQG28%e8!H\U aa+e~|U~*c J b+bQFa5Y715R5E[:eL3U*2k?!^;K1D/+] o/rXEm^|g m \ MB;{ c @!] 9Z.V,$n`4C!:#m#6g<^Zui5(߅g0gȹ0֋y:Kel8{'墚@?gYI\ >ѳޜJՇ;-lqWlu׶^Ǔ_jrj _8Sn.d}vϓp)h֗6DpZmH,hvK IŽN5ONZMw5JɳA$t6ab+62rd3C&:[ d'gϭ 4.i"<(gC5f5#Wu^a5)UyeziS7g_LYkϱƕlFIh&iߣ{pFa3Dqm@Fk;%nhF_~C$i3S ⩷m{owƲiܓDuTQOS][8>"3^mTCXۊ;g?#;"hW;uN?2PGrZZFn/[x g)*Pk GfBEh:&̎H bQiYUàF@ +=WäD\( bM#5l}Z{1{K֩9sOo|)lc@ p>OeoV#xc vu>Ok$^ $Up>]1z K7%k=*uz=ϗ뽨Ko:w1I`@k)9hrz3k#y8U倐 $M7O,QKVu:U<8~i.MȩW^rxpW]( nH,ڈ'pb/F'Oke/Y5CzX* QwɁ;hX,G6m'S5m2i>FD,T8zm)Echa9!{F`AR&4KnN6O-,'DUQgM1_W'$+!BL 3|SE .u(jjn۷i+{(45OąjܑɞNX8wf6U F"u4+q )1O>PGȴsԘKW -)nulf^20y%P1dEM l57>R/I.bۛ[̯W<Ζt(KN"+)쬺$V h1)qH=[\r)FžySdQbSܛF:c\CF Lmvm]$-ǘ]=NB$EIko*Ϯ((+*Լy U(ii!weTZp{g¹xɷ>{X&M{䤲̀wdV~}}RS1qQTxC=LY"ﶟ6%,\f$۫YMRhu*ӻ9J;b(v|k̇:0Xخ&K9"O|]X?p6j|큶сH0TNMWUr b"aHp@m}RL#`^s(΅4EnØBkSBhDW&i rҠIF:FQ`h!7tюd0~"fSDFM̎:5|jC*WMc!Q" ruO-oK.:*&|cxcks"Ձ39UHQmI*1:^z1]yv^s\3~xĪoR>:oUb1ef }a- kɐHy-S055d77\5C S \Z# o.]k>P8)'Щ$Qe2gտdY<⡿  !BoL 9t,*2 Zn$_:U/@EO-H֌bPI& ]EB;F_L*ƲOt3bCd|#aN DIVxC"tǢDs9.7qIȨhy4+|}͕s&n }Z.?+GBuPF9m~QDˉ'/\h_|b q~̀Dq-@ ; a"88Sx"B|GV ]yIK wA "ۡjVFX4]X/[`s1Ol עtm2ch?˔\;pVxaؑ7gxrR:x^v<LYbY7<"$-$\עy}_GuG;2wƏۀ032.=iժP >٦pWʎI!W}lk %-!qq7HY-%nqzi/؄5\"[O߶2IN/=w1g^nmOG 9 9=}G#hvֻboBjPhC]c!TiX,}YZDRy?NI/pdxFX\7ؠM:@|/a]qQnNMJ.$GhBg 4s-.Qx'M5Xee9ZB@[irW3PT!D&=o>d&)tRĖKoެah U!;;a9wÊ/@y]0dI[mktx\rMҶW i3Al}\b<{%4[an: dX1%n0 G֏rguoEzjT]>Xne hQ1lT.t@/ o*H? Gwg p+Z&S#Sl,?7yPFBT`xHܤWhE}v1336/@,E9`;{|zj, AP vޝi*{?͌9ϓ5[6J=e F -yIj3du-cddb˶WKj"9S74m`W z&(B.6fz6h3u3T(Ǯġ.i a቎fi>WKU1Gͺ-DXQRD`y[n/k &x &zhMѾ֜I%:>r NZ,i.ݹGq:"".h_KT& Ϊ0p5] ϶6&PY*s#]DΤ.-/TpE̶2G>N2ܿ$>pǻm 8j,Uj)Ԛ"o%hq(N0G;l3FOdTRZ/QC̋FD3U()>NK!Rd++7{%Dw5mHq?F$.k49(c|ذyG:n'<  R5,3!5 xz}*[U͈3Rq!qB8Tc⳸!Pen6.LB)JB|Rpeƛ@ -)Iq*e+Nk2f40#'Ew;6_Yd/omcoސPA`U|xzcrJmkD[ķʶԚ8/hn)4Q?\\_1A&SbT'2*Rm7Q]sئS "<ޤŢ:;:&DX{6 XFq{(t@tsp!1uܥId= maOJGO8q۰%6N0cz Z?ySaO{K)FȠ$!Ԁt9x>gin_R^:ZJ!quWic@Ǻ {0mtC9ǔPqOVl9gCQg:~@R"LQavb+ JN^0_J>N Fܠoԙbn4$C?ro"^dŀqOu&#@şUn øbliqfXy 7 tF6~p C~SPT)F"4қ:Ya7mkޘ۩5%c\ oy_; 5/' &ڳ7!AW+<́J4ݾe+ L7Ln jG;T=(bnFM{7/;zq!phlksCCj59MVBUnT-Gm0 JFzO<&k|!6$)úsno3f^`fY[R(,եDtND1@ƨMfs)ZXx \52v6S?Az 3aH)H'f5+_Kf H2{>ݩIO)kLT ?(U!wK v'"t|yoN1ڇpm|M mdqdO7-7 9#FWUVs[Ƹ @/{riG-e]qz. Ϝ>HRw&yh=C|pzHjtO}p4OyvǽO1 BBe1Q&1i!N+c[2@(t$ZW?35Ĉ7ͭ߾)ҙc@IIJC.[\3*Se{e/;%Vc3*\>rw4IL2O,uٮy|爎WaDK6Ks$g M!,Q J&z)4*C ^U9U9ckb,r͢鴓KvJ$Kk "r`d VdS)(@ +6{vc$qqpӊa/^ _.LEkE8M#,y,YDn`"nXo} lL6!3Ҧ,g68\D4˰<>]f &!4|4)(2'bv;:׆^G[9-u$M{Ȩcr0-tOQ9vцIF⠐SH^HA ,P߻D5+6wR ,2QhO~kZTEXrX"XYyGKC, pBg4NȚF+ Pk}Tl>6ŋt>[ * $Sfm>ԐX%J-EΏ藣gC/'!mxJfCNqW ˲ EXG&`VyθR7ICT4 wݔ3LN8> "bR:[1ZJ3 [4ѴឪnTeP(Ľ_HbpZj, xRm#gE Lͻ1h4@|pv.ǀѴ0Zo[! p|-Px &4讗v3)i$Ne:aJ|f]>*Oqka9+e ? >[Z(B2DEJ}dQ(j <;eƯiՇYV)Q|밀lὡ=@n ǨVdSXmC5`OO /XN+#vCZ;렅l(:񾸘Mҩ!$"|BNUΖڠIKtqn#zP"wzzT˞؈ k >yBoK82ϊ5zw)16mk]^0(EsgY)/T,x*bUz&Gk1G'TpK?Gd abߠ~"AEC7ɲmV||DJAU|9h.JJk)`j@K LvstS#@\-'.kX/hMQD.0nΛ;>RB-SyߝJӍ$TG J~̀B jK%l4?ۓ6z:VGgy{ }(M 2`#Jxu; 鶖Uk?Y3?^AN4?9Jm=~T9C̅2{ѯsu-m:CYh,u1ؐh85k:O~~a -S iMƓsY%k5g)7ۅ;#Sm՛V4~.}+N16h;=onc8rX?,\ŹO8z񺁜a,ũD:w ƩM#-._e5h.j/D yz醦k8+?Y>DjS`EҘE<*~bqߌ68+^28,QFh=k˧ɳ1aF;F~m"_cEz gw>*c蓥R0m?\5\]Uj` ʣ81gb sEl?u8lSY'=b#X` BRo2ݫ%MJ0N~9qD;ᩲB-V!$5x ]Ng4"S )[?ŮmHG嘲 a4#Y对*ֶ^Sޞ2h:S>&@}!]:!U"`QiKBkظ-H^ l×Ɓw)`T5Wf?d؟w G09&r<' <8XGc,s8=9MCHe|rSܖE'l/ LuőNc\R%*oI~Ln߱MھB]t~QIU@Ec]#5O<6v{ ͈S#9杘mNJIo1j6梴ڃ(D_Oś'c pppZbb)0Q=׽BS5GZvQmM5h>*9o~ , 4V#jSBؤay O~A- ߤD Ȑ7a,ë^rceBNQh C^6Di,:;zN??We%v6NsG2=}5&^T6_sE!$׾1C6D-y}nNC)$O8zzÁ}5D)`Es˝p/xV9 ?Lڊ0!9Q} nTŅ595^[ex7I6L3%YLoUPs[0a=5&fnE,ܡ-~].l%yFI+FL[œ蝌Y "IңLl-l@cW YɄ'ۣ.8!~>jbZAOABfGCoXp*f&搩akUHA޼AXj:=_,bG:MaglH{d)`~͞w_gGċȱ nKI[h&|;J߽qU]d`k-?-Kj;Ka*0Cݯ~na& ,<;Oh~PC<"Q̦\O`] td1(3Dqb?Tz~nj*c$CnfK&wOS54>:#jb=TNֽʄa!hy²R=H gYZ z' 1E# |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! AXw]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tiܠby.>&$lglP9bW{<[n= =/)y 3ً?ϰbH=wN(ʘ_Q:lmA;Up#8<())x+<5t--{󨳠!')%0dͥg %>"[c2!${. ۆRכۃT-9 ҥFEdF(FRh|LYG?mM}{2UrjWF,5?} kjpD)'(3ʔOLOFt6 O)wk>ďWQJT4c%sDž`o 7gUbY,]U#HYo"\l|?NqfNi2p7@)].1Dlm 6LjI2 Vd}~P&PN!d 4xm 1:V8pBsdԫZI_ ku4Y7Թ(܎ Vrpp'3>h_lm7élO6;?8 ^)uLΦbzτJ9&c0@-)&ЁԑI2adl#Z4CTj>yeDq/]i_k[:g 61g>2Yt_HYyZ.,'|^TC_kp*ʣiKwUmJr2\bI;)%8Da^Kd/{Ia]ۼdJZA 7&oSYԏw;<6q8RN΁SxD.aE`i4?Q+2“!lܥEAn?_ҌP#l ):ϓQt?<߇ Ys]*#q魁N#`A:g1ؓ.{rDF#'?~GҧJoBM ^鶐-ҖP8Y%\)km+$=z{W'G랸~Ft3;E1y!G84lLdƳH@zHq%m;2bJbǏ|LLLJ0̷wnqfjצnE4rJ ihոoפS4mtCv[/~4Xg;N1* ݧWi^=͢ଧ@n4ra'Li*YhRL˙Zrr| ğd6O,@HQ̍ .r}b!CCo[Ñ/=xug>c(BnLYX[%QCvҘKGuθ^0es;Swe'ŀHwHXw*WUIЫ*#wܟEvA"ˌ -Ǘ"=J^7 ͱ9?`xSxh (X޿?Ki-OF_]@+_(pmVaB|mU(mHb%"D͌H} I]^Rdž{w vn͖i ;bC*7xO_KGp"1X?C>@ _+5ZU,"\R5ёw҂Ӓ:9 q7Ob mHLl@a&&*9y"E4FRX\{޳׽}HОǍdsHDUi򑧨mψTzyJN/1luݗ;n4e)쓀ֺ T|t=q1&&. kv*1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM)1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id522C(1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3>.՟zY:d(ւ"i_c JHQfL_b.dV`ޯmš OcƖGQs{b 11YɵevӃB֡z},S$ڔ·8O`mz}]$?u$Pg (VӜT̃FzK.x!u6~S"ʏedYnBv@V K>|)RXWxV[R|bbj!K_īD5ՙkv?Amt~\50ջ vcGɒg VW { XBÃ/+ng>=npdžqRΠ1Ƃ@A+Gm@0͐[,p* ۪"ڍU:z[( E֑?^Do)jܨ;9B:}J!׈!7BJ#!gX}dMK)WJf{LR2SOk:uV7`~WPqxS>atPcy4.;\` Gg[)xC_B-Ddw7_V}vo*+ W/b AK .BxKӫKק) -(*0qf!3!uO![ie4Sa$g_W`| u@J.hbf/Ӕ41pnAM8!F8%l!eKK~1U_TvF# Qdf0R<YڮG?BjRgYZI'Mr!HpAH )wVM4~{Er( :+05ND_hzHdcA%OIh}GHͤbwTd;HJDa; $S ߏ|Ty/_RZ̊\bڛ@/ ں(vvٯlh}~,S\yQP߆Bv6+Le%7 w@ z>h.e!nTpuG\Ŗ'7h v)TdmWyd`%x9~c+š%|*_ڝI] Wk*=!;D>Do@GaťGmXY,khv~CCJ3.~X>^ 0фWK[nL#ECWNSȠP dvĭ0/‹hbbV;O1Alnl(mo^'=˃9fҦt'AiBٓmy\X!`¥2w~N8Jbď)i΍ `!0)"LPK:OO\4J]8@Jwr߉nCbN#ב65!>KQQ!Ǫoq䝑+y@/k=ә/M_U.}s^]W9Ƨ*ʝFX!F0kB3s1CBh=?L-~ .,׋iEcm;e@<<$Y&ٚý_mxAPqBM_-/o3}Dk3b"Sj)欬׆u!6迯o @q,C c.ZCW7>f0L"9ı-XzbM=nhcY~fU,S>rzz]\Z@>[;~77pTqWi*Ԡk2W:y0QVaxw! ޚѲwiYQ.\[D<2̹*oשDUT)b7dJ8IrwIIE̷j%ܹ{n2X/=jT-DQ'nqImtj=;q^ܓBRoJ6c<.dpiHDϳm .9@ac6Oi48d:|z!֨hlڔр^u2;a-RZ6| .T^}@?{?eS4&,!~twxF3Lfݿk8)}|RJd4̭Bf#wFRw]R βJGovk=VZfM-R @4ך*.ԣLsi7",BdUDCKI8˛lbG_yWt;մzm9cKE>gLwO/.U2UT g1 x@늟 .ť'D;N4Bx]8F~h}zͅQX{ufChz2>^,GF4(8R|eo#4L9ˤk׎--4w,BW:;6RzW \꠨iϕ2K4FYzRIƋe=E*wl^Brx XAerso3a:hdSI3Onjesr;(r>λ,OLQr!Bpv 0>ztLxae3 AMחh|Zr)+rYV]R+;>HE0vm;D_]aqhU-&1L) 36zot*WHZJh5Pl(<9<>ƒrA׈3flu9KUdJ]i  eHBNefP{yCdV d^$pu_뛟߯C.1GJ[pX1gx=؀dp+A &F$|U%"2KsOoZL6Sӽr Ҝ%دx(ϞNrT2&jt;5LV }xԨ#nϕgX^\'FOad ;qI D!bS~T$AH>—oPz/<]N YO`]O\;0$3Ɍ1dD]8V\TRbW633bq dP}Ց G.͌8k+=ʀV>{ۊ bcAי-! x(‹#,/AB|$ڳ.F \v5nz%~Q=,YU۶x%oG,t=$y&Sf6gזH\h)Pp:zv` Œ\֕01q7p-C44Uӣ%%5iŅG{l +ot8)k2„J$xSSMֹp> l=B1Kbuֱ x ?'-ZzG,;(P<0 @à36mbS$xYbEpEЛH@_&|?N &Ձ3T?#c!78ӒJ$y1͹P 6nы` p!_f6 xLntm<\/7au WhBy19~$(P ;#hiEw O8}%&;fF>[5x1<,"?"" Qe^M* n9SfQX&QkVY0{2DL!\O;פ8;SD$_Xuک͗R-RtF 3Af,> ȫMRq]iZY_0zn|^c"s/~ "EzOj-7 SF o@u!$ ͎.E-{kg 1[(Y"}UꓭC^xsv޻4s[9hihl?ALAx3QIg992NaRIM5/+`5/FgB۴04GSC3k$y\ejW}ExG[Nw9%HNgYZ .+1O# \HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 4]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34tmmyEfaqe ɹZ(m3'7_2Ax ]F4f(Dg>pW 7.i$s7<Ϡu+^-*nd/[.BTUHKaB|HY& W(RKq` I5ôwW2e1ξlb} @8&{iIใM?XQ(`i=\bU WI6HuʻsAQKl0 k#νLo ouf/wWP{@  Kfٝ*$|N, ,0L3u pQj!R9$CGW)>it F@ _]r_#a$d>VJKu!~!bZL"m.K~lPg+ MO<>LLA5*Jwν#(VPJs ΏWUMfS}Q#(#ȓf3i9d:!Zkp`KX;ju?sBQ L̴؎"$`?7;DUВ;?-$;`Xfl^\2ubDI֦#!}E "-rՏ} f-t[sE"@v6}a+*r|= { z~[+GxF4\$y2cOP\>Q*9A"9`c>%~/d:x2;dφ:qCc~dWV<$| B6ŭo"-/q"DacGTeqY[3TM)Y@~[E{$qN,wL%5Ѝ\Fv^ ݟ@\3QBGʱ2Fڪ.(Y?LxV!/'cϒ%isZfyeOsM%[ NjAP0/qe \9ܵ.#yT7V2|(TY'ВuF/{6i˪O[J01?a;?*8Q/t_ FnfiN0<4[v(ٶ?&W6 Xe܌_7+2WX瑃o4QB(z-TuߟEOYf~ߓ;Țʌe̶ڨS<p]Gw+dHٸOAn%BHTƬ F(m(CS#hVJ.,/gen̓ ;>Fkc`$q59ɟ˦2<,'` ~3]A4FzaXqH(ZS#nV/+V]:OI!>\e̿^">0#^G3"x,V61HR1,؆@~7%h.*8Jj.\AR{F(W݂W3҄Yj= =I7ќ]RʑbĴk̲B%Pjߊ6D1{u$63xhV?< [I^DUWx,FIns!V:K;AWũ3Fjej.y#Z'iҠfYqHU3g{kkc&̜<]*"P)v؍Z^?*GyppYs:K6ӕR>e I5- 8:x|#"h$t+t4Jnt] QZk/xGpʾ)D,ӳn\X0JI6/ ċȟ*?p0=ÕK t&Nڈl$ #}1 t//Ț_&7(>TJ*M=\_8qʬĕxȲ6P @ {Mυ;Q1ɜkL'NWp ^#ۂ_kJ\0dZԣP.hGLcB&~"O (?Q%q<Hk3G*v85`\gvy|2 ܑRr'hWzcC|Iw:µ@\Ffy WvܘLa|Xm9cjVÇ;bRDC4 dA6 DEŽXề?z?oɳ0s81EYiHS0yI/RW+F`jgBF0 LQF 1V6v.=+% V1aKn=tDZ?dBaVKEOJ9daa2yIuX Q^T09JxoXphbKMȴ:RƢxOi! [ 6 b[F11A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id530<01O' tHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w4]D?7 {?:fH\y@L ɾgyM}jÇ~ĝeDܳKUytuQ^쉺M|FVa)+zMl}ڥc0xjdyӠ9 Y>[Cst$}MzY6b0B : fC.v& AՅ+/yn3P"Gյ qaHУDȗu'pC۟tcAUL0vߡ-6:S7⧇g;FԞw9voT&6%DAO! @X<-T*+Aی< pT^ tj4s-ݞXT/"B&W|V.^#^cbf9lDLt^Qҭh$Њz7G9e]}Q `.iPf"N"0Z4i)ܳ y=׺!j%]c0EfSDxɜyI@ q:v)Th❲10,n,z>XY'@>)҃gg3b-?k7hP//_%`[ٿRfaWmJGۦ餙0ړ/d[3Ȱnor o04 ,^{]XmdL{}a!Q<{ \jHHI+Y=6g$g?tA,4ߑZh5hz(XeyDSgQ3xê>%;f}`2<(uM#S è|WUq2`S@uq!T }/#dz:R ܭt2U}Qq6BvC:m3~it؂xO! CUBݓ6V`KC;M=CAc3?Z |ݑlc Y%e ?;l[WHͲqsu 2\y.Y\q@"~d‹4ڼ{2El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtkWjc$1 }UdoUZI+}#BJ6hцۦm VX]M.~IWi\b0/ܟ5C Ǐ/?p *yXORJek"DL$p.1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM-1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id526x,1O' lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\xnx&Qd x2*`G7q-Viѓi%1ZE/N@y~Q|O~q^-aK2j)\$%C\.)jPf `|,;ӳ9ǥ=yַ׍}I&9!uŽj42hm0;T!of0EtYL9g[:сgc/}f Bב|H0t_е~̺鿖e8i $?|zJQ҈GڗQG :WSP4~r]_zG7w E!Xb?y]\}Js9LBв>r6b:b4 ZBh Su b=` {\=G1 P+液 懓/bB^b B? Mtd*Q(EimJ1mS|W2[^Fy][FwS1Y6J'TIg!@'vxT+#ymi-jrA6wSݼIλ]@py-#QJ`N˦kk&pPH[Z8TwsmHuND58G vMCٍE;Â5U;ouIejk} 4qX8]c2@1CH+U7\ ٣W(Fa( AMsNI<݈ @?[%[uL;@  ^=ńJl!\xR EގɋwO 8 I54^a!vܺksHs&g\5X`zVE28j(첔}.lCBx.d9v6KR%v$I;|?t9C(Q(M4M4ƬY]XB˺YiǬx}"& okʨόt J3pyzWN8K")9h$A| Ld]I '9`ڒ׍6D>ȟ([vbB{2{%`{/cNeDuSL_#^S|]Obr`aXǜ(K~QcXɚ]qk%v[ "B&%ɡ!Y]}T?}.d, 1ږf Qg"_5:5n|a^"x$$aɩtI(HΌ fDvBfpvT#Ydjp;SqUTۜRO#7?~IT2Rz@SIQFwKHS~q$z$b^iE*6L]O] _1XIKhd {R]i'm'OԿF0h׼GYos/D (!:k t*t&=BD6=) oBV|͹r{}X~) ꂪjGfssaЂi6##7$ו$_Rx̻-LMAnazHCrk!B@8y9F&Hd,--, Z %;Q[X5*f%1$l>Fn0W)1F:q$>({=Ei$??ǹW.SUܗUʺ3p0$ͭ+X)xe.(G=B.0 F$1/a[e̡MZ.:;^TLEnѐo8DES{-H>uN_jD7.F1ڰؼA.Ңp]"!dqܫA7!E&zU2\rBN)dT1OAe_m Նre})ֳ7Fx-+50Ns [rZo-WYڱwbC.qM?일#it%M~;E nA5J8Έ"pucWďJ!C_2΁Ƿ$ T^ ciǹ+\*h;bDŽXy7(8tI\7d/+31A%:bՒ-ؘʱ}{KZ ? {ؗ#歍,}Bvcqj=q,yA:sc($6Ki"-̎*-ޓ@)oZ5́nsS^?y|^i> Pd?s0wIqANuxn΄I!ÝrR cnmLH|P {{zuR ju PߎX>k) &K\)`!zۃ(*-NyM߳ [+Rŭڄ7Q<.ۯx+34/n '%2w3Å}=Y:PmKq&1-)H b/iuAyVqQ < !u:]P;DDbvg@({ 9+3P-Й%ùXW&{a7St)a9) ]l/MSL=x_]O?YK.9gŴUh\{~W^ق1+  zX%-!j$}~).eLiN7wyMb(ǓF p݅ݫs u^۬|p04?戺ʯH>3)2 +=IcYfR`vlal}浻ë=,] ?3S`ڽKԴ2>DŽ4#85BPeJd~)4CENFʲޗ)0G(+Ɛ5eIfrab!Q#Ҍ*R8xrݦSw4FơѤ/S$tBh\]Ɉ1<-,}TK;O]c5G!cū52tr{J؏f 3(^VHX2febLѸu%>S#~)[] qZ N\ьG`A}ԲAƺOӹ`(5r!;CkF :fyAOA}E@˕^)ydƌЛ Rŏ6O0}Z{ۃ+B -X.K =3l‚}Gz`zfUT_Zu%@z{;=~705HXp* g魺u_f9B sе]5tG怐${`db_}5^*M=^/P!EJyJf s\?pyk(f:?X9) Vݡţy8bf2^VOAؙ79D2U,RcEv;zƍ &ğBmwMae0$ǃ$->:+3/48zRt $a@CH}i'oX"h87Pa۳y1𲇌Գuo3gbπ{O3H? ufD&Z(jj,PJ 17b> qv r'$*ݹK zvb-0=rLih|3Sہo(=?ʖ~( RQ[D%rI>T"yF1›OK&бdrgC_] ,!d,lHOv?Jb+:_PK |x"c(o6Wu t} 3:}MLLowܲU"?U zPZ]d"lXW<{Xs`'W#ݲU<b+ֹ†%WRE!|w|;I#$K"̙[Y`F&t5p\9vɢ-CujNUuϨ:F̩DICUס-]oڮē%R8Z8eVy- R%eȫEwVq[?bqmlԈ,23ƓַcLu&x,+y|q9= ˑK663WqeI;FowQGvԵJ }½:6G`qok`kDsBR z!qhOG0I掔) "+|{E}{~2 P޲E6_ j hUZd"[1MBC;E`^j2$1@z)]cY ZeR/_\Sg"\l7LPNZzBcAT79@^\ x  V֫xpz/G+:\(Α֫aZnxR:eQc" /۝G!փfk"L$A8E|ʬgɎg\ -'S+H$ !?! %c%#M@2|elf\pgq4vv$͐2dck٣omsݸ;UUH6Z(9otۇJYcr@& Wf6&A4O?sihU{5!K‡hmtXF͂v>?rfSp>g;*T̵5e H\q1uH PUن;@jx]AW~6%L;kB+ ްmlX;6#$oB ld %>v;h!'ƹ`|aVp=;e3{AN)t(< S jG@gYZ Xh61A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id540A41A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! =]D?7 {?:fH\2Ͼ 8Iwr~t_qx^4y'nChK翂^8Q3p}-Q*# ٱˌ/r7`ivg 왖OZǧryU/b>%,CreK+ toQ zJzW֥5֔|1uK5!b'>Ix\d_ t?a*jL;sְX|L10j5p$rv~M3gNUHbP*Uvʛνw#,IIυ,v|7#kѨX(ie Af̙c@ߟF {a+VW^=pEhlR$M΄"9Ǽ t92q`)B*w *yQO-~Kj5mO۾A$7*Nw^=:جvv!EӞoN@ ux49S}+&3Lg{"CYFoʿ]r3U?Ek \"F7e@gʜG [n#MMKttfLJiS7'u{ >X>Gf o+ѸIbh W-ڿx-o xȑ\" MA_e1 o*5qptX:}ձ-sr $#}KJ/[3gYZw31A# |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1ۚl a8l^9J̣G_Gi -0yheruD څUurKŹ$eH+R3P^b"c[F 9 Je*mV@^⦟^h[}0BKgBs:Dz i!cuinh"Ww%p>OۇlZ..SPVYe[ =V +ܷ5 O<'nړxe4zx<ތk+ۯyT(uP v|ћ kW:>_^yzIaE(ˡ90=coesss)_.QIEc@;# S o Yi)JA3O֚uWÊ8Ex^- m,=}5l tn6`{O5UUQVWzg1\/Wɗ1f]̂|B[kG%^3dJϥX/᠍){W^$&'(,D4}vjԏLܪC![M` [iNewRj7ʢ 7T 4q'!h1i8wp,m5'!\cP&ܱ,(%4ː;]i7KU tsS%oqcoQ1E(%H ~fft6FUůge}ۄǮfǸ;csJ::i@wJB"6n%OOk }QiѮi,ʣڃι˜3ʖϊrRv$qGQk;ְo^)`FD+lqiŧ+#xPWdun1N~/Im P T`.H3;IT놛;ZRè 47PJ1~uX.gxJsB\܉ܕu{"֚ !.3"&vdȰm6ccKü_ızT2A0h}il R)Pe (љzTn崚q(-#cc;>5Ѕc]1u~;z|wӕ\j?Fpo>3 ?k;oE$ =VЦhK#6@8D2Ep>.Q7L^yn jl΋DGՑ,Ơ=5]ñdU`nt%k8Co9+^?X~4bcx٨o (@_z!xT bYk Wʗ^BO4@I*ETWeWővU74@&]8mgߞ`T7g N>@'TZ2Pc)F7e%Xi@&+$hC2DUñS/ Q lbP'Wt4 7VkM;ՊuC:CAȔ2i ze.p_rCz&h苡D ٧gוƭ"CusL vu=P![P лM쭎D C1398S X=y}_-C$2@L+&ct{#)X1*PgYZh21A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thy  N b91A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF81A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id520g71A# \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! C]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-byCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv !&HNh%# "Dlwy ibBm,i,Pe{9yj 1 e-ZGcz.OJx 1Ѣ*[wH\`Fnls 5ՍkϾ~ @كzH|y έ/ahN+`wL ؽ.'2"a%af"S5w 4%ոj[f%_f^YwzrG|i6 ׺Yu‡PһI^"E}524򑌘 ՠW@sf,a~(5,}~&1?CE):-xN\%?uT QX8`y#=lQu5xdN@[lux2tn˒ HU+wSQX-%tj[HE]DZ64dGUE۞>Tf>S)8+ky>פC{Fu]iΤtB|ϫZ}9~syڣo. K'd_E^%pRqOƲ =gq9xRTUw |B@V({plx$L>Q*Jc܈In7iu]0u?|#f8&EnM>f;p=f< KdY B\V3eB1E!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_DPIDE/messages$=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup#<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files"B1A-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.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#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 z9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex CHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texCHOL-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 *%sg%(U o + J w 0 M t+ -7g R A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesK?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupJ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesID1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idHH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesGF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupFE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesEK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idDF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesCD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupBC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesAI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id@F1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages?D1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup>C1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files=I1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idLRӗ`vDw?).iofoeo]O xo  &+M[X4sKqvs_NEͶ!G%1AT/)ܵTPgS կJՅo)=;zmX!.$ԝ\Md$=5Uu($+?| 32:Zԣiz۹Kl (hUWXT Bԡsi e)}YAFG!kp͑<7u  LeQC$GO0a~<'+Oz_46CEk&l,^2Iv/a!p*A!*$/\+mGE,vEi$DCVq,W̓n'};M'mBq lY;vr"84\4*v5Lp2[>T6l7!B>&+=C(E4lKZ@$ UizG5[(&Lf_E8Q'^iH'ō`NӍPP 9{ dySXIy$G9tO'g,.ؗgF/OU2](y-7i< 3rSd[y-yR}c'Z8xHuAl&) 2 Ƥ`YLl'T/Lc6bXfgM/9-$[ݨ6&~OԱNӗ)HSQzUs'deu^%6s`ck@C| Szh$\{hHʉ N "CЏ΅(š5W<ٝlq aαrp4!͊bf)ðr3U,h%&{&$@uv\Z05Dj2VQb*Kh( |R'ѩr!|vxG;gImlGs̩΢<=wAE<-X]Lc•-Z͟AA%LRےQn믡/(2\R,47L:0`)@ 5!cunw-x㮐 mt u/B=єA5#lsěA2OsJ!@o*ୣ `e76Qi%?2nϮ*fSޕSynsJFÀ0RԽ`cKFxWzWgņRvi>6ŠJ}]8Bk nj8uܞITWzmUдNs1ԇqB,."T.-/Rq߬HS0Ԩ]r!֪0j}@S_wI k+cLDck%b14ՠA$5Zם(z?,[ v(*Ȝd{iۃƍ='!tUK~yRlS5gAK`kRx2G/[h^Ji*1tEF1gUU=Uz' l3;(o3$& ECo`HGG} :vȉBtP͌حjIC(TOm[|32jre]Qnīe:g2mxCPק6ۦU8c}_oN|ADQWc!lce5hgq.u܌/ƅ {R uѫ%-btxnM^̨VZ&EBcLȸ5"}`RsF19TWbl7k \h`6l+mx<]{mdcCĹ&݇Z/(ZwFoh\$۳!S +2OS`7˴- MZ[Ao>+zY>]Ik頷c7'BofF90Ӷ&kdLTBӇ sk(R]w4NՊ<~^*FY~d$KEPꡃL%NBӵr/ Y7R@GRZx:9VX꣐AJ|0߈ 1-3Aj!CWc7GXyy3g=feUoD&בFZpTe8;HI\~|5]7u_k(XxCqe{@dҟ>|&r9) v \`^㠘b]Wתi c+PDkEnĕ?|܋AM2"tdH!RDu-$xI`IdY.剁3#BjUDMPO#xXxBG2J,pAvxOb%o#,G[Dc{%%TH-@N蒿u×eN8>'O)pRw0rYa#l=JN¼wyV!*F=cK)DŲ OSUmD_wl {rgP,/ќnm:_)ͷsivAf;'o$5I{.FGej3H6~o4Q 7raqIr*LZѐƷm) f U*[ +s}7Z}szCH QQ%GTٳVccT:$l^u;]`7YkÚo/5O{ZNOBEzK4Bf0"U**%(DzEή %ϢUx~}xݷGHOZJKV)[}P:h:4!yUbf,Ĵ%9&KC;x wo!BǚQce=#5>OT}M sid&RB% ћsv[pL~`Uf{@3c%o S!!;,4T2B0Ya*s|bg!ZpA oV["5};UX>imNGmΡadi\9+8: .}50>w){O+?Eqͪ$YH߀?j(ocđMs^*:DF^} /XEڛ!0Z{<2ƫ"UeܿːQv{X8zY G λ)"95 R#F+_,@hP8"±@ot7[acl ;d⺤u+Q怜1UEf({)٩Ƨ@YA1Q!xeW7.1L\mfp^eobL6ΎÒFFDWΖty_KWdF4'w+L]b!F VtHHI ]Q/tW+yWuwMُmEņeO}*(+k汉i+wt x!V AӑLRAڃ7? =Bx2I2YyXo}sV=l7dv08" "m{^EM0Nkҗ`7&a {& MBVD:Sڵ7ZI H! XjtR fO&h*7ObЮ{A˯Nb8n,Nsy&@+s*PDxCz(:_8\nN![Eg ;=+&2 p{@DŽtㅋ/ڿ ۹xPTw {DMUB,ݼ. Pj9|u ig9!'%atEhGPV#Unww;,j'q3c@ +:d:-k?AOD" 'e>a ]N>&Q}cgv4{x]v>A.QhӓVYKl r9sF#;(Xo3L)]0(DEt,$X`ca:؛7z)̗P:W , jbeo(,  @}? ]6/T5^=(' 8~zSp' L,ӣuUhR-'Κ E״V4r 9^뭥!vH ,t0kZi^Dΰ/94Y]-X.^u plQXU kL& =YQ)0Spo-o_ufڑپwMjr&jevhډCٯTyBc~s$PqT4&0:2ʼn@K %ccB E&>voBk#na_F\@) =c =JBeE^վ^X#6;W+_YSyV^lJqyђo){~PĦp{xbX9,t d-F:7&d˰=+Դo(ыbEį1ZȓQ6,e6W Vu:YQn4U@uϺEXSC< emuO$vlT B5QhoGX2;kS)E9:7L瘬,R){l8Z;͇3%Ndyec8 {0p >K 9i1(`/]>VqKOi7r)ם@"iMtl ۼ)0*b4y}SO1'̽^*$\y t_{HE hߤxus@| aR99n_dV`g(N0¬ c]k0.4|eLX:ը9 ntPO$#T % wyUP^1@YSp!0 &7]*X/JR\*ǏNٓ2Ksk%6&Qdߝn Z 5)Pܨ1w ݈j?)g Wt^JOjQ7.SK3wC]bS ӹBgi>I@yi@#f?Mf(씉6B XQyO`6_ۤu +73* 8hex^ۑ_M~, ڪj%@ =iAvZђwvc從cHA K&%%w8Ȗ @=q-9i-˲D܂ki[XY_ޙ%,Y8X+oJ 0twQ\&}.b3";g肮hj̢U-7-Dρ.a%E({h X,P:+9a{ދ|YiN0l9wܪeF7b)`\v̐ o^$ќfH q{A9o(+]Cc:{=g m5>o+U*>je!t/ r1`و*  %vA1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM@1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id544cm3s)Gط7[\Ps|Os|+,!{Ky'Hiwu[HHeiU U{s@͎[pi(:xpiyV`?YN7n}3 W=|nn!^= / 0fތ)0>,O\T.^ [ڇt0h|JI]}jiy 4|]m{IꗼCXGCr&R)*OI/]9QuFn$uj=o CQVᱢⷓ}#W w^|b:zs?MIt _ߩsxƹWfTAK\LIc Bl\c̑EJPy Kڶ[H< jOa P5ɽT}LMRg] B'ל4Up -g7,zpUvw&`3Rzڧnh*n8UCp_gYZv>1O# lHOL-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| ̛ȕ&[ũ31b)vAA)] ?qaM" T/ǀ$a`ȋ2= C8 61JaeD D >HIdvf@TТ޵]/k2 |T[f\D7\_m䉪uzPh.(5ؤWWK K?63[{FU·.NAsW׮۟B@B{wpǨz ͉ -jߔګ[9s&WDLeOdYWs!EMg,zr.y*ʒσ`˺(rѝAHc䕢LK :>]L!K~)WȵY",kwVͨ׻Ԟju5U Re3Z-_ь(2W%Vr2T*]QU=ВNfs܌kx@zU䌪#k7rᐊ)6`R.6[A+0fxB$5e/@9r45K+HԺq25ybg2m l8++=Gb].E,Wt t6i!8w_W@w鸁Vߟקn6g)Ov2!٢4COT\1P@X R;WAM`#bPwn)s3EJGcT눁JMl|n? T۽n@ E8 iNbfq4Y/$0v4uDD ;O6-v=1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM<1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id548;1A' ,HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\yJ&4UKSdʅ*îܔa"]aMmxS{؎<#m(/Ik)t[Yj )G4X@PMDe,jӖ>;ᕥ~WRp־"Y/;6}gYbo>6L-砺4k] &L{h]|*8er4{o% Lw Q[}S=^Mi}~qioҜW)nQne 9qߜ&S㓓aF\ ppR_?q'2g 9fRX#,5;ɨ.p)ҹց ތk{Ğ_ ?"FבU4diwĭǬa{Y_zY VI?Ӛg˩咽eJhe옕g8&obr V ZRMR_\-Ě͵ Zh$Ե6Rsm Sv]Ȇ.G? {C9,9cEk+oz_3G* 3uo_ )̦<4M]@1 Rp]/oWtʉc.u/?AoǸH SstaI-;ձgYZ Lu+…qm u/}7%], z|ҝ^`$֠Dl;Vcioeh9OI\[F"vmAP -E˥ /sdLOFufYEuhcdIMZ8I"p`)c9F=x ). ?wbgѨ靦 +I&l|쪽عyk CR=֬8 ˛&cq+: OFQiW<;w0_O>ts=Jʽt dO7[i$˻oYC} ı*\+]Y,$4/%D^A+P ӾA *ek=w_,^;r Ȍ(Ec  ooF-_aa#`gݙC1*U&몱iav&`w M)J.KZB'njNEq7/롄Ԅ= u"1a\*1tV.irr2 6= F [h8 ]&Vn.<=Q)+?X*N J">LYꤌ }Sg^/ҡ}dUxd+K rLy~,r/(Ek d>NeDzPR÷s2r? GNRB3F|3ߜ/ Ia97Rՙ胄9"K g65Z$Buce,lsM󦓧oc^_SV\{uSŭߍ&, <4{vEM>"\hD0'pöii')M~ybh'e;M!ꌝAI\ˁ&gCHbn: zyȩF}Y)[!tK̻$^So/:^Ma^S }IOk7$a]&\6RlOr`1ο4/|2bA*A[B`UqH:`γR$* FZcML:C-r%0FkI~1FU/*tE7EF {KvJv7X&><{xa-cC$ +CB0Ou켫&kQ*5TWnl->ƴXd0ZocZa$d@ho+}[uw؁*HPP[C2龢NYbڝnpς*-9\&57Ô${&_`i³--YƔMpyH|j~2*= t99a,9* WP£'Im'56ݫRS\+ PCufemsFQ!l],ځn-3VN_)Er9gXG.T i+Eu_ʫP?4`)؛A}?'q~CE:+UƝQHC>R0hI՜k)fGAd> 5OXڿзlȠ]:wZK6}vﰉ1bΕo΂ Duڗy^ljlgXPk $}b[*Y?p%'1suj9JdT3(z.,K-o\iIB;ƞn͔ϔP̥H"!>uBf ku_IXf4Ȥ}^.$8|<ƒ3Y"ubJ@A4?:EͿ9hFϺ62=h`1$~1{G7y|6$G7uf1s#/T|}._▶8Jq!^gf]yeeorզ%+O'''/&3>|)PG>!L|$Jc9!7xbqՕmOR/8ѐUi RDHHt[I:|nD&Sq~;Zjt^0CfЖi\ ;!+F>ʊoM{k$7_fxSy={N@la4QWQ=ʘF)M(3#T$>c @'=3CR+7p~ꋲȦ`F!t*Tcqd_\|~ yJCaJProrWWO2Dm8 TӠƈ=z3X?cT'9msq%V3X@f\2ru}/ū*e׾pjZ^Qؽ$C9ԒQH-"\PK[Kc{I(c25.3Isx{X2rP[ʍ.7F R_r$֦s_xoB;\9J$c +E,ө~w`w Z' @'pz)Ru zmKQ!`#WO czww7,?̼H!wlJ(j+5QraM\[N#V/đ?:%CkMZz-򜂔Vt+pX <Ғ0ez2*3kd'/C\B؂$p _}dE}Il8T8ky_dùBmDGR,i#/EQ ؞q?n6fJz?:qyXAG&f ֪PGCSB}[뢳,sTBinq [7]Rn1\L+ 8%y<[$.Cޏmfqi>s >A_3/cB;X]jr 7CGՒ\3ڈ|zRg^+ޯZ.aAͨ[?zST nxqZR4Y .1 B 5^aECT:cZa?#uB_ ?}2SR)>Np4?*~Tpޭ25h8tE(ܺF0ݳ&1z?Crd0b;vyM7?e t~6J1&Ϸ+:@9W;Q۰ n*TEߣU 7m/Ed9SmXX z"~54cr|@;4V3#^oF E29#z{-D36VJhgYK Ua'1׵it D45(~6y.ɯHz˜'NL6rj 3X7*?x8)q! <\Q a}^0`vJIB2i?Ěq6Qm۷|Y2%!s߫KQ)\K$\bЯ~ϖlk a.g. HLU]b:V+u^inZZU援qwkl3b6'nߟ#AE3Ki+⃝EK hHy,g[x{Q%x8Vzgz%zMh0AA`6By Q"+{TŠ)WgQA89JW9siHV۝*ӊS[W9Qp;h .Ĵ^en*ՠ]ADk W, Q@t`Us]N2 bȡ0A/"Ua:5j72j 㽊uw[ D> mEP|V>1n z2V㣾߰Te2UPa5<{q;A 0U4I;T8h+ߧmA8XRg<՚-G #rۇDVXnBIEk%h|LEb%/ K R+"9RЋ5&*fTqu=?z`ԏWvlY~ Ai@u;uϐȪb؃爷q7H](TaocE*!JBƻH .<[>q6 hadQ <2[xja$ 1w,G{JȪk%꺥T4m+牌$u.?@B!C4%4vs#*[~OV؂>Dۯ(:&謰W+R-*eHpA<;=Zj? 5>;`֦"= ~~Cg&}бpC125DoR'x 1J rB&b3 ъ_2WI#! TIgxM^%ss^zKz m&. vj(ԠYۥzuoҎIi#Ies-RV*Ch+dŅ62r0;r ^`凡4"39PRiԔJ~JSn6pږ']^ zqhP+FpsW<}G榗\PakWnͣC9n2oXr hܽFveG7rMn䦡%gN4JEtLPq*؂ԞU*x'RI;5@v=8G#g»:7ZA T5Yp<96|-%\͹:De_, R8ȯot sꋡ8<:@^cE[Dfض[_T^݋脫,od6Zm^Ń CSy#8Q5luɂ+Ji!l)b0=P R4FFY!ܡUjaO+T(lgl$D!NGPY L5!;5#֘TR3ܞc-=Lc(`% ?qos5mSVvf!2漧q%<9e9:_5m%p%E<S~v2atk㡐_iǒc,LiR@EO E#s/њ7#mUV7ܭ1E/!_Ѷ7ni9JxQ #!4%֫V߀ЅS[1& Ɲ|E-mEy(M.23 Y:Cw4k*4thrNu05=u:mS| (y.焲vmIpV$D߼Ơ|կ<LI|?R[Z+"Lyڊ #F?U#R!&t_i0"Cc ]2t!n!ך .uo߸4^cZ[c\ݺDm4*P"ӳs1LA^`pnD ψX^rʓLdG63#?3ႢỦd>w„]r0~5(cL,6YoHgsv?"7&qп Zcï|=RHذ{#1 u;eϬclMuW'!NtV "eW5&J$UDKPΦ.p Vq3RqWX;(UW->B7j/RFpQsu_H/}>r6)]jķ:_H+p> xLOjtR:x݆҅}Fv:^.ASbt܏rhQ7$!z'q^:6E&S@vx|jXڏS:m\D5aO)8b(645Ȳ~2%gYZ   tE1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyOD1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id524 C1O' _l:A>RIC˻9Ӻ$6cTY'vVF!SvFeBM֊mbp0?xڵ&WE]eeXG2 Cv2iנw:v>?Gd&*s|{}+f)཮H'ͱ&uVgO8ꠝGӯ^ D ^fG*s%evES̀4_r+Ǐ{`^Jz=%lUpU%b'RQsuj{vvun8$voY\:_Sslvqڽ~@uK"E: 2!FY>h7LD-Z Z͉]{3Vo0* iQz]0QN>훣^P**!YoPܥڤŅL*`VXL[eTJ8$^!|j=:aRM熈<`Rda֠niGW7*O_Z 64"6*^GkK\x&jF 3 78jb0ąi id&oZj\b"Vpҷu݈ٽ3@Y\''S>r L'^V42-\?YRȱgYZ´(]vSy5^>E3ߩҗ'V? 0۴Nvx.J]ceы!y)u4/:M"ˊCJldYED5fsF= ퟭ;h{ 8]>hf3Κ7<9@TY.?GFӥIkAu#q%S 4D4Qa'P1:E&FSTFS  AݓBܶJZUؓj-7&A^G,?LsSV82>st?n8%7Ts8 m] `A25 6 9lH bLANfbO;A@9$`I^We_zT]"R)J))Fzfź<9E)~or|!uU7؝_Jit-bQKIPUszm([_]vڅ gEu|Bs^{?/t'D^z+kʒXOѭ^IlzWCd2.ao$`%n#PB]=yGn)$D0ίu{k'#: #:lK mO!sʝQmRB"oS)ӷQ%l$F6+-`vyz%Ǯ9k/MgZjr_wSduMKzënirޠA\ꉑG>,'\NRf|243bwTO2)Fa&u6x,Cjԑ̻NKtkPBDߘ5+څz=Ym!UK 峧[ 3g|DVzBi$ڸ%_Rۃ\Lĩ<")>zëv䫪﶐916&8d Ƭ"IT4jV:d^t}`mJЅbiġ5' TLTW򏐜l9+e?`p9mQRaqӳ38_YAg01:^Z~3ϙ(OfSv5®d -QSRR9ˮ{H~qfh7=v|xb3ڀ ƾie0- q‹/XvSׅ Jh p@1VzrSdHV0o=8m{,Kl ~ Vhiٓ0OyJ EBT=/30W)JlhI0&t>ݭ #V1Y IwŰmG'swǚmLЃ΁Ew'7`Ȥ `z)d'df§^D o˘-xGTi۴/AqS,-/uY%:*Pj&\u8OYi788#$8ɡ #s&rdbTA x%s ԂMԆf1avHlS@t ! uh "gvRm|m3s&)݇L+C4۾2@{4lHO~ @jAޤ,"%C*"_c~%Hi\a/Ln -(= "_@Yqpі1KoiNNrdC6V{dhb2Z"GUmHN j zJ9$-~q) ̺Tw0u]U>ΝBH08n5t֙:c^Cm'u8GV&!jxnhA5t6 }!CJf#ʉw#-on ̙34<$x}pӍUmpf6*5m[ oGd͚ K|qBṕ0K0~]0xF5ڤ-Gg]*JƖAP{pN+ $[%c C).ZjV{m-$3]X"(Kj(9ʍf3]R:9iBͥ:R{U)S0@Yb6WĒ቞C@n0-'E9pXqjdOZ+sBZyQ?ca,ii5-G eh"6L-@`IĚW[IY퇀򴉻I}:4MU2*v~xZ6Ava<ѳ߯%#Unlm'粧4`w"h!"wF5֕n%{%Z3xT;[L`'g^A wL (!%x/=So &)b)?MZ7' iZy6> Ώib5ӡa ?E k}\%q,Q)\\es4L~P9*GP= K'Fk4&:cR}g(Z`o։/ۇM 0f YAUp^7zM?(J,3p%kT<28,s%J:w)2^gu,9sb!UlVWj CgAD(Qw8eg|^(dt>VaiMZR#R>tǍ؍ DŽmD@yxps׍W&d5- E&OOAj}eA2~`9kE7C{Xi2AJ; e(RGv"gqc U2N; Ng~4\U35;lTIX,rGem3׉]8ñ',ͪ@W2A (l:Kvw|1WNF)1.g WA9Z0wlkZX=* 3M)Dg ~<*q_x+P,.~'Y6"SOA; z;w";GWF(-^)as ׳F{UNZMâUd/ YF!Wea:?%,_LUZ@,!5U`߸~c>n`k& : aʻld@3Yg 0#I-ڱ皰Z[r۶]eDT@/VW ~S#"<^^}rQI{]X}ق.rM+ Eq:mTUs6 C DŎ="Z<.@T%v H:!inoUrj@ uB q=pXNGM0Y蝒RcpE q/~Gcl:Ù!V[gPp6ȁlZw}G=$S@)RmU!N[>VJ3DWKFm9< {ԥIPag$[u s f sħ;ڃ 2sԔ3!O"B;Ypk Cf~,jofX+ۡgyyϰEZ< `9$ɳ`BfpΦRL3@RXCJz7[y{l1ͰJ+K4O, @3ye8Zq tքat8g_ Ϛh"& w+'YxR! RKx4-Q,&}ǵ=;!j&Iuw Wڻŋb:vYK\5/}\"MYDݭ: 鯰ZÇЌ {l ]i V@ץӚ\VHKFN^*>V1}8/|:&Ȓ*DZ[~:|y2$.ܽ,mЎįkMyWFI%:wojB;1:Yy Zehvq[X@-X0ǯII:B#營/ 1){b@Gbl ׵_gv Mn>tՅjs("{C䲸?mrŮgWRSC#`E~j%h*F5t׺0r}&+:v~12F!;m5zZtvMd-5HۓnRWfUlwo>ⲽ9!=4-^_9w)4\fe0j.qJK Pli&p6j7c$݇By5)|2ǐ ? N*\CB Gw%xTWc+[2ÉZ n/`u |ܔ׀qEGk/oS9ɚST-6kٷ_:؉ ,P$#iHl;QsQEƧΏ9UhçXܽԹbb 540_  :!of)Ѐ3*WdmWGp߽/R—9pTvfB |"{AI ( .k2K7ަrtzz( SXX*o3mHz.8zBieٯm^G_.+'ak?_9Bݯv+OW=CcX0'Mv\bG܏v$=, Y+@&OX_2P9,=Oo;'R 17J3oX4:Y8!gጅuC[D;"8YGSEVɾH^|w8H*`HF|G1Sێ!\V4< {Ыg:/ո3!2A h7~^F i+9Q lըfe#r쌆E\l^,trD;_tQbERgo p˜wxhSe0w0+@:>!i ,?jgQ(YW>݄]ti2|OyO (E쵸YPdءaP[6/hFY3nU󤎦ZnhUge8"$\0\CПc~pYgpțs>VoCi*EA{)Ls,b0Rc!W4ULngK\ƹ!gd2ĵ"gkr4ebu_XXߪKhDƆL#'9m/ 3!YH* p FI7;ULV@%aCTE|B/b ElY]?Ɯok՘f7Gl!<'t:Ȁ3qanZRcpR#7:>F "rkk X#}%l.ä zs-CV9#f'Tپ8/1h o''WwU =7NMYmg[NL W%hH/|u:ԾZ0{S-`:xp?Lزg 8cr1|kVe7@ :(&H*ZJL/CAob[#$[,b^'}6+uU]Q͔Rd)>^eܪ=Rh@άyva,~Sʶnq߅_2pDw_ے@e*X:wߓ"xx>daNKnWM."\5#*Ť#xo#A;T63lI1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyHH1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id5366G1S' dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! ,]D?7 {?:fH\ygM)z:cu@M1{qQl;˒:&k]i-D&2mU]vXq;{q!/㸍Reܽ$W@l,~^'RSbrN>vFQ1m#sO _ h 9*8 v]Tӝ:}pKeB6ڲ_;ƥLS&l-@>ːǿ9aJ_0Ď>֦.G%v/ܘtb'u;M{Xm3)L!vacp<ěߙ/Q[Yeg0͘kԢ+<)eq*T!+ƿ׺j{RO `cKtwh6 @ʼRYbaɍ*M׹Jg#@{Vเ.^% 龈'bb1?}*\H "Bmn"Waٸ]ru;q*š޲ @)4XQ&eGꓚ~] ;!ZQ@X:[|s+YZ&iq_,CSgBL6TD?^P$ NЈ$R9%?v7xо tP@h 6&Q3`L%OpCNEr:k|-sO@V:!؜ J)?ZWJ%]Ge׷4#9SAX9LN~= Śki~m\#CRWS/I`mR:' Wfb2\x1BMslt Ϋ[P6Dn@\{Azr&qOBan+en*f~| =}ZtX VY- \|n0va:2~o8{EfnaK 9)Ǽ+)?RlӺ:dff3Vg Ld(暳/jtԖQ P$k+&Wp0tTS~-ACmy3Vԝ35%` V|՞g:iI{=W)L#QG ;NR{B&i&!x8<\X F:DžC+x@QosGr3} /d o6M覆cA^Pq7tEnn:Ͱ#Z]{kW$zFp1l+iIv>%B}h6O[3?&yn^곕:</``Jf!#q! +M#2+ 'QU@'P"o |-AOط5ɪTb[< ^#7n` qU,lbq%TuH;HjMr=XvLC[&Bp.4~أԽg|HcNu6oSW򝣇 `zq,|H;Zz-+300+\TSS0;DB0 X4ZHGȇOBQ`h[1.? >wXW=Pict8_`<( _mn1# )WE}g}%2YLMN̋--V4JSOA](uf / ;f{ٍG}< †imi>nv;:&L9LL]IN?׼}h81vwr߂`+Ve:-ej.þ# ejI1u2 Oe64 _5('2kRp7AUSfi{+o-YX`6]n)W*feVlזļu L.<Ί, LfC +߫Pg{(!3i4?mkbn&6pu`6Geu,2 Hs]D-{T:%%1: ,AGf5t'^הza^˾|uGwm\y!a*RU,AG*`w[f1~b{(akVLWulc;co{ڶd# k7 %A/ď ̌t⸣LN'rl]GooÛ1.W 'onu?!05*<K-[[`8)D(x3Mr&̻b3x K{2>skQGҊLtLCf[h smm/!f2(dtPj3VA:.&aՓ}:o3 Wn! L #0YP@N}ÇR&L9VB}xh2V .^hz aJ#8,GOHTVM3ϓ8cR_vAP#Z,g!PP ȎM5,fiFu&ê@Z+r$8B)kXTIp|uoЙXVԇ/:E|xM*58Mz>)$+FqO8b=6Y`.*0CIU:~.lPh0R^|z9\⬥..rWS%EKZHT9,Z21<j('QW HCLZ}|)ȅ&y9ΓV$da ̟B<]~FNqW=p$o{Vm[;: OuޛȒ&茊5p*M;(^&_?bN o3?n뜖VNAibȥm3mr.)C&?ؗf|/hw;Tc*6=iOAջsωۭmڇPzW# eֹ-z+FIGOO^kNOܢòX$ G;-Isb^߀7 E$L'R+rUX|b,ڇ)NtIt,|9S 9p0?Iq0p,V6\;tbH2wg6HNM)$ct2#3loI <]t,Bl>`Z`e+0ݚbQlHpkQ^;=mؔ'q37ۄV< ΓZ{ Wd浡X~}ye| JbPeB`Wtz\ g;tlT Ǟ+Y"Wwp1a_wO 8xn1v$UW"@VYrD므e:qz7[gKxhK &/AQ0dz}N6r$X³-I}Tsu J?>hC я7'P;ebђyf"?O#oeY%UX[%E-F23P@JJޱ)e%*SF:ypfN[*YٰVCÀ>mA%lPi 4/?b &!5Ej{,52^Hz C.=Q:Y,?[J >  V'mcUEtA&v*fӑ?U+'1iDx0𣉏0"n}3,z ŞP5s2`av5[%ީOȜ mZ{3#om 8[B r鵹0c u=3E:=m%Д6ը[0bl5&SI+0,JR,XSNڢS6ͶBLl*h@mŤPJbfZ<ES׭Z]!'tOg%KՆ\!BF'),CaymL.b3i8]SV*\xFf\&(_ADl`LnjnMoHV}r#K~wԳ')LqADHCzzԸ>gc/%R&:f߯nfJV3eA_tMJ;i+?3| {TdgQs4KkvGF:C9LuPE?p3 *(A̋O"nϮD1ʳrdYp]PS#+^|=e=+`|UL|UNc:&O3kvK?#˘?w%@*Lq<4d_?^Yv:۔hTg{k(&+C~L@kpX|JlM+GR4%%fOCPiBqMk53/VA* 2S,q" œbQ7`)NGÃGay7Jl,o1#Fԅx 赒e|=EBDS:*׶v\7WrG.}9!f7~9eۖrэUJN5E! ܍&\kMmFxPGvB` W!4jv>dJk5b&&k:,Dy'$_OFyQѽR21"uuzbQͰbK#j^ G(|]OAzY&}'.5lB""Yz ]W ٪`klA=.6amHZgV%)Av@H<f? (r4V;0_[h'뀪IݞF-6~t/z6̑R53]֙ 0|1Y,~e969CC}@nތ)"_'ٽG\\՞=%=b%ߛibSqf"AN&|7iK6ֽq Nو_.zZ<&JoLoPt#]?ѣ*>3=}B創jz5ZN Y_]F)|{tblWȕ>-a=-hGiN;DVbfKDzz;vd-0cr[4NTO,K\fUI%I :ב yKXj|#|, 藦܇b$7^dǓr3s +ѳX W1aRߏog<>(6b+6giy,}lP,z߀R猤5O>(f0>qˌáEblO"[o;w/iH_2νsOdAFzrE3{Qח\H!V<$1_˫݌Tr Ո @b^\V˂rQ͒E:a;^_) "8pFRY(R0jrre37n=c A~ .{}i^xv^glC%E< ۚo~1ױ!z%i}Bb`9 (aU[q_eȩz?ϬZEONM*PGP@iL7J0 z'|D=,װ @Cd;*K5P QL!R$ZpdٖfhGAnjAYMF1z !.`a3T1v)jY;0?rR>W(.!S>PuOnI(29}@Ä?vtV9kBg78LMNPw$? aB6R0z܀Q٠`-W{cK.P<0 #\TVn?2Dؖv wkANŚ)c mQ`0nl!! i'^nƎ\atCCQBQҁ5Zcz-x-@S+,| w]Ay)< C\rF,ylšs~$!v:_k˲y4EeO"Ec)C1^pfE#e_\3VwiKy68KniF[gjnvrŷSt6YV Bڔj%ʟe`c3zU5?˞C=4ߔ %#0̀Nc:ĎGoѦGtq\Ѻjz/3FLPFT[Lk?ԗ}; TN.g ܬL vK5뢓U\uFˈ>㢉LdVhirfVu:Lpؽ!4_h}R7>&Do-j2t$H$ Д-? x؃KGںb6U3YsuwA:}VZRL= ԤG&xuf"o(eV`YfO|=.Sݻ7 G4e 3RF,tY`LK1øum:,!F+^$ d{Cr*<;'I{@dА|瑛]䀔_O$1?^G-"̡Hw`0B黋&+Z\Ĝ}`0r-)\} /47Z]L|]>{O"p[ ̲]{1u.]ͺWeSJ0Ӏ@S" ͻ=|}""Q&0oV: G<'vEH+kxNsąT)FzWFU?#z]j#QMt(?Du︘ks[xp6mS蒉߸OW"zxw"9s YNIhh~PקX-ͫA/1+rE]ts):Uz:+R|Y{/5}|-zOJCvT+KM;R3VєFUAwڐ iך2thFb~7g;z -t@?Yw)Ҍs|I3(#/b0z+ރbb0S;`e{e"JtYuC?ʦ2uDK rL[qx1;Ls(6[?M2SҠ$]޷FTI ~ oYqlk *Pbx EGAR!qK+wM6_IJVv UsINf7PRH2͑ů] qRe]%)= δ}0ps ,v6 (Rֵ{DjX0_m{X5Pp?kwح5wW+V6t@ cvʎ bl{8jD'iȗx= Ő9hRVG.1$lz+AX6C \qߐ3y|8tq<A\^ٶm{|!$ jPd%##DHs v S`(ڇ Kf ҂0pۂ{wO鯙>Pfhc#̉U J4d  MY.xOk?C&UEʡr z; g3ecʴM6~hk0S\\+(f< e$K>rYYhR6&&O(ɒ`PxNLVW+;m\[|{46ُ'kgEz@ #_ܔUC!&,LfHמ1{̂nb 呜,]#|QѥuyA91{@Ficr"~[([KZr780\+~hV;u4d,xW;_ɍ?I9+ ՞Oߩ*V ' _/[Yȡ}eUk$5\+L|:5]tS:l}޼M:+nm{~ 'E<`â8˧ u0}89뾽3}A?N bb66q)4z|>CHf+qk ;lrnz4<=:EQmAw`^s6j?z"iɪHD<~«FdZ(!+|:G@:E^ 7Ġ>RhGnMJU&h@ۜk  BEUZP;#ѬUC~vT[m3gCPw뿺5!=i`%$2$RnmY\!㚥(]3t!px+eV+Ys}O*n<\,߈a2-@#= D-䶼=OT,A*Nڍ #u7틸[BH"=%N'@<M)բtQ^-}|'(9_P5S2QE5mƉOLl?1]P+@6ee7΢y\;|Q=j`B"Zf:;PK#Lny\w^$?er3-f 8sJuT>(dc}Oz9(lY<Ѧ+_2Xnc4c(F3^jÈ7X4mKkR,(FĻ,8Cӝ.cdpNW p`:z;bߒNި$6Ɔ_$࿘< -Fzʟf .Tr ~3@*NeOI#|T- _ :8Ml Y&t g  ,.B"i>l m4cm\˺,9>֚3ܔYB` (p;a#p*ᴳ]rЋjBT!6e;#Z i{HxxhDd&WMR}~vSf1dSw1|' ?VK\9=NB~"B`:` ُ-\M]B󍥊4,ԊNed{tDT6$'!Ԙ%{zٌIk@H,<2y;佥 $ yFg"a E(R^]W! gjuPNp4V"Gw22tX[^sXa a4UXBrjcUTB;biBPM9Iv^?>ȫQTq*^Bǫsl* 7=(GZUf Ŷqnͭ)%Kt;#?R QEVF`PU 7Y–* ex:VA{^˅[1#TN!ԋPCSTeH N\zɡmn-뽣!s&!>{>}I-Lp'Y[Wi>b]~5 ʰ`0 =.tr`2tּC37xsqNE7Mg(k qXs! É)9m{ܠ:tU17};Pi>8ZG=svSUlm$Q(6j}{h>wP8 ;c!J a%S䩅8)e}!Q@u=~LW`%E1'Nle9k?Z"+h0%'{&+0ĜX9#+ھ'!`P hI;Hi ܆6r42; 3r=7/0jX휮]xEN.f}QC)JYڝɦ=A}hvs2) YcB<|EpG5c@3߫jnw,+pQϸ&TaEy?E>(Ԩש힯~ BUjs_ v;9bb3t^# Q~3 % { \k ZuaBq4Fۅ|)!h@.^j[#U'UpmPsDD K~O|Җ׋#+mܸlp&j:'8As!>Vl0I=e ?gAX׾ҟwJn %XMv@uRU7WH~5>Ϥ5i}Eo-x`"4{oJ@a.F 'z* vQ܏v–Vڦ:!A-`xm7q~Z ,> 0n :8=`]eP$ˇI4b~PJ L8|ߡ'cwYGyY-9%Or$4"]K>D/s.Y^Ő,IŸV_s`C0Y%Krm{+%XW$BS>rX M2Nr/Q'˛[1%,jsu%j {@U{HX*Thkd޻+W,%YAFF?ZCU٢)c^=4m%{UD+̘&sYN^}kVNa#H9/tذ`(bv ؍I.P{y,zY0v<0Xc2w%OoN$A@i;7uV4-$p.Õ:9,B$h?gYZ vHlb+h#?3}J -&n)ڳ54M`)B*sb#?a &<\.NŇXo]bs.!]xb ߚއc:"\Eaš[imn_8OTʓr`R\E\' lJb EۘzY^|g$RŀL^NKyT4fK!}{"-<i?lvc4C3҉* dE%km0s!q&ò* g,tCS1&kuDq>eL[&ãbDzU{ [dNT!IYw%8*/ 2c@-cFg*&HwL{7]'|ǜ+  ]\,q=Xֽ),ks;1cBܨPADp/wp뫿 ԛ :nR'Z^25^8B3 昉gL]XHRy*Y0,QX7$!WC vyB,Va?p v&ȂexƖKZ} n 26`*=2  8"rƔHøy7H7N)B$Si h/#8E/! U )g/́Hꊸww69[/ߦ *_=SytSl6cevG!(n>fdRS{qk K} NIA?BTA#0+d"ImoWx_W4^Đ帱]3VvESq\82  kcc`R.''svr6йȷދIqk _ɔY]ܼ4ֺ(* ix aOGeq9M횵ms%։6ڧT yw|/j7hbp JGT߶N q4qSR11T>H4J3o`ȩܐS62!)a"UI}{ a؇ 6:֮/wAn{ sx~jiϲb=Pl$ʃ$E| d) Sd j#qt{C=h1|mUXGNeIG}dfc|4uYU.}*~TH3:7S9`Y9ʓtrX<U*A/yMIpVm0l)%vZ`3h :d'mXv: 3L^R|*{c,Gµ-@]8,ZS@=$@A{x}3h$] U)% 05ACY!(*عbDD .7OPޥ`9tI@b@;.N4t`Fq Ju|b|k*X_nuǤ/!IG~ޡpxECXG.wk #*!r`8~^!>w^Z;A>ǎ:<-5}{sꚑ,Iº)Y9T^~BpFNVMChI'l!=!Esmr&=Ӿ-0Jȍ]Ը)2 ּ`of\}W8x,pȎ#ٷ+4KR'TGft4q@ΔYLJwe I3h6SF JE17 RqbIgV er@ otK3+B}?c-DRog c) pXe[SC~G [TgEaVdk q@TTdOk])MIv/A?Չ^ 2,`>zP8'>RbRZ\7Rs5;?x-y&} Qs3v\ V:Zд9|DJob zlw4F͵1 ݺ D [cAnkE_2m̵)7mL!X8c D5F<wҬ~7Due4ɜ{19zBY cKt|,Mb'z!uY~|>A Yg3])?}oU-/1}+7ļt :KH6`'=?|L}),[;эp% D}8Aigt3m'T&ϨB,D-ӳ v$Un0?Y5αIT_'Z`rRru+c_!Ԅ4L1jɰfLj[d3mtq Ł8\We6ĸheM;%-`͐o!b.Æ؜FŠm+x " r;:,=G8a;y JTND8ŵ@9A2X#;B*3/ƬNej\'/Ϸum]D7r-Ԕ?פ `r1D&11ߨ |ڀ/{6W)p( ߫@M#IDž>3|P)lB |Mֳ&#? r|ceNʭ@A6P#67e+QsF>f+9QM190RyFHhY1۩`$X(5aA]UFg46Ow =MoR*շ\tR%D/'XFb_(qxܫS W I/2y1NDzO=VnN蛚'U^QCni/bc"6lbФ^mFBºT#e"ߐc-ڰZr;_f^1&K?ο̅`SBk/[,z\CF v q^n΀~ثꃑ\1LLwZ9jI$!qRĽ)<(.tʞlgYZ cvQ1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyMP1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id528O1G' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\2rA7x=]rOzݚ ҃6"ϛo5d2sH]F.?~¸;#dT,GoƉTi}ڏmpP'@@L6ҏLMaO$NNl$]ۊRpkro9BbH +]/"fua4KB/;6x]_rUYvR$̈́!ދ,Ò!'J!`}3iUiP/]k_ޗiG0JSV0hEC$fn@a:c9o3AOfl ط~P:Tڧvb4|E0S_5Y!QUG% 3R_P@z|=?<$]&Swa̬zDc@Ib&-޸d4uaqDب..%tIzH."%3WPG4F( k&*r/NS\c ,@/VHjgS%[VD?7+0P=:w/Bz8і4} k)vgZK|:,15Kўhe@$E`Kk)0ʐԛiIY`]qձgYZN1G# ,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 ׻Zb#|ͲKI}mI*?0zf'Hզ9lHJm0Cj˜~Y\7 =_E :,^j%0xرah`UV8-[piM Wi u-7ؖhyQ;™.+D"m"kL:~_{XP/ !mKLUږwE5` {hz;OiS\봐e(c]>+ePe^⬘>!(InoEi@S2\7|l ?-1 %ӫ&BId&CvZȆ!y3.v?)-276^,bGNN ]v^ԬaYZ.$Tyx=ޱL:6'$.k$4BIwI`x i -1M[@ wurW7vlt2[۰ w?0r~fyVz;uTm`>OP[qgyhdGW^Ք#c% ǰ+o;o3@J*&JgRtDx ]7V"2i9suS<]8Y;/-yX¸cYiYX)27/>*~⫄ѵAʟER\V.'٩Z[! e@Cך×2V}^K ?!D[>g0IknQ~_Qv*y4Q;}ƃ۪;j0ɒcx>{Y@%x3<= )X8aæ *)OqWtV=Y|VN9E p{ɓTÈv#r^ctV8^M0yVc(upAMmɏ5m ̀ovK`xN_~Es.^Z}zF<xmŽP^b$( &0PzpDz2FrI3mw3Olg"",(W?& ;YNfY*@Y?-ZlxVECub-:W+)'.8x%\G3 < .SMn6WnR48,V"ã`XOt0;c 9m Pd2mi[szT nqG5AkKW198f7g'ˏOڮ})Yӷ.]z0*q} @EcxxO:gЉvmG~2-{<,a`v[CR L=du-3`!w]w%_>(Ku;jNO/+xѠ11sq0?y=|+oA3eu& _=GSs*P8|&1)DMϘ7!SJ1>5 d^0vhMa gGCD5PƲGO %mD\9VQe fmbVTj1Ysp@1ΕugaA?<^#>'`0#qyFw׾C'%d c'yaRRNG41\g&!(f7Wr=et -W$-Kv̞IsBJd1{sxG~W $-bF A5F}%#"8*{T+s{X$5"~1ƙ4솔8_RxlW=(a,e;n-ዔy]m{+fcD;yoOxTu^=q3x1xGSRʗ+%KY)su9EmG."%5d-]Y]‹b?F"koEҫjr eP'mϔ2%+G$rxRi Ȩ֕YCN=9^Ì8X(i. ׬l] $zrn/!jFxpa [?EZ\V*$KQk{b/:8lA݁KE8^a5ucx 9[LG6!a\H4;n-m18ziWLh+@j="5n*M]*k-f+2&6$.< ,6}DQaF96\)a'ZNpr3S6z<ȇN Uxsۅ DP\mASB[Tb=mERFJSnU[)D^'D 3KcUwX$]gkXsT0$gp&Cwgي ƨCMGZi^$pVΎrGŃНu %t GY'\)1wFpҺx: 2R'\G (\hٗAZ[x zx3Lo jXY8h,=\pf  ~d$gk1,4ZLbwV -UW r;Z:Hp]6Jna6$C$vQzMS3@#j bY7${_OBC DsfeL\[FKSJ!uo>eDpvc:鍊Mo~JњEiWk_a -+ruwX\/:+x6?lwFmG:t 2CĄdOSpf-b5I,iuL ѦXZK"ۃ9CI)OY,HgF;v@T*5uH u-f/yXPZ-LJ maym#Ia|(11B1.&mD9e3:IbM-LD(&B/ 3$n 6 rυ\CMڢOg-XY QpbO<^-Ӧ\O֬I/[r3FɃCH+h?ZRa$a5  -gs겴B7˹__l`n[9}u& `3%Qg* =n9GzzT6X'=ి9=*UN}WM7b|K͠tьdz6x? +&2rDeN6}rZ*@QL/kmiR_~"Yzm4JϮydxݺ*ÅС:&&wIY1e+p{bj%. xn= %&#ژ]fu|2L׿p-rXym+軽T,?c^d+ރH<ט {8V J%[^i}$:rycʫjUndjf]Tc%GwRկE(.Jjivjrw-3BtT;ۘD=g9"RQPaD=HÒKD|͗XMK #UXpse,_ HN>-|MhQ9"PTZ=)'rQrrF-rܨ,6ъ }?tk\b)K5e[79!4ݢ+2Uvm8: P$˾T =n,P R0'AbZƄ7R%`z\N %DU\3a fg+0Tu9ͮӈ_y; &FPYsyq)+% R,3Kp/ebD{47ih XWZ%fDDIVT߼vBeW%|dD۷ j\UZc橒; _e?éQ?Ҽ̋m-BNoaI A3ہiz1SGzcui]A@%A֐[=ThLr+z}í縢izҠ7MfORviYdW]dVӉ  7Bc33o3yX6-P2|˭- W#dJ@%t߅?XO:ڬ9iT i4qkK&Z9>0.k }7/@l__;4XJy @. ,U_;:lwyF#),f 7Vjjhk#N%sNj۝媻bgɔh5)v +D3i̅I7n191'\?:N5לH*(^oCKMJBR[|lv2-Λi;O B[.Ps / ̖&Fؽ[*Мtfo>W`=_Xo|O)Sc|GTZ #GE_`Ny:)UY u{? n?˼'e$؁;e_9uLCԷrf`6KCrzņ.\Ih m?xe.We6_9T ʷZQI`S$zOuuxyLsX g[,-WE<MEm0 F; oF?|h:|MF'.FgxSno!y*9]S+m!ՂQsH+dYm6m[=QhQBҞtb>@U+/ 2wōN}2Q ,_FMpoZM=Ck:OA=NNLY/ ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6WvOxݧu-MsVO!?pc CbC:}PYU7׊ĭRf37T|+ %sOv&aYe3Gu "ڑN?Er,pjFVd8@g']hy+WCN2DXJo5{:l3$kٱ |?*S"dk8  X9%WX5%ݞix;*#?vtE=>cԽ0B5_5a7?LVǕ8dtt86F@ w5}'cYNcaVuo(CZ[ 7UG.i 7]0ݑǁ+ `ieqyJr^#|@N]"dI`7\딭o[1 J AmEzj7Q<,z"1D%iO ʫ{ X%ނdLuwژE&z"ܷl/ʁS9\uv'&2t]q}~+8̅" &DZ `*u\&gO_|!:y K$؊pOzP/)'{;G@*QL_仨)z8G?˗Fk8?9<ѦRjݖ1a=>ܚ nh pӲbwAv܃b yX20[Ce?T<ٕY2C ܔJYjty76 ÈM>?g=̻!*'z_E9(AAFR,ZJ0,9ɸO%hG36a=:F{Ӡ-ag39/o明+NnE)HL )XCTHs.KjryIٽM _݉ܒ4_%q=f{#9r}z 1ёAAhFm\jc «5`v{onĩ#ט>8%G&N#&\֮swrسN'96N=G%{x=!oO%E So>%*+/5CX׭//-'/˧.[6'2ͮX# :S @g!*vUq՝Am@Vrh R^<2.++<5B̓e} {ڼ> 2h4NJgdUQff$"\D9ӳswe{I4:<S \ (MKHx0E42[hQ|ԃfB[ A˫g+WA2xNZt GVi{}pfC%%ʷ1@5Jk\AD>Lo{5lVUhI`>Ȓx.udDNՁfױN$jpQH#Cf:<4c5ejI6q|B< v[BD0f)z}?R;$ELC&JP{كdiG 6 Ɓ,ip\ؔ爽 m (;e~gdS,B\;Ȼ^۽eWhk9J8n*bBQnJ/< oUIgU~UQv׸~@{%1|U n0S\v4xI$_IEy޲zht'v$'t~(ZuJP[BkT6j s]FA$Z?EuMsq +2L,.M"URXgqW݋ 8[)=O+1=t&_wCESr i!oD(,4Cƒh;eJ *~&[weVi{Wt*3`uA?PH(۬ ܞ=8k, :n!sV;jD:Jb.Q 5<}@76LQYf[2Ne_ {9w<ڢUlR?֧fc}y\yQ2h^s/-7S 7xԺynjuJVpf`ÀjX95?( vv )aAك5%Z62rifl5;qr9Uv=*:Ya0~unM2croU3lLͶ_j?]!8:EefZsLW.Xx ѓBd(EїPU_lgۺm0\f-JQ\e7 IA ro'=wa@Wh Dzk',ZZ"ɤ '$LpF5?fPS9OT+y2Dr&d9vKԧzE"'sfM. !(S7n5~@~ G?@r!c7 6qy/&kܓ[ٻ6I1vw'q駂/*kVϳj{^k֞߾TTo\!ID EOAC'G2/?8$aF##&PtiMk+6T8 ߨ߸sp)6n`\I- ZNPsXuLsNDHA}fse׼xIE4H4`Y߹o3"a}jG0 /R.x6 ̰9u"DBn.Ta`,-\ (V4b^ ބx^&܏۔Iق ra9s8#1jߍ(3I")hy[Q/djێa1 ,H&Ok}\w,LzB~UGi5/?l74Sgqn6roW}›,58' !J]KD:(!Cħ ||dKɲ'!JfZ2evh%ʷ#RgNBܐ8x"˖ 6f?i>_[`CGAb|4>ˑ?njBu~87_Nm{O*+KtV`t-RuXNv<&|[ BܗL™yD'v!"u4߯h}w TJgU0Xcp4ս`b"R Jo-ێ6T3u+XWmrB{ l?Sɫ3 #ϻ=vܬr 셁A;2u)*y-8tQ:DlcG봻0.,RsS=%0ǪiU=w ·k-C')vv/:[xt26 >+ɣWF<,$) [*T0uq}prgc;p5 ݑS$3lȎȥZV<ID &]`R|&Xl)6_[|v0dwAR2ؙųGºp~lS ,Ժ^sG6fweyж wI@ H5f4o~Et$Khj(r4<Muci:ou񋿙o#Vհ=p]!nŀ_ ."Em=FlԶ]>!aW b#2ol\0U/SB;4M®lTA钅uItJ^74c? BN$en= ꀹ \f"tO_aCQoՔK gu UWs ېϨ,2w*(TTپap[ܫBD,Zڸ _6diL+Kx*Ґ#.- ȫyķjr8f>&'2ڿ?|N@[M;HocЋivnxG;AޑJ R(uF|fr=<D06jss ϵq'Rmrv+եtgڧІlf]Hng=\nFAh)#ddS3s > =MȲQIRuG:0IպHkxn%qZܤ5 K_|c?ݝh+yyQM j/u )fl51/K8Ĺ2]ã`V&˄An;?Mѭ}VDO۬2*T:s!dFࠥa7#R]CT"V|`*Fz@fRX[kHl%ToV$OrO$7GY m\|~SvUj48Qޮ2)޶q`+9+Ah#zpO5+Iy.n5B &p v֞6OPebQosEsrqnHա[K> E܍>e>93cj R" bF ~m_IQr料)0<(aAQWc[i|cʕ;㹱&jF$ bx V%,;HɍEJYʾܴ`"*H1_Mn2C4d8}Ր^ꅊTXn'-`:A }ـO]GnG aۯ5s$*FP U;CYotnS}Y1\۾xե&DCmZ|pmZ#StbۚdDڎyO @]k]VZru殡l[+)aU:gVҢ['JuewXEVf47؝.{OcrVKE6*̒9a`xƷ{>+FmifKsuKM8w ,R]= :(3MlW˯EFPc2h1h( W6VZsρ ӰIMR_e궍7' [=~au1!/NgV9MxL&/\+&ruoRt׹ߜ64B||՝ => B]"9B q;RyK歅?yܠXӟ}YZa:1CG) f~ *%'2#j(Vb7i+J$s5R) Fiו(FY/W:|?7m,j4`,!IekfD(HMV*o:*zkdܣ9yd̘5Qe8^$/u]A)ѱ5gF0@0: TfuڎO\ӒƴJh E*DI{=ʺo3CKP"EC!l' &{3ն4;ҡ~*](:KD|0 ր+3ҫ1/*+ʭN̦F֥t 04Tm^Ax)HFef8»)AQc bԋY t~er$u09Tn\/$L&:@m2TY8Ș 77gO.%\x.skDm>40 ޑر9tu O+z<\ 4/\mb=KG pTtbl,O^dh ue PV?N4VSh䊇}9aY £[mqе?#97lI,ɋ}9v ?7 4͂b!N؝F'$:?5Чv8"~?t%aë!*6S{ և3'qi+^YB3>Icvj7Ft`E<$eD2@^V k{U(:֣3s$ mV[sLn0VP{(C݂-w"2Ee?(?y- Mz@/]-jg]s%]y.gM E~ Mt 6GD@4' hd52I7\v_T) H?+8|}o\ ϏּV TA$B08WZ@A9\P:X*R>o`ag6ErPoZpzgX5"+ pP-!3sg ٴF.nc¦ :>b5Ƃٽ9F5'N XԥG: #OW5Z*ӽ4z/KKhl!.N9Pv.I)r42siVDx{9=缜*`|>-}?1IkljKd4LUvo7.flcSq2%;5 a%O, צB/eEDOGHaibI_Phʽw  F|ԱfŢVj/7ۑ|)b>ц 1y~KgcP. 점t`%<<- {;̪ޑH'ĵ<" 6Ṿhk^=q|o rkMnLaftIO5aA09vY,sbPNi5+]g)" v$=JPCl^t$Y4'-Yw^Π2J-`dzPє+mɴqtk 5'G*1bLT1my1dyADR:M^WGʮ+d}i#myB.)l4\彧2D eh L SAB\mL-hsi7OWa7CChR wc|2)Ӧ/c3urt8~s&-\ }n;F}j@Lz}7z©guy;2V 66:t!C=U#@D]c߁E*'z!]`|}7F"_ Фf01fgl镔 8޶)Ppӿ􃠦.Z>a{_$Nvl%PHN |D Q]lj[8tŭ]j/Խ=bS s0L;W4 tl>K|:3.7)Т gEЮ]sO rpFぢTVަ&JBOoRz"OV)QS*${J9NLrK$XY3dQƂw*WGP~bMX9gorL(,e#$y3M H,Y,͝|:y!T!V9,RGM93;, X:n,O B]o@+BTV \-s/þزfgWJ`,48t jz(ok%Q`IGJA,Dܲ%Ȳ)u#y#áQ!gTE-PBu G9qǥi>7c  pqHD|FHZqp5DRg\#?m*?E5=(AP7]nOںo-| uj-hQ+g{]_#Ėn9lTӊwK g/q}s\l 9OLMh<f7Mܼ̟B``z= WCVG4WOج<(,Fx20oFSvC\d1eca+r.%!CK")siy`' M;{k]`=(x:dz|WV$$f!ΥTlph!x= s\2T̼!2;>I ϻ+W W愙觺2.,ɮ[P" 8@!ep.&}!x%aVϽٸvvz%"r0!ZFu \1չyl+n`f>SDqIN6:FC6 ~V|0I&a+KHTբoޕ. }T#P: ;}ILͲM;%7/wJpm+BG S+8;Ր&־*҅Əd%k|0PmJ[U1ŭ _:1y]%_Q$hqv] GlM}(VIWT(*ݢS27-R!Kӕ}`"'s]NλzsV{(鴴eV=K2Ii@}U@۲.4zXҚƣ 憧[P.f:x*f ;=AF{cB, 팡!l+_m[rzw0Ƙj)utʈ&52l)yp4ٓnZt&йDn!}P8nC #2m;̠IZ5'Ŵ*ĜG >@##VϤ! r8Ȓ*O$x6 J]]TQF'2i x [eE_* M:Msˢ[upۯI_d1T9P*mװv[\ wFxFA) D ς~eoXbYDrqT!#iǯ|T2_n"D-Ǫ1bVd#NTv_dQ3(ҋƵoVnB⽭d9Ro&Qs+9sc֨nu[j0'\N_n^ʳ\zGOЃ:Q jPlony`ͭEL9 ^~)(\nVēe1p3J8̇`ݡQкbgYZ87483c9f23a71578518997e941a715d96c2dc80ade877691d4f439c54add1e4f3c47e94a8527bdce d6535a27214e155c3bd561efa578ed5e8e87d84e 05b2b7fe9fa8ae87f8a982178153dbe93652486c