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 l1z\Dd ] HOL-Corec_Examples:threads=6elapsed=148.230cpu=478.752gc=63.1787zXZִF! 3 ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7aQ7xә>x\EY2Ev~LA`"Ϩو3glSv =Kr=-Hp#i7<QJjׂ??-kVի mj?f)fK.Pq"lmb5ACy^-8*Y?|+ViN 7rdp!LX;3[E*|QCn 0YA6,gѓ'[e`ӬI^!䀹gϜ@ڒ{3=ē^2tWʫ Nn!P/5 z `~ILZMJmeBPm=3sݏ_u3&#ܝ]iϥ2 #@(fdPl#,K-1gQWsW,G̖杙* [r29+XD4E+&Rm,H{f4;p"~a[StC%'p̬κUOx,Y>%s!>j\)ƈiרw Kە@gs(6|L=4I[S֮(-yȴlsm0Ub9WQud${d}c9fd<j<q^Xm?*# Av6ťO^ $8m"kЖ(,>?! D}3,ZJx']qWV=soT#I(Yuv@OMz\BUQǼϴ/yQ-㞁#x\^cx/1T-c5*UpU1)A`,;/5oaPǩ8f*90Dk̠u~h^I|uGT+RHL.!\O~>[' }Orgјu<0.X$D4ԳD(R2ĩ%6hZ<> YP'mYJOō'PCw T~YKYr8 WKw zn@j13ʟXpjP!BPJUfDf@ Yf 8DC ᛠ7w40<yWhE-P?˙}sH/2{1Xln9`+"ؗ]C8kKc-\.d̈́n] CN{ %}r'uKh:Cd&(sA dQd#^JC'뀕Z/uhI\sI@]L'XI$yeQ6_N}萺^QrZlC@% 1 F~^9&4vFd ;o`oΠgub)5\]_ګftFS;hr>Tt 2e3Q8&fgNt >xZހZReδ<N_v$ G,W+a`Z_s͹u9B|#.3Iyp7~wгnawNӃ՝Jg,m# X6A!U=P̨DRbQivPy:IxWꡜ;,.&wdp#g#- z>RV|В ѯtFr8`Nt>Ҷg;uLSUz HÐ@Zʰzur #zqI bvAzD\)3pJ,|weЂ@^O85V;Ա(ʺ>5UxBm&*Gr0}@mp,U ,ᢱgYZ7zXZִF! Yi0+]ŗXi%8[~uT>l~!5*\mKeNRJ͚ &Z w+: ^c5æC uϚr{0y++DxC^J'I!LBHZ2iw8I. @<عgr0<|fUy0Qg67#S{|&sFڀRUP6j !W`X\Us΍ia39A ˕ T^I&Ft$!4: 1 HOL-Corec_Examples~7~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]<[ 6M4I/E*>)7'6&3$2#/".!+*&    ,(G hJ  3 k . p2 qH Z V ~ :  z|8`Y $?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages4F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup3E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files2K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id%F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id!C1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HO+A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,    r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ F1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZ j1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! bj S]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLeyԥ-jPʪ]&ځR`f?сo$+Uzj͓.\vJ)kؒ1i/59#"t"QL3esQJwL xLàǽ1APpO{fEkf$!M=d Zn[+AIЧL~h'$d8!1-T0F {"~xg>ZA%Vl+M~w:\艐 sKyP ;C\ZMݣPq:Ba ,qAOЖTWwH.t[鹘5N{1&;7ԓ|G{tXeb:I~*l׎  u}hUV~«WؐW=2iǤUP)=_^m@8h) SUU}Z2SaNԳg04Þ|lircXS/ $gS4d@վ˺;8k^FTSPR >q,MW<"1]֚ich:=({w$@R_w[xA*y@6o=q\ޤ_!c0QDÌ͆Ajx7Z54dE bN9-aȠġIA0e69 mJRwp g ;٬SBvYyYi\ ].yt^1C2(rQglh\3_%.JEIq8H/P0N~:(d IQEL[y:;_JGQ - N+*IW7pN$==xPU\yăW9UM'LWOu6OLAF9 dѤTIVߋ@&g)UtcYyΠ=t]a{76 uh~ԍE֭qq*mmUdDhm~mpp5cskKG%Uj2s4h9wVΎG)])\>ks44m䂦\:Y%:p+? yR&m_,O#cTKnD92{"5/o{f{P8wuT$B:$Ge؋"lBT_j=y Fﲇ*{ecvxF5GI aYRh'Wx~g6Gd*ȣ9""P.f|HK,?gYZ m.1OC t xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ ::v1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱ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  n 1OC L/"+_]KYz;֖%o \$N?rrJbkhCD17ĩF;j3B`.&~|"݉>3|m .+/Uc 7@]ObLK'dwX˶#דuaWҜ2x?m?D,CqGۖ-‚FH6R+Rb?I/o^?:ڡP<c$A89<\̼7,sCR=L@rᤶ$]tv]Չ kkT[|iғϰ+/~~-b`KL ڨ*OeW }V+i>Z%M&8 t#1&Lv-6g`w]{sjx{Y[Lct#%Joewu+_"Ѿ`C)4= v]lT-Q\2HH܊r+o翪cu 4]oِR&Z#\Y" ™gnbʎ~4~]^:%Y _|hMcGY>2ALP8ľiRk<!,/}b'u <:(x/z$!k~LdUu7eW런hngoi&,@ WYtm.TZ[DnOM#sa$}yK:)+vH!yW{FD2l82Ty=6Cz7F t r D8 /{ZLԹbd+=z*CLQ(ӗolkuբ,E89X4- EzY<>0*Lr/g".3<¶ ru^AIbL-}?.J-4+o֋ޭf'[ hLsjFy#|(wfwlĵMLhonrJ"]rv5 BǖCfM 3a'kΘ X@߱gYZv 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""gYZ  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=(skHKB8j39ogYZj 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 X M ZkX1A5 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  覱gYZd1E9 #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#!\ ~gqp1A5 \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̄c3jgYZ0 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Ȼ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 22v1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id5181E9 |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 gYZI ȅN2w74&S;%jIixX1:l67^ciy]MEuhDjMچ~!muߔI.4~'ۙs7$rY+-/KsIlc\7󣌊mUQ'7c3)hqbb,N֙ 蘸37_&M̉A$ƼtDwxώ{Tk!!g!k$+`H$4J |)q4^9[0'Oz帟h(tShᅢfuז4[ƻe|e#2,xCsKdu2ow)bf>[[s5ʺ Sf̫ $S61՞30|-m-NHCq% Rs+PUj42&,w"2|QazySlZ D TMX6T^)H4T/0$$ X:5qZWZ,K\`W&n!FLq{?B_T"!]Վms~!}|zC[L4{d ]Wq+q֒ *_%AYtNTAU)R*l)(ECacsHP O|tNbxlF(wnUk=^lpA,^AADT@v 5mʮhp %; V:o,l+m6Z}Aǥǿ.Bcnhȱ|3)ˋxADDz6 +S(X5;e_Ε3yL 1ҭBOkoPY"$(~ܖK'&OҹDVKHf\ɜHI1ŘEi##SS-M"ٶtڑܻ5^JhjҚCY@楶M=+Eb󘏧a_Zm 4<(-^VL@c]YjXaz$Zq(F^akST.O=$sIWJ-M(I=;O74`)Qo[WgUG3!pä́j9Aщ<.kRDMB<8wpطߚѝFɫ| m\Lr> H*=@1(gu`Ǻ_[K$5B=9RCU $SAr!!43J UfI 6źNj:uf)5 WVXyͥЁgĸUB-:,׬ eRQ(ԄiY$z&(~0Y7wU9bƑ%k.ai"^= Y:==sDUkt ."MT$h q*.=µuIJ> O%T;.BWOp LnI K:_nuqD6 XTklApFs g';%JzPIѥ&CT!GSͶG4BKf~~eA72< BxY¼p)+5='RuSvب9`%ShHӝOS*rw=8qf8G }D:ȫ-4gc&Ad nZ  g쫈c[}Xy0 LCP##.6u}kܴיY)MGJ0Y"!7˟IPކTxAZ4l535N~/خ:E$RIu{/ե{,w>AMp~)qFD[~hWI4MABq Xay40;:Ia=fgHdQ ); }ӣCxeeى 'b`i r !fR]#mo/eGсx xA^Qe% vPFOsRyNcTKjPDQ2$D `yIqlƔMZ,@virE@zϷK-L2UrgP<]wW.v 824=Hj3[1=Gƫ#G$CPZ w7đ"vy 1K|tSpU* {I7[ Hf[n;I"f밵 ܦdI9´(C@cq:DRhȑsL7xUSq Q(Êm*aZs k%nuNOV uϒ8Vv`|ދ?kY w9+NWX),*# =sv²_ [d1ݛL9bjŽb:E"|,Rb y07Ȭ yS<"$=dh!_Lo#Tb[]! łE:yre+F{S%v!(;vSyh~?G^SnȺ0]/"ːIm 2(͙t[m%TשҒⸯ`_*#zzڏ\Ka1try?kG],yn .,9jph]+_BzVi.NϨ4Υ%Ȑ`l&5 ϙpeRQ޼2w$%?WMNm'< v)S4/h)&.9 FgYZ F1O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34t2 N3 [UmiS 1hi S)1nV*xMg?mt1tH)6__\7Ń5X<."@r.JUnwU[0r`cj!cTf c$6Q_l 4fg*ŀ0UR\۟Boe&r"dgZS)nΡLyPE]բܪ!&8,cN`iG`Ȩ@&5ۿ0]Dߡwn%U:8E^N q ty8ո}l7NcFqZl47oUDډl{؞%8u[m w-($M'27r1lC*3XUᔈK!k= N89Vˤv.mR|ϭ%8$1zHKQXT_1ܔ;ȉy>%LdS<$6aŃ T~5 O #~ ӗ,Ϋq٫@FكTZT?O|kV9l8ՅrdAԂ[&&.QT¦Y(tRD͠+P1 $\NT[gLWg:̵t 1}ŞH+TԽz XOةԳd.i|Xkp}X̫Qq[@~փ5`s..퉠j9y%={,*̊hGṠ"!z A\SQ U\ ̥‡c7 ʓhjW9]#FWǃ6i~*EyZ0rpYBܑ|:PiW(:Ġ?d.lQ'7:AR]2h?FoA&tt^T}{0G"lI@. Z@',965xAN[qէD  e!z+V܀F+f?G66+ߪ29P6goZP@*}Q#ANކc'Δ8ؔ|Q\m W%0Zf1gEY[(\=3j`C3r0'Mk+TRUF+-).1G8YS 8V_~B]~^|׸{Da9r ]PʒH|>CE~w12=pIVt*(A0TElf|\C3!iZ&i^sU1[q¹<>k46 (Nl' 0ޗfY+\)72NSmF/&԰XߧXPЧ;3a0kyǿg4`jĊ uECf# y* 0)hv_&;}k8gnKxeow'M|W js?h6B;X(-jБj=(u\YlINbVIZb͹ R]lP_?Ki;t&  ozs8 ;Nt, *(Ƹbc+: D9"{+w'1+FgWnYlv%,9`F)z4c[ h @6,vP{j *@;NaY.7JECK0dVI' MV7p-5@-7rVdnY#2"Dg% UGq'Quސҥ-tGKNl!,%6BRhwSD^]c4^ =OxPTrFY`E _K]"A)SeFqb]t'i`t5/ ͎}spXm*C3]/+EqшSQ쾽ˇA  ]Ҕ/[LG, \q$q6>]?N,f) BOñ5ӃpU&#WJ[`"gGZA7@UsF24POzi {mm5y0 ])W^g{<*ؠvA0{άd4 -<59x=fvccArJ=]Å-4gKA6M/)b%UF"E^e-:p^p:pd$5|2sp"dqIJis̥"± Hϔ~Ѵ` w rz!Y45#Iwn_Rhzr(V,6}7 v՛GK3$z} N_܃GP[DI\Nqhk~]Āzq2ímSKVnrx66R_!^*d_|>S2|K2lkZ g1~)TۺIArjW5{mStLqܹ3*pE4;֫U- n5p۸;苤{'@߮}z|~_1?|J1[؝b~G^TmhQYJy_푾FokF 7~̛ـJ$/xVpH֌ dtaGTc=SށZvg;= hܪrMX^˵N,)}vgsQ6w+"sP{ ä)_j'!xO%LiIvo.*QZE}FEWăt$sڹ$n^:uw& f?,c >d;&gG6Tpi|=MlKv&"`c5"#||Q=R$*6ƚ?8̋"̏Or2>ٱE>C+Jm3゚ۇ\5AF,r41-l8d o u - !oh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id5421A# LHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ] ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv >wjIB}']tOF 0p=$K2aS3oė*C oHW#*Rli>Y_f\bxK۞͡9%4%'Ӷ&&QK82f{ŔJp=oex >+ 5UvɾKI梕|zL8GbX(|Rɼ]0މ 2cf5?P?B7XoMl1B 7Ij@MqJx%3K4bd^uUhu-n!C\="VȫCY@I^ML J,O8 2sgTT;LrG`M]Fh`"QvoFU+l:&O:g=M(De`mSo7 SJIrg3P\C7:0.Ҏ2 !4hyt]",Y~y0I2KzYI*W5(Õ~8Yg~U;2 @x_cܤcff+FpG02:h2޺A!&7~"wxcovpgV-dMQa7܁±g)#t $lnK*!B@9&ݙOC/dBdd_5sg \pkVkIt<ɗ~<9" 3a'UíL*XdM} d33U3i9b2 PHR; tRN)햓"vhO%s` :B>M>t& ђOg)s `8WOIed?91 ɶkSi( F5UFO.\{\nf0V1k[ 9-1 yzgYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id5381O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\7S죴fj5DzvMiawYg YERi 2uO3sj'Ϣ~Ú1ǘ7;B2Nt-׷Nc$oJb&WǼiAVr{!f)$96T(bO/$mEK'6D'{hJ PE#I*s;Ynha T -EQ.A4WgW\JZieO,t8:PEϼWyZR5H6BlX!fDK* {5bnz T tV|TPtfQJ$W O:{JMޥ=Z\Z0ܽþW+[,{<ω讕mp4=Fka #Űdü7E'F n`a櫃8vC&oWE cez`7S;x/ݴXxo +tJ(n:@Rhi,m-cpg9d:{DqvΟCy_=<|X&DNiH]pMDߨuӛDh*?IѠO< Z2" ?aW}ȿq+R&[Zmٿ2wZaQ[T452dzNS& ^@'dvI ?#gӾJșAzhX˰οL]1_0~!>daTVuò!bžl} w@UAaLCi*An2Ш. QW+¢ݥ@<) C2i*p[W%w|KJ "򩆤eD80dߜjWܿui"[P ;}U'd+ 0&]5ɱ(ZCGSf6T+7~83R26hΨAlhn(X;i*_z]ǯ+7`3T#G>z` dkԍz2td&9m3AH&p. &h I+36K$k6xb&dxvfa/ۣwB aG1f>PŐ6zk(ϩfNP 4Wbޛr.;Ql}J#|#zsbt9u,qDϼ_ |Z3R eWNquf<הIV5uCBgs=^Hs#{n$e7 +b[ԂQE,g!$%G`e{hljN}*c9XP9(lmv wYt4o*]ϒwˈ/(+\0h% ,<Ӌ3U&/jgpKa/a -M4iCoz7A$bǝ[ww Q"G{bӱ33z"!ĺv[ hd7(! bNl#>?Ms=>f;9:9gX9bO;(ZҿJl|E#ߝ9JIӄM26R7n~XWTpBe3B ^.vyX/T% Ƽfjv{xX!AnJ1 ],RHz":v^Cy|, 9 !/K"kY%Z<|#?:0 =7pvxKN6J J2_~qdɅ vix383-(ӻ̤h൐Yfȣ߸`L>_8OyZSFazAs0UrJIH`*.0t wb;x;@<vmn 4ptJCN 2X?䖸iѲQ&q~{qTlg؎o6y#5.5ݞ,H @ ,,)hŔZ];5e-vMM_Iuӷ8aeަ| <#l MsǃN$`- H}@{S"e>]5.mo7o>) ƺ&y,sşG5R@X=LP~W+' Dj:e VVHIx`3s Z;ͪCd Vn+ؼkZTtKvb: 6,|sD'v۩& .`c^9`|}ՠE6鴎muJq<9l-\y&}q۽-qf(o}(6cBCpv0dsqh`1RYfUw$<_DNf͍7;{>ArtSeܰLv U>5enE5r3St.F1Q9\ {+\䮮5m|6N/ؚzOcf?zKlMeyW^p7.wF~(*}-s&%VY1֧.H2YJfp|Z)֐>Ɔe2Ƃ`C ^sbn,@w$*/wU1`hHB7+EO`tku,Qgn;D};=?}rL9)ANTM(2y!0PjG([8:4E@0N&6C/ K䁒bVy[a%jl`2PݸM롙t"j ٞjsp7;lmZO歗MGD{ۃIblenH N"vͽ^oAإn}&C.a6j;!-UW Es)c v/g_=^JU[bȌ]˴gQ]X:l {fKFp\H\ZMV)>pm@+L)Zރ^C^EgWX[ fΣs;01@,&!(_i #<{pfiP}wzsZrIbKOi~ZZz0U oRib.]c޿r;YCW)1E1E8d8c&~8.W5_B`?S=vFcʄ[rď<*D*Ћ*ᠿ}0a-?g7Xw/خ{CIN?ԧż Cq3SJ~"=4,8a,\;Hlc "'.tiF}mZ H*ƫF|ı{U}ӷq R e$m$=zݝe5RkÈODt4fZ-''~ U4\ 6%*ϼ (ex{MIq5lCc)L hͰe/>̈Z]V| r|΅O(" I!Ս3möqvN]g)t.P.hz >Q0]+DVZ(5FNJ;p[xRo,QS~.6U.rt-g`L,0@o4."aZA:0nY\ 5 ;<`Hu vîE AϤ?~gDp_1 OпD4%R!K!}ڏxm jpbS@8/Vr {Mv7+\kGی.}6 lߏn{H{5P%qY;Q)1+,eeYue P \y#0S[Q*^^ʧT[!d ;5D :.AW] a~ c}-4g+sgW%⹥@gNc/J&IËSY~Vq!yTYNL`;;oV)p ! +]''{i"7e[={$jOJU'ld/(O?p&U2*uxCr䝊*St9p4AI~w9pM  Ci`*|5(.,@ vip?a[cx8M& ւz3sgpݵO5.6q]N-)V]VWevYdw9'(O3]V;1B#LPpI9eK*pUH4$,aJXM$H#af6nq6ߏ:PƒȣeYD;0.0Ņ,կιB+Dw4b|˲\&5wmO^5%#PyJ I7>%3RkMýS$#F& 1BGb7qeK!$ɝ{єȃ\"GBaHE|`1s &*[,kv⦲<m˲NWZA)? `F3bGn3̊LazZ&ATCK,$kۦ2$z3?Wԉ~&%yNaΩ6Hd0V57 A 8Zq d#NQ_|=]gӄ7 o~JfL =o))_)V_]Wl\6#"rT`7T\x0@>@&R쪮_wȯ[Yb2*h Cɋ٫쑩eCJKNS]%@xL/XH@q&Ҷk~K ߂%:. Ø D+E9|q\Br^=܁=:}oU8^v"$˻1~;[edd=3X"صkɼOF74`\?|0Τ \.7L#&$)z' Hi7գ&Ǹ h̊ɍ8_7,% +^$Tlo f~1~zCqˉ}}:u&(du4?-Tc֛SlB)yQ:^fxR]ѦѩoHGu34V9 h6ODMd9̑̇+i' h{&֛0 ^Bl0VĄ RI )u 4b 1Z/DHW`3#X5=e;Cӓlx=jT6;%›x\LX!#N/Gs%'I]M;7L #|+mdf5$oElF;M-?c)G& aPy3HG4BQR\~F_iYj-HV.l N˥aI*hͨ J_L`H, < *6XxVy?y3(g{VމDcFZRaB @->tS}gMawmt bĘdZe7SvPuBoAV'#J@ &ifn+gYZ  p ! =z2h&1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF%1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id526@$1O' |HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w8]D?7 {?:fH\7[˜$\.lAf>)mJ w2>{oY="pʥq)ݴ1DJM)z&_pCӛzq!W%%*I-C_ҩ!&cC&9z@ʹAՁAn)iFN N$k*y0{uf6}IBVG]z. iɁ r})(pq,HOX&eY 7E+W0/U8MVJq+t rۤQ8%H}6 (:D9d8cl)z+U#Z|!d,8aٿ3vXyip"%F,`;;diƾ\Bh *coG(bmpVo@jZhNOQU"KǶn;J:Du7zUb~FYtЏ_ .(ۓU|m 7tЄ rn1!UH%AF;%8'lHo躿h(x}*1qrҢsX4Kq\I<S0 L c{φ%zF{Zn(/X/EHQIH5$܍LUD1:ᬨ_\_WY%umJGc@s@(X&E7 >gpex퇏rwmhlƶHNw%NS扝";7_AvNy˜ءmS'VrBG^>(4&.83}5pfÝ[HҤ!"wWC2jb@(3ۜz88G+ֲhÑhkgτarBZXg*. cy0Nާڍ\P Fi*,Hv ~h_)ev:4ڵ"0(/)jpI̸F+L1ߥB. UѬQ3*$@\%oXˊjn4^ln)Vu舓5/ϯ[P]j7|"#uV jmE[Fa]52lta^A&<"oAYj,Rk%sm~dR)KB s,};޽V*M,R3HgVuM= e3Wo# 6k"g :gYZc# 1O# DHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtk\>tݻHhuQ@#BYdGiwCŴ뼁)fJ NLO#nbbO;t b,Jl8H/n~7pR#3im&K>',*~dh4oP"H.Ȅ`eme5ooً|H;6 Vq ϣxt/Fx,#J=cyֆcP{-[cZ}@ѹ\(z :Ntזt%sCo G9Fa>v &<9*K4= |^5W6BFv^5u'{/]ƬwU|J傴5'oےbР:tD- xCț.3S; -MXMH.$(uDs~ A{V 6d*0 Z?QLҳo\RG%Nj]Jn`:gFFs1O(t5l>z%@-,D F{_T#oR– Aܧ ~N=8937xݡQbR8Rxseialr,L| &|QmgYZ?lDԥ.пvk C +㠒>3thMۖ?rmzd"K}!RuHT,Kӷa\I.N+,4c-Aj0e1Aa$ոT,G;(1~"'L'+98rHhj'U1߾4Z1}SP_m<{U[ug'EZjg:[5Bay ~"yǟCe $Ϧ-aB1^^]= {RDEh%1gFX_Fz}qn`iQ-j\H'QLGvÆYB癙xf-r7Ҧ˶qŜ3SvN~y4͘t*?!rZ#0aؗnD$4H  ZX9u_m/9yJׄ1N1#x0ݕ,{>Ǫ$OQv1&YnܲyTVD㠢\|dO%Wd9y2'1N(ݸqG 袶@ް5'45bgxHDTpHDpx :߉V\ PvA3,t˅^'eu@A7ؼ׶;5^ :j{+B_+\A[.9S̙Weq_lA-ڥcL5:#^h4X- '7I1Zci*G$*D@ B&]ri~蓾c)J+&#o M+-;FԼ@|ȯ_~COzQzPf3༦H)relX\C<jAGnA Z @BL/BPEԣ25˓&6`KFN(|ˮKlz Zz+̎aT_cp! @p1KD~qɗa߽KDŽ"*hW%3@AVA%(X]Ǹ83ѽקrDH's*U}u]nff#7IکA9TL /7 zEHx-?GPiS1uUK~pB*DgXӿQF9}=32΃Ur:EJN+0aS`u:4ldysG0mȻhV0j^ZH׮9Ue[Tp*6Q!q0=/H. 8jxW7(%7daF >T%9O eW~Snݵf sGMŒw8,Tlܣ-LXβ$K\ǥ?iG?􈸯6k5yt:f&[ih!7Key,4!5(6wk .=[c0`nUyEFUs=EQW9+CqzZkC "Ļ^NVG7{ ZL*u ?e3k`v?i8$WҦ?[cQcFg)0` .G%~}a{٫&Էqrc:jqd;b!k\,]%&x󏚚F[tRl!_~Tgjr߀O汫EOܝedF ^aМX@pH@Hr.\XDE>Mʹ2 {GqA>fރR<|Us`$Ti֬a/;yy+G{*Id@:$>u=-%hSbԫ dfo XP!#~mbKi|HaAohv ث %d |>Pnn#oLwO{!^vÿ}>? IB)SR:q62տJKk޼nP'$fΰob`DOfك FСn>Ep'pݶn>Y$\F!xh%F~zqg+xHI Al.&(zk!{Ex+κ+%D.h jgu{|vE~s</BZNЁr  B{.1Գu@.&Wbz3ό|W,|qB{cZL ^u]U(%VYod/'6G~ αݵYpf!s91Ξ J]9%j=P_yIksϽ<AE|1.|=)N[gX5n^Y^0 |kvM& 6̌;$3Ȑ7T}+XnƑNct 0$8ۀH[g5Յ'jQɣa^-nc5?}ԃp5s*"k%4I}a*"Պ~.5C=>"FN+UT"yn[uLQEMzx 5)mS{( IOf5UJ oI02lnK J{6ut2C&\Z5P"C;#߁n`w.@uIߩnxb A\Wzn2"6j`x$uF (LOCL(͊8i{L?U5cT\lɣC.ŸO%zݯ]3Je`1 UdC&RcIsO<2ida²Kz|"t:LLݽx6cBp!:{*V\@,r ZVBS`)/uw?cY$m< E68UpX'W0w/ hKm\wKMdUF#wD̜2J3~e}0X/Ѧ&*S)Ls gRM5|pM1aj\sq;W7Iȷ a%Jh~vU&l+9o<%}},koW'J D'%˾d1>Pu'ZBVUI[}ѐyh1E<!*5qsV1Ek_CHDԞ}0$֖!&;g%P5oxVO<Ul[n ?[*KO]ʂH:'fnI2ZO|eHy!} /ER 7~)`I9TJ#u=o CFmMaG"nP'Tx77hF,wk[I,{^F(aBe!AľGR|̫mH6+c_"}/Ob' R( KwP, -EAZ1?Q}Ia- b/tLx>i!vlU||V{w8=^^*-g>]!@>pMRHBOɌHن\AF} E 71$rQ]ױ6'LKkzno9eH-S^P´MW`h=Kر=MwJb e*_TYχq׊h5\zYr?WV xndF` "Nj\.i/tWr+%/EQx4"2't`ڀf>>ĞWsΣ,w%ҳ?8ΰw )Tq*۞$[ǧHT̍C E&;ymѷj teti[T+Xjr=vq)3u0@+3ZIΔ[ϓo̠)/[?$iSȰl/j?yd&0ՂgB*}K[!w }Z@z<Sqew#/7]u3'SpCخ'Jx/ʍ}Fs]Α=չS98Cx-TTìGcZ%N\6@GǨmCxʹ,->^e($E$ Q$8dWv1߇2PIe"rUFd ;HLڐ"QYTObH]8tҖ*{GirOe# ZyKO` У5!>h}j2kA6\LUv?Q_31G"}6MbӫoſW|R(b If 4Ͷ { wX7>4M_ 5*Iv1s|![Li>,Y ;/#*i˷sސftQaRPgeBOimԀq7i:[)TBAH|^i.`HU;j8#H*quR#'u fadsoa,`40pkHC3 I(fi=4LS 2J#TWBs\WX'  ېg|#(dh[ 3`}.TEM)Aܓ}FRϯZGGw-1 ;~Y P%!? Mwe7:}WъlZfg<ь69'F ڕX_k}.]EY׮5&@ނ!^U9⟆Gپ gYZ |l*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_id530=(1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! :]D?7 {?:fH\vQ7 E{0U401:EPX)q[6ϰ}UΖz3S3Alax}Q ӕ@&?iA:sgSfhr<"LINNy̎/CO]sN }߯k_bb\?x4+M\{د=NIm)u};>Ҙa!ДbpExArRӇw | =LJC;Mdû>vdeDzm)E Yc:CEI+pWxi3-BdFޯh/"LFF]/ F.5ܨ6WK#6›2t_+.w@ǠBhsU?ڒS1y 0FhE(BcYXtܦoS!қhě="O hX7łd*#hu ogkpnUgݼڌ2Y?Njd쫭4pk=ߛU":7 R*46lQh*٣|TG[8J^M.R w, *o [c6B(X}@lK{hux=UL.b0ZzEy7_|P ۽L?"8z-:{"D1ZcJOS,oL=+bv-ƪ*2Ȥonֿ1/l<#t5daߥp# #]+yhb(葀_9^*!`qM;)wRg&HlE%"#2ki1%J=fB.8I^xzX}[F+:P+ж?F*:_fD%0[|Hv% <4ǍI®wh?oe*4GjVA (Xp4"WB(Im7M q,KA{iWtF* T|@x`01Ku5K^KHH]IQ"aΩ&sZG,NX5{—+$M㢱bӱ SMN,Ҍϼ-B; gN\t_ eVѧg]/?ȰWc ^V\C~װ).),Y[z {\#3ÈJ~; n@Q{'pywWZӑ7/7XA '^."Z˙ ڮ UA{.yt#!O}aG!I3{gO!̉D$nxcG˽ ͭT }pd*2u?n2ᇑGwsj{yZ %鶷ɟ=7XV6ܶMu3~fX'|ih҇BoVn/沇nmOnuU? c!NJB`FKΥޕ,rcե xaB-zuoPnk6Կ@,1: kB8W'Atơ՜ t-?n/%us2KW|XJ/w)O4YYVgFVgLǹ2J|_9ВY*FSL 5o:{:P3wF0ȳMXp" qQnwK*VC^a>/ ġQo9$KG Toqv:$ތANTPlc&X\ pg{c2{Rٟ%r3+2G$Kܯjx^zV(3 :b'E_ajKm/ֱ&Inn[t{!rN\DO 5jXe 5ovсk|I@uQ^eUu-JOUGr31wI?l3h=-\Wc9Z=Vu3H1O>\¤e'u%v#s$?GF|%фC<]j(,ڛ""'#1ѽܘ1{=Q vZ@?D#1\ױ:iZi*s}~؍AQ{ct!{ WFpZFZ'BV(p@SKKRJh>b*#+FƆCߎ(_O [GK,8+TO}}Rbj/!Hu w<l7+)Vn u \yI/UED˄rD!- ޮ6d(&WXH%0q:VD[ ̩k@ T[[h_{ݯG޲YyMw/O9xm>+Ll ,v;"j[fSTwPEm!2/m%V"F-+sf?kN?I,fgjO4m'mpy"j~oc܏\m6 ,ĽJ@YPg9zz|X ʪ~&- =‰'EEa+(ybP sy9F}oo46T78̊6VbFZFO3HfE+52!S y7N{4@3V-D^XrbdMX&_kְyh9q!oT䣷j O JL H6١HMglHOph&Z/bA濂Si42!2% +n`7Mso~1Sr*NXxc 6-/zzLLgQ3Y9/(+eS5fÄ$=jyJ, UGP)xS[/`]T"rQbWY?Gsa%nS͵ך\|%͌҃p#r^HfH)4-FY7f~WqЈہ讟vejϛf@Vu6^n/E3X-/%|1J}y^lMZ@ *\JB"C>'>K-<1N!,KC ;[(t0R6;qXݞ"s*Ӽ=S_1=8TCûEh V ƈ>mWx:y*GCA@ikڙaqzw+${" +Iw{%噑u% XeˆXͻ~!2TJܱŐ7f'4I EYc+l¬fr SlowHHޗYkȣR_]!NJ]WMZtY3+_Qg (XeucZN(wIǣcSV,j<+koGlۢtòӬ) H3Xb&`:kĂDCg* JǍUsZuTY_Fwki?*!֮J1]>j?gVڽHPXEV_ t\C1S+ZKRvk:xiuEh~=xn97H:necslOj\,q$O+ /^.(gB37Lmz ?ڦ[Idz-aghZ7 T怔Nc `y]tI5!td}639-ˬIbwTYXTR"NyH[)[g!H1H(1v=hZ5~6fcDKeL2JOZ:pp, {S.LBϣHsؼg xk^;G$#ot@o}5܎0ޔ7QEy `TM`X|!_`~c٢hMR/@xjxe Wh-ܱ4QQmk1iK|6:UڊJK,(ɒ{38+yWs'f.e1NJ0# TZ`f؉xt8+Fɳ;*c9@>(Չ70W6MD\z 3ҴT6%;!S7l+V;F)# ʚVKP xvyV1 DZ*53a`818mRg_c6jʊY}{A]+څ~C#c\{"J@y^19. I3ʥdBBПa4hY%mB7YUkX׋wv%s7a;ƽ7*ڦ 6mZffOײ7/yr}{)aH'<\M ΠH|.<3&džؙ{|PgDG Aȧ֟o|2.pUɎ/? :[Ձ`QL?P6y`33 & 9fgaZ_Mʬ^wLbY20Y v:e$Kꌶ@6udF1x)R|`fj ''4?DIOV95v5`F= @|ʁC@rxɩ!ПG8Jld@c;> \V ?v6~7@+L#kHBw&ajyvXdPЫ揈Ҟ+V{rz-tΠXؿV-~K?x]wbo}OF(:#`e!^{n=62IAKcD1Vxbϴ#]8yqg-/5>hMsx Vse*#Icnj/%wWo,ؖ*m%W77j^BS5RY\V71BU@?I2@}QR6Ē򍁭zB|i|Kb;-'j3A=O -QLiKG3a&&n>G]C%fXx^4C&N͑7t5o} ‡.C23KKxu_^%x܂&-*ʯU3eLt @W;r{^9ҋb^E~r pRZJ¾ /R)"аuƙA؏ЛvOX!Fjb.AaS/uDԵX6 =PNn gqÉˣA'_y rJ~LL1l;TiHB`AsƇ0.vB[ 䌫T`!Fy>8E`S}P, MpgxAc#fks,96r+邏8.73>V.>=\?曑 !OV(C '[ <[W]>5p̟(QіI.fbwi*^7 I+7Jߓgf] d9A}ʱ|(JFeK!Y"4])R 9mZC$Iݡ_p6J{0w!+!h̶T-bO$:h9rgXI E݆VmQLCdgwmUY 5^9Vm?}H :X/Ȃ!f]#)5oy&"j0 -ChZ;h2o&|mL3qŚ` =`SA#eJwN]]CmP ||a#VD c#rڱh &##%Es^~pþ F9 %A,# &s||Tz3%O>*u_p0; sW~S^ߦ:)R1.K U~Ţ){e3[zWH,,p0@f%d%U!0kֻ U^S.j5,mR}Gw_8mVZݐ1m)yv[kд{ ,' = OAEm/OvXѪNphT~1fDH+3?wRj'%u,BC"R_eЄz?-*ƛ7rwÓii/XkV*QQfARI" :tv.t W-p!MJ 쐦jz?FLb΀đ]p)#mҶlA )(-2-0#Dm$$Ѹ!ًRTfu˴@h"9:P_>QMj': w:⇑%CԻշRdo0D,&cжaj1^33ą]|"hۼƏDB<;uo ~ԑܞBWJػR@ѥlFi/-)k ^8ʪ'<=^i*@-fY*Vt֧[[ZVߘ*|87c1Tu^Y^KqRMjۤ90i{\Y(U7xZ(O2-$%ƅ ʀCftnyTg(@ZIH*+t?v'#L %FRQo."Qz:4=)]I'EQt"*w7^ezߑgW߅)ɓ~ԔAP{Sα6ZÔGUG.+cB~'d AJ3ѶcoU/ML?m V3";1[z4Y3Ƿش-]8Λ[; ZsӐY\Oۓњ=Uvaohqa ~r;#l3}53)؋85_~*lc{R[Sv HPfFFȝ񢮲vc1IÁ6eQK2;֮oJS53YVP|wOA)- Gn0":o5<8Pul/MJ@~ h"vz70{36ֱ-EZ#J97KMdsR\Mc;GuQO} ǯ-Ö|ptg2)-9փqI]!L>AK"Sq,GaNfv *e1@F]R4z ]7Ef&!?Չ୕a}O/1 rc ~Ng.'"_6QK )V{cjo_NotbELu6qu[\^x)/n8B_} 2,9)J>(gkw@6naQpxރ=׸ cn5KМ_ /qVrl \Vq[E;F+2Tğưd9g]'7X,‰sx!*ޒdTGk-sW.A5͊F菘x&Zy`DY`dTuT응D19a'ha Vkv!ܟ硋 L8Tv,kD%ľ)na3oZs(A{h"?uKl+2w8@#Q_&}vb :d[ߩB`5J&ܯUYz-6`iz+lhoVBrHҕE :6 ?'/Q7eDuW&IL2`Y8S&z>A2 kg$1P/JC A!ZJ?jeMFg<5Syg%dWLOME<ڞ"&HNIo<**Kr6T}6'͗5w)9ȗgN1NE@#+gz&[ȕ; t M拾K+3W%,sϻymb&"e,v>:BZ.ޕ['JeΕQXҜO |XaBX:.`?1aA>M*е- resʬϑ]7Hu4?&{T)55QE 꺼-itNN"+. 0'@o'Rhq6,o%覡M&YKlYcns`loʆ0 fnȨB<˨ӧ?Wހw֟#'n6ҒKܭ t>/R5k+PVG,0S$-u;crDi [݋=gcӂzAzEY5+r{+ͰZ,jR?5UN&e*YDm KL"xsT]/-Gd%iJC[w W'v4ɚq4)> `4t+ ~ _ۿ<^[,d98.a'M\wN;)&R3[/ .OaM[< 0\)&'U1Վ 3 C6"%*"QY›³ =GIbh$Ȳ Tޖƥ} KR tTUSUl$;,\w(8:` H#G'Tc"LєONWfr.vD`ZBzT"ojI`y#@pAm%Kĺ(lW{QJe^%΂0߽]jM%?=ܹpUQLlE>tdH# ak:c-ٙb_Ikc^C}Hgly "%nX4O$S//Hpc@D`ol Kx&%rm=EYjғkRP`0.GRu\8vѷå` vrOaRk1mJ\nRnH^$L~ժjxrjKnOY| >?>l  5cgt<؀ٛL54 -w/tIeCjmu_7 昡f6ݾX o~Ǎ"}׍j|*HsdC -}ލ&s{X0 D@u5l +/Zr.o<#8;ӧp2 1j~1!Gh^xx Q]w*Tڪ\F&d"`(nR7t ɬEC;i<4Z~IP }8rg}սKM৳$K< -yIU+dX&dF;׿c I@+S`ݸ);~O& 9(߄4&dFԡ|Тy@1.M f j2 ŖdVP m>q]Cl*37vE-5{aZ X~oQIu$e|9X (3mXDKž'YF9 !Vc&轈fN ͎yA?>K!NkIoP~~zB)-;X#o#9{oĒqPU'$3s[ % ڵ:p;(n*>I-1[R;6=.OJl?Huzym]/?û{Q蚁}jťXhTcNBxwoW+S]H)> (QOH5#U%y/AS#fTM*Eq?Gh^}_I:m*j@,ҍjD)47|BO3u6S%N;2Qk'cHJef6*Z3OTH]:xeöGAUS?g3S~waT{ c@ -}(AwKh<\F쩩 6gs"6j /G3nq!妝gqb•d<7A39yAiWϩL~3͵&O`ɓd vr1|7e.AK)1}AW }k\!.OqfdH߀,&wmސS8+rU0D.X~Zk !4Hg;ted)GSo4R7);kփoRdىCyMtϕZ¾Y rCr UEh.ݯ6:aASIWۆV֠}t&ӅE}(!p- /~`o 8 V 24XWZ4BU w*8m;vXz8ggV^'(X|x8*v%= R6qxE.*I qޔnM#n.C!?捸BffwRNn8}UksӚ~BAMPgf"!wT|D ;E<-gq7 i6tS*3"Cl&4IOͣך^YlRjZZn(\r)f/Z?zy0+<۟t h[TMzbGH޼/݌_EE lctzX &xw;v̓umKB*, =ͣ9Q*sa27*)e‰űLVqQ(Q'Wn?E =LBIڙݦ?lcwPQ\9b܌0Mkvc1UV"bl>HW"7Kz gFCpݔoxD$>\G^Zyx~(0|av 0S  HٛJ)-Y((7} 3A~eշ:ʣ4KKS)+1ht/Äޗc8;K !Xp=TqTV<E_pQ%qVʚapc\l+SV:K4dk_f\Ļv4_}vPgf]@?):֣Xj* Db ?C /Nơ|˲ְDdLf`K T5OX/q ?+B.:9KPҢd%bVhkӁÓFzn]kS ?',فW,Mb(pԠ xU<o' G7c'VWVv5V9QB}ޡ_Ya@r_0柎߾I-j\uX`6J4'QdAsabb+U 5cV)oX$؂?Os>jV#Izk|CdGQ@?wgL[̜) J rבlU$I}}i&[O, +{KJLZIdt_o` M Ų]{0ʚ]%]B+|Wz5wJNrd4fơ4(Cֱt8k,kEk|-Db?Lkh>y=m]O'eA1d4ƍ宬hJg<+8i$#0)Vv'm(@WB z^liT8w#Guo8Tܜ:F34J7=MrNՋY҄w2'UO!fyYHIV`8#=mSp }˦Vp5CV5uz_֎XᣡoŲmƎ]= ӥ+3t iK[WI[[7JTKNwVX0¬1ȠcaW-޴w;&le" xdLsؔ K / "nǭR\Yq!YgIjH EupE69 T?_QI@ø ! |'BoN~&bvT:H3zV`/.M3Q$h/(j6Z9[#`l;\ԟp1sތq%\B8yA7V%:|CU"mkPm JO%q}-t όPM6sUܾђZxK/´[aE*%Eg ]֟b&:TЛF0 8A[-uh4s7?V"eRY+J*hToV@tpaIo6frDö>LTT. yvp쑴⺨FJ㝸u!Wn%}5վO*jK +''T|1hDr^^`I}_i[3h ̝=pvmqeh?/y"# Nk_Ƞ ÒxgT;P6cFSyj# >.A&vkTN=ܣʡ]SK*G9AַP,; \;wYQG ,{1Ҭ C6t:a}N?uvæAW]rO4DK`JsZ)TYc^kd_s/=Ajޠ4,"ueV BZ;#q(|K4'zDWw?;Us5_Ӄ4B^y=͙g F/@@P*,wuP#('<NVg7Rkg4IV\5Щl#),JͰo9e׻!t>W?2U,,Bs ֽo~'Z}mn),fw+%8|(Niq@:{+:k>`+E4]pxY`LJ;hs#8DiT4,Ua|GJ[άԉYy[w]pH_GPt7&$͒`@׋a@S Մ] gR*ZԊ!ZT N~ Rpd";dSLHY\AH1&Vf]L# Q]y~G3m rK8;8+ cd83JnS8#@2o+37K}wqIЖbpo99COxSqr˃`TT& [gbgxx[pFERsc ,}\V~nI=!GW? %S>>I)'28-6/dqur$NKdna=K3  8qӃIYWëw$0r~Mٲ۝4FY`xǶ ;BC- O(#L7'WLNeF獊&BᙅV}Eѧ]>&FL믨+-B|`:a&(=hi\,'}>~_Z8s|o.8ydcEIk0﷈uS&h:h؞%E0Ѱ32'qEљ mxm,:猫. Rpʱ)g{-:cVNnIN+͒hKݺJˍ^=H%ٗu״TY0"tUy+=jPC ttbI_fΌOcmY]CZ ocw&LcuU&jEM+8a8|*!iQy]&f:_s$v`?K?Cc<â^ +&p:Kc5V#!C  !;%88BZ4('80S.yY&4rI0oJjuZGRGBچ|DypHY̦-̹̂+0 +616 \+AcX`|}UۦGJ ;^]e#h'g-&mb hr $KE6t’ًɰD+eƋf|M;g@b}8cfыe" ,{eڗm[0(SZbE;Qb_f)+z*Qtg~Z3JޓGhx*՝a#}%b`@V,*w X PCꯋ?u't)j^Ge\ChQ4qacFdzAUN(9wB4,͋#"v/O 6GI^ưk*1E: Q'^wa`vۻ(JȠJf\|3@mmn.ZJ}w̶ /UvTx@ux?VƮ*C07 O LvNi~a}{#== KU_[:qڊAlkNPM]#5ߡV~2]1<2xU[lIDu_c1LD=ןkZy>#D!BNFaI-e#N *~Ș<PV8 A%i| +7|6@`, %KLQlExdWZg%Djcmmé4,Cnꂣ :jXRXT 7=)j`bѱ'9`aY:ͻZ~Sq %_#/_ͭ:-c(͗ȎNo[w]޸i'veP2tgQJ[2Fl*׬Rb5YS.L`4:yUCmħ my,$``hyFO[KǴVΟ4P[ZFJOsD(Y`> ɍfibc1:_!N^]'M9Cw "g#3N^s]-"R\,66omC~txN]D<%cŬPȻe`MFEΓR "s ԧGgHN^=G/`^lM> 󝒱1*)g2$LOpaMGH&$n+3t=&W,.̦rifu;ѭZόd-jػb~)sCh qmA*AGEX/5{`>:O0`Lso=#B+WdZl}tݲ\!:ԓg_`Xf$6*?gZl=IGXdm?: i;nG%ɤP#Bb!:ﰩpՈ+!IQj_ee4j&jmX)IC#N+nD]}]:"|>Kx+VJQAFs<0o,-O㟝d*0 S2<_4,'U]0ʬxQæGY=nPL$Ğ5$\q(l18fA%F v)M5 /SZ:H ($Na{ ZͧskKn,&$s#-Lgor9ǰʲRzmgYZ 66.+ 1E# dHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! IX+]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2TiܡdR /6uR*JVx]ƯY\ @E/SN0KǎÀL]PIe.n}:Kç\JL$D)Yn6I* 5| g;A(1je1_RX ةn-z52C)Ɯ$@nT8(\ogӚ$my Y늾2_򎔜J,͠S1WsO_<}WܟWIpJI/_]8ϩnnrϵ-dG(ʒ4K H5/Y"]Âw>!p1SS\)0F\ԏ9z5qpuH*G,㪜"VD}:db"RawbāmoI{a]2Hɷs9Ef= 򂦆 sqhjs)S ܉._EN<G'[wmӽ1{\X 3ة`ƨ4)mY|bYe 27%xLHi& 4ZmJƶG)y=2ox|݂# |E45B^2skn)|ڕ%x["4nBx2K@S afQJŽ;PUCviM LRM޽jhpOzoPKv$ 繒2'3#l-~R=߾DdVE2FT $ᕔ;$ % BF;#f~?=[ +Qzw7m[R ~p~G'M!E˼>$qWjIaޑ ǵ`l76ZRx֊|GM}1N`0'M4eHiȥT=tDV(?-QX*)~Ą> ++\Hz;\x#v*_OfVH dp$h qs`X&!e M#I>CνO;[v<(mL;`C>Hg05w0Ab2QȓB0xT ywOXMԺU#We<@T W-vN6y690L<YsjQdڸ7i5QPqccCQレhvjoI=RE'wv A owLJq򝦷Jv CƮD=˜ "l<ՐG iA2ىs`ʴd~ؒa)2Ej:nW9!kgSuЋD 3N^^k ;)]dlYayu1A{ vS9Lt$G[ ?TPzt9X)? )xs|nQ0̽:G&&7T6v2upitT+6˛~:Dq1 Hi~^Pw,KAY.o@8_!2-$kc}"J?5_6Ď i%P h,6OjLD1p[4”BI^W,IzG_jP(=yR hyP*jd4 ǥɵ/Ģ \DwSy…W@a5O?l* E3dpbQ(=׸̕՗!oÚ3L7M7tݞuKڨC7{𽭑FHhTQ:yd "Fv` %5} kw4!%lY>yXD* |ٔ73kmw7τ.^mDOX.WdN,AluT~߹rR+;EP_94…μ5br$}8> fېȒ#U/QfJU٥'7Ӝa:ו71nI2BPuKsK3Jkӈݏ]sJc}tp,Kxs*#]PPY4dH/a x?qdPU򘍟]w짛cR-OC -?% 7㚹!$ycԳZ,8wƗX2NfEK3r5&W Z\U@2ikzE= cG"K> r8$[7\+&ILL˘ZO-f2pƶ+ YQh:9{ 5ºNRbB= kPb֡þA^V6z |Z\8ڞثc[nM'0Z FF8-Yy£YAfu񜕷ա=r|<Όt\ 8(vr[`nh'qe4#2QҶ۝l.*FmFF nxhOrVk}ĴNkEʖ[x 4%cS8L%$gLq7T@5{ 橦sT|l-Q/B- >XJ*A@U[/jFx_8"֔캤a|2=d_;Aokr{?76M7`fDuAUI<2caJc8azFBpY|VM2/՛$lT_=56e"f-nPcҋU2#=!}AZuV1 W#RFp}BNCye6s<%>98\"4:4֥`i,"j7Idj$$C-+1A:^ᐧ.LqS=(j⹏lHo,yu/O`eK[[^gl^$ G^BiWF;KOVK3I0Jo.6 $$?~ &½p% šq>3_"+`' [#₮@{յbgc\IfŅjQ_WnK+VT,D`uZxLئ ~3|7(YdZT [igYZ   r/1O# dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! i]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBj̸4;쫍T#!b.|tV&jFE6j9>kP85Gsκ 0bKPPJw.eA#^!wɋ1 SSY6ah QMt| lWs؏KB0yݸP>{HȭgTh40=Q^wNPo.q&Ljr"V?ٸI}b*ns1U7: WfߓnڭFRkr TmYX|U.H߱ n1m}´zuhpZđKOdQ}NUK%@4o!K7QnU*g,$xN.nH`=}'/GBдRj.:5ѾsFj,n׆BH$5;~r8C.F ,WKU@b2EB>0eU\+97\4lJ PFRfxhe]pӲK,w8bMMqcõOy+Ӿbbo2s|m@A+v@Z҆؝7o |z =j~evd+G #u f;͔5Ȋ-dﵝ|;ێ)RztV;`uJ,$S! K/ Ԗfw} ds!MɿAJ'DFì m+ vc14 ";DZ̡H|wx\h0M_Βf|UBuk>[Z?WǺe|?7ha;5W|bقgoF-RSL {\06N1LΘ4Z}eLXg߿ z%&upA(2"+KnJu")E$VҨgs;uI6GcR.6sS/?Cu"B\aw IS;?Zo1hQI2$cBN9U|7'Z.:2vm$}V~a[?\%P%rnDGT㐽l|:lR& #:p_{_?zoLm3Io Y4 ]~RزfvCpcuX Ё)uϪb;4my32qO( kt`8Yl.b*" \$tōQe #?g~r!bhcr+vpDF\=Ƕ `, {MS콆MhZ~GP,&@v̈́ 3b9wR[`5o}#&F)V R Zeç\uӢ W^Z* S)Y[5z(:~" 3zcN Ne_=r&Pw3e!Dy =H-B茦Gt1?]Bk@4j,%iGǽD.fRLYJ5OT1@DF >DBB1FJ:Ii ,WKغ%ݸUwzǚSٷ¹%Ԧ%jmI^@ XQt(pv z:uMH;?O^!U>/ ǏRHc{֎Vf١t8*K%d@. 犸tT/SqQEv }nz5 H_Ӻ@vR+!@VzmA_LQ;JhW?]v`л)_@e+kQ(y[J G(Gb)A st* 49q@nS0-o}o ߽bu:s!Y/Yk@dX\ZS#ݻG,Q HєP(Z0cOz$V~߹Vz[kxrPY/+c;y*y~2}?JJ֗n!;r2PV7LCL|xM*B/SU?~S@&j "$pP(dSJB2!>TֺgAnw.'܂pkƃN^se"*|qقڰ+-Syn's'+6e j5. mZK4}'O6/xD^Ԝ"srt|At`$ <lth9RߑXtuԯ)7E/օc-SOEʻW;ui^.2S?=nH [ B;֒o1g $n?z=sbq/KVe(ל.k9@u7ky!TUi5-hc)454p!]M3)q0m9ՎXNlw.E`T\Qa$qQ( CyJNէ[xs*\OY[ dT,[_YV2s6hR4u3\V; N +IoNڙ/ϱgYZ   t21S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO11S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id520$01O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\o΢>ᚁb205/Iu$6dz¿'8 QϢ@P`ʲyَDC$jĤ*䤮G;b$3ID ~>t]lJՓof)Ǜ0Z=c$yθ0 >PqVww/>.MhQo2/rB୴X^h Y*o E$r^U~D=u 0t Y+jx3w&ifP=cDH5Ђ+ %~jz!!>*BcKo+-a2 w6*tCl|5_sS %2f[doZ6az^'{+:o ;U T]u^ I;~ 3T ifQ?ض +Y dbҌTfDHC,wu]|N[PgpCfo-oS~6wY.Jd@/N`i"^zMZX] AQH&I56diͱ1c2Ѐlb ?0pi i?OTSgYZTWo+frriikT̔K{F:-TREF w@JoN.;~i))(n x$MP0jTb]Z/-u6 =1G TG2iQdbJLfj;8gfb NY Z\uMA;~lDZKT~9ƙ*4R+_kluu8JA _Yj-w]2#2 %R+9R+U*6k*0cNKHXCA/Rߚ"dnX  bzrl#vbЋɁ.NExlE=αzTZۀ_p*RkQ$jۡ8V" ={eьV`poS"utZx1JHMdt̵ٱDŽӀą :alNSpVTvE|Aj 9{ 4]D֌<&GF2ffP\J,j{rM{-19%)E)_Ƅb(5(d_}m#B"Oy=gPp ^ᖺDfҁDMo4,~ADl A/j`ƦzkXsTxxx[+ y`y@hN>uOdz#ȋuCن.m0.3H_K⏚+)?y7T 4h7z=.`~mCե(cן̙gYBnU|a`[#7IY&94mw_6Jrȋ!9 QfY62 \g%Y%]bL7vANFc](=r*e06B]?7$.n{"pwi*0qs\o?hAqR׊X[o+lPW7 ō Ȉ(~[>}H-#@QUZ %l%@tۚ!F+cN`i*g):cXt3Iz='RmbьGxzWU`<XzgA۸tIztw}LG4[_= 3>Ѽ> _޷سwځf׮;f&3 "L _(aoPO%,ԁ\^o'WAhˑ5?X~>(ꝆQRޜpJ N%:kşzrzjt7RvK"6[UXyy2, s-xh) wy0Xo z#\g ғ.|d;>KJcN%ƞ?'~۾|'U1 b3ѻ _c8&bx@¯=AZu@yXn5saDXqnbK䫢N47Dˍd3k?9)"Kǁ bZCGV!6mtFM׍s0ƙ.ؕq N,h߇+gqaG_ o]G[;Enő-4N6XK$ڈQ M,ֽe>Dѡi7%T&5mpPL @lVW@q:%$H{/lG价;.⹐E4J)e 'kwQ=pO68$'ha*\v9d "]yV RB¡{W WHnJcd #4 {ɳ.4/lZ`Bס:qAnCUEt%~.WȸJ*"2b?ĆVs%wK͞S1/IS7agNxK DвdOcu<gZ!^MJ5r:DҊS13! =Gu۽qPWy :PҪ[,ObDivBjDт3'`=}\õ А oQW!~c1\^H5}M21؉&Or/dẰ+sh? (qU;_v W`4 "!G[ҍHE`PVwƠy(d`Z֭2:\*߇qUym ;2%T!8ć$l5{<\ Lwȅqa{CJ;mr\;S]gBr@t1HHSU%L)LI6H&51!k *:g?ū"Ө^źݑG#uuq6E!6eaEĝkU{4N9v$ܤg_FG& t0{V1S]ǝI>CL̶*z9GK*I.=a[2kQ(oʍcqy'GB @y}ZմSWxjy)VP,ԠkQT=غyo 䉌`ʣō"9c]%]>CdD~3Ε`Y*B= XwzۿЛ3_juc1\}Vr׀h 6kH5!|7"1j&XG*nzg4ZX`ރ.hd=k\@&!ِW&Ӏ,垽b<&D{0ұB,0Yw 0uԘJal:Հ @bB(~yE΢|"uom 4W]r3i2|N [V"7a?|=(>HY^ Bm7=[f>N&o7z*S[.EF {<@r_ ;Iƺ_C^ggU:]y_ .Eݎm4P̰ #R&d'<NܣRYJe:֣s)̝'|kݤ|Nݑ uG_gƯXv, )=Jh1A\ۧ)e6osI$8!<ǭQ+hez>*xۊTl' qlumނ1]DbzȁR[M)%C0%Zc,Z|,YRQj~ǗmEa)wq 0%䦧λUs_:{v'*@E'qje^9Fu309bKtX+ҾSr%E%_ Ƈq^T YZܶ"YnGcXn *;3n\Dlޒ2hyIXx]`c̹հx"[ bh3,mvcfhYQ:!7b`]SgGÈxZ:R2 $]@60G<("}٫C(` *&5`H6?-X+?=Ԫ?VXz+ϴ?ƞ]dLi5BҘ:U"gYZ %%P31S# HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! DF]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)-"(`1p^9 cٹb7"c/j=#_*HԨ[E\wnI<4Qk lm#(i_]OϜ?R#f !@G[m~d/D1& FX"5J$d&tXBٛD+D;mq". PpqhSt˗&Kܞ-'0#A,k=49G77F"w+6o$[cQ5W$&]c}J9ۙ~+S8&Uj@c7{q8LwfCs3WdАȏUh<]Vcݒ( s"p˲^.O`#V]cM r-6eIQ3`j{#/-7~Sdw{C?ve(P5GNF)h[SRTy7v dGN[o+(z#& Cb,37 EZLM&@?]rS|XE:7ctz: QX[~2=\r$uO79Jx  +mן ^>qy.1u!5*o@,WvDN j!-xF92Nh#03F+$6gnqjW‰oj8I ,颚 od'ȼDBYM &}ED82xWs 9%P̮N ,3t Es{-IO|=B"KhʼU`6&\T8ebc*OP?t j$wNCUf8R? \)mDN~'-no 芒坊#%yȂ MIv\JJt Xtگ-f T(@;zDz 1KFl.` .fDd!)Ro)-tF9Mex9/jΥܹz]h.-~ᩓ[ׅ72"p}f\k0Y+s^%=7 f;9!P89-jȵSzLißPK/SYjvLZj:/<w6Y(Tg)T<)ƴ8ÅUUDR ]\@l 4&F>V1ߧ$3pB5X?†/b#}ӇiO4h +̼l0:(鯑Yjc!V߯a½1^0cNxyY_ycsЛ@!q`g}1"cX޵%Τw}>=* _=OcGBK4zU{{y,y'Z#m7kt}F 6L|@.i<(GVcxksuS*°ru>xfPHT zw$0<'ކ=aɳ57ZDWS&1_{|ևT~y$)V#-qDO%fO.ˠfQrQWxG98KOEtGɱ{F鄥dm(yF_4ȮXcVm.?>h0.*س +^("ᡟM8Ξ߀<}9Ns5'p K2 R?@=rj7b#\rH#*_+mfR(di%s =vsrxD)mD ylNFr#4(ME"!$-%r_*(8nԡ&+8W}EXjs xsgI0yuJ8aIZ^ "EB ۜT$PwK9|٘oLf0)3X$6Y-N{+3ݜa@4{b%XhD! AAT ,O e^|??bͅ3Q"N7I}D,)I.bʅYڰ) \j*Տ鏀sق8*J֜Kn^9a0*;U MJf? o!T0!JFa""xD;\ܔ]]0m imGSX"}ynSq'"rlvD \ZC |sUwY˚/4΅M%  C b61A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id516:41S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! .]D?7 {?:fH\7[E5fl&?qQL[,V2ڱAEA(Ax1^c4S>̪nwԎN1{S̳ Wn3|x!4aސSF ?<ԧ7BSƛ NfG:n\JǞbW#.YQ4ANKzt0m$! LV,_l-(%lQiՌB}F3v, biϢ(z&6f= sߧnڽc9b w_f'Φ,?*ꄩf~GXY,2[vx i5 Xx-Մ˨~FkDI,n$=vhen*co* k L.Iv,ՏmNr Dw vFck'&y\^呓}ij۹$/9+U4~S&=BTd0}ߚ.ŀNַo07ZOnqXߛ ԔIܗ?q3V.`=\~ , p~*]y|m)n?iDL)!9]=ݝPN?SY9gkbס'o;-r2=˙әdHZjA S3 >=uցU͊r-+F`>1 d tH]Hl-hVjM;n)M63ۅqvaձAnL{8U#\hiwr5)?ڞ94M$ǖn`痹 R]"C'B( |G=JrHF{\.P2(HA4*58Dg!]jY+ׯQ gə:UlR ]9(ó ȫw3+Kba"ݴyqQ25iމUA wH2 w)so-kdI,? PޒJ/i;Zͼ&xʻ'v7EƋ'Tz_FkG:9vja;ۺm/ު"[4.mK h377ݘ \V ļkBo4Ks^eEI9xΧ ʓk霫< ۫wbd";n@D#Z"HIsOhxk `6@~'D8h`eCRH-Ğ old̮(9:|jVHEջ }F/}"CZ)Kzw՗L:<Ɍd̤P4US-CՅ~;5eqT; 0`1"Ytƞ v[!ߥe\؞0UIإaur&36ehe" <  F<@߸,T%?)qw?0T,cǓA=Q4ZK/a3{^5(z- ;:-o,9y~"rgٻM|Hy̤f)>_R2PWg!|yK,~2=#EXF\4Jv{t%4jb40wp}qE@aYj>egʞdGa 7~a׋wZ.7eGVg[2KSx~ot,q8 :4]|taMqN=+tZ$5f29Θ^agIپR{!]qЉ`7 ;Ȥ9_L灪 1w; %TYPS.%_b?, \71zvU53A]l('=˲lq ]?\.Y"ak403:XnNi2 V7; /gYZ   k71A# dHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&i]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o S:0RX'"OQjlcu G.?Ux-AW쐷BHć )e?>*\$&W2>bS6q^ k*8p^9爑GѸ7[e7$1* ^'`7$AڽI ,)/$GEs͌BFBPyu]E =IjH7+J{0i ԗ@y&d=e\C5ɳrdb D{ĝ_gP!9Y2zaX.>jW#2G*I &:gz?:b@#5hA8hffDn?kzl31ڈbkY8i|b6s8X)3ؔmԸLyx2$gi/@$+y .PNќ#:ʷx$Z6M"LdNm]6hphFZ FSԒۼp<~LƠN6WaWHaK'&'&zi9O)jP]ǡ~(7vZ7;s*h-oM?K!V9+#a!D@l6Xo2~#<(EO@4xƙ.B@ԍunaB:E.ݭriTp1|pxkH)3#gVA,[f/T 誢0DUw>@oP\tO˼588ע#5Sw3G0ש+w{8nH"GFUC*B fz<,^ɂ^.xi`I UcRkXɁJc$&73f%}V8ҽ2;WV'Iz Ta=4w8F y"I{.]>q6k1T卪@;2;.I9C-pj]6 @<ُvSH<2V0o&I᫫ZjK[ Mt7 4=ùnч1,yլ٪>00d6 Ss# Ahن\[lQ~~!$duCHf72LK5c/~RT/=0F-tF +n{.DJ2k7wA 8W?uc/NHЃy ޹ͻb &s6g8Txk()z{9NO_Cƫ&Kv6,[v6kV[^*t"blZx;b0gD;AF'ڜp 24eAq\ҧ"Ur?;i6-j3BGQbå :5trZl3Fܧ>4|4 M %G>}(z !$bdB 6~0xT:h y?Vh^K e-](mA*.p_;)/L:#(DžDӣ pXK'xt~3w _$soYHOOV1 &d됆W^d9Sux(^mLK%U~}|?y]- A-;QNUП^E2RlsÃ=k Gw eV\>F#ʟ&r$=Ofƌ_7dƈ,9AaS Ćw C7;(:I2^gex ,Hχv(&*`7qaSf3ߜJk ( +K5٘Yvf5o}-쬹BrEqt+̒RujٳOfSҽ󳐇cHm.I_N8(.1lFhd`(7iP(~}!96#4XVڊݥ -IOdP9cb{<GEr^3cb3M&V+ʽZ*pՃVۂ"&akQ2Vy' bt!t%}1z1y:o1¨FM;̠A,By1&&0 ߔY9 ێ4U.]<Q5 :X2@&DGQǨ Cd{>2Giۈ%lLY@_ Me02M\5"]9h=gg%Rh#e!JCٳ5\{]W;o70X(\ _ԩ)hym=wV-Ket %/P/~T-l}k|d67 O>">٭v:MQ :([*E'd#ZVG3C!w]ȿ۸Z$%M.;Y&=BۗZ"OytKB[Hy9g`‰# f)GiOr/K’2+\;n-WRXuQSǩLkӜtSIf[~&޷}XLBUDh (  !nv>1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM=1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id524@<1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L8]D?7 {?:fH\rH!1^MtmM 2_X>ГO%6I{}EƛGK&\i{7݌@Gn zW,l?f1$[9-3YzY Ql#x-!iZ9/5!XDt|0< eWU: ^ّ w,V[^`ZnTDa :  R6i,x[ݎVƭ98? af,v:S`՟pk`fգUNy(jjt&p; ʕ-mr ֢kq4 ^u؈w%`*]7UI:~_5[hI|Wsg_K\猫yB c/1ߦ@}f|4vU%`̵[ ӯ)Ti?&R9fN7Y7W%ȗB]⏠LE8d` .{'G8{&-w T~6 bzuDjjYߠv$X` `xߥMXō#k9:+=)T_E'ke_$WO"IWYu4ߖt"B HY͸x[b$*QU6BoGj3sr S;{,x2z׆FPO8h^'c;\TJal&D)K"0;R%r{z1[c-z0ٚ)]s֏)/b=:)LQw)l?<;YFL?䁒?7Z3xETžɿ[^cPj#By6mZynN7#%+͒S|PۅꂆcaCCAn=YOk$qFI$ȡEB絵pZ&j (~moÄ DCҰ8"" t{4fN#xK~9 hx`*q^S'2,[%b9Wm#Z\~|g)fC-틬B|[ E(Ls&x-nW~HjS6SV| IZ\ sϤG6<7a?V,yOQ%2%2h9h:~Ϝk5 wW0$+),X>k%hnqM9ݝ~-v:1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM91O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id54481A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\7X&v"bkRUoaC(C>ilt%Neο>Vjm^<>ak/Q!Q۔1!g`>ѕ7bxi$-X<ϸAz-VH{DKcX~V>+:B&,27b穽tBeOounl1,Q9蔂 fţ%;D a=hESG19S]:S%0K%2V=yo,7#7[MuZ>{LCGojyQ"@Q*̬0QaAxİvkp/JeZu/4<&<#p1Dm`lm 94voc `UT%ggYZ (z5 j(G hJ  3w k . p2 1 qH  z|8`Y $?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5&'HOL-Corec_ExamplesHOL-Corec_Exam@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupI?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idG=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markupB<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesAB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id@D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup?C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files>I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id=?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id% 'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id Ze'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id ZK9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex zK9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex $UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex M;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.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 )gL j P m ( 7g 7 d  | 6 M EaF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesRD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupQC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesPI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idOB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesN@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupM?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesLE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idKA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesF?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupE>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesDD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idCF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages'2o ٭Hpe-3;vLpo z>4T/u{WN +VDmvjK/Հ_W.:Rv̥{Ahݫ-gyM?Y0-̩ W=ncAVҭRi)GL EYGnQI4U'Bpl݂'ȱۿOs&'?[""]IOiZl{r3-/a^ŦKWDhpY`7aJPaOz0p4{}WcrlW(-S(^|0p9oY(+:&OA~ i0Դ}t!Y.^ޞĩ9)\K_-rh]#tHA~*"B¤ ,C2rkD 8Aa WڿE`q =,e\DC|Wܷk2PCՀY-J֏Yy#[%\cX^` -}*ƽYe7pv@~𬏣Ƙ"ȽG/h1عl Y)*c"].*&%;I#$ -MYˮk5%w>O+8-Gg?&~QX?RЄ zN(ƌe3we97P%K8ֶ /PjC׫ H+eZi1ś$,5)tsLƫ\]9 &8e]UC߇=& pf屘4ހv{h~ft:6vC;DQ BH_2ϙ(Y12`fI@>N;X*V0 6 ^gcuta ŒX w-~E&Zgݸe:#ם8ːr? qzR(eUmzMRۑQd3OmBO75\MRZfʙ`4ɢNq8F`*Wa[YDhC8w>>..}[prNN &` ܌r N_sGdF٧QMp8%(+o09aS]B܉Ȃt2LJ}g/Mq +aFfsAw g߸ LjHqVB7~zU7^1i\wԊAI \BV]X>ߍ*o}¸oGHF :vDϐ-ul҃ be8Teβ`*\,qҿ6Z Bv#MPg/Tl72M>. S"/-V۪v{i!8߃\|S@ܘN<\qJXCMҐ 5B) .0tev* ;s(2e|c ~"A'Nݧ גW{zkt #1rh\Zxپ\Q$KELׅ]m}.1d("ѩZ|.Ra'x"t~b#"[7 |$VBMdZcc< ˮhV\ilkVP@EwDc|Z79C>l.Wb0iPq#ѧrz=67Q#pz5P3duJ۬Hi fMůw@鸖׿S$ͪݗFL?|J(FrX)PӪ"_hW̩闰X *d !nfMl4<1JBv].K\f1$V$}|k^"A]Ø0@&f]_8sz t>}Ow6af0[ؼP IQ7G}!-qH[yؘDH[} k8v⺷avLHNNL^JG="n cctǝٌ:WPv¤écRYu,;-L}?]>3!ܵWr#`V+`W#&6fVFWyd0rkpfic8$ XВd.MV0 o5]  c~a(EWH g5boN.VfcA]*uB2Ǥ9$bm}C)?Q `ݶfx}yK1p5I {r,[g`GAM9%oP&>U1|]%R@JBs%04ʞH^=yDgXpdIST&iz6dؽUkl|Óo Z]Bhv"7gcJ,-eFs*"՝ozqP_&TMLIYc=bmm;>(ԞtRփjg x:sBd/g3ֈhx:7ҳq2|5س0a}Ή*=eـU4{ه}#xC2~Pֵ:ѭ$t1m)LO㶔\z>x{^> VԗW Yο֌f%wR20J;s~࿋7v:btAe0;J"8W]$0.q1 OGHB!4^&5=vyW/թ 6Vx)Ʃ bx !P.h eY1MLn*C!&޶*@ }~g)Bc%ꜴQ{rȵN7N(#nO5Y nm7U:`6F>>Ӫ"3;-&vZJ衦sy3%?l2ݽPPgϥ'4H}4.;c"ZrDk49 n8rV|%C-\~ VZMC)6>M}:a"/vzh$mr@xX/R#p}t+6XSLM\|S慪k:R#>!دi鼻1{˱;yg{R:A\ݥ6\uizܷkf6ΣM"a>0zG Ur!n>µxџ8+d +/EU*'1 S` Xz!w*4G7i1Fg~a%!aLZfe!|.*R-(EL1R6-BbE >s(}fCIbr+#L1\?pbWa][ϖc6WÎR7譼f |!ˮEu9N)\?|Xya=ޱx!mJBk?nO,V827n`8gő}&츎c9 Hi7yzjl[]PgG~rOa/Xy{6k.q3)O>9Jq0,*NZgYZ.g. >_.Qʝ.hӏjb9ςnJHH )rՉ_!ێ͈ vAD1`=DG;@æ#(=VV)EUCKčZKA@. T^-aS`TO ["\99?W<֠w|%6 {ػ͋a[FxK|"J/X]M!ܞ"U~A…1flA<؟ ucNš# Epl09۱(7B>sjBv6ԋ&"߻i1gxʠ3tSꖫCsGfԺE*ByJ @ ^]Y??=T=/Ôۅ4QjOhA|&y&P:l8x~?۰26PI9SluHAhY-ȰކePDܕr@zHG+s?k\Q A\` ;q/VfŸ̾^9ŔNe J m1Pl]g~Z$PrY>ZVI21tju?ttfVN&uZN i'߃_(::Db B$," hTO "+vE x{4o ƼzKz_tY SR39X?ɮj806kyB gNn5r¬n1mN`'0\wqY%$]C@%)hF 9'(u[,;kiPTx[@Xp!/JD7z/No+^'GIL*=/ E(<{ъd RS 8]h1WBiIT|ԆKL*/8*_`FeP=c!tc\ʞl^r6>ũiPxNc N"MȒ~^amrYXR&/Z%Z<'?0W%Wz-΂I_+ xv}1loB3/E`_%@I*  FFƞA@$?ה|eɂЬ7qAi}AŇŧ/L@m93',j Γ}.Y~TIp:h1Y@r&fAޕH*оW,jFwl'\k}c,o;Bʧe\ ܅rƕ.k9K?!,XVqp,vpeDTp[5GxU/jmكqe:e1ԙLTW$wʔZp8ٯdϠ/#l2mֵ[㣱B4ѿ/aQ`l3~, Ⱥ&3~4Ehη s,g%}KNژvI꽆nɜG-LY>RQ^TA~}D%'U-6ב\bqlɟKhA:AjM(zM`@њUNJU 1Lb`^gu?Pe Evrɱ cͳY86?_OjrK{腜]I'd 4pRmÖ1.DH6?@:̛ @^f,BR}_@`̼K@>"A4񄑼J*Lj`2Jָ5޼k/ć ˔mvlm9cѺ _HUֆJ.Uo/q֚ܰ"&ZK6;"$ UJR[ npVɻXʲqvxB5>?8ݨKq1rPks IuNG!y<|bwu|vLTmnbTSn}R}%H0HKy5 x>Pꢬ5o' mbEy0U6\cB"" (Xqo|G)1QLD)xΈ:Իs-\^__IaśAdZy{Ms` ?Ya|}!Ŵ 60ǰ%)=j~qEJu( lE /݂h(wھ~psBvey[8k@+!zt9Ok 1[WPY+XzL}ͩn\[MU$> wGc+ܬm2;W*n&W: NgT\kQ]F˔+l{ 5y9^@y>1 Q0.xdfH*wIl=ZfUO^Сmqjg8nLxQV"Ao(ȱuQýI ~q\M?"`"R'7gYZ  w U.E 1E# dHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ?]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[^N/BOLn]n}ʻqFz8ɔh8?5.,^<6YhV "1Ie7G1|7!ƨlvK+HۢP.^&) B=]b #?vYĥ90lD1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyHC1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id532kB1A# dHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! C]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-byCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv >wjIB}']tOF 0p=$K2aS3oė*C oHW#*Rli>Y_f\bxK۞͡9%4%'Ӷ&&QK82f{ŔJp=oex >+ 5UvɾKI梕ZӝI;Mj*[K(@]OՑP>k[+x/ {~i0;oU*-UOȳqtc`_+2h[J0FX3{!)IT?  ^3U  Id,B})C?XQx<'dMp5PiFOЊ4K!D+-D$Ɇʖⅈ>C}x ټ-7&7%~;LTq0U[+62?a|'\,ޛGFu }a3 t 2ېf"g0%PlY\!]:WCNB@p &B@6˶ ~GL]$ Izv ToƏ&sY;Fd(Y[7iH=kafϳy/`3vGGMfٴYrQdgKꠌwJƛϭy~Ť>DmrRo@(,;v?L&zPy5Kc( g&=#aRlt#52=Q IrI;fƸS3X+L2$)̌Ojg趇qd"ؙEFOkOٶ鐱 RƻrnU]-Yu`(2#OsXvd{[G4Jj_o&В, ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv O>OGcqإ)Y_͵mBx 㣦&`e6-tr\E`ח],XX7iƅ.jF.G)˵yP~𾞂|Bh?7{At<t-[=ȳC LҀqGyDbxjn|fBJx9+:]a.y@vKh\6uko`E|Cͳ@pnYN%ֿB? 3гpEAw[˒3 G*Hh'O|}ȇL RP%%BE!ǝܻy}ӾH\h6yat5b G G˰ե75Ej1##oJ6y;Nx <(b *I|6 'uXB w>˦} BM´Pyizu{[ްwD~=hV P$M+%X1I*U. g8Zt ]v~/ֻϗhV,֍y(i 4ju{Uo'2/O,. dߵ*FA,-h.1z [%P2 8f m7dsV1Aûɗ%kGU\/tey $ ̷&iCC1'2!=rf%M=7N7KJkr)e ӆo6(t<~ ƪ%hSZ6ze]5oQtuto/W6jYw |8zj"S/ }.ws!KSSuGqZ.LbDpn6nFMhC$u~iJGȫ]RDp !F;xLk!1OgiT%6:x1kno1Ϸ%nE79!O:wSiיM 2/XK޲ l8^+Wp ?D /;$AXJU߸wnY'5 K<ʹ/W.9xdXYyo6%>R)Lv:<1a[z<זq>!q=\Z~;dpDázk{T8l䳅_٪SEP9mNFhuKDC*.*[uP 6.ac ><]+A8ZˆaǠ&n*Zж u(SġtOZfA?|YXH;Q!^oL޴^mc}FގbmϷ xpz{t=e/eeqAI _̄芕VrɿaTL=0<}ŽC U2 &*DP.yхQxǶy9C`FAs6NrJUêM/LCpQW+uDaNnD8IDwF/qc>mm)wT(!Ж|*p's zb4bYoބǤ rz8r^"p{qA*M৤ #D;($,"t7 cɊ+]>7jPd5:F!;G\_C|N{ܡݭ ȕZmpÙ?޾+X +Y0$gܳ<+̴ 5WѵWV颽9؋WcXzg;]t=Q01 XKo%z[{g(-' i\:ΊMLDf<@HRz؉v Ցu$^uKOcR5kZ!q'7{BpD-Ժse 6bdh:shz Ëtxu e0=Nk4 ^T9<6+WrmU 0fF;Y3F' d05R#'4MBY2ep V#քGZ߻&k r/) 6|*mk,,2.fq7ïS#(nI9hjR5θ 2'+J׼B4WZ}1\њjAS&;e9rNھBPJZm?=#E_f=d m|!KkCTi38;k*ҷpS"b&|pk]S2FRp[E~3_>k`~v$4֯oȢF>{nˑ:l1|zF%:1XE+o VIRQt$1ә(ZWt?:,c2@#Zmr?nMgmyYg /V{\#k'y()f9hXH9]"%RSR5;Nb0,%ܻsNjO.K:4'pWd_&<, a _>OrD6i"<ʈQeQ #&& KB@ZvW0,σ瘪8eD]0Ā6+1,BL8y= ?zYp|f JD8Z N2=ts:ǎ8̊('#" ||'Ǜ w]Ir/o<F tuXfGDďYi#?iʫ4I8ߧy9Io@x8|v4QFZ~qbY+t Q_ϛ#{5da9y&zL4D|* ~Dtp !* W 80d4?9UI'ѩDiC~G! ^>f:-QCOEiӌ=YiT9p>Htц1 <#@>tI]rH:rEEEq  .JJ)qT5RBt wS95/w5Th#ʗ(vJNy4)`Vc 2uQ;DAa~NuǜFwfWƄ'n7.UFǧ5BL8e߇MYv(Nb󕚴ʱy'd ֿu"- @5zdy.x:5s&Q7%l"ܔ" HB#!v$6= gUV77BcH&,6 J8K]g/O]`y̝w8f9*pHmڙL~t T1JV7 ڥ6x4D l'yֵp[#V$?G2\I o+u  *ݍA!rNuFgpc4pZ"N.vE!=. 6!JCrF$ RK54,!(DNZ22^WkW`0yP̽V+' M$yaڣtwQk+a?蠙c-Q bݛPe0 }Bȱ+bN'WQRi&Sz-D!*%j\}x&vYģB.CJ{~e,tX%6k>X:9R̦;Fvo{b&⭬)u0Է\ƩE\I'a_+L J$`mo0%ݜ"BWh EȎG`b=?#J]()16ի&LӀsոȜoLJZU11~p{ExQN?{&\'[􉁐̝Em+wds./k1*ƈ"{S'`3FR_#gPb!1Ka%)áFe&8p{ c|ɍ& \ҧါ+9X>#Dê:Q-sg4XXEV$yF!z3\o'{ejfo0TEpo82h- oRC|wIM/7 ᕬ]& ea6 .w33yZX^d嚢ȺM9Q E&M2V->Bw:z@(i ʱ?2E/g H/+\٘K4ۮgj1YJ] $ CD~c a"cʫ|+ԅcC ˂-IGnd<?Q%+n ,O~V5l[N)dg/"u(*> ̜؈D,asO%p %o2LW@V{sq:3Ű1ᝓQnlnr(/w ܆m($Yxz n.q`XfRjY.˟w{/3rX*n[{l\3ޑ-DT5}b-; ޢ?} B;P+h3>ؒѹVFQ^ѓx#_h6갺P&B8R3iDhLyUtó"\]L{,,V! 'ȍ89UWtiqO(#6\z':, ~?p@=%iWMM}R <BB8TZe r'0-~Nȍ)Un~gFG R\.ˌ  hJu-F~)q7q5}s񸬋֕U &(C0>-N{-v}Ȩ cyztH{a :jĦM h>$HWN6CE +W Pg%m꜔5B%y[RhQ#l*, zw]ʵhɺx,~X_;^O]2iد<_6?&?T/eP]Մ3mm`PdyUӨz=ȼO~5K8m:3vս"UۼZYh2+wlT幛W|c(jwF֒XbiAjfDEzY2aE2@G'nT{] gn=PAwQ\]h^o .Z7z- 'jύܛ\Tm``Da"g<c|S?S<EjqxɥXuL4.ksqZ5[.|T ~ 9tp ~i^㹡( 1՗Q%% Vt AwkRGOI7f;%\1"cvX0l.H^#uIWLwB?a3truzb0eԨIDS\VuܹLek(Tp?Kxj5lca3ƘZ@H4?0Z*ªh7x d(M1SSCz"xs G?+)K??QW4 dqŁFwWEH;~Ir #t~-R F"CIiG5.ly83PQ5lPVülka_=Ae$u+`.JGbū"nynC!l&,׌XĨËD;$Rs\AzY+ojCW#ȕ-KR/d K('AzԮcDӫ^MԻvV=°Ctp >"7f,#y'aÓ˼puQ̀hPLj'c0*_cJ݅EGiȓfk$ G{8 nSʶmg<6`^3: vRtU$Ӛ*Z>0tP,J6Hesb*sL~1a W2(HF 0s516!->(G̈́{=;sʯ=qx3ρ>b7pVc;Cҧܷ%YNJТ)C-md[m|L W 6`Rzx,[T$G^ڂT{@BRIDYf}T8Uk=Mi{˔9۽= ^.V o$4 ͠bǮ,x>mV~awBVk{Ԣ*ArOÄt,R=y/)A)N-F] 5St;6;S&uihZY7Ș> @“i Q:O5IsZ@y}pyUj0y ԛG-=WkQKAtQ?- X,t_D̪͎){+{WggqxL֛00Df{w%,nJ8 9':@);{s}w 1kA Ў$NНVEgrH-Do Ag_T9u,!gG\&dȕi߹᪔Aui *~>xC#c Y; Ĭ8MT;riC0 YT.G^DWJՆF.mhy4 6L4d!,M=MhY<'B'l4a5X\''8ƫ8:@ڵ~[H\ 4s-܀qGOw5;(MV0u~e Kxv\Tںϻ^31*C+ONFϜWJ V ml5H$V]bp^(uro]6U.˥ySP}UCL?LS!e}̇պOGKx;Hw:n_4rosϫ읐HXًU֓Brx4)ܪ;U9pÙLLC̸nΰNCb~y;dI׋L@uv履_d0ˆ$gmjc{=ze35soJ%r1ث$ u#$ݳT'% rއw>pos#p;tt,$)SZL%e1d$Oi@]"o)Y^4 #3ҬX) Qِ;h{G_l]lt ],H"&>_nƠk9< A#'Y@F`p<}L[,%\0r bY=P+^cqa"HbE(D)s knNҨJC`٭b~}1B2qL=jx`o6E%?TsyjzQԤ 5+.q ~p + ym3˓> ZrOp1V 4klb b|1z?^+0e|rD6}rJI7׎x<zHYnh!U;eݏ vSC`2+aY ,iBP C}q?<|g';X֘Xދú1(qMDۺ5E]o_D:_Qlૼq1p98w[0hgШK1˱uypbK zwK,D0J.J%0[?F͒ [tA,R #mE^m.HU6e*e3_3E%(OK>}+ۨXɠ޿Fϫ3Reߘo{12WxyLиmF 6¾Lqtl͙캤M5>9FĦޱj]f1Gգ %T s8oVB`5^^]Dz!!LibsL}Wya:VL:!>?eBh.ӉCoLU77GfřrGu]D%NF'+%Vi6v ~8zG҂|#)ZC]jZ(oh_$Gl4%eܞSRZ(>s ;.%^=_OM:4_0؃h#JR 00N vy$%Q 1V@ÇjдlRHY0G/ GI/#I؍E7(Z+Zh=% Y\cQ&W``FHi}Gu e8h㽧Dt^ &SteY+9g"1.q̰`COJ:N\ ܚ3=eBpܫ'x ?+C]gQ ]}|qaJcȦqimg?ljBPo`3U)* t0 nyޥҨ>!=nO9K.\_(d*B$+= ,{8I tcIH=+N ױ'{C[uGrqk=eeBOC*"0(Me5$2t&mYz~Q7>0gp2#'~[ M=l=疽"}k+1opp] aqNÎF( .٩ʹ]C߰`j{&o%)±VMq{wedmJ xEJ-o r[ܱvY{K? mlE]]?Z/X1h߶,ݛĒ-ZFU* zE x@o2sƝI\iS\quK8{8h$`CQkX]*AbY%u1mĘK<燶.xQݨgKe]%yvE/;Paf cۄ*àcմSBI]x5ʠD;|Q2 T `0Q=cҰcq/x'h;%*UOkKqA[A-="zUM4~[RO9/#-`F5T4i%g.0p,گ7AlA‚9@+@慟.|del**Ҳev5=ή}YJ mKr~IޮeminV ]Kz`ڀJC%Ӂ'Ѩ7> }Cv۬ʼ`aЧ, 5T RC!ntii35MHfc@I>jfi[8 Et!r&D?B!b2r(%Ӑ~xȺ@8ۋ2xv:ˬX[87R-6t@V(xaE}d$n}F8c}yMM0G>7OǦM*-<.*DEaRQg`oW=Lq#zŹ Y)XMz_]sdI.sϺ}mn?E#j*5@`r;rR\T2O*8UefA*ھݵbj&GGV8){)Uy%5F ssW)B:;59ap6"Xr tT Fd=uRL=]Xԅ"Mh]w F9 aR`wgD)ٓ~BCg|Ƶߑ .U\dfDF;oyPOxON)yYHև@HUca3 _:cjo-UX@AUщ~b@7NӃݪ^6QA'?5I9t5\wFhy~BDùKz*3ԉGIotݴ=qfu1\I(@0k_3rΡ5 53O @ڸx覫fUTekz;-B;ePPk3dp40z ){@Rx'ԕ R:C_qB0ՅI1|QϏlv8~n%2SsjDZol*͜Dכ,] Mny ڃi{ȚM0?`~'cELWҩbQڽh)QԬ@LJ$Pn,_5O#qG1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y91/nqwJ2нk%mһcTy>]FNY@w}i6[2@oxs|]&p\(GU<*d.ៜ~'p{,vAV5r8A=vTL/ͣLQ –Ps,9C͸R =^ &ɗA>^ `[2j' (- -b6J*\PLjax&ew=Uvk)ZWU?%kRmgDԤ5^c B;и{ÙKxk#!~}VSL fVLJ"hHW .29cQmI"8߮t G*:x=0d^/f~},܁> OqU4N9bʡQ@phPr&RijacB8D*du5%|ʜ ~Pԑ*jn !ŠA=.ha)Y#X.^KwJ^fȱ=Ǝ%)o"̓a!rt ^ 4PTr#C/3 mhy>@hhSeG#*3%;Ȥ+,Xd6gZ}1h[5Hq %p@y ޔD.yj? 2 C|œK xT5a,/Ŵxԣd96@0ZJ 17ێFui;QΉGV@). cuYRHZ`x]_UD(I^+Ӊ#@CMס5nH1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIG1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id5287F1E' tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\{,0 mg'}[Ҏm3˖D| _Ao!5.<`lށ}DMxo98c=W$T*XvaF4(s -613l;1 @w%!*y =*ź(H7-Fܠ4č_K\$^02€e Aߌ4笪ܻ EzVeJBMzo{'2~F'A}v:zNMw fF+Oi5/]Tpx͈â"a^#.J*d-U0DB ߷}86VWenb "]!7 pWP:lq<_=?@)Y3RyYYA|d$)1I KsGf`SY}~j~vqq@cDO  C(.ޡ .DLqS=(l ;a]K>Rljw}ʊsT.%nRJzSdng2珝_صf(PdLS WH3 D *')ۢ:`zH_gϔ4}zO;۷}61V\͠»`0Ccarm <+3H*$&8 ~} 2]#R6vA灲쵗e 1h6]x=/98@!{x4wK깋Rۍ?.jcWҠmNЅ!ae^8tFyW7L}F[ S18 )DR(/+w nuH9^7hZ}Fc R^ݨ`6L8ɫk7[*9wN&=I{(%:mÖ>.SřGwMyǧb?nӆ!/֙rɨ}Ӭ쇵T4 1?D<$M)̞_ !eIUĥbNo#:2k$D m {Qu(s^9W1UV?۝R^K(ۚ5!GJ~B8TRxj5Uʃ2S;[rm%*9$Hb1Njqɚd~a8W͚1>#㴨'ָ`^kLUJ6%U "B^2?EuAa/KfOHzo ]׿ .[AZ/XǭTIhlpPd`[ᓺIi9cVPЖYS&CWĤ7%~DF:Gg5Q\Rd?eSYp4nRCc;(Nѩ66ǃgAʸ?x&"N"9>%j[=<18ز>B&CQL3qZ*báS]j lHs-?{ͨ̍HMît] J A 1aRl|Tj,w-̛tVj5i?1RO@F9Boe3钺^@D%]`~qUZhU~uvu"~L"Ġڨ5`Ͱ]s2!OV8ѼK-nMG&ZE`>Y 9%z6Sa4@DERFjے U ]2zUFQuHm;=>F1cӜ~0N7N{ zXѹE0%u s;#CMTJE;\-A!S1Jm}o}RěSᆭ.V'8Zi.cyX.hrG;rR1|JmtTp'|bvyg6ϟ"o!a2W-3uԏ8_<ÕdhY/Bo嬄2H܍wCdh4,C9@ Z\*JZB{ZL0aa'o-2(DG'3T?^5=0qֳTJ =3zuYq<}!ca{5W~4W_9'GHP$o}JOl#`ѹg6l:ۭ10+Y3suǷhxq ,#`b)dAvF8sh6LǸ%d D`ŜԢl"r$3@A*RzZ;ɼCɭ"ʗ"]檡 d=Es5ʦ`?~={އ.m7ږj#ω3OSDgNDpR^'$}.8x(I+; 2$h54{ 0Qe%MDe.:%-UwWMե&b` \Q? %ֿ%%O+̧-cwI`4jsn"gH Cv K$Z~\=pUd%mh*"u>Gsp+bu,#*+ 5~񦩦o }kČ@R#zU#W"=V)| 7o,ȫΜ>^ O25'ۚ&z  2SS lzpӛq9~oEHP]3|&s`Ua(o(0ӓO\t]YGg^Rj ,mL"̇VMȍW;c%#/Sg̺&'G;褛~ }oY5";r^.qJ:N"bٽ<89U&C3XQע]}VKn]ȗ  \ÖFAe54%Fx4]뫭.§gYZ  i  bM1G# 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ԏ))jy*=Z$,WIIJVeqςر_jř8l ٶ1EUv80sMz6Jlph>ue5YrąximrVm@ ZUbQ"84#Gk9ufNU`=Lװh:0;/GPؠAeeh]UR'Si~qx{Rݴ ,gc1L;7m]mNͫz͔jrAm&"R)q@]k 50XoWe~^MG4sτCTn&c:?!~f!̈`˹ٻV1IyT~Cⷚ3GA: T6LY5|*{yDQ8:ɰ5ʃd [)y"2[xŮttWr9gVy+QĠ՛D$p!ֶZë¾BG2fG~yQq/d9&b"ވeYE`x&Z?YIcWiCIG5΃aHsZ)!SQNcbg71I"| 8eP yެO] dlhe( $zxt) =>N*"_-f $5zpܒmȆ|= s?FHD@qٱhM1E!~UO?zJU: SԴYfWӴbɑO䷈>@C,q  0I;r٤Ɂouֽ.΄J:U0^^vH(E! | o&67Tll߃3;Nd!8]xz(<&b#>A5 $_IB6 cAeSa_8h$X^N mٛ-gjnBMũ)f &/!7ĹK7#p֨*5t,fK zVc!؛K+/z^׋ۘc(Էш5'aJ?}/U0}u_64тFѿ< 9+}(_ ڰgYZnL1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIK1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id546J1G' ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\tSGXlMlSRxL퍟'ȟVy<{]W͍P>/fh(H\ZwT;M3+} m&w0\ R{TO݄`EV~@=\'h.W䯌38EpG@i5BWXƔ&N9Sޢ*/ r ɘJV<'l0v*w5<[RYJ>^CN՝D KT1HT|]-ATq4}*ɯ.qD~Ţ.޴P4ex. c_{ke74)ǻݔ/J"dS6@F{J Q2/:x%H={䴨,e`@HNl4$(/fl`"%k˄{-b[{\ŚNHZmq%:C 6HD3ȇۿ8E0rHZ}]"0'~}hê{$ѫ]Zi\/ qYqk*oqpUb-zpv>CR11GRG;50BCtR v  ;KpE[5*N%Iv˼ vJm'W&c".Vre 2B;7Р{$EiO@G&nӜcCMCpv,[7x7W)E΋ afQhS1TVt|K~f.B:8sOk&#d,ǑצzR:nJSo69$o|Զ`,i_]ir ]g!4]ĻJy$ZVM UWn{_ !Uvls9!'4o8}h9_?qMtF=h'o&{Q.˱j$HA|/xORTK2SKm#q2qlD 1Jz"*T-6[#(+h޺+ e4G7:3R;1CdE['?"g8&qSw|KԚ1SAq[d'ڌUI]boZ! i ġ0`c: "J .{va(gIV.VK,UP*ED/cIGI;Cu&q ]עx-NLDKVX-EqspŢCU=Oxp"S|mxVhhy;{0@hh)~LԆhYmʻu˘JېAG` ];{wVc5OR}?,^agaҥef@ĹGչŜQn OgYZQ 1O# HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! ~#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-#L:+\ʙ.wҋOB i ZsBE M •k3BWEdk7#Gfxw{ $0F1"Ʊ,=ɪ nf|wv?ku1H*<WPeXw3W;]!*#x*]ם|֡S.g,)OS:H u\uni 1|)kH +;\;Hr=}8v,{ؓ@f}/=z IZ`ԟ-gS,;Md1@C lG x7GW* @y]KlPyc[,@7"FE8Z`"° k Z"D/S@׌RrUCA )|l@KLo$J*Xdo^a<ٺHJ7L8+&$%u?LxwX@HU諺J%nnoz#yyTR:q_Q|a>iٵőèfF괹*Ȣ1mxadn>rQ2g5z',)kӤefc{YyI\ǝ  Doo։)˴i~csohHx8bFyׅ cݴi؊`m-JQ!|Z ?9}ة"PkГʝ֥Zxe1mb8"N=ReM,[@O/+6íxgYZ9Y3 }q]n@'Z𭙝8fST1(QNaLvi8#U)mM"ƢYȿPJaS7Mk >;!1e~V`=)ԧmw65&_w DY; Hy0Rn oG jU5SME㧔Lی&{0qd:or,މj,p[|ݹȦXe|_lWK?f硶M~Ωnr* 6EKF5KZEG /(kf6hljQw8)ǿx H]=0|M| j$x'mt 'jW"'!ݞ)(m3^'v%=}cM,mpNP\磋9_ZRlZ2J6j?m;^eYw_|5@:DppK4%}mkԪđS<%a,R[iSc?|[֑S1'BH9dUw)xÃnTW36}D5u*S` O3kPɂS9'^qGWkWtL(k&p% zHq24F [vq2?=&sc&"~mz*ʅ!֞HёE&gQan(]&|Ws_U޴7i/۵ui;_~(Q ekiGXz4RAqf,L>։mo2IT]*VƁO6ȍKKg)c7?ަ1tam+(C? 8Cd2sA)L{9sN )32|(T^Q8ʷ=(p]]G6h6i?zcjx]N1iLA0v()esnWGk.H="ʗ:z =^Pg Wg"-2CBB% %6v% )m|BPJWw&Idq+$mBd{JtgϵϮUVKZhLHKGq?DBS~ZX0*MqW0a872"/^q4(d#l?[A͎P2r3Ǒ]M*jF1&|5^0]HA["}?oOS:wo48UsP]Ń3 tQwMn=' ߒDEStE^E"}EÒۭcr$^v 2%WW!]rj9AwXsZE1e'x50 s1R.N\G\ 79iߚ'26|hpN`j&3YtҮ|(>$xYGQ1GNu]}kSl97{cz*NsQcOS  nP<*k=h%ꇶ!@%ήY,9~RWI\j9toV>{j7Htnsقm:;xœt.hO<u?@`kv/L>wܛNRQNјfG 3qY/)Ϻ'*"WUFíqwaoO7* *İ^Vpdb+Bpf^F_a {闋K6 BհÔ8@/-=֝EN_ FH8FzYIr9Ny#W|J jp &UD#>:RWEj& $MTOGO~$2De~0&%gL\ r޳wglwIӰ[:c«#bfOrfm*ҙl:ҕ[dh&(%<%Gk\{nAZ^U>qp,7?r[ϏO*myX:)wC ^v .VA\] :϶h@EwZ ]`#,)d]xA͘ˌm7)&$ ܍:WiʇxWe1xi_J@뚦5[/q)mvI*f*1VG騲aX 7MfJÅ)1 /JqK 3yl~ C9 r1'iDLjMW,C UEa m*+C P W(,0H+}qȬɝ/D%ICgld$%+#Ah7sJGo!zZ]L4vZSдL9V8nN܇cNܼLT\ I1%(|^ցc5hVD6"lۉV<{ ڠ-#IO:Q<>UǼg me)FH9!rTH]肽Ha52%o0E3/Ν e:#1%`j5& ë0"%3 N*&\fx6C,(ep:V3BjP/V zsVl Y!#rC RUnMZ= {jPb$˒L'ّZ aQ4Wv4\#a5 rH#7#gۨ I?|v+ h4sն[.:QD#D™\ V%]-"IQ)eQ8+=5bwBA5ȼib zL>{ЛQf?4#U Y*nX:&2v0iMU~ L<)WNT$pLwVLn`{WwgǿV`FH kaPd:kV?+*+Kqro۲!L^MYX'1x%"&ƶ`DŅQQl݊=Qa mv PAg9{+MV <5S|`7iqR\vchmzY-G֜GB0_Jz~ZQ-7xA8U9Lmri|FEYFAVx2)N{jiH|PDW&K4֊C3$#qbE:T QsG,WdX(cʫ3oG HuPםi<  #ZT3|+fZh5N_ZGR?63Z=,g4lInK,dn ;{ɮH( {r(.Stn[vj b1`zLrH);gBlk}VP < Ǖf:Ü1KI`lW\ZM~$uchA`{=F 9Qwg>sk沵F^`pdD (WZYbVjDc/: WvWψ߱goӮʎJ~Li@ Gi꽣X5FSB1LY7Zm nU4'JÁy# >iyʪOlɤ,jWG="K_Sv FXhvAZ,Aޝta^՝z$(c"7qaBӇ:,ۮjO9r~2OrVƭM&.gX:WԻ(;cRuFyP5x<\^??rz2j]QYۃmz =5/Dh}DߒlO|I0y5+ + =QpqUBCEX&bj']Dm؏k eq.Z%; _\wbPGUTor(T2`m߱:g%rω37|4M?Dj<"Jv9SqӃ:᤬<'vuc[zuo8lҧv)MdrP:n#_LD/jB6bMLG#Λ&UCZE55֨ dhwe@"|9u5^!8$3PwT BkqDS4Qg$*ȾOu\]>\Q 4'W1&x,yNFS&>mUAb(}ɹ:nϷdQzU;Ͼ5lwR.5s9h^MyuE2ΟtHX%֚aQu;d^įL)haŞXf/TNot?8( T )R [6HcK?mwDZ^pBCp{ǫȓ#H<0{joǾ'C{:mZ ޞ.sш 6jt^n+)QK281nbS&C>n.S>2wl[8U)4.B cd~ 1𔫶qԕ]F' Mӥ!U䋷qbo*5V7ZˬT1EߣE$d U eB9?630xkHjbp׶#&1n\ ٞGv|b+| QC@~ SҩWXR"Ba :&9cm/`vgZ1 jtKȥ.EJUڭ1ѶE}O//8 f\2ػxH>4% .iogmY^^\f Zn@T<;K+I'`6B'9S 4_h sO߯4q3rL;vь;LBƲ6w셈qo yX#M?< x. Ir$xB1ʋÔ*O ocaϾfVSN]@3 ݈m?Ex9b-{\#` N[BpQLvq}褼u+Zeu它DwPVz*̅&>FkSx#PMenrJf颊HTQ$X=IEf-TlV7J>U`8T@W0dK; H*e4{ɻ@M__$4W>}!t֖3|{iX#4I[]{ɕ2}i!^DIH@v[}xx543y0b}>H"/8nw8P_T0"U&jCb)EdK؀s,,r, J@b5{lFyEt$nl7^7&c3N^sś)d:&0?-/o|!kۘW [N%hSxl,) ˟8%D)Ek#R7-nY3č')~ǿq"rrm s~WCkZǏj-6SgeF4,kƱ T7I2di=_>A"n]^P ךJ0ߔp̀#g ]v Z2XG7kHY>dróbwh2OoCb_ìZ+}}Qlʸ?U#1=_W|-ЁUzSIMZcmAR*3SQ |qc\Jgm T8t7l'#u//[U$/=ùHO xlט6,=n qD<]i Ф$1@ezwpѝ02us.z*tIa ב <<ůSQqJ)`G׈ew'ZIIqQ#,'d/vOD*rȇhgu:P5l͝Lfoe |+H/ߟV{0Ni.ιYyŪ, ېQly&4?Ljטhmc3Z+~)m1V7b$|$G(`Rt3Y>G;Du.޼@tgCOg2!#}ˠZWAJ 5#Zo1~S@ Bf!9]kߒD>Q'4c?KQ>]o  ΒlF0ĦjVuujVXq_QaD3=Z"4!j/]"~Sz8y7ױ9@jIdXr.4IT{N$qP!o3-zt@*qkԥeEI QP$|HiA4qX#|Do~gQRAq rhhgZ+.c3S*bބ64X _5(7I;TWlwTr) A5b>w`aT#'WxI`+PoF%$$FS#}Q</?qH.|tC{g71}wu2jH2^zzwkYtaJ6lhAZ++G~uͩ9D•NGo`Vi₩]>(t+L[['aexJ$ƮL'd$)aLvPNdrς06WJ:<O1i@TtY}dvUJ骫牊ă&$u?JL0^gEUM3'yrDX`qnɵ ¢Np8@bZ%!L ;wV tLǨBJ!MfU\ZzﭢôՎ'gaq"om|ӫeuNٓŋ^+o I/ aD< K2{WIk\r(mM(1Ly|V+fQ"ƀzps =]tV/2 {-)-Aaqw]WQg6_t8MSN&^tNƇtRYrZEo1ӈD/.tL`>CY/S:#^j@j҅#UpJ #2+cՒPXYIS|+ at8aAZKH^`S 1IxQK:حt]cF@y8`,s,4@ ltX7W_u?sS_tlL]* r.z- Z{i/eM{({7M7>d c^qKy=ߏ!`pO΢'IBPZ0U2zn0#k<\2y~5_Ɛ4@bɨ$MpC& fӢ-߻>Vf :PaCPp0Y G6+Ҩe*U93K(gyEx7;#rhYk&!Q$' sh: [ߞƣ LY1:eHz,K=gnX2C۟6*EHI]3_@5#IQoX)"2;˲D(Y>$O}?WBsFLI5{1ꏗ%'N[К ~ 7޾}Pݣ -5!?F_i*d:7E[4յ!1|\9J$ @ߙaCh}RK'=;N fz ;52.8="[AJӌ,[d`AD: vYe$(kΩʂEAUE8R^7fPS &=דc`FnfX%U3 n XD5Gjdjmמ;\J)"ke.AlW*{A*Afb8, W8i$QXo 9 PV..eF^sp{|2`V O\`W|zo $IMbbr-pS=kDԷԟw^T( gFڲef&hk> +ɃQ&/s²۲2Hu$ ؛#$d{QFSveED?{4WG:kHB.|W"e` n /䳳PfAXn3Fcpo7']:IG%u5 Mˀ;ѝ5ja #p۬l֙Ja%0]9 G-<;lzv cHuqfipyʙ$*S?,]!R qQ_ QoQW$xQkB3ѧ)t=fW!Ɂ`hLV1CrH\}/af%f F $K9X!2(3C m؇Zt8@< !ܼ8=[TBQcԶ#-Hh!*dWDsIz/:tQ7X5UϿʦf\@N9S gvJ*EwFqp=ܑnמ~ )#NjjWu+6ˌŚ$*t"lIslq 0-;YVt7r/w>P/KcV{ppfn+>qӦ龫t@O66t 0=hH xGУ !Q%}aQ(hd|TC<_,;k0[DMVq~3.jʚ{i6W`[N%bˤ5tw2\XF8(o[Ag. .ͽ"4k"\ CzU~iF}j5-9yO5g,{wEcU KyM$!G=:RiͭENUs " W]x팭%z v?Nq4 ą@-*paqjEe@#DX7'ysH,dX8&7;ZTlBURxlRR#xN>c UsaoQ ^ռPPa>ymuNWtI]**7jvAA1,CuC}ySJj@ROVe ֿFH.r*3ǢN>ozR00jf|>ی9AR3\7zq?\A䟪BKOdZ1*?"&`ezIiISp@z#ȿV zE[tExdj՗In:|`h1 6 d|@qB&V{其X=,~ł3,z‚ FdM DWv !N4iLWT3铁gqdh5AX@VʣYUddlAv#b@}ׂ& _wv+!?xP$.dv{»->mx`ѫcm*qP4iȈ8am-jrCtX6)h@a~~ 'GD;hhfYm 7F ,VU?%Dv %q"R"Ԩy8՟G~ ^O1ĚudFyCJx]+SRg&=;Ks_JV&]f9pMF'I7 ׆)uYqw ;,G >'y:{rrsϓLDe"gTurf$ZSI6MWpc=鞶g#TIl?;h@ëo7E3;Tvu$CfBQA53\aoH^[܁g⓳$, ^ UBs]\}[ص2S{l@AQE ]NarCLdNbG c4dsÐ|jSZ>A֜NK<_UYcJRj`a~P_uv#:($kowrᚒO==kߤbgyuRzsi9~dw.Bz'6LOcw3v@k1/k u H" aOYʢĝԞ[+V=%t0 ÔI27z,Y&ݻvuy!FUUQn*_SEhB%U++ڻ$T]@[μG&P_z]3[$ÿ0QC1_,:,\Ad%(UGd-xILh]P՜᎒X DpImnKXĬ@Z:(I:&kZTnH{_‹S3R%hkYpFP)eet5"#{3fW*ڂVs;> 5j?-Ve͐p0$;.瀓g1km5P= .4|6#m>iL@.BpM?$iX/ucNt?g,H+ yU1DRcn}(, 3 zhjkpL- !߅dcmmaӧ҂/ mD/G'b0`KeCi3@DLm+!=}$y87.)K Xbh.]om[%V8NA'=RvGdcdCaJ"MN}8U+@x^5"65ˬK^8-h>J~T1-{}hs R*:Џ" bYW ϟ3QgˊkNH <HYBU08ںGM&RN^BFdlIDqQl.zh`cQ+f(rro8w|;_'YUcP!ʹ6b>Np/VVn ь17K(gcAH*4}.ým L`߀ZzN4ZvMC6X$t,W49-{ôq,UpT/wR~nOǝ3 BBe"rt HZ5ac,ɴxs_i" X#Qg& d%כ8bs %<«#JJ}0M8WY1c #xEcPI;~BvpaLPJ:<]}68c3s'YX{-h1w-o<*r;Rs>ay;t5j\ LŻr]Iאuʷ|g]܅鄚p?일bQ4\^Ztz9ϨsZ0w涿K{ w^H{S mEZJ*4MC%w ۂ6tTL^Rz%Ipl3VYJe`{q;39 cQj$nGUtgxm!}naHۿ53̍ /KqI^}5[eKLc񻆠TcWddM.8q䬑0Knj`Ҧe[ o=#z 9crr:nRX"T:Ǧ4{m[,\K+|[OoCIDkΫ~%$]v бqf٘z[#BWD%3jwtXw_ޱsi]eكb0E/ ~Ǫ--7KY/ˈ=psR"<*~4~Q̄6&7L g~ka`Ϭ7òMzk@Ѿr_3z+^≥+{]g#_>ZN,(wS WaLS^ʰ/# ʒTFg䯒+MtܓEr\srn H.*NS% j$Dl>&P(.c[M ?z(@hrYGķ|5v /,B`:jC(Aut"mXBvCnlam,_@AKƻ;t@xܗL\+E`YA2ZY&XѼ%]C0wE8EAX}1z6z 4ˍv0 %kn>}n|sI~݋2UFJ ]i 8&+ωVuCb2ogl<7řh/ɗRL_ZA8-ſD̐]1?Ut\,:Ct!}L^T玤 (8rc~&b5]'W5},w/ҷ 'Lw耮j{/ky ߳mv~ۗozw%٢. 짛tou 뢼Q8$2^niM<.Lp$_,ُ84s|iGj璐u2b|JX/5gۗC%$GDc }ܳEKK&56zKQebJIQysL3{2{B qW?(pˍ"x!V^{]Ir2."?,wWufI/NOKOUv\LK?" v⳿OR,8Q֙yvB|3˄3svF kq")r ssr'Q#3 4E4U]+ KSNS^,۬Ann/ ėJ̉rԷyx &|n8蘒 )p&N w'#vsFnj ߎ{i;r ?tחEcLK jt30P3l?hH_}h: ѧŬq&]U>nR >Fhк5q7Ѱ6dQ~Ub>Bgx]C\Iy_Bh}}#ǥs~OHD6DW>sh~i=)sVHZ',q6`X gA%>MBDzlC'qMyzH.;${Bs(ԫ%8koUIE6A}K\bzq`UZ <#_P; Қ4_KM%fD*n٧7_\ю~PemԌAÌ@za$1Su~}<" #З9= 0鼋|Bqļ ^ wb5샼)-PmCYlEb$!~KsYk7Wb5c䨞ɝi nEL0SF !2_;=Z}7FrGşAWARв*$S083o)YRtXUEj$}, vk0~)u =[K}/(17VQ3M<< sFFgn7^DļHO2 䬊$ ou8:XҺ_»m8l^+٥.iD檀!O(PU:oOXNwfW(I4ۋ>z,-<_h9 { Gyw]s!S w:p3 گ3.gZﺅ P6)pnЏ4nܨVExڋ:7E>Ydq`[ JjƍT0z>ZwNI »Ey^heDžF4TWb`5"/ca=S:H~j9\~1 H:zW\ϞR A08=mp;wTr oq=FͭaW߇F8.²)_ZjTw;'S>t.QPMn(kE&m_ v_*Y=TP9G/qW;Wxa=̜n9PQSt>{d5ZjšHᬫL4T?%fշ ,t 8qtijoEփ`"ff [V[sɫy2mCMܪ[jEz5?ec*~Da` f-MuNG N P_2 _/l2P;Fp1dm$t у|m&(2{ 7}LĻL?FFڟt5f$(5I#^