SQLite format 3@ 9.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  1zt<< ] HOL-Corec_Examples:threads=6elapsed=158.644cpu=520.004gc=87.0087zXZִF! W ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7Y&LNǎvcLo cƈh(SnzLf믏FS^J襳zZWOي]}Yl>pd;K3cCw[\pK*ot#߱NE3Yݚk|A}q_J.x<3?V'LWgy*941Nt:P=˟[1b}}+G pyݡQԛEդdS!7|haJVS]yOEl{\wo3ZlfXʠNo؋*05uG>=ˢ[ S"'jZ׊.qg+%u_+STl6ghXCț}}u6U{+[On;[(z"j?ٳj~fۻTܒRx He>֦ʉHkQF} gH-uHUmY2#PWڀ)568lnllO%Vk>nL:g:x`zb1YDcDđ:78BbX2|Fw1{k98$|mmHbk O1>YcbyLa*Rze#WVv]Gޫx{259)7=ۂ Im$e;}*(sfJ*글DPߴS޺=xu@_ s1[Y,A%NӖxqz0Fɞyi65}'솼 OIGs#Ӯt{]a=n=9Mfԡt]'H& JhFPVwS7\DyyO;v tDfdœohMRZ̰ɵ~TZUC\^d%QVZ+W#wJd~o%ǨoK8'^JSk?F]Y0۔ބHSX,LܱN2Oնs{(pQUh]Q^K!f|,`o~FlK%>]|9F^ }bS¤FUz2虶6Gԙ 6 R, 4I)+XǁΎdsT.҅IV\Gm4YRga˒[XXܿ& R楬˞у*)ˉ՛cMWeHdfyC{tGC܀oV ,z0] 7N;䯱d,Xح p>eFWSw+m)%7r'{]»Q+7 _7s!gbvϲ-+х? I ՔVv<նgnjWۧlO_rh8Yi '׹JT724*1 {k(.Ƞ>9f[?Qy Cۘi#{ ?_^"(< o_ttԙY]rf45IpSe7sqa{ndԵH 5l9l˽ Lb&* <]u<̤„@_pr(4TMhyh\% m$$0XOmZc 7NymKnY}tJ_2gIj?V䮠%9dl1:|\ꤐ>3ȜL:9߉w\ONt`͠ ćeZלyya;֤fWQ(-^OZ7{*G7]'" F +@>C>^S >7g#4a^*u>tr 3̦/)Z\O0:b l;[)"1}k8::c62cA*_ h< -QgYZ7zXZִF! 0]ŗXi%TUnwO1..8Vfvx$IEDCĂGXu?k񊉔 R?7ȚwؓnloRrZ1ЄFfZ5k[^TdZIPXT;) 9DǛ2mvF#>NyQ"uu7lTl!*+M+Z;*}xXfrӾjF7ZA؋+PS3M$@wpYV5B.prQc>jJYjvBg?4u7 1 HOL-Corec_Examples5r1SG < 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 Z3N2J.I,F+B*A'=$8!2 ,*&"    & h]  A_" S ^X V p,Ff" Y 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_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.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.Simple_Nestingdocument/Simple_Nesting.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.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 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 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 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 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"RXL~;:<$=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  }j 1OC 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 1A5 |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=(skHKB8j39ogYZ  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  覱gYZp1A5 \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 N  S Nn1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyI1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id550 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x#= }xᖕyRaԋdp]t#kT'̅;`N-fŀ=&Bְ3<E.>o&j=u̇% Ʊ"@.kt-cI.4נx +5/ӷ;;f2,M2*RyVf8b0j]{' `E(fgzSfR:+]>#{2BWHС,քo61(eٙ:L݃7_̒h hV%#~HW6#ec1)-=!2Âpr[eWb^0M Ys*[v/5m&qw5eB>"ES֡*n<}ݨZ~*~aPmgYZ/1I# dHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! m+]:F.P2p#J) :,U>6>OMBڳ:?4JܹLeg0 ĢzZ#\P-t5@5w9vKr蜧Jf!%qEIhGœ^*'y+6+vqoK*{p5Zit` 73Jcܷd28S9E# (/I=^Y1m4$m'1J-&LU6LH?eiDW>vKn -!#No/7e%6p:Go(9$^wTro5!'*U NI jjt.!fUz6gd?UV/`T͸Nۤ:D҉.F;b왊,w%MWȖr\ AM\ҳ2|%Un}ޖyuνd{ё_?sYWo Yt2jބLQ1*]ofVh1 9]}ZymW3neK5Nx8ʉJ[ +AaE6fr:;kZ^N- 6"Bn]<ӬL=fj`k5b%2;#_:ژg픿XAoͯ8^Vח:`)l5Q^oY^ U)%CL !J:0`o͈ՁM7&dv 4CɛJcp1I!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#!\ ~gqԤ6m.hPN 0y>XVIfk 9ߴzH({(Tx;߯_RoA&N[bA+Fo_ Fn{ywrn}}<[&"87&X]ё^@1؞1~Czl= TR\~OTUm]MzcSVU"NXOڱBKQ:5!pq*dHZgy)qJW( 6[{A AIW#H鹸(>wc1(PgNwb3MWqk/nD&ʗZ*8F%fep>)R& i\'}XEDpq[1UGz52 qed*'+Jۂw{\~Po y 3`a)1r@z+nQT mĚAE <^=F]*yzFL#LQ :9~");̪~*ym}NFv+Ѫ^t^%*1 F+NY+i-^vn]!-P+p=ֈ#s . zvy@΃͞TTm[vNK ,6%uʽ !1 \_,9mh@&f>j}, 5#}n%%%'e';īBa]Av i iW+;EiJ)rn:p):i>WB=Z]QsB`)oږDN j3S?qтlr @0+s*z9LwFKy4pF95i܁![w5טmw|RTp*#?W,l6]%b~CWʴ;5󱖪)5Wv m%] \XkqƵw "YPKW1քM`ʤB_{go^1 !ƽ/ucvH5*΀jEbꗣ'AJ=|.ֿڢjVkӷD ٮ>I؞J6Jў=6 6a.Ly98^đH.V#a FLMB/rlKEKkgwgNbaoyZeU/CJ$AQv'xa:݈r\R$1.9 >_,`5HBc?1Z vF ,/%8![/%5BY_wv*"ٝ51o ( `c3Xk4ESrEt0 1ϔ @$&wlWi"mB{Y0;W>!`{湸z SlCC`r|ž)4JGhۻ _UP,Ek (#1Mz"ΓŶ$ζ.W9gJPsτ)kis-ĚHXHzֻ0wL֬8Y_QJ,i88HhSBK]Kgb3@Z!0y+V iF,H&)pssS3'>$<{KB’j5o<0Q;[̎|,#qi[_@:5reh"nivfN3Sz6R\r6':vodTCW ߐjގ 1:,1͗ha9k*08 3,fCzyetV05z./n&$nZ$(*q\Qz.O^fq o1'"ɹ]; {j HX`($ !nپpbvyq΄HuKTl5Dūm~ۥ<:H"Lۖna˫\/׈Z*#5%Be@0bщ VP6}$Tr j&T4~a t֛1q2O9>_L"Q1nKF.i=?˜c#=y؅'4H޹VndqމgO1(vkao)VXZ퍹+NUR0<ɪ!d)1- n^6WJ@yBr˿zH L eM?a&%$Q(ka'sz:o$ Lw3v 5& <%ZO|ie4V A, kD XbP8{ΖE@9^L]hɎhʤugTזa8D^fcni &e|A0!t "X B„05/BKXwH >cT9؇}ӘMV419_clق mÅ< {c棷xr10d4Ǣ~oKPB=}9yP.7V9g$G qx^Y.M ˷/(9UUL~E>p1 8ZCZ֔Ci u3X7f6s #H4nx $6B9#aSzj8L}ƭ4rWl;&mz;e}lF:XJ3,{;ir"} kKUW7g̈́'YR,t@:ƬOJwm^$|0$W n B䟷WHYjCIF?~67"mc  7@UևʲKѾx!5}%hu-v fBosMzX6U58 VQZqXIHqore0gZܵ7<-\Hj2HeujA_ "5gYZR1G# ,HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! ] !M젗OFK?aִB1gDo%ĕf]\<'pKQWr^aY 2 ˦L~x=ܑٚ*Ǝ!JС'\ Xq}*l~z9!iғcπ (b~dDgҗI幄({ $א,jcaD0lDu.?}s\NB2]%TVTҼ[;P+Kɚ ӬtMнY&-RQŴFZ= ?܁/W3 c5v~:-J5FWw BS>6 za='j8uMxaH T d_zi۷-4$;-.'[W>{ќӀx&RhPK' v0,BvwX):3d6٢- A%o" gި}0tgr>WcgLˎGe[7?%PR;1.7:.~!!SLϯnRQ8lg6׊wgxQFDv/W~j0}k[zʗp@M9_ν ,|U"WY?7RE$Fa_{>q`%1?T$Z^$!!3˗[pc­m6!8E@6uGHj~*l1;sj [ڪam[qz>_%y}HLr%џy0;g S ~ Vזjȧ) o ~1LNG$m5h]G fQNx=FUnm '_#l|ʭby,X? zD1(5(4;dnr~jԂ5I??`Q;݇G%h̅$eBsԲ@5)4_w彿M Kv/0_کqwϰ kpi_oNW2Nt>{5AOrF?{V5 Z!gE|wjFgYFd<,Ԗrﻄgk=+vq <&*\-8PV0+Ha?BV/ ϊo.e^8cQ=# IO&N& '}5C&@CcqQ)tR;HV{V5WZLMҕlΒY,艛N~ǔ[;6vʳ# Ђj^C9ȾymCa )XR5lb5y=} !0gYZٜ?[1c`HS?Jmi u)2EKg)6ٱ3ףce ~?6(#URV}uZ̾m]u1bvC#LXHa?Ү?A {``a*AX!o)@:cC\j@F3G ݪMfM5-(D.%&瀈X\@̇Ή=lmI4SWocep NV8jh ؖk $G;^&\VܲOHn'B-ԗ䌽`dep/3L? F"g]C3"р;0JH 5q~m~" S(YHzm_ r[@TAX^Gx1W~Z#PǴ/NOVfഹq3\s+"J0npLF )xkaZA"2v;&"}μ<hQLؼF`])J[bj*0> XpH g*і`nCGry\5 rR[ !_ܘAE9'&a)&֥yYȒYl7JW W#(gNu_&@ҩQ姗RHȕFz)ώݬ"| w܍ktM0Mh \ia:Ec=feڡAIc.[q©^lxE\EFկZ {wal;:-4WB."&ӲJlxx~y"eZywYͶƺŘ9tJ6^z?d&<1NS = 9GHf`$(Uskq F,yWE-LhȞZd ~>67APH۪1zW'ϥuT 4sբ{z16{uJW`,p^36BA~{[b!0_S֢> &͌uE>'=7ǻY ]VL-SfF}Z^[TpsXuXS.&EJq:S:NfP&!hzԠgDb'P`%ͲzWlktMw[X1#*tR wZ [hX9CYPjiO֡_9UUS T:{D/:oY1aFqbh>؝Ϳ須 Z1hI?oaRh" ŠuR>-o:ݏiH#$FHM_̹PeN;O"Ȥ%pWpS$#΂TqHa|י{gO>arтrJn_@g?$NMCAFIp#g‡ pd1Db90.QC벲(rHj..}ରMuRt`.C!p@?L_;kY^彭Dfzdxup|+),` V^.W#hT'4'=-$ aBtnQFpU.%Db \(JH>SwU?ʡCXjpZ-q] c!Lr3;X;IN/f%¸^sbg/0't3 Hs)?t>'p]>GXFp E ֦1aal[Ի[iO6*ge8򁂩qKdIڮ-77{2;9/#uuydi $ȩ7dQyx1nh*F--=[K_!1L)/숞E<'QdjU.g$ٴ|b*xŁ(C'8JZ8IppH=ẃs+DZ2t\p#)Ħn~bR¹;%862:0֤L1,'Uͩ~~ MvI)fB;[2MA7_1!HjU*Ldp=)UzP?䀐$?jnYl"zed]e aJߦc" E>p<ݦ_^,tObavr=KA}ʘ{1x!njz3K\oew "_!K 𼘄|x@y'&@"Kw0Zm=86.ifOT~Q4w:p(i^au&n!C1e)Jr7anZ{PUDCOOw&wyXSSxV$4Sn :#ݳvkaqX0٣\9O3q=0_v1+UV,M1pc64Ofw V!UH"ѣѲ>x'$?ff9 t/)# Y bV*jb'r}Q1mۡTt4 =&AG+DW7+IIfpQ_` pvBoa]͙zlCNRD|t?=|NR2"( Įa1KtjŰQ!LB֏Vx~{x {:CVejBH|IvJТu>/kw`]NgƟ Uatqٚ CW~RyB8'Rc}MrVA Cŝ]ZC=(ߟ-?pЁsIac X! 7 J s)Vcq Pz{z?;C-󟦋F7+acXMRnLrd77\E%*v 7W,WQ2O?7| =\xї6 QA'`fn2\PPr|"!4m ve؝$Z]NgS"MKJG;gxD> kpGI5H췍0NFrq\&3 с=I?>*q[Ʈ)~@*Lq]`qeh"ͺfI CR[l'G&ۘ}3e5~o6 d LOB%)\gƴXnЍ \B'#|~mZ+WИ;pT1ri E 4.^-^ Nm~Sy[/47,}R8<Ն2sݑ%d+i<}q~yY&g߇H~tZEcbO"3^qm>@{+BGƨF`a<;Al,(-1^|$5agNϧȶ)Nj.qOjg'y ~;[!G+yMXDUժkZ-ӨtcE#{Df'Yjls~ʲęB[:Aq2wso]>b!-k3@Ô:_ZEǛ48-ax$)vYEU48&Q dA0|=ry] ;.xJRM}5 K:ǡ/[dM4qA։%/.lBdH< l%PTƠp%^vߌ>HB0:T^~3Yg)K(iUYoV鱭˃ܫo]@A%v|1ky pwJ3?Z˵=}34C 0mlr.D٢,!Do=K3m׈3nTLIhmJ8:)DsB2[{,*J} C-&UVj8W6E|,e}I~\|/=@u% ,"\$QOj,Q!C$4EϨPb&t^dtIwh"4-zLNhp7ȵUw/(?}~JJcڼV wO]2!Ta.#iCkjtO2Ԑ" n6bR{Jgt,a͆д@Nm4/3˕Cp3?i0+P< bɜEb!Q;I\q;T8IzE˞˦ۏB!AͰ۝0YM5MJfOU@-VZ?*$O%B,i|Y'0L0;RyԽdХT:5 80h Qp?u9yV "xyyϻ;c#(Iծ cP>q0jO]P7( BYkB#Å1j 3@a(W:`Hkrv >G;ή+ӍS<-T|ܨsgj230!pk ktz[,ꣲǔV;Љ5,&okڢ׵}&<..KIXiy |0U:v94Ŭ+^ vo]XcZ~Dм:TS0I#pc?M_0Q%}hOIm v-'$Ǽ#KY!|E2}ubH#Qo32j/{jጒuͪZ+l 0`*dI9>vU"SN݆+:e ܤ۬\6xՕkCUϢh0"uhݓs@@еn%HUfڼ2,p Zfyd=\ r}ȯm,%`.KOdOŌ_)lM"J=+J>/CV]2l+AՔ[\ӫFma54f}dOEc5i8ZШ$G{t]iE<ЃJx2VU@͝q/?NVmION0/Zl5'^<1 $#Ӿpf:pUGa׭ɪ}uwlb[ q{+-!:<"qSˌSZoz+`g_̀X.hí=bÍ%%,21w})VD^E jS.da͡8wO.3 3?zllv%+H ʇ5>$pu6Pr ^,ogS'_Vy< E]%N3hP"Yump+}O$8awꈡ_fEY=9tm[)Ţւ-YB)~Z#X\TIb|);0}؟lIzɖE^Z܊;&D+q-\s4>~ B͊WnNTCwm4Z[&o1 b z?8unmB"ry?Q%q\Cw 9Ε&$@=_by/iV ~B~3GKڣ0df,˫/0Gu/z+Î>:DyP%A ;E]sJX/$Pyzيr&T{I_سf O+N |^;1Uud-CA{zD#]hjt3m),1U}\.!!;elc}rF4>\n0?i#P>}ݣ ^ʿOX%TQ:}{ GVؐ"MܫwIg4k0ybB cLxxZ*4QΨp|^CbUd]4cbZV>D[` &:7o`"^f>{yS|J[A@db^(TBc߹HN~έfh=P-tƐ U-QT#$ rc h$ obdЧp1(@箻G!D:|~HiT>|?JպW4|\P:-{5!%9'RTzO03R0[VOH=)<18 Nlؓփ%]k颍N}Rh^\|X7aQ>tk*j&,@c#` %[ia8={RFK3WrphQ v^g3@}2>xA9l*kݍΣ9L㹟(RZϖhIO-HkB6tj?eTzbkIw+Ӽ!磾1X/Dx3cउK?}`tɽLesb+>4A},^ųR/J߭ SzF(F{Z='޴螁P"A/VfL ;-ו{"hmޕݵHB^67 {wm` #ۓ(_ꗋx{Y]W^K{ 81r2E@?n&a;Cf4ygYZ Ch"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_id546w 1A# |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! R] !M젗OFK?aִB1gD '+JV {5gG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCohSu xBf)|-krʓzM${7$ko͝ 7\0~ "*Wvȹ\zb( {?s% Ry̛q"`x$=K "'Ӛ^,K o޹vGMtZ%a;PH3!=/ʇkPz(koE@ ҍ eC~eҭ*5q\d<jӊN1 |1d\jspލM=mh?@¦Gxunp8\b:UrT!~lR7l{8&ʣB)pF<9pKllYlf8-0A:8Xc=Ƴf E+jh{܍ij·\XnK53E\RGHxʒ2,lH.k_Wf ̐w|`SH0J=3՝ɨJӗ{ $iNmjAyAI&b飞Qޛ09I2U)qC a1pNa# T/F8Lߵ}J!${8Fm*!7w'j#4U 6rY~8L(L}qߘmx"#qxCcw 9 Y/dӱgYZh1A!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\3HK s ق 6&^ע<97q9@_~f@#_ Atس-u[ro" ׾cܹ+w;ZнNߖIC墀fIn+ 6bcbGLϋDJ|x{4%0TĦu̅0yQ~ҍPBI\M];ɭ~`v`g ) Ό+^'cq`ͼ K:87` XdBOaQVtr9} m|ػө&, ӄC"JqjܻS'T_[zsp•M:zhU#&l--lSEx tK5:j0D#YM> $rvgƼ01H28,8㦺\Gi50c; 0snPpÅtn ]nV;@S_G&7N΢rцTDA)[4 h:$CC+:vw4k*ivUEThюU8+ K-A ʍ`"mWt'+oq;61|YSth29Nb&5?d(q@RKW$308~~ bi{7HmLes.YE;րp="NEj4` 5"[«wO\5`!Xa[׳1Kabg:Wedr.{bzB08r^c 3|K7F gYZ 22l&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! z]D?7 {?:fH\9Ź+ v,leVmרsu~ wO 7*1ʃd*4oOdsi7kVRtZp7CфL8 B{\,HN?%_rm/2` Sf~EƩ14N "A|b²I $pxU#3QG4vV#'B ^o:&5+' :`Wj'Y--9iJVk@i1.#/(q|lR!տ:WTۣ`emI@LH\Y҅y9U>qC&F`sp"q4ffo&I= _NЗ8ik*qy4l4ڝF_UKv W΃GM2M7dD{:46icx Z5O{eєq!,<֮Ncnxze饒[n·Ɋg Bķ-GV$s`B>slT˫3k^TŅ>~?X1\LfeN N|l|3B!@}X`s8v%c8F}X!+0JHL%kǒĻ 7R2k{|l^Nt͂OpS121^5f^žDCb2m6hpAտM1K%O*Ud'!R)F4@ ECk2QΧ1}tx0MOls[9K- gx[nb޴>o2ocJl IޱHscUxwkxf$jQ kR$ 8ѯ3p,^)`l7h'=ld$d颅#יRQ-˄Gۙl TNw3gQOaho ߇sL'߉Ky** $՚>`ow8OR*ٲR 6Dvϟ?G !6(膃ta2+M #Ey °%.Rj{XZC'b t8#H UZآYIɵg&/W=(vc5 c%a<ふjhj.eϲ΢tԁfr=4b<4+;b0:HK"Y~ $1ng3;[}Z Md؄4G%nj<&ioMY="nS}xm PT, oUH J#z3~</ uCNnӴ!:*U:uqEU"E*>BSJ=j ^N?V7LA=syM8+MQB?ÿIIG[ ,rfTmeL53K:' 9LH/{O)SC #ũb"gRHMCAZ^(!-q3)wgY%&n\23'oCf_4!fMF g] |UvIz,̦ȌlÛ- S{iwlJLb[(.@,w w&@)R_ /{\D7&Zkx[ n]l/ǩaYe站/sߍ~${Z^ Yz&B8s? v (o5Ew`]^ҹNnf#WuLJd/:Gd*WЕ/x "0gYZԚ{;ь#uo,bHb F-UoجF讓vCu bVp0/&) H֡ .TZ?Ư* hi3DfRs:‡oy+A\kΰ֌^d`r?>Bݢbs:ƎX.kMNK,g9|J]3G3(OnSR-_Ҽ=w`_ W@>Dkp3'yN?sݰ bTu˸Ib|JՑ!9n7:3)&O5:w)[7f;kO1p *A 6 c{*͊$c,x K>g ,5^?^ v.RR,yjU,5DpMzsE}ʹF'pL?e30to.nO)45! ^S%Dy`^:nO/9:R^[5 3զ>sqp/?G)g2] HR2TBI9Q4*˅}S5b;鄕]7d.xjK{g|Iʖ~Y$C ~&n\SB.D}[:c}!bKZSz7-/x>d:Ԭ4z 9e#EGuMiNU$;V2O5g>0\vO ȁC*qT6,6s`=Lka,*RPރ/2Açc@t# gZZ8lVC)Y_n 4zބj)%ax+W@l^߼lCTݻ&|h&qH+!{ḎI^=N{q.?Ҟ5΢-֡3ReE8Sg 18=v J%N(wdbsLc ["m j[bpuq@2`fis2NEa)[" sה]3Ad~f )ŇyI :i Q9&KutR"`8Ռ~&}I|q=-QߐC }oޒʛOex3=J$=S?cVoC=9vvws=;v/N+pK@4-ӤZJc\yNra ._Zu&oPED3:R@=bn1-E!;QG@Q GP3p _HM&4|ZO2ǧ,NGKrls+W ~Qdf/S.o~nx, E2yC4 >OrDڵo$'Aа`~KڪID UM @p16DVJhL$ep+T_;.1ߺz6X}V>/e_2z8x ڞå7g+E4Yv9n$jf[^c1F]'iVma9CH {NݓAԀr}o#ʧC[)e kB}*&4͖Pը&e=5U \)Ƶx2܉OZi<Z'(oD<[K!QofWq&Yx`{HUOp߽ςgsoDw']v@p"P'4(楺Is*Su^Kj| \ /Dx蔣2[9}89{+FгQT=bc{]PjG Fd䤷&h)DQH&m٧懗`btN_.NU 4ղe%aAVI8*D=@zz&&+@gϭɩ<[ZF]LFYT<ۣ_uVX?XߕK蹹4؀ E݆ӳʣ/ց>7PE7H h_X̳7Q'6 ?tCMeMfZx(ajEpqX #-\Ƴy3ePvnI*ۭBů>Qw!ySȵ{tNж(iGo-%w['j5!-5Wh 0*Qϛ]װHpPwʾlIraC^5dEa=f"91N?{%bL_zgY=vӌKRܓCan AH,~SEJ j|\uf3mt.{@#Q&V\-;*FNqC}# Gm_ä]&;L/Yг$1;̺ %7-hjlbj=[tuqJa#yBUyI>QnFoMrvRg()$E{=̎a4/CeN#8VE ˥y MNj4S(;z.wH ͍Nɻe~ucM! $MHs%̘Oz#8GRC1]և9V;օuCr.!^><gx'Ν3l"||}SX̢tEMJ]F$3KUN2"m/2)z0iQI)xҪzҬ3*fAQhJaӽJZKZm[g)R|,s\wSzZ$Rtu,v- 1`Fl,H#)QsVJ\~\ؔ:Є#N)2IP7C94u͗ r$u }s+uh-+:#8-KBN-SMl ;޿Uo4,%qGB ;}C7Y[-䙱K֛sֻ$LosXk 岏}lƓ@Z wwL,'(fSt:\! vsEKyd0қI`d)C.HjSHÒ]QϟIduɩj!Ĝ -C3hoaY t:3+J C7vCK<~\9^TUYh! ʳVhY'+P\ V#_wiU֟P]./G*bïA0l+뉗F:zC #ی8G$lE 9vGds+I|#zSo;T[z! im-5b2tżD KM~EMzmhHwBC+bʤ=Yf STpsi T30e\8g$w1-:A*bVK.˳3;58$m yۢfhC8YYi!)Y?͒q|z6mԬ$%qt{.z&)L\&tl3} ,f2fIYs뮬&2وI>{@Zw:lEa &Yvw%{w#B(iC/"(d߳N칢vz8?A[N._cfXWy,P) $o2,rc*Ϭנ L0zăCmJN }PydK,nW.=ofȡ(zR5}yi{ Q<,@];=VzK(G-| BWxjǁ^GgD!zd #{U_3;Ň #TS"e0쁮B*GTg0WtwfGJwVRLwOA̹-^irC~6s{ l7z65.R灵(<ބ[25"Qd&Ώ4`ʛlb`hs$_@flN2a;˩-h:hHg3c!D^F| n'8[현 /Jw*2iWV`>%R&fƗ#˂km]e8%UH,`Z+qj Lo/intYBKMUbIxeO36)F!YLyb @>{]"Ja~-%Xd? &xMbÅeRp$9)s(~hocn7tRCӅ# `n:"xj/$6f~Ct)rE*H)̗>2.gpTHpGc4Cx1n6W Bg7~+}&Q\t&wIE_|ShE ͨSRh0Uҋod^*l7| vHrXagT? 1=s^(g#, >d{技@WKSndZ=g"mS Ny:DJ'VT7Ft#<`e2;2A'Lm=gnYT*0߹A)[890v;'=ˋ}i9f)b#mx)bjZ_ikJ={!rL`31<5x]!y~~1 M@YVJVP[AdWVOTPF0U_1 aij>qq#XwfyaZD Kn y*cJJgai_c#20+Ԥ'OLxSPϕF.Z(DZq Ib=1e FF,) ד皏)d{!U c00¦dX֭o`uuҹn,Lj^;Ab=m 8h:Ǎwe].6\Z  6yI@`Li v*`1{,1>j:5^͌F_@k UǮ$hMoƦh˂ʁ7`2FH`sE` М{?ɣ LqQngưARn?7ҚvMs7J+qbDi+<([rUkq>-tE?{ $C۰=vYNql3 w-?k=kFZ6i^vOã38 yIjЄs4R';6+hbUR[HӋ{my%t4dZV5f:,nR!KZ9qFʄ4X7JoN|_ G\B$0aRU{8: fUFZ,+c< Z^,m HW;{K";jiӽN>FdMр?ܼ,) _jt!}_ZTKZ% r3:Yf`UWN65jbLu3"ahX.+>ss\d2:#[Â8̑lA)tʷG*juzy}vlw n>}9(Snmߠ50+%,:>7sM~,8{##!C$cf_}fh5Vj2;a{@E̼WrEH SBukh5g_'ʞ<;^E`Sɑ.S|ğECMP3R?cFe}J8ևi> b8,4O9 ֎i]ؿu3_c0*q:LT h 8l|ު6+h\4Ky؉9NB6iTJ!ZcNvIZyė.KgS=@%*]`sT]*[uk52pc{Egh.Qw[ | adfxV~}Jlz'PۃgʮcJ]z5\o^cL;;u\[3V\۟I5j8"F-f߱>J% i+9N&v*!>yB_'»=ݏn31vyDH}̦sa9P8J~陱,Yj^#>w~hIu0ݷTw QM[&C96Eɮa&#  P}ׂ.8&[D\^#?р֟\SAw ik RqѨXv$ٕ3q?>PJDZ`Y*I"_CpԹ0!3Is js6 G\,{+ PLNL9 w dܿ=55=6Gpt-(ŊB9&'j$5' L޶tYvgZҥL'moq^1j@Pbc`{A>q?r8k AJXdd(Qu}@SkTLh-r1l5iIUDE@T9$O*׏x2oY/m >7̧wE:Dmv̨:NmYtT5W_>=H)/ $'Sl(]/o$>ATNmd.z*M@&clo[Cb3ܓyW%mͭ(Ge"d#f,A1Rl[,|vvaQ㤀֜*zbKM̟']LLo?EXB+"'mjEΕx6T72yyKZ_&Un|.qe̶6=Q1Y72Sa8/YOB\Q=>@YcZSA#ts[{4@ 3\˩mU3x=GƛXb;䦧ЗBȈ4XɅF:,`t2Qa `үgNƦD%.49H  ]TfeP\ڊM" 8N Ѵ\;' Д@qham`@(죝 p+_riΐ8$q;#dj2`̤ Lc ]Xa~z!\_޺rb /m]3-_[>3MI32N8j{J휉d޶!ҡQ 뚶vWFxoN HjzX^9~Zhڸ%xphb0>p'1VtbfQ#l}A;"NB<}rJt6z%'a5D/̶Qw=egfW?#G2 P/8N>8x2iBkz,WMiCc]8"&8Z-r&vo~AN6 \;;vs Bߍ.D+ˍÅB]dvXLʿ_фJ;y'Ft ~Nld:{:! eّfIEd|a/Pd2@NW}VE/V84&,j["@Q8g1,`KUp˪$~E.Wɨa1w^|TA!k8&m,{UYȑ;;>G *ܲBN@ mK5*PEO21kbMO,FԖٓ1y0tK\HMJWJx57UICp/I `䯷?ȅSܧHlvP4e #aRKD$a ?Ai㧜wap.ͯKZi_7.J )\n93 ߚ`=!uz Flokx!-l?6VpzHZ0cSL uuA6 6&tю3&z]ge\dAS1*eъ:` k4@ݳbkm# e%0KDG\F"0J1;Epߚ |`)H]hú.v&%)zw'[ᷴp,[6}] s01d},DR$"E˔Mv3j91t" E 6u /"-H<6%EٽT8IEĭJ/8Jk'r@ !$7s`WSmTP܃}{f3t6nO˛yEiEq˂<_&0]P s[k=E!{QGo_^D,vؐ)6+YgR7+UT uo+RńƳ Nɭ,m`2+^oUG RmR抝joi⭢f8WkBu)7WUBoF JkQk!+eXFu\m{BtCTM )VRߡu upn]I[E!.r5K4f*T Qp;#8~?(@XlЫvq^Lc&ҍZ<؇1ǡ̬.gn| I@\vlV,С$>lt睓2є(;jHa^lf5حa<\鳠r^PyJD>4kNa)>- uJq6(ԞMhjRbMO9MK*6DPef-SP{%4\ *I.x i㭌eZs'w&ٷsqˊ+$'#8㬸y̲ ?Xj@U摺h}e|;`t^ۤ$qc>.ek-ؐgϑb*:.4IaQhW@eh͌-]j~fr#BJ;_ (_e;2C6+[n1,Du! r9,G; OtM<8 %Ӱ/?VQlHunll;K`D&q}]3HȕAAF&^.K MJd7m4G_/8uWm{L̈R8}W}bFuejwJzHrKbrP%arӮM2mU2̚S$a= %Qe((;MPCIz l,Z09 (.s{ ~v/Da"Bۙ-P)4Dr2'U?0n>18=Eu`\TT6ga͜ϼ#îhn&<4c|b)~czḟk|",D>u؜לکgK%kM1t 8هHeyIRVKJNDʼnJ*N6UZBp%yڬe#\.Sj$( 3|SsIGבpN9+WngʄH<ω)$s!>9q@ft2OA?nv:VLCЪTyjruE:E*$~/)NfÍZ+XN@G).CN.]E51hDkT\9jfbPTWE>/ jcłEI=xB[F(&5$'2Uګ} 5E1 /\cngg|WTc+I2~Dˡ/&'bU]V"c4Jݥ:23D[ތc }&LAS>#dɻ Jt{,n$s;kx(y[%YIap+fA.t"]ˢu_KԃN 23qۈi f5|@L%`XsTC(6r^2fo+ :~mscq+j5v2`]1X? (\PSjn|ۖeE<(b"'lT8NXIs-Eȼ{hAԼ2*eXC3cH-ƞL~X1twNPh|6—Eˎh8 PN*"j]6'HL?ӑV֞V*gw_oN>e  F|BbFଋlE,UZTusu),0]1-C,evE\mS5R$u%ƖY;%HSg@d?tD;*>ۗPr!(H`+rdp ?Of[V<.ky0Bɣ+^iչNQTsN"26qZR&)WĈvDYqS>u>SoX-MCu |TF޽B(c`"\uCh:o ٪l;Mʊ#[*p.UL>hsǾde՗(k!:2dQ;'}t. i)ܜF]hdul V˟vW3m5r(h;mU\]՜宵g3ع"T_C^u@vzOcXb*Ox3 oubk}2iW^Pu92 uFE -6Xf"t&mսty-/&јI:T"L.^C堬9qt[Fa``5}TFU%NBYP-ԏ U[w!ttP;b1nj)j᳒6\4YtKNM;Zw/aN`r~r68}!(` Q 2ix<5*9TYM*`9KQuF^gۚ AI w ؔ"Ɣ#R/ۗM힏|cxoݎ{U486#-2V KD`GlrTAę??G?H;K#)ir`G,צU>Πj?HG}શn\v Q]As+)kVb]*u·xG4 &fOk_`6v Fް q|z=.#JΘ{񩣤}PtdZzs) '츰#v8+H~ǚǴ0u@hZI<G1B%4+պ7[ۡh<6]:v}8긭N1**jU_'䄦؊];9.4׊ W tpbvTF .Do2zoӐWwxۢG羺 ?qje*e+d~H':|պd_7]i/&hE7l)c7a.t-MP?[u3e#L>I]_na (i"jl̮r .#gX"/+^vgSwPJ=f0 kEBҗ#t=׬r9:߹;B`_+SGT ^~B[s8ʰ-_*Q%Jngw x~y`MˡcH÷!CHڬh6N{tPRנtK"/|bݹf@ _itG= K] abR .,څ=ǶFKZ\oN 0f@[1";e6pGx+Ⳗ$d^:iF^14%_i0vͲ^ oV^l(2CRM%#񃭿fW~%5dM SKM!YCh2J4a7t0tՅz~itw'C߅ :ħ'~f_U~c@c 9&dI/Jb&+ݲq!O>b(jmj H7, *yw90hL=uD[U ޢ/JS6ہ1rB'׭2J&\2:ߦzVzxA'QH@]#(Y[--%Аuq$<40姦7tzwmj޷|wȪMK\gp4}qǡ[\/ғTǥkve CdыmwNan߇ptNi=oӀ&8Ҫ]Y@{(ADb(>o?܆8NRI^]ܙ&H.IODsd54jn&6XDwKd/b()TWEG~'vlSDLnAcs:Ԯ;rh tVQȮ0W[ԭ@ VE{##QuuN5~L+](A0sU6)!*(֩!;H"9sL6ոu]Qdۺ`nOӻS(,l pwM9%t8Jnvc^z:[: =3Ti'Hl]9ܨgQҳ֢k_ЏVA;-k>CY \:k: ^UT-zUMD-Q!F[rMi)kNPD8H1<7zD?=AA"+ɜqz(r9kE"GE鲏 eG^~]&ZƘWEnBC1]@ј>[Q$zM0N^{:~~@,o+.>ھ,ޮt Mu&(^#3B(uG`t9nT$RlW ,8(Ti7짏&w7U8 KlʼniַA.QEH=cJpӉ Y^wA2J3):mPrYB3̏ulDڱzݡ' ly}Aa/_dXyh 3H ҉fDjbxttaE$P¹Mk}&n9 ࡳp 2dF0%C׈.BTƤfł0&!9kaJ,7Jozr^4~D06 v"чK>].bF~{ *HApAa{ҾnkȀەR\x+' /I^}YOL!t";MuFr$9L|(3?uVZps-@bcٖٷʒYT<6 *\ 4W.i~A9ԿN ѱ7҃Cjʩau (ޢt `O}btLvIJ"r"LZ 62!e{3Tw{޺= xUCh"m`ڸ3 j!l n_oz,A7ݽSe"4?]ܴ9[y4 K.S!qTl0sԠkh7⥰畞' LI-v]Y_cO2bqG2q݇#uںIE.rQus)J%<4ʒHhnl:-}ep7- S ١RƖ DhBm| (k) t±nT. IǎE(RJs{>ۧ ݫ`"4jD~um!!`4EYħ *UVm|iYNx n ,G0mda_)>hݱ[dk&^G'];2}jK++f~IϲZ$ԉobZĚ!zη;TƱ^jހߊxk?$͒PMt/izt@;ՑKm9pg[1NJtTAtt)3N >26Evjp026]hъ81>iѨ4)HFB{a޾[} s T 쌥2rE19Sa#&;?{vq4k`ϑ+U"$wyJ4sOVk6;%c'wU<ux\RN S{ޖƨ5[OȕNݍ.1G(Bvϣ2u UM[|fm1?;tg/RTw|HUyr8%QNY"5Okj'VA1+40k%ڇڡ59M09b2ۋ%!]^~IA~ޕҏbH>=3b I%CrNtAd!v^:WN@ojSޓ=P޳eX]PMJeBoPAgXQkPEGT ;E)H~ze>=pIG^gt,7KX8W\˺O-.SiQ%mIT?#b~iU"ޢc2W|0\;wA0o,Q5HlUWD'I7hO^r}Ȫ.4XI42|\ںd/= |n<#t+d@QmM=s !*l;YNel,fa?fJdKT=Jjwp3G%[8SfX4#>7s;فd;i$Qڰ.yb\wy}oOϕ @L\x&{BX5I٫oU]Ga&L-+T ȼVhFZSqGSԃҨf6I|a6>nV!Ur~BO=^rA%u!Bݩ r@YO?ZF;=Ύ\B?BN^;-6**iȧ-ԕLJre‰}Ԇ{zթQ?1H CQQ[z&};Pq #K$âaUh*iCQٗ )R8r _<bS[oO_riaUl'rniW^$|`_, L8ȨM(L:%ɗbF{8Onv% GK;BIK8Br5IFt!_ .Wr^i\*E~/ A6,q1qv>B_I.A#X eK ,.ò& 1ysAHiߟѲ@v]G1$*d#6q'opM(rɣB[n c1#b!ػY76Um;iP3bY4OtT)Mx}Hq? 化K lhi]EU.n9ݲ|rmTo54~ y@| N @aa]hkXylJn$Kֻ3u&?pc0Z҃yh Ek΄ ؀鈆Ä=E;M^%A&L=zU={m?rCaCW BUc|#:K}5kaˉF,{6eIUVCt/Uѣ,"t3#ߵ"`L.TZyt7LkmdnOl`Έ?rL?fy+"UZ$m>s4CCXiSpZ@@touF6\e覡"z?Hbaq(\Fownh;MTC5O2<~_.eQrl= @UX݈ SalqôVO ^i jq;B~qǏjeVpRG9Ҡ(%1dbzZbuA;CI4gsAǡ@|ÊǨxZʀ̔CE;`މWd97׵Me>bNWwAY(jpV U5Nv8>AR xhITr @UO`alǻʹ&M]@ 3Uh"GnTBLLr[V}D)ns-qw(⮰0zh@81FGv`e~YE|QP `c#>(.`9mq wp K7"6Ӫ)>;E˙yړWN=j>W0k50Aۚ;!1Rw?߇ .9:f՛Y<Ǭ汢v(i^FcA`6Qn "Zn ˤ{'Q3Y)thfbC o԰z]u$ %Z o t;=*|{maE" ֛"iqIWH^hmb{$M CTGU(sW"|FeP-f$tָ8|r|ΐx )FaAd$FtOU`IFXqEBY YrO4\9΅ 86JW$/\[-hj47+Tl^/TkT蝎7@x*bâ=^XiuV#1wѕ8b_*}5t.zd{@L=}̤N2l|tVI/&2 b3T8ܵٷ4Kt#.%*CՅJ.4 9*3/-[hjP l1qwHL)'W#H."x~iJIYHcE"i)We/ܗnz܍]?` q Hɿ&F\_/k-ָ=[)Xq<,7CxүX$~HKG٧O]QCOwL '%iP}ʲ^8C0uUejA !EJ=`rXQ(V"X;M0?-dǐt$8ph(Њ{ZHP~3 TQM 9u< =4/95[Y_;V-fkTrXnJ#E~O0 b ] n* nfu0FRl6vvqsFb4o98yi?Θ̎^@ ОXp줁-]b'YT”/ML tA{{M>Gâ3,;G7fދOi !P͛Tz~|9#|*3p5chgYZ DD,1O' |HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x6_Iu &"zƺGEOÄxZ{~ z,~iq<7քP`]n$SSs/+ J@Y% vL M0S'7f_}nǻLK Euv )Zv/I}#ʘ!OPk6l ?kջS>MdJiĸ`[+יs۳KU?AW [}:2CQkyS ţRĺ-ޥeqqUi+r'F)3W_Y4ܡ JTwƛ2W5i䄄ظn3]@HAcUvP^8J<ƿ4:ItWȵSwI>,(1!c̽wJ6v<ډ̙MCpQ%WԼG(zTo*? OG@#~ɒ "QSMQ%G~>Y@*!o缔e85՗iatTDh ĶI矀Lp\Lri&JpqѣW Y;NpIR8I:BU .Z*9gvr YLer2t:C{YӶkr )^Bi'Eatfp=!`Kty:Ԗ-Jn&%D8 UBmD]S/œkKmI\u}3䫖yw#v9\7zOX-+Ks"7b,C8m6*ͧV|jښ*'aP64Z twiĵMdTPif5),jLoY;z.k^ɃҥopQ6QgYZ.+1O# \HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD Ƿ1Jv›I`,xŝVRw#qf4LJQ;ZG[lڈHhbDxxtx `3} ɏ(ʈcӛ+`ӤS!YBKȨRL#;6"ck*p쫡DsTOL{ đjhXM[d!N/Aow m j^a)͠OHs::Ӫ3k \ ZknLkMű="L6J5V d(B0;zDv&2$lfe*5]푱(C Ԍ"d4D3ݞ٩nW@#Pi;SQ?3^== aj&&dEw~c&G!5%2^dӏߥEЕ@[Y_ hV]^UWjBFq,Ǘl0 L4'J#TTHPn f\xyDܟV5iUD#32o9|zw5ۡ8q`GB]@ S'"n: &-t-mݪQ;ssG+::xx~.*y s%q%y6syrgfW,-H i'Dl SWI5*N)Չ oNkX>4!JxΥV`7: osqgh'_؝E?]n);)nNiBHwCU,9יLs3y,|~&n"Uv~^U AjOZv]? 98CQG_9R/uT%3r<:N&g˻|6jU|v.3 uu8&+K;3БPucAۍtҬڤL~:d[ِzˡ8o|uPӯ[OU P_[ Y.Fh7t9g1vͶbb}IT]M D5 ݜK=Hn %˃/e%Մρ꾒VV;3wϏRCY'%f2Bϕ+Kj3#c048?nM.?t{yfB#yoӱI9Wpe2IѯCtfXp}!$bNဟ U\_nPo-Ck~p*[2D*ٟ>W壤E'c 5:EsxaC6)3tY!i' Gi\-@vG9CTbNJ' !=my@B.,GkTDVUc;zΑT\ e51wYr5Wʂ@W.ٽYgUZy홙9l/0(p蘿>aWX-|] [~*,\+-M,ɞa'\ #=B(_ P CwCl?$]#)_Fz7'v&Y5W{<ó/?_?r9T\# R$4t)nbƪw8ɫV.OXǿRRKܸLjM7Q^W{ӝD|(8ow{_r{x>1B(2"O4R\'(WldVL%q,;Q=s-q§=;K뎓Ur V#:l@+T*%Fy }rP}^IA+~Ogb. E,6sӿc(f7`Us{ѳa+%|J1o[F܀SKə1·/: cIp8%RI{}/BM9U3DŽx!,}K~ZnU_ J&-͓*_t+\P*-y#Mcu1FɀK~5Kԅ;}y]h1wp9M&?c~3cdL{ia ,dH>ﷃ|:ea:58ۻ[ꨏG^%#|v'!E\e^niB D/q@ϮRYUd1&`0^?tPj]%'į$P%4f&N5Q_YBDŨ_N\^.̀YKEA;d=ST4ezE`0j(jԾB\A8kQ$uD2=F1{c/X c?m㲏8fʠ$5 C¢ZŰSKdy juj#ӂ3&^MdbIx ]+`Ƕh-X<7 KU/^z^x|$ț}SʵQ4D^-WƔtw؏ օWtN;`IՁ\'P.nkd=zqDM[՟,1kf#|kOl )]>7I*%aI /|]`.DPǵΪO:JCGOaD+AH5ZEY8SOis}'s(".:4xH&W{l{s#Rjۥb~gsq zR>`~[@&-ګīp /OЏ/꺲 m,ji* eIz;1K([ӶE~ n,6JRtŝ4k)E"U, SMD׸|MŒkn 58hv'[D7㾻U.33)P׭m[㇂+H޻")e#\[K{X#+OhCT_=üe\?֒l06A0Vv*yϮK3=CAdi"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_id526#E>8g 0ܹ)H'kߌ,1Xȣ O3}/Ù 4. eLS84MڦX> ]~YB0+ .ͰH[.%g$ku0 ʀAF^3,}J17ZyOT`̕WJq (!zH]Ce`\t旚"@h9үwkP e9g&ގƷ.@P24?&g1SpǗ)ZpZY-?#nq?6Ӟ:JU>7 ۂut"sakx.jwCݧO8i<,<*p<΢^,OVL΁RGy\(9W݁ÚIxaS=w6C}A}w/ 'ptdzWI,d]!Y Ŗ$b2E5T2Qt.yk+9ʀ 8b~eGnm úUca^+zŽKp c~y+ ORy}S[o Љ^R>i=. $P\b%muxU&O[mCŤN:]16S >#7kkjq0!0?!=du6TV.p_*H\eFNQqrS {Cn&%nЕgk<ܫWpo!feZg>e(Ƥ{NN߀ɦc ѩ0Z =~"7$U족iw*k٤q}P2I7e Z>?!zhݚ;;!34ɧ,/ݷX;e鬔Ɠͯ:38̳r :7dK Uhc2ӷ~W( έGзAH{TM`v(BPo8B p,տV^xʚ15Z4 [ZRc5gI*YS=s6*xŸPb8l: S~TFuzxf͇S~`okK|&J JРg*w+[IV\DaŹ.]-v?);tuZ3QrT'q4^eeI.k ^gh+܆dRV+9uJ<\HT-ă0P6r,  ʁd,5x%8aE 䉵Sއ9FB ihV"QB!ۣj*6vI$U LNWpMUE;YaDéW*wܓ B.~ܫA9hޗ[I}ذ6S+3jʦ0`f'[=a?IOi T6^Dv٪g/ȓׄyx Ie-֣A 6iMN|ONivEQ}CnG55O$fes/nJ5(u1157^߼DB%F,ZW\ݟF:Kkdmʥ8l%s7t!GwreA.|`=Co̘UGL.Ǽoʴp\T/ -.e/+T y|}ؼ !}g&;OWa^dg͓_&  F]O\k?vLPMsDm$H7Lza**K C3@8 y"d)pB^Q; _da3:'"D< \*B!гQ| 4WZxK.s:^uZPͦ C={\E9e@Ŗ 8}B5)EpFH x4-ٝy8@? 0 "=OM>D =_f;KsVҽNJ:NT j1=9?Ud`.>Y={J۾RG9h{LAZ`S&1HDf8s t$Lʗ j?~hѬ-"ŀOlS.ش\o0j7M$c:uu^&we'k )5`in?f374F3* cWVQ)lDQa;6khYU!.uX("ͻ?v_1Ϊ_bʮܝ9FB+,qyV6d:SB:G*}SowAp4oy1OjAILJw&RWOs'ɥd&Ă_֡y\0D a h7Vg'D^%wi.1U6un:Z[KA`e|`f)՘ϓ{pC2)u˺] c#}s0VQ*tn,֜3(;s(B"(#srk#2`<;I9#b&FuQ(, K1%wŸD?jqkv1gȻ~MH{'*aQ5ߓƼ'h4^l!Izol[aoZ.y+ˈ>ۋ{rx&mtFs=l@ Jl bn?Wz6bVd6Bv߲{+/7c 9'AK}}ܸoŧ%G;)DᰃB_UxHe߈5cW 8fs r} 0LepQmZR.AB2pit{+M\wb\|9T3p[C;€%\f1 ד dC ț`Ί].|[] 9w Ok1Vq&3f`&/A_&- "Xt"f;` C /`WML"RcH3RmbIUz~=mi, j~71ǽ(H08rӉJ[)bM~9'oA%//$k6+`Vi?ɴN3Kz0p O,~֜fe nq]q<"o&Bpzv8JWNZ7{zS:w!ەQrN]iʓ1`lBC>lnKzv#Vt 'aNP.$|Z'lw<~O&kD ɏb( 5RJ> {?Moa#dAbGNf- SŽtlg*xw,MхHS;k3(cy=EGҥdRU#} 4dc$C-¿m6DF 8M9*a\ѐCNɫ Bȍd="L|'7f⷏U)ZHVK/2- 6䀠cWˇ} KPp2{Y^5GzӷWlM#4sw!k[,H  t_I41Z'H:ϣq gx|zmNEs}hSɔAIBWӞҐ4u\mXNj*X&qVZD$m5ʮnxv#"j CfF#:0-|끤8G;48NM|'-JXQ6q/rV2mW0H4*ycĺfCbVfB 1AbBIk`{5o+8x"R;Ipt')n-KTX<;9.Jw: \DÉspIme!/@xW$Bc7Em]CVjE 6 B|O♮X+H|}UcR1K]36ҋ_,#) >ezwx#D#O?Ĉv|=*Ѩ:\7[~ūYY?;h& ~cLu-;~5Ә?iԛ*F#%^UJdyLcz֏Z;t\!DŽuqQS.}:#]l9QЭ~Gj,:+B(b+/v@obիRu%"hz8 -#z8Cn!;Q2 eB}:gYZ  Z^F81A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id520G71A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! :] !M젗OFK?aִB1gD '+JV rgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCoho7u xBf)|-krʓzM${7#(qo4XQ49e<Lp 67T&HĨm,%lY徣');@]\ܶ8w\3_ՉQ6/MTe}1DifL ܾ.ljǕIS$uW-]4(bs-_J2zjDnB;*Qٓ44|UJj"Mp敲F07T]±'t5fd}Zn+Z"⋬`ԛYonZQP/MR‰/9P!阰o[2(g*:^6Hep”9LuJ>M%CsBaJ𢽜3`Xo tC=dz`6K0 9G'=G7`wCj>ņ͏ocX2*ߍM'vWFuB Gvdž"=xpﮑ佒v MUFAHZѕ\K).)`Hx`>uʣ$4gYZh61A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id540=41A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! <]D?7 {?:fH\2Ve1yo\ըu [X9SVbDvx!ÍqᙐuƴO1Gm"HS{U=laI<;[g3kEaRU$foq<~%ԋu;ޣw Qk9,H{ȫ2P.: ?:k p ' 3!ѹPƁ<%Ɂu_ k5}>ag&_ύTr~/Y^ik(hD8rco ň!Xa}渷O\'ht `V)}R8-ӄfat1JGT (v-vC75, Fy"p|^ 81Xľ׮.DLMͧRQx65 t5/3ɇu.aA7]3}-y7~ԩB mi7W stfA6O?UiX&RqAq_;B!+TzfxYB@@ #5˜DRuV&=Y&CT%Zu2ةv45U-<ĖWvYCH#+t~3(Gc-$܎C?.h smB݂u2mj O\SV9} %JPYw/vgYZc31A# THOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! [b] !M젗OFK?aִB1gD '+JV jgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iѝHz#bS $|eY*z88pK9(tW67MxfEpS]Lİcnyb풭tWY>K4ӂBtpn}`=ޅ0, ɞv-^Fq5_@F&+005GX B:xl#&u=aS7}HJC>RB(/#Us#W`psfiGD |'+= zqlge5"5J l?` Gn?*+7ңg7Μ漯 Ր+8!`p`7yDX_3ӎ/" SSX:h=4oPUӶIpYmTGtz?'z|]&Q;,SPg}3(6P7{ 3cObSv _h(Fr~?^TnZ&aEh\+vTF_WIX kM2gxY=岻ل#y,4st,t1 .WfZKrj*6c1\')R'7afa|s%ҺIP 8Й%i0R}3tϣ8xp۱ؕ нvMWI2H}x@0T>no3Q-׍5j{idVTYBqLI%&U,B@y5I)Q56TN*caFspsKBӳ?}Z@V+Tt*R-bஒCG$k.^C)L1#QU*j+?0/I< awR((ڶJ\O<{f _EgR,0=jNV&`?e1&?RUCYm[NbICVSJ8+2( 1 uc+0X=^Wup.+OG?SS_(ֳ<F8wJoPSRU%W7nh9@TVYT(϶}јZ=ǽ_W4m-R7u0(P2XC!U\WX6C]] hq_&φTz.CnBfJL8V'j؍qFV::ɧHK3:y$̀2h-74G(aCHe ywMgYZ 'G i @ h]  A_" S ^X U VFf" Y 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_id1'HOL-Corec_ExamplesHOL-CoD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupRC1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/filesQI1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_idPB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesO@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupN?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesME1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idL?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages;=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup:<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files9>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_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 9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex M;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.Simple_Nestingdocument/Simple_Nesting.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.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_idf4Z;AъuWm;*s S)bT`4[=]P˲麃z&N~Fsr<$ ʞQ:pHk˽ry52OAubC&y@Yd"p'ƈGAj-rU^Cc[ƪ#mȀhStzi>R٩FK d>"6L9!n6Ne4Qt*pdk*/z-ähV]q=R岕~`lG)yqod[46!2#s'@z;{dyi/ߑ9sTT,"F2˘L=JPf~ ||nÒqg2;y'宍O=OjPѬk$]e騬9u+pkB jʤā {`a\ngq;^OH$58,Oע} _-#\BCϙ[ NI2ZbLD!HYa~+_oAke@"og{[}V"ӝ|*ώ:/Yr?&GM w'zF7):^B+<$i>o_1oY@h5cDžFQ!LV[́ڼQ%}e9/:mG42`_}aC5xgYQVp$C;GL8E~&2gAYkav4x@%-=o^2ozcg]Za < gQgjB>zC&y?s:Yq1 qi|"ˀ0K8@x0;Q*S_{MdɄꮮ@jkM|F>N}S~un9߽^kg [317.~d'A] \` #P~4[0I՘dX裺J^ 44\9m}c }J 8΂B5-lõEgzP jkf) ҽqW8PA}'lrGQA?zip1ψdx(ՖDYȼ a°_("{R${~/0փf}QEWS5"Zv*<U< ܗ\ԧ~ϫ Z?^e,ch;S$.rئyU=@QF9uFRDCᏟCp@}KD x­9+ήKU2hTmRqʳ(ɉSR`2[4^d .ĮP~O(ǚ䉲qڋ&@1eCVf2ؐ=x$YzgRZ lɍʺ)*yY5]}T"iz6uM3#7Brv5\*{$X=+h} ukVc(B_>@0ah.n=2'ж{[$o4I/vO陫O%,z$5U(I!}lqί~bm>S5\p9q*$v)(jƜm/L \;y ᯟEiE^-*p̋\'.w-xY|&[tyYy3?fO}q?[>O")%M`6!YS׌A<0vdƨ{84,q&JkЩ0  faG2 #K[\bZj=ۀ@# n#9s}D_mƅyܭVq&w;8(&BRh>}䷂f5R^`ռ\u\j>IK= '[#dxQϫvP< :8'O+0y,k} )5Y4\&fFYlV.'׽kP$ IH=;(/1l 'ޡS[S+ g- b[4sh&إl]1EοlLlfzUEFjF~zHč! $%fC/ϛZڑJu)4} X%\O*樓- C :fHy>-I R'|W h8wa> 7\VX9f`!]J<mXnaQR̳w%]A}@$ۆò`NW}Ӻ*~wS[0K /YNV@ޚEZwr!n PzY-]t:֔2=);7R4D:]DDžj_QS} -ktfljgW*c1⚯> }gUSR욨ŸAFQb ݽ٫ɒq͔U[ $큉op;IGf̦dqWszks6aoPk$]488 #@@ˣ {!0RZU(s 55H H=gM}&4H5̛3s.Fm0-% z$X4;Khko_  9+ـ8SbD1 qѸ0`D+^MobԦҽBB2pG4 R0UFx/j[Ĉ{a s[n}ڝtQ2+_hOЀt/4ۇ| \-I뾰nuBu|l0GABcY{ojpT$97r+qȳjo9\ 1f{QcO3,5ćVy*}h9B_ ?= #qFg Je2;{X;T5tع6 %iu;O_JN#0lhLo1FN[St w}4gul]UFrw|ė_9"!PMgjƚrr&*//[S.{fӱ4\~n*\*GMEm~OP7UR'IPKn=F*+3S ڀ 퐬]J&-)KCݴ%Ӭ qٿNRгMOf$0t;c^%^ ^щff+K}O"ߩ"/@Ę7鿟J~_ycN[Sޕ&>4q@kxh/M3E{1U8¾=/h)}2c1yf4`G9ښB}cҟ_V|2:j2Pc~`"hEE|tɞ_I)1̺ET0؝m5}S{3J@ml(X*':CBJL85X5TqYC52U!akbG/bT%->q96x$jk7\6r^wg睽Hh>KxzH\K8FAbd)=MBdW νmx7 `}W)( ˢEnP2u8Gnf3Pe簆z HI )}Ob`z [_[mЄO)Ij5r{P(&I7=\;7PӸe2 W1+ҭWN5cYn9kq:Kpv9V{vY~%nMNV 3ŤPk $%:҈c]K/ )QqN<[^QGjw> N}h4L.8)E~>%'jV:E!C[⏖HBkw.|K0&{XO/KjVd},UNId{Y`A$ԑ92IFNWQiXLVO-o#=$W3R2dY`?0Jnb9$ǚ⪮"v9x& eLgql6OVUU/\%{jӓ\RF>sʾjDQޱNŻ.#FYo?cJ [!(.#VP#_ݳ㲍;},ѝI]+3.Q cR%P9tPN [*wnfu0'S/J3dgB)qkbYO !,!wI\Q C. 8kӉ1 =e s ɤŨ$15oȎűSAaVnAD$OSa/~jS@z8&Xd+D*^F\V\+n_^PP}*awBu_RqQ( u Sf͕}I̢oQl&zTimwHTr3̨$"B;͈ o[=˹wGTI IE_LP*ȏ-Yy^؇nET0)ozAP5a[y<6|VbR:Jc3 gYZW">]*ZzrPQi/ޔ8Ci2NC!X7ѽjN&Xc5#93K/KBZ 흸ȈLh6 Բ>}ysOIu(1A}MN<DyK-274Sp (nKi G5^nP8OɬCiy,>ë@hkiuVw|[*0sXnV@o:pGҎS꾓!?LӑAo!p2AFanqV/%] nsf9_VFIq#zL2D!B'h%B5O  v%BsUei)+*<Gchf~@W TpU5 {v6U2IѵDj:% b m ^C5ړ(2fȡJ6PAܫkWY-Se/ kԆ:&tXx獼)0H4+wwHQY"".Y_Z_<߯}h]EO˦T؝MRiiֲAa£x[ ˓˟p$7?d֓d隽y"axB—U:`.iF%~cI8F5C{hˮBb߉R;x\}3/fTc՗/F(̉c/ Nw6}2R oH*;xU|-Z9 B;FPDǒ)/7>f$N~RW{-UfZHUsKKwDsJL"*H\!1,;" bc=2Պ!*cf 1};TP*A-هS%p(ZɛpE☐)­jn%O?m+pm-ˈUmzAK]x+2&z\ U~T<|2{w?U[l +ȓ)(y 9be%pG´8s∂xgNacCayo)ޢ ;h_>fF咹_7<Rlƨ[x)SM+ـUA/AHUaE]돿3st:%t8̇ηb8e%] % ߵQb&hK nLazl 5Oͺ~+]n7&œz_Pѭ^Fl*y 4`1[ǥѦRtT3-f@/1F٥W)93>M0C&uۨ}; LBJ҄lP-t^?N$+A{KRVo=~L.[|^;ad8>՞9ԓ^9o[5jҴ`?ȄMPՓ +t]l(7ەVdyKyǞ/W qWp58b̿ܠ)e}N|Fya- Z74Rl:pe7Q{!&~KuZ aCz? ǀ˃)vZ:I굹4|#&n~)ok+|}Tն>f}场&8L 7iDzy(x TTf Vf c-x6@e!X9S%`-$Sn,IE%;rZ ~m*P5e5-LC3=x}]&;983:h+W—ku/R;^ UJTb ,Wu 4o|&6S'@S 'Bä(  ^ T4@G(C]EeaaizpmrӏYゞDMDaM=iA^)?3 )oMtfy2)8FgY4@2},90ndMħLpIEKȅ & Κ:G Z ۛ,Qf\֌ +jF2u1R:^|C˔1[xs-?\ IMf1- M˟ԯw>P.?Ѵo>߬n:̅ԐHOdb_7i46#09aw/SΓl6Q ~,;t},HVd8Յ>sU%M*BAfV &.;njkyE 4\[ٷε2B w!^D!V8)YȘ4TY,"7͌ 4%ĕ4>m?L wogūE 8\NOkDvt.T/nDME; =N){-RKJdQj+1jPCJU:?~s. g@ D1NHʏJٛ3=HHP*jO0oBoqӉg{*%f2[qQ/CF$wiJqz%.47! PPGTH|_rFTf;tL0kF*$=Qij5kZCiS_5oqV+,{X_s wtJG堍Bk'iCc:VGgƔQp5M .ۧYj 8Y]}3:zwo"7}Uc}y9.Ci4D[rѥ3k)Fief@ aGāL&kOR3X5 7DIez>^I3MU 7V՞0VVKlgc%5bgƜI^>80ƀuȫ/i ൞d;zH#-8#N&sdè5 ~+Zz,|'6C7,Zg|OU4||mh7[tBLߗ6.WCxoa2̝FT~Bth]C'$d¶O\gľcO!u=]թwjGx""~A4v > 50lY"!J})ϤŁr~| ^H qv٬ނgv&{ōXSzxz[NN~V(^mL$9%\SSrt3d-Ƣ_wI+ƚX|coƞt$W@=0}n2Ear5fIm h1m"%bfw}՞φP P!3\3VEK;3i0%[\^qh/rNgi&uhgYZ  HvA1O!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_id544@?1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L5]D?7 {?:fH\5qD3M $1Wq 2~r%̻v́L8nN@.>(0D]%ubtշ+eXxl 4įvx߸"[8?EkȢRhty=xy6HUj:⡫Z2$Bqv*:,jX"ykjHkB_U{fi5$1= +M },~ 1IA"y0U%xk??sTk^=ac"vv6];Boecqceʏ4KO.R`Ž=_A1+*ǾcDѭ3SA'n?JtSsE*hc!4/ܑBr5՛kqFK >Q{v̛JL=8USOM֐ťbNU;%6ï pjc0ײ:u?0S%ǎ> KOhFIԠoGʙQ:ZM%>7gYZj>1O# THOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! b] !M젗OFK?aִB1gDmx@ڃ_SL0Z*ڟcBy@S%Ύ_ V7ʏ'wv-I.*fA_B@ Ѯ KohJf ?Jcq|8.pZ \[VPQ|ϗ/n s%&$Z€,ia;gM#S_<\yN(OE[-J nm^RRb߻sdS.tmƹ+zf]@Y1ٮ,!"h 4Cr]RA`m`e0LJs+S?dJkj'mca[uG-zju%+Q@. aMG4VP8!`˰Z3 -Z_.X;cU+Qhܫ֢a>l1fBbŇ5Nֵ89h$WOv 5 ?⣎9yV0MCmzgGWwFHmF`MVƆv"8343<܀l|)JCtl Ѭ q8EynKڢc9%N0knCwH45Km6[cckѩW N:ˉFO9+Egqq0Ķ׈C7#nTA *"!4T6oPProgHp]iq@7{!WNPw"w]? rl) :kw([X}nDĦ+lL=#:zPܩS1k3DZo2W:dG;&,I2&L0}p|4-L$g R1^=rI0aW.%oɆ4rzr=icq@UJ-Hۣ1$fxѦpMt^<݊UsCVB|5 D- aŠwןIT l?3u8r_t|$s/ܵGb˜:cW=XqqfrjEVgkM>O?ۈ,>JN^oE$덪M 0ˬO\3[Fb?,!:$-5&o0zhHEs`dAAޣd;w3 0p rfip!˺dL[0]V3g%qYcލQ"ܭo8U 뚄/`wz*gIƘBp3큎ĨZ`b3Ӑncc*bt)yN+͘fQ `41h‘Cl9cWs Ц m1_ZBdBtcƗO6R%V=ɸ'%% Ul ֦Zi&NHMLP7$ !d'w|K˛*]4&BE:դZHZKC3kD/*.3Ō:OؿS/4dR'yHh ML7ΠXoفE2rf2mdd,QoIFzv#js"D累ʃ Kv VS$&Bp ZH8EVӅ7uwEΦrF<k{ ?"tbQX䱭zBQfW{r1o^u!qwmÇ0N5r yQ4c!wg=ʮqYwcW1͈rl詫#% /?"f$)[KC>C:>W>iR;Hh ;)f6A"&@E*pGi 7i/0Lf1H:5?ݵS P"cyVuL"PLOUtJґյ`qt| A:c'B )f.&"bEuի"N,%oWͼx$cSƐ}iUH ٝX!bu^K24PJП{XQאָ*#YxӖZ/x 4f!64Иl4Uupk~u绀y1S=0 0ލgȀoB'o+f\i#n#iAp+\ T ݝTlxM{OfQ .NQCU>{зsPo(5h= IZ?ƿZJ{Ox3ژGAVKZZI_jP *,Ca\ˁFF^C(=ϋA*z÷rvkBs}UDoNO/1oxQa/*я TиBp`7a1}G3 қtLV4mP* 0g9D;Ĩ i \r 8@98#Lxq~ֱ`^*a)5"?H+$5}o~/.-[hngUђ,P{YftE9Q6ˍRuSd%/f%r3Wn&s$VFF\ "mKF^M# YX#WM :8F"@\@Jku $4q|LMЃ7w.0]V3\L׎n;NV/{H4v1RvjE}zvH( +vxRI|&U[C<{Sb#+Ho iJ?[2w/1JiHV 2h0$#n/gYZ ? ?LF1S# HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! ypB] !M젗OFK?aִB1g٦ #k .\ykdKRJ#y_goc^<J'V@{#ƨUB=A`-cTrN @BO'Q(GvFV4 +`}9Li:hæf5_&a&{ {DL\ =t Mĺ[Wa~nE03)})Ldb~ܶ V.!Gnf,qI /dׅWAЛ'Si^(l.փ EgcYu}>'=wod"`D%ͻC'& o 3>{:c+7'fkp-- f pKpg C&E?ױި9f6yQ5m&Xn};1X\ kH?_l1"2T8Pem5s5׷m>_( !W8 .ԽdjlB6b$O5׵G'O`PzNФ(HJ|`t*mt1$rHJ._x*.FzW.v@nf[J7TKX fQD`<Hrn` q#7Ӆ\ưbhhhltհ'POѽ%JGyGՔY#`%"("Wv}A<8[dTE泌1w[ ju$g"@5GCIt99HURoLg}J*EQ' 8bVZZ\\A@n$1Xdapdx AIߠ6x[H-kVWƈF.+]̐7WDIq)/|nLNM`?5D2R2E@u۔x:lK2=`}`]DuMjqn<0(daswnYi 05>iKyZmf] ciUҒ ħ')c}ۥG&*?3-6*f6`JI@>]Ff*4 s ^-dk^9D}mj?,Ic%UcT`͝_~tB2|) <† %vU$ C8q)\hRH]h*Q]2 Bdhfe ыc깧`K0,;~\Д=]?oDQv$h;{,Ӣ\!b# aL_gVPv'Sv`D>guM4t(M6+<]oB-!] ^50i )K|vb/]DB؅s24"iKM0=TDrlL)B$Z&sf/6q'hAI"Uvơ5G|dE@OP;@!j@>d*Nfh6jXy4K& YՏ!&pu[&mߪ3rGC%r#U6kp\7ϐ]zJaѡ }g?\Z'O=5i"MvY涁I=Z%H81m#^P]'Ȭ9fnDK@{/Y"`bK'OhtUL&\ͥAQKT%5@Z^ƾRixf UJ3o)VSD8hc6(= -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' Ж3uoƝ|3"LH蝾sZ&Yu0eFdG{FVv#MX` c;ੋ`SksT:(щlQ^k.[;Xsf^Tc *S ,JNds> ؤ13­HaiqjE c[@/r1/$D}ۯw\=:Ix{w%Ƅu{.#@*C3ʃf, ;s-]+0VwS/_lO-s[;NrWDHE[4!Ug|rN݃(͎uZ,DX!mͶqA_^sMN;0jv}rFX>%bm[zrdW$'32eԢ 4 n< R&8&^C)`'@bU4N^v]7 qڊ±xiHaVIޅ3I[?&WձgYZ:8K:޵GPƸFo|KԻ``KmY&2ʅQ΍+W'4P-8MEb8y6i0i9-+KL8*ފnl:~>\_2FTE-=g;hU!/,V->c_5 Q6In>+mIdYzDز84p@_0!K+Ri!H;O!i GVGQPɿ"5*EF Ͱg,66H}zY3wS &,,ggN_c+!](抲bp} .i\ΚUD݁`XȰ)oa2o8= :gjZ襂5h .h%l ZDؐ"pb`G3\q"S|(l?$܂_Z{t+JY#Mf.oL7еe瞭/:+ܵV-YСU4p?OK+[ˑ PД.ԩj|#3,u-KlE|KNpssc0Ɏ3~5xhL +Lז$f` >8H/J>NY;_-<+(sC#wxVQ߬MjU)̈5aJ:MƏbCDFI<"'C&)!<,Ѕy4jwV <`AR6-芳d!Ed(%e>F15-"O® Ok&dΠ;ݚzD8D"Whm7{и`JU ռ˹jeDmxW^z|R2߉=.`8;}AqgM 2"7 ~i':w{} tCl߻ɲv_ w^[$! UJ'K TvYo"C7J3i\˥:}SnKo1.LpjR!gx*&lhc:p۝!Kv~[VY4~gl-1@GY,fM{lխsrUkbHh+oYU*/w.$lk4 `HP EU+ϗYcA21t1rw!EzWOvY7nl ^"@_OvJ Yc:<\XgnX6 ZX: |KiN_USc5=L$]k8q^_mz{Tt.I)΢OLɥ<2>+fn@ewgd^-OzLfNViٓAMHQ^axomlvbV`Z3dE<G.I㣳 aާAZΆ#0q1[u~ʛ^swVȤ?3[$g: pޓ+5Okz܌71&;LDmH7p@Dkb-\E_T B2ɡ8<7t@9AID4 tDRGBZx]Z|v97>Y)tX#x6=֝[D.{R V^2 f֛qD+ieF P b|Z~2L!h WafZ&㟉81d"(y'<[_]MP't/w/ 򢌗pkH% x?}Me${[a/厭RT.;Nv(ɬC yF./|leWYѽtbrO7PS`fH~B) 3;5R3JN˒Tmvϝv_`މPě 1UU.@S丂c>"ϙ Lc6,<#j]6FȊ-6khQg6l rPז7Լ12+V"WiFDed6ŪB'&t ͝F%f@`%uz~9غl9OCɚz*-Vֳ+?HN钿 f:h;Dks};!H5b zw7ǥHiO z[8MLle{/:z{Q@ӎW7晌;> U ð9O'ޤ5)]{YA.BJJpF0wAϭ3ƶdF2ď$[GA qHnI2Cǘ < C4#fjeMugݝ:Vvn2O6pl[zPdoroh]\$S1@qJI\3dK?½n2ٯV@} !]HhٜO 9?~46+u%[n8Q[0U#c hHK_n})?Iaq 2Qx(4^_tIfsktTN]{yBG b{m/*kWO7zeHʇsO. 3M|B/Amշ!''gPۻRobQ̊R5R5\=5L_j 8nļFZLV=:=EmFoˌ0i o.5vy61Ap:P䎍~ft4g*X,2 Or'n"JV{eס뷢aGn1R%7pa׫[=iLUe{-5oJv9h p-fJM,a&jMoVّo~%_DOT8x1^ C(j5g`*s f!cDxvFܙx<ޤpwB3Ϥs!gxXWaVDBD|o)aB=4C 9Mr!]C^~-2kz@<& > >$ PNMS DkqaR'-h!JO\ tqVpR6#8&GFs,Hۚ$iiBǖ>8s`,*)]A]‘xrNC ytm 48Lq@^-ޙv֪1ri#,jz,syh}-"i @{\?|Zk2[!+=+},H(1a2P}c@,oYFml0Bpcz3^wFDy$"(HxꗾQ^`n0{O+%h+ߛ7?W!:@zek~U8]抛 ^o _}S U (y `8]鳨G 8ӡeſMUo]l^w4 gYZ  C lI1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyHH1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id536:G1S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! /]D?7 {?:fH\ydR~ypJ⅚p=T Q nd|~l@eORx>JuP6c9FTdsQPe-y ]cFF؈D>gS{m j\o; ~۽.cԜ׳o􂳁>eXљ!os4kDY 6~f̭iMbAmWtbտYCOoe ${(C:J|r ˀV'eiH7u2"^]%L(JfU8ŧ[MiqK;tϺbD?m }؟e .$09*EJOR٭"A7%iE qðBHf$$iL.]okVę$-\= ͮRﵜ㜛EEjrL~2~OWVԑ+<Vr&^Jj]I ~sY{X[T^J(C_'8Oѝ@ ] AG?w0aGt{0`Ą؎J$ ܘX<H]ğ7,8 t]x@W9XiOLNLm߽FXwF';T!uzeA~/V ."^ ZN}_\<*ˤ4udgzu=x9{Qsg^?1юEk|e^TNR1--.n1W#v%+- [y*(1hty*wx^Xa/Ry?!N=q,4Ы6k˿É_KWO/Eݎ&GX]@A$\ኒ RtygJY̞)P9"PC`ĩ-qo% <8 ΘGĠJq;}X ~~j0+c;d̀PTgC ض0<w 'iؐ?:uKWhuĔӈOl^ t3PwíIO};$Ʈ`=SPy<@kaQ5ط/cl1r?Tr>0Z!TV]ݮkܶ-Е} n {w+z V<=!:LX|ξ8h>w`9ANN[>(g tġi:B[&ۉi/ͫNgN ujsJu'cPZj|l~ >ώNao1[F :ݳNh}|<{o댣=͜]/0Hf:?*AAϽ{1tE{E{`*@|X~Z;\>Ah\vnICEL.pT4XM0QfTlgz_GϭicUW&Jۮx,$5v{qiԊH/9D3d7xbb  cqqnH2[\APWV l)s +t"IQKs΂NB:D\r|j+v_ 9 ^E$zϵ4]&sfV^J-}Aĉ*n+yT @@z#oеDZ\[OjuP|D6K!&l]mW Kn@;FQV؛XLvl22Mkxpc*[uYmR0mQ2q3 pʂB)> i$HpH[󡉛Ta#1=9._rå u 5Faz+J 3_9K/'A;WZ?ޒNoJ4sUBJ Do6Ԁɋ6X)ceV8@1ϊs| zo dyS94s+ha_RlOSEa g*'4Pi@c'EԃEGlW|(i_НF:>5*Ң.$2r9I*16ozK=-Nv5z͘û(?AWe! ( W9EV\_|bSs{Xp>NkhBeo䉝I;\oVgR*X-˲k= V}fXOC2ôKFRKBit,Lr.FSGl 2f-_Ƀ&Ԝ3o&f B&`=v #q}+夙wj\}tg*LaTR8駙r`?^7Iqp᷑"-d![bJ{!52$n-2G<~,61w9-U]:3L: 4(yf+>b|kYʠmr o'7-'dV<p5tj C:5bP%`X/TSܤ+C.q 6Hݳ[3tcu(CQ9gX:uKf>s+yPM skJ],B~73[$uE㣑x{i";A+>מ} mjX)uY<;+Խa P3J?nm]R11jCfQSn!u^fR*j,t%2b'ebʃ`ǃ*d " X/mZ4(2FLPώfe%< !9V鳆wUk/Ti |ʅ6Eژ `S))@8rX1ކ|:KjӺŭF@FPZ/K0ɧ jK%-':E/ׂ" +`1Nwxܓ0 x&0շ35OT-TO֞渨\22Ӣ u5 ecB1|XrzDwNr%:Oq*SK6L QWlwA qìt1'}s߈s`ڨW\ab2"V j@ {DqHK@R'ðKTkeķD̩¦ ~'ժt< q.:K{ vΡHLW3Yb7` D v{FZL!Ŵ ]| E;+AX ȕ87RGV]Of.4WEoDE-71?9>n@cE߯.xjd.m5M=Xu D5Gt $1v&'PTSZ[):>޳TهMgdͅ\D1avFy8ڙ ylvc\W2DལKmܘft ?T^g pꁠZU_WԖ=W/R#5im-}l* ;'Yy!o,a 93C<]ZDr`_zq>1V@( lVt$/ptS,2ab6iМ[ xS4sʻ[$/@LNPa;,?61w6i7ZsJ۪TMͯpb<4CPW'_)=dq[d13fseCHf}xb{Grޫ:za?b8>LvV >ci7̫)ociz ryTW}V#[*J{&G[sq.RXyܦ &Ls3D"$+!eXm6"L~5esg~u(+8[ITeIDﺶOcp yot6rk,^pEłHn6LTi,nd~&PщM!؏F\Iq%\FO|X( [*|g9\X<:^ doj/$FYݱc=_Dohpxz2$$\B:?g'g-$"~Y׌A QlB!6c NA`uJ@<1nC&y#hos>i,d;vqMY#/zgLH?0M̔>;~1 c2 ih>=o7*&&ӍFR-Y'/b |7"XEF lo9+M{R/F.*d÷ t4>6M?^ tV/=p@&MkaOAuVmg~#ɥb6 L˰RJU MRMe+p`+ϧN-<":Ri|6)eY˿uQht5˰p!N->(͂|D!˄jVoeH1'9:%* g,D D; (5nmБU=({ SKNs vVtpeF ̉`8-J&p%3"9 $V9*`MWAo浂RAUq[0~ý5(ȥ:"7YUDy(L04pP쒶T)13܃W1bk|&p_U^+l=,,>Ҏc6<Ҵȣ+=@jb1)^݁Vs4Ά`\PrprM0^-4ȕr 0h!<49-8XP1fdol-&xw$kf CCIfG2PlQamdHy҃⮬jHiY vzP̎\ f:cFR8b+H':ߒmM 6i a!Wza&*lj x&Xۊ^ѿ5wIVAJ(G.# >^W4kѧAޫ9ُ \Cwi|B#uFjTiaol8|⮻@+܎=`rZNԫBqK'Q az3U,#|nQ270رRys̸݆'X?gJFn8"ȧ(;;ul` D ZI}h]˻"ݤ :6wyJ@g -;&U vݙn ;%˺EWZM"h-Q':]yЄQ*Y- T#Ϧp'*9s*+ iݮ7 :`XQA/[T) AMpwo" ŷhJA`w04r}$6iiNh^5T?iOU3uحDp[#ŦpQva7 Z$2-+klM`#s0qb %IeIذ[+Υ6 Y Xo H髍*;+?>P`ƕm;64(3rJ(c`[yz?O49?/9<ۨ?s*bgB޸>G-^Oye#p6 3Jc 0 YOFmSLɊsY'ÅTL[3ْKoi4Ux2rg/G$HS;&8#G^K<ݣAjSU"QSOlM#G2Q=  2R{QAqc0mQ5Ȯ10E-eCl6i0#b6*rD $Eg1>ZbZ=+,P;zrRIwLX&OqC]fU !F+\ #z -*N' TpmآǨ[V]yfiT\/]TvqNxHenߠ|g{KKmѼ3f@ (S|PE3g (eOBqu}<7T|08RTd7dRYD=%?- kۏԙ 1_×#5~+ֹ~/ /$ *8VfUIɍ.(jQZ .*뜤i;ľa(^bGńeZ]6I89 H=ز'3Ms-'d+qneh??]t6AhXu_ұCJ-IM !hRWN0Z~³˳t{\ÅښBF:^KX@09`KoVV>m=Eu3!@J\!bv B %ǫTqpޫzx?5UǭdP~;O.7G-| 4Yq/"jU?f <1[Mh+ltcvaE<{*X3w"_] (ú9a 3A6FvjUjJmL X3.!6䶩iVԵ%3k:l uT7-DoxBqm:!Ltuqi M^\.D+uysE|n;+/R|xGRX|D39w)#i i=gm,|. [C5 4̇WqS-e;Zh&CGxDh2WaO0J:;^l(s gO6zAPttTiX=h.sK1gL%\Dě<@9gj>2+!bL-4p Rw'zI`}Նc ͷ0* p!-#g.ϊ ÎɁvHI@ +WwH"e8HjPwdcAKsfem+Em@)vW,AӼXT7@9mdgry }u]}4B(KW+^jlZw%k[/X=CܜʖmS{+9TӃL&ZEJ,L$UZ-'OX6HN-SW2ɼiu2]k:x #nxdm0G:[vK ֪3IP.;2uX +w|jިW^eG#+m"{v ~@E+^`SoLTGpyə`O7mT=a;x,ݱ$zS_LuQH>ViˑC4 rԾ<)CΓ#H׶!Aѷq=&=[Q?d28>f0t7ԥw((鵶Wnl(lC&(pOzls=U=ɶet.yU/vnÖ'+Y=Gx e9?l'5)'䇣EQrgpL&,3L\?pA*pcʗi-ʼ2jk9x }n-΋QL5#g[$^HOd[ rbe2bَ>UҺN`4kd$Syr%"1z1n G6u'vGq$d)]#vm5zk:6 %R`I(Ps:<Ԫ.w5k}2RVv)'j?_A%} ({qs5 s?ި oCك BYy~1Sxc~nHK,5IT1b$\YMoiÂ'r-gm^A5aP*?a-?p|]MՑzM[ RI"9#*Mtd;K=e]djLv ?1b`@Lf)J'vfB TqEOsB`{k[BҐtj5QAe?ڎs2fZ1nEHȬs#\CqZuN[kx/qCsC;pM߽K$BŽ^g>a@.SGh`Ċ\YW*6-{{0|"k"8y3/n!v=~|,lP~5#h=b20Nn' Ctt*+ : D%zmBy *i0hrR4e|tM]( w[M8>stz[yP&+\Hk\hGN8+ñxWSY Ui}H@=1QW;լQt5vG8S^05}sztyBΝn >)$6vkRX|<..3gj^[٨Xr0n HZ_ԙOQsO*g-ϚCFB#ٶOf?ٽ4>i* k_G˜d$y\?$U۪}~ȷFhc;F`= D2s;m('8 h́j ,WU1r{W$I5͢N߆0vԀȳU6X:!#S MSҧM%DA>Ǿ[a?bTdj@"yq9!S=A.mvτ1H7[F᳄>XaɱkT4;=4ܐ t5(K;ey#݋:wZBE>Z""@94!+[)'ʷ/X$VfJ=9J<uħ.P1Ǿ4[CF+[(NWHZfힰ^sۆm?;K5c9~iЧ[9~Z79eJ6RGQ*X0٢}#&L8r0b> $D]haPy<ޤ2::  FlÐpFabvIP(v='^G΅Bˌ'a^,%4 /$0jOLrC䜦wc.IHE 9Feߴe|ӺZdiW'm뷭&2UTyGZ3ϴ/e !ONiMuuq ,Hө&(v *Bu+0=~Gt.CTW, gGx%UQH)b&fW92 3zֻI5sYpRlԋ[%z̼A9ٱgYZ ;;2J 1E# lHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ^K=.] !M젗OFK?aִB1gD ?S t,Tj4 *PN_$66- n(>;jWVMBB~sK䴎8:Ub&'`BXiR}ګi? BY{VI(|hbͷx|1pK|aѣ'}a:F3 N_Ѝ'AbBp3e ջ1fȈ0.y_Ɉ͠B{ ٳMfk,(q8;GKe8uԢ# $ д́OmC0ݔ>`*-VM 'Fߟ9[&s^d,D4?/_97wߧF_ix"L}ؙl/gQDKt'Lff`L+A.!ObeY?TDWRɶq4ƍL?ž1PsƁάcmuW*hZG! {БaC;L$ׂ;8VXhJ0K?*39_z>($ N@Zt|}ΨeڶGCa^0If+ V9CB"'O#UY1PFAn\U7i;޺7Vw =q (a<5&BFJEy oվc{)@% xثw^CV,wP*_.hR7'-D{BݰjPsleTiߝjo- _CoaN>4 d1!W)c⦪~hx~*"= 65U 0xh!e)^3LXQ&{ ͩ (F٩W-i"ca>ؕ8 |'a ƒMUjv~5{Hga1wplHt*\?$׼k:l`Pnw93$qr.F2ƯTyь.9F05HPټt@#M -m" ?v~h Z5;,3 ϦzF爸X\C[ʋܕUj+`kzQMTAz:V>l1L*]6МaB^/ )ͯd+QKn .FgYcAXrGDQ-5ԫل-pP@-:#TL\xyQA忥SX.Eq~<-OY;M/ e1a Of:AGbXE˒h2 KnJb%%{R9:RQڭ}AK.6 N%vZYa (݁.4Pm>{UZ5VݮEo[GsaQ v duQQh9xђ"m,`p#RsLYse:r z! ư{M%0^6BgIM&9V452[V\\O`z~ UzN,olçlֱ11jF>@"h7̧AYtN{ڞY1_mC`<a^+tcEv!c5B*Y馅͊CJ$6*URO]W'ث;5݇ k|D.a&0i.BSdMV5Xm7Z i ^4#mѸ=P /XIT u'n5UUƥ| Zi>ԄO6-ؠtX Hr> 4A&- xԛ(B[b" ]MZ<[:k͵$[MY  b"uU-߀.F}Ƽ7k>0iDd&~_?KNtR9^he /x٬c CK/Wɴo3s)XĔ;n]Zm_6̵=q7- 1 jxݱ:=SSu?iPoNSߎ8T>K"lllqQjIн7dqaE|O;,1,m Sgf^K0/'FP1e0h1g|Ʀ$N[E=(!Bykgqz'U_5u ޸z1P|u3='6H[3nB;eKtĕJ9mtIcB@l:3zHƅ'F-x@@Yb @MrvI"aTXcpr0OF.niP/ ZoZN1G# Q ߱_PZ p/|D }=]33bvqp(ʈ/lB3.π=З@q}4nM1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIL1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id532CK1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\20ڼWk5@8Q5a7PxzDx7RnE!ɼzߺ6X?lr/7` R=1 a8]@0TO浩|oWsv!s>3z^axni0rvՓK$GdXioHt~)b h5h5GjreC :jsy@lKct\ט8sc좔)49K.^ RQĶyk%EG:G1tcmyAi -*xKjO8 RО+ipdH^ACm]Xa2j;Yn~]{#]R6c*B @wԼ[yF7+Г~mmt֖{|=t+VPE4V`d7gqR K z|GBx`$r1GиE[I;,| ʤV&_cĄ=ef<~~>Z蜡Z#_Nee߰_sON~ i?mm DH}KQIN6+l$8pt{)s.mR?\wkTEy=WcX-%y}/9fz|-{L|#x DCjh)U&vX[M"đ{a jX,ewwYdgP:;8"?)vn?r, Tj}N3QRe[{'@m+qb(`{B6]ܯi⼂5lD ;G=  " +8{ u6=ӆZ >FC _3>b7s_9ȽΜ{=uY&^-1G;N CkL(hDfNg ZIYc ^}2}dS\M"Un#h̰HF&7k%dݎp"'dxkw"J[/Q0xW*,zJt hƺuxQ.X0~OVO\=p PsZHHqmמIMeo&1Ez#C .Q|^ΐ.ve eughM ^ѻ/銢; 3gG:<rFo^V3?A~6)j>QuJqER`)k(+Jf2(}ȼ H}y'FEPnx'~QOs*"w]:3rvQX IO+TX_::B-נ)&Go)c\HOxz]c-ã M D.<9TXF݅XQB-XoRwEMj=R]nY<լ߸ ,;?XVכ5f'tU/T 4Yx$26#ݖb 8^:/2T/Z8hmX /kK ' 9֊\ⲿ[L-'jFAb\+R@ɪew̲yfbn FCaݾ@zUvhSخLiɃu;*Wriէ|o v#m$v ީ#踧=P<ںQsyߑcE]7JAӭ ES*!ۤ.^)R$DYݼqu T!\#"B8i)dGHJ9׈u,)1hIzG^Q40DI@J|- ꥵw,ytRJrvp{Taݢ!?6Є}! 6;r]`q=Ko!=#@:Fzo*q݂n& 8s#3Z7' m;%GP1mLS KIe?>rاȭSb34_!0 x5Wv `PKJ6Z>P]15o]l&9ODA _#UGkTf %BކZi'bN3N P]bvh' 0.#.]m{^ ['LK$u #Q qjXvcMI @0sq\q-ؒU OHTj%譱"LwubuIC2s d膰%N`mP$>^6 q^ɕ/A`(1XQt"Yw\b ˩[VMrWńwFC{04ވ/F**~qK ka]r#cM5[!E"V$WB-߃NomJ>DP J _Ea;У v"ȉReiO"=MjmXcuI:O3~{OĿoԢUm4H 6!r~78u#p3bx̊! "B,Z& FIa0ephKks)1X3UMF@l 3)J)J<2D\pW%=}U]m2#o4v3+.{6/vcCME飧?=rʞM*jrmK Qf't֪[ϥS;p ٴӞDMXJnnC{P{.%22ß X`'bo]mxZ!ZųN/30F"L1}<~R2M)V3 㟼yAHښ$ZJF6S4xmD2ܝ\*_(Q0*44V3xr ԕ#z~郜ô"fՂCR6I|C]'Iܺ%A=HVSΖ]9t3mo!~{0"`gV2]?"n:w[5P9 FN4ׯFaIbdޅmL)yFLdAIEkEӗb`o5 o^Q~J<ڕXQJHC8|tDyhIPOh :(8^V곚v<.qG TW5Ww I`.LgH-x"/*ַćD(XlsQ[6O@˄ ~xNյ|! $ƱH֬z~LIMl`r[(DF&LB/Tb(wȆ6 *3~J>B,d Z"9c0(ԥ.`4ojﷲLK|{ E6*/ jBK$:L3!jdJ@ 48H-_W=GqR:5XV'#tШ2oT4h݇{-B/; D>0yNpky-Z2 _{nUCzjߎXAډq ~^^| lJ]A.r_ӴssInU=]?+׫#Kazێ.)\f-ۤi~moX x$,FU{K%=/ރm,R".7πD;4pr^ߗ,ϢV9#jE UL[@a{͇CUA+XeJ7&IFrj !%͜>:3m`94ߜ=M1ncݧ<9uT]'ދ&V1M4]fQr Uώn/Wx 6"%6n BšB^,'ZYB^BX\CDeq6D^4ՋI@1%NԉxTn E @ܷҶO=j4(Ҷۍh˩Uo5IpPQ F~MXK6T@$Pp74[S:9 zmK[ My.ST- "'2,*k*Tt"lT{;@ *BrgYZ  = u & =fR1O# LHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! 3] !M젗OFK?aִB1gD &r6ɂi2Mh !%~Mw,oɗCl1J$1"4w3YOtg8(I8{MG#d1ǚs}cH'䨫Kʼǎy_JK+3>ԫ\70Yܫ#SXiy||OgWe>$AMbh$%C*tR|PԼR^NZW:H!ú6+Pej!S[PR %> #BrX'3W%gtq@ *n)͡SK~:\_ y??ݱbHĊ/̍4Ǹ ܇4J1LiRʗceuoX) _1Q+)F[Eu+z|xko?|5$i6vQ1O!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\1BЍ1h&*4xW|0]5 +uO䩊/K٩x5X H{F`OFB]ȕX 屷!EA2^-PC[}D$!]gHʪZ_ʁQbшl|6A@X֩莂`֦ b9>TML/>}P#K>[O$lmx_gXL9ilXLA;u lp(ZR.;h׊oհ01;HDp0uPej隍eCk O7QuRl.7~{cQ35pPpN {"[\Vѹ~/b|G)/SC2jƃKyDe%uN|Q㌱fTeh"]pl[zvD|$*}@d!+bŷ Jw qq$Q8L!ݯ3[0v"N;K&&ۋff{O αuanxwHt-ۤ瓌v@EonWV_hLf0oO_d erU`f^"8nc5x6XuC˂/V}epˤ O}k`w"g(X/VprEkR܇iRFP|l v_4`Ց]IҾy9]qձgYZ&6Zg€EE*n O#VP))TCӘT7mA7<&뚐=y?=~-[}Z,~d،ѫ0Yꘁy_ZrGT#Ս&vBbƐEjb~ç/ 3%ߟgvFW"Zp9d:|=b}Jn.*k/u)BP9NUfqt*鵠joYg!UEzzHܬr4PQ0m54q7/??T긣^@s߀: U2=*LhRuzjy%JrbY߫u*j7GFF}6tA_[hHImJeiг$:8KbZLS꫑qo,-'j[v?GޘBy6T굈~L{~K3e[Qb7@d D]["Zgd@8eJl r}73/ggb_߲/ek z; ]O k!̿C`ADVpɔZ:CR/2\;u ,mI: SL|C)p\Ǝ Bu'OU#mXKq C}K3~x[MDzF~gGsї\ ?G;ae+M=[u:.[~j\*ߙO妢P7U?Т= A^9h:Ky" F*~wCͿ k$Sk]Ƌlp&Jtc } 3\-Uvgy~"Yb{>zUa5j(ljh[Ru=,?S=" [ۋit6<5! !{\FAx(uU .l"r#1V O^0y}ԂQ*]Ƕ$C\/2&wدxLzK d:q":LNҝSy MKDLV#bvIIȦS[4aJ3¬b/ԳT۹RD?{'ә"Xqu| Jzoxo#Xkj}6%Mfbi -{msQMLA0ҵ iäS9c o[Qak^=2G^eTN%8lk&#åc֟m m-?Pz# O*MWq|K:z!Q[?+nw<$a#᤬DJw]·Xm{RJ,!۱Ѕâxj{ƚ U7l? ;4jS\nx=1-\EmkCEd{HWot37;^T![˸)ˡg$ olX5z2| 5?qPBuqt e; vK݆Z b g[tŢ{!ZgfBV=@ii*5ہzu *9P!u^s:B4Y&C/g_X*#QCkAs]vRQ^Ϯ;OMغ1=1on$Hݡ_wM @T0ي"V6.5UCCFJr- lBz0acL㑳E qP-ޭTP$Y?Jc8[NO;Hq?[0Kr'eq4Go-b#%7cP8̽[ ^tM{ӺL=hT.O2O 䈎,UfSׂ3AQF(X? $K])E+ii+?CĄg7Q`^Qi9R<%ph,P-|S]2f0Ix|A2Lδø(3Hk%aˠp&Iݪ5sr<t^nŖX 2T 1O-6>}H5G% ]E"`D#ؙg\[R޲&$\t=Z*PߤvGʪ-EոQW|sbJ.w@dTpԷBZ˞@QIp+D񗇀IYG0{:l"#~ Q; Vf~L+N'a-GE-2P:s1}zDxqoRD^Zv!+]CWw ԸBֆ9eJ{;cYU PQ`g>tי^=+ܩ:DʁUJ8j)n$ +v=#B<*'$ <Eo˂,Lo%qa,\;$+Hvud݃` l R2D۹[z 5,& :S\3X.X7C[ԦV&xyʪdrM{cډoh$}nY(DTP6`W, 5"T'`Y k @Rgo9G5 #+Ex/D2!=HM `!Dt5,_yp;xqYLܐ9zE$PhY{xP0M6/h]&PxWsi$3":B _W["Ir\Ѣ.94U#q,.*EHb'uD+n:8o$JQEnJUu\8i@iC!zpWR e A妨w/黋3ςH/^54_&;XdY_L}?q2!n6wSS+ՙ,5*mt,c`CKMvx} ZRgh@*7KՏ<]zF]Mq(Dzs=; +Lnq%4bj=R!.TQ$[uڂfK3$d 0VTMA2Am1ܝpԟYLAhsOLf |Zu`˻lo3Qq l컽$ %E 3d1ɂCׯΈ#TgYZ8.]#cكq= k'U#~[&o^(`.=AIZ ~HaUP%.icׇMZ\ /lq}]Op}1!6:} ac.-wA[ |Ag+twt I6SnT;Hjhm(qn%nVDs+e>+T++ 13/~Hjz'ߘU\d\ r $+7By <ʉJ?YgΫ+& t j߿ l|a=qc#|N|Yy|ߴ2T_Sv.*h@n^" 5M GOVpԪjw[Wq:vZg1[ PU%I{@Zt]|]0o>k 7s{PtP{Zs78$:jyٶ"*Z=b҉QmJ+%W pq;IsJz[[4"iuiV v,:SNE}li/3A# ʎG2Jy@U sP5X3i fnjk~V!1~Eq93\bcZ6MtxՓeXu2loTmWDcE #m* ?p^)Ѝv.2v. %tm̐WE҉l%9 -Q?"4Fŝ *S%(A 9 ,k,hu 5yS}xto'3 sUtLli\7"SA|_ByQR\VyIY#L=B*}l/`R>OkCMJ*Baŀ.F2H{2..s}b M"ܸkM;R7Kc3.8SF>|h4T+S_mYfAnS<}K+ա_)-Tu4 Icg'F%s2T &);d|ҢV<&bol, *u#h `zEс5}9 H|b(]4K~Y4 ,X{7(0 6f z A1 AsIMAXWiAhX O5Q?b'wO9P1hFI~30 5h&&Iyr#:)GlcXBXŦU-#7_ m_}iEyi=])2QG9c,;ettu^td)xJl$[uEyx{5K}#;(;C*!C.6mI `alBcg r1--o<[M~ h.|RZPCplSL6Wiv)e]Y'2SBx,ɞzngvք&!s"rt8i'0zؿf 7~Вcs`zϺWnN8Ie৆1Ks (6HYrԽװ8̦ <6)\9뙁(W6]ec4ٮ5[WΑZoUc?=NRҤ$W,ZoZa;<ͰHP@prx@v<e<ު汆 AíXv4%lO G^vED 4|Vd>`` @Cygt}+}|'3YdW| њx1BԶ.В7 rtB;IzW)(/ [§i0(DMpDTXDZRBP;rPE-{r?`Sv\Ax|O >>4AIp~L^0oj3o OGI]<܃/GydIߌ[i|P9@|+OO*:* ZsrP6Rmv4.n*Lw Dʙwg83ܨ:ջP`{|}l `Om˛2n_VPaTx Ch䩬u:A uoA{IlPpRϴ5$C&,b"`H\g3q:\DKhP~v u}*7N rg 7_c;Q70hCv/7\l.L)>d.ͮl uDϣESIͣN4[cia%wdtjs!Z}f`Ԣ`qOub˞Sd5Mx}$2'R(R )=[\%i| C+ޣ:+nr#R06fB0k d>-;nh7nh4b}w4hjדk@Mp+ZGMP5uc cNX@$ܼTNgmE 3"#5?S7wBxKʞ,~ܧz|U鯯mGd^}Wc"l9k%%KbDBsݓyt!,H4 g:=OjW ^g#jv - ǰ<v,cuߢLnP =9`X(C1A5gU@A5 N4c 쀌\<rgsxr^h6<LáNS@jIwh`Ubb󺉶^S>Bs7|T"f]VgAzĢBC/ڟʛ ?7)xX"jjqFCTypiu_S>/nt^8S33PPnC.q.w\}hLujV|aI/Jh|\EyC,0,ڥ:0ό{Lx~p@"ќ1R):3wB3Y.>;'@DGT ?tPk V5ルIdQP^b\(`e3!VFN.b_$I %eO6gkrc)G{:sHȖQ|,ŷN +qB4zZ^_ iu~wRİxV$}GI01vrP]GAΚw4T=\.ܦ秫۫4ryWLEaٔB~*Py;|G䍹G㴮ّKğ7qtc;'(`=,i`e pZSM~z^Y_vi-N_y+ ކW!HЕ>ID ^忓)?~!S(NRV9oAՃ% [0Ռ!]_[S);%>p%-QXuy-op=w`m좭fT6A$ rF`ȱ"Ux![ p,e<,Q36P Vk-^fj?9+)a<j#_}p=/hiBSEϏb~Q!~7֞DL1puDYe˄[a;>CLۡ2fPܼ ^bR~=]Zw>viRDzbܤKRECn+ڲDXډl sM:^~3􃟋Ry2 f۞Bd1^_ƲvСskXi]Uf$9- HTz^ 73BA <(a${}t5-7e^$hbnUO)yq/pRvOQKrY{ca6ei10(TD(9inpxSPϒтw@po6(o'"q1ٰ.N|R~R._ʰ xM^n{E{|3E'9_MB&{U G@xH 1#L':;Hؓs2BD;בۨڷ\AE@T(P{mM ިe҆NABNA'c?i }QK߀o-J@Ԋc .ɲ0r$lz_wN>V@_E®rzPpAlh|Ohd_.@ۀOP6iCdF #Am:bHTr2Jol<@b)>tp%^8`ٱQ<ֱ|L%G8l2SS_A@bšC׈V;s0Yja=1X]Yv@b 3'`A`r2^X : AAx@S_ky:nlt]p a@ 3q(7s]i"tșLrƌv7`|Κ"LIt9Pt@S, 0% FU~Ju['Hb>t`ש^)=uk@\%m^*pau H%wIbD'D%z>zHE-xi̍)צwUC~F@ç<J't> ?ch}j:TT 9{It8D}jkN7pĊd"6:L&nE"ڱ8 1!V@R-^Lm9*KH-) P/!2?;@Ք'y O.<zZZK44ѶMy\β, *4&3i+~SB<wZP@tȵ5GHwB7ж@ɫ$ջ*!iv94JojN6L(mxa n5Jׇ ־ bziBB@Y%W?@j ]} L1Wpedh&%b|.ͩggd+>-ܩ!S`dZ#8WTf;: ݊/^̞ 0\ ͦcWה :ʩ➵$Uv-C>ulٶCgfua,+bp]%s1S2OWw4F_ L˹+' M-/J(;ـ'O ;mU/>44BziC]]F NMg .v :ƜeٖoͫSh[pᚍocc=H2qsdqrˠڃFuR]D-+D<$ܺγq՘~d|HZA=ZPtVgo][n̷V[f7y&:%>:58mrd*%T:Kn"':ǂ;wl_FE $]sT/a;(A4i!D !l9L?1}DG?,5H [P-^W[mo@F9Ĺ7/6mg,gɅwvfT*m`;|6#Oe!I͹^sզ[6tpɖ4pƻA<4Q?P(1εGQ-Z5`2g=W5a3c`>GVg,  LW8=O"n>Rݯ GJ C\H1&t7]|WIӸBWrK?d,-[nP4ړ4֝x1ZIE6#P㴯Ƥ@k5,񘄚HO>⇂/oU2{nFarE42)nrQ^EG 2n($ͬϵ7(xgHTk9C=]ӤR><>ȂAcFx:2!!s">G- MγqS9%|FFʠF`[0 TX@n].MBWN`\R8څP4ſ^D#,)7Ew (PLQۀk㉄ՒWDϲcOC^ L9Lc\c baM]8Vu;nLcɣz1^$dZ;c]U0`AX_VԢ i$1Q NSa)ANPٖ6ǬoIw S/{_cr-kcײr۶ kɬoN>>eMW ػ](W^O>O'h gQݢUGή*:wذEV#*OũhETӌIȎbѪ+Of8P I ryC ǹnEGfCQ IͳlRzS$¬Ɏj<L01$E˴Ll-\ݧ/ڈ6SO5Ӷԓ ;$Ey&I\G/7jq8 %pOSԁv>-vZQWWW*?0;da8~XF1J QldA& eZLt)!+W\ǁR*pH*{al& ȖMV!ɕU=TVNk:2Α~ @ %(5UY ӑ̆DLJ &2@h= >OkoH,Y6ߓR(e!6]/!yTkGWFwg%XYxCgB㿝8"g%hǟ0:TL`rrB=2TTҦrŴ̡(d0 ЏR䶚 FXnveF!:H-zbdcA`<_ C%u1s@#- W_"Q]J Y5PS?V2 2iP70|=n}!}O3XfH ;W.k6t.eUseML5`x ѴQn8c&S Ř2?^/+ .7hM@[.#*i%(-oFW#qZbY+sƄx.o 7AnGyyQ=q,XbJ%-uIAͼg?vTyJYiig熽h6x}:q9W6k~'1F=귓:A6R(&qJBD&^dt$*W!5-zRhuv .~6+d%T39[Tggq{ca4N(~n[LgS`qfĆvB~<\G?s?BffyhE#L3tH嶋xH9r] ?+;J_sT,VؗIJghH ''&ҏ%{Bв^! 6cg5!m mN ef- ?oOJaV4]-o|54oN z3πSoɓnky)ɸe,,G_:Z>Qxlc"JOFFErI&ۗ } ]$/5N$ |2 7uYn7