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 P1zd<, ] HOL-Corec_Examples:threads=6elapsed=155.362cpu=515.332gc=84.4887zXZִF!  ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]86vRk_z%&]$ٮV7^0#;i&+da}2}glzʥ^?'aB_ek / \%h>BJ^̚w5EN5$Ւ:ԧ@WSqg %ֆT֪i 1K )hOΕԦ.븯VCr.4@'H)Q{&q{E¬H!_I^<_.8xaAњ!z$)ʋ@X6` =I OW`3h?$/qn=ā/k2'A3*pZ<-w׭Wnzn^88)/W"_6=+!ϱ;!*obQk>YcQYX/hG(ӳ"34la* ɋq $re|f0AF@>t׈POT1,s|HƊ<JXnQkWّ`%7a4( y9s* 4~8K$ԙzp_mv8L8^OjG,MhN-aGZdL9#%2e> 25ƁU:Q\-3wSȒ6$ zv_N.9X؏#c,qϘV\ՌSOhZBcy;R r@I=x;}6{=fKFnkiNٵt>MVXH$ h;6J%!eڣ☔.k֋K=, v尺hQk+ # fGh:DFU 'Vr%/FN kCv̊: ?TARwv@Kbc.o.Z9O=f gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩgS=ϱ;ާEX$+p }3:!0LM|+Ւ~K4JO։=zKNeOQ#"y+we9R%Y1GSury w\mc%c}!Iv>o.I˽g ~̱eD leS>4crrPv.?׏b {ŗ!WƒNdSI y쯑Ol?g`pLJJ0v )כ_jj/>`E!cbˑiÁySgώ3]\xʫ_YK.Qzx  C_GױgYZ7zXZִF! }!0]ŗXi%ejrwz0' NohX{՟AU )߭ 6]tkn )pRHJW-t&!營r6hPiʉ@H Z 8>'nTJa{^m_T+o^PKqdܵ&Z GgWnF ; 1 HOL-Corec_Examplesy:~yr1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<8P7M6L3H1D0>$=#6!5 21*)&     & NhH  J w : ^ 3  Tn) f!HY; zH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup6E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files5K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id4F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages3D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup2C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files1I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id0F1O'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_id,?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup*<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files)B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/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/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/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_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_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_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.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.tex%I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id    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 v 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 v 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex7zXZִF! qg]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VIוL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZj 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  M Z1A5 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  覱gYZ1A5 |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=(skHKB8j39ogYZp 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄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"RXYI?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 5  S }5F1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id542 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\yϛmADmH? zzbIV;5ZXO `?NF5vvo5$%ϯic *rrT2 v'\d1g>gK'wgmT\_X!/]R n/TNFl|'#d fQo{Rni+zTӏN2Ie ܹEQیc(Ґp*nV-B==-#_"垠'lWŖҐ9]u>pxK;"Slf.e;"w~ij΀ |8 N}w:x_Kn(~S<40y# ؟buڤNC #aBO7I7Ol". RBo0hyN:rŷҭvE;hmgYZ;1I# |HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! n]Ș'@7DѺ9 Ǩg2H+7ZJp\aC KA6³/ 3caHz;-eA|v F@sL֢,죰ޣ*}ف)%".b5dkͫ զ tKz<$k %i݅VV~gIj>A%1B"ЎHyJノ.*eG35z*w;sIDR{%263?Eiʰe/oLI32D~˟0Q&6n֬ŤRw@_)R'@zN>K-Ȝ}gr%C(QxOyKJ@F]jsyoW\T^`{?2„PSc# X l= w-C5;43=fD,C]h"Ĭwit+v!ExNEE$ڬ 4(:'1 >#[P[U:앗زAOݻhDi#zq8o#m!sQ2.r]qx1͌e=\)DN_G"hNף<ռQ)9^'@ .cl]Iۑ4Ɂļ.h%$T!{ȬscZk۲SM8d W^-VG %:+T >BVfgez(zu3P*LfM#L_FpH|0:/UQCdBeo3R9Ў-8p1I!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#!\ ~gqTǪ~jh/ zf%5x-wD 9TiQBK1Pٖ? Se(!k׌7P%\*J ^0ŞNv[)E2VRvn0 QLΧVO 05tPcCbK,-DЛR ]&4o0>fjƼsU5^7@~_jI0>pm#J墼`=5t&d?AbO epH!|;2{CPPL3:(a74,v)7}w GFC0H`T~DY|HbʹDWK?*LuO7y8ER%HuBA^tT,w8{yǬ%4 ~l-}JRCˊ(Og텼{-%;K^(=5rp*zMu(9d~jFd^鹀H9ŋUȗ, a@C.#ix4Y+ 3xE.OJQȁ�IK`@_(G_iQD8ұ<;>)U\;_ΖdC`U eex tIQƟ *?`C\''B.(4Vݕ3L䝮rUKA׷De&Ha]ߗw_)8qB;`͍ζOܸK}z{͟j8[W+@tSZ O]W/x[;(ڌ OW +(w-|QTڮ^=TdT%j;;L0j\Ƣ3FZ"s^¡R@SŽՈgg?oHYִݐ¬ϗ-f@wA|{{^h &s'ZK[ϧ/?96 :dKW; OL!obAraJRb{6ߡbՍiM, w&ʓ|D@Hn$a%DUST)Ow\ Iț;µի@/ )c^i۪MgFbXS&`*\uGDڹn$1װY&Q"\r9 C+왿FH[2 .MjCw|ԛ.H`yݹ>j=yhG,g՛@1&EBvmAZ)%O+P!@)Y/mi[7ԋDSqmM@?&d0Xnhpn'ΠjS= 6Dzh]q&Mclddܠ@Ýʭٔ!P[Cbl7r^1DAG s? MNݴ抔!s8ix} "8U|RFʱWirV`j_POυpv*i*ӄp4P=J22 XjEeZ!'FB 6Kp$vořt5KUopV'h` LTY ,8p<݅D% ; b$_9v]VCVh('DO, X&(5l-|\' 2Q2*\XH ,"U}XJ/v Q\΅,;,dj?*ŞPٓ#ΖW'`:}~ԳPOpܛ&%M,k hZH{A1`պ-ħ@W0v 9a[:l! _Izǥjb> ?1ͭ"RǬ>ګ+W5zA2D|whԦy{MY2ޠ*aic}HU|/Zn XܛNʹQmֳM\1sO/EϬsX6(6m(8 %&=Oeouü\ :[[m #ASkT|4"Awh,㫨7w# '  e"Ӻ|M2'ZM"8t ȥv];H9$ECsUbPDar^<ؗ:S\n>]dɶl𻨄G为詮bmBZ8Oi/=*HdžeU@$H: a)|HZ}7}o[䫶wj:h\tdĔs8eC"{DM'e:\  P@lX~ź*z$8[ xRJ32yAPpnds|0kyaj"zyNψes͗#e˹=JL~y꾔nqfXzi"F]gA\Rg`VFD4qŹxh4YvO3U6xCAVn&Q|5r0+0:xT"Wa' Bf"cc"WR[zm л uaDZ*I}&8xx]ZgPۧ~v#~g%FfgϘ&)!Z>c=،|ƣ.jmv\[KnІ.©*1l,$Ra?et4Lϼ԰=G{{mxŭ]~k|s0JY 'X$:upI*>u /C{5ΰ*eG܀, !$T?96]տQcI0VE8jY &OkpBtD-l0f|A ; R)rAP=i\蜋P*ȦF$[mβ뻍"n:ktHgM]KcnXQ *g~uJ2uGQ_j?`;l܌@dѦd]aޱCZ4z:Ej(%x7n=(y=ĜR˹m0tcq@ˆ5PJ`Ȑ_}CvN%w4NeNZTU^"z*i ݹYb}Clz\:  L(ep}z=stQu\g܉WR`3B+;A?]=c}yD>^$p` XuݏdSХ?7՘M 'kgsܴ]9gauɂz?&qw1¶N_C{90AkPk6lXZ\UyJ9NCWӛ0(9,Tuh$|kR;A=$Dۘ dʃ) g_3B{^鹦%ܻp1 mt$ uu9'NgވM6;ȡO;OvKPKu(/b\Q)6u*n+b[%$eZ}~bev>Qc3ͧ$-dv& +S,gYZ  9 9v1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id5221A# 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv ^W7Xd=8S m<ŽT2ybqn,%ط » vW/MX:WaaHCt ^vs$N\EҢdΜT54E9xG l9ǥ;KXhh>)Nl+fϝw4OfxLRX |ހ-/95!(V](:<oggsf".9tís߼ (H1dGA}w254V/);ɹ(K:.XAe'2n MfPG ,pEm9*8(7d:pݬ5 68uБ2 4$:M,X S[AWc68 ج ~컠28UzKZ#.'>/Hv?^£me)ȷ!wc 䰗N[j=tv=`i z0 9g06,,7i/+FF҃Uf5 JjF:d 7d뼋z1 Д,njI(Np̱M$xSIxE]_"TJ5ggÛ 991onXa #&ͩ9)穘 Y]-K}`.1epYRs;ӥ&L ]Ժ٭<ۏ& V2yv"z F/u.;[jHaUќ \5 iVN=zZLY|^NEx~c+%4>߿;FZ] =&./^ o{p})_xdN k)+(;H;p L}ԺP$w@ܜes)#BY `Ph㴹AZv /4/kw0EbZoX.I{]R[ v0 ]x &gYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thywi-l\g)*LBU5ܯ ܰCLرU/O2]s5;_GiL.oŜ1܉:SiGt8M**EU)Q[%CrqUW;E6Vօ//s@Y#T/:WД_4A]^Qvɡgq~~L@̨QPb4L˟z/24'ey/ja,W +M{0 _B hD.3?Bǿ*պr?>icܝEdl"휤3*}sؽQ9ͯ߈q[G!X@EB^pI8kUFYd(WH  _&O$)*6ShU2$WdnN t+əGqv`¨ td\e1KGk|-oq0`ؿCDɍ :Bkt|C9-hx~?耳fjH_[eďu~.1Cv`m4}n(ѣ֛ͭ} ΏA$$ީhvqk2bTjAҜ*'͎SzfXװHy*C]0)Bœ6)(7Eȱ>/x!-A8:T ЭD*cۆ1簘1.9vJp(iE rF=Ƙ"tɭyby9oz&VL`+qࣸ*[HRC/cȏVE+$ok֋H'̟wx@:Se T/i\ A[ƫ<hH0NLN"NY'φZ ZugOnS?EV&JIhvqݷWM.MSGs*n*G "5iֆH׉ .u隌(ec Aț.KDR{sР=cbNȆj ޟ,M0LDDv47-ip.pzMȰOǝ sԼ0Kn6v)vDI^HC:&?e.rLhMl"n ylo6P{yߘ~` hx>K&Z|w.>XW#D~1I&ye)I`$v^MAr@eXIik,f Lz$mg^A@f-{WO1VsqHfZ0(Ȯ1@U‹FQ4tR%'z'--~MAF9\)2e f 3vӷړkL\-͝0,6\+`ZTzRBF3Rv[cLjSTN[a$4'5S).Q7vq+'#8 z I[9(B7mg2/g՝P`M=ټB~|pQCu}$r42?;3(N >Kg39 pk(-=*%&6AD"Z-3W7]eC9AKg/ G Fd"JuWDprYP7~SۼM@njHq_g V,P +t/Pۗ ͟UG#U0i?-.{k,x]Lq7ĭ@`ʞ1l_t:'¥BC(1ݓt[쳷#,c$GxJI ZRlZ5$pҿJU(`UR\VzV ԂE*(D>Gg=y.%ׂhX9xj㨒@qԺ6 LĖo;|QzJ ln GE(G-^#I^JחY"gx಼E fת30]Cbc$MЂ$V7R3 WJ!9SAsʼnË 񠢾rwAj0OiQG%'x,5m%xҒU6i P-tI%$'xv?[$/dLi2lb Q7 Ԃ.pК\=n"ĊAN;qӿ՚JpU ݎ6ttʋt,K<(n&咐*3"cmԩUFqX1_e7uԞp3(g3k{(/'5WLy!3|Q= Z?nru^`r;3e~g⑹5_ʷh>pzsdA>f1X+2a|Pd9jE<hAv beKM9t>h:t%{qMu7m&jkɄ:TUĺ&-lК˚ϚILjw.m|l*rl4E7 22^j (vc.%O=X{l}ps{p_(~`mnooEP/Zp`2ȑڿknN)bd,%}pɆJQa oDm8UrʷLh= Sg\m`-#/$lGD8e5"FFuTN9!lx} oĖEM6vL+ӣF4eL NIO4oiI89^ _@Bmb@59Nu*Wr@|ht~% du?3ܐ)Py" ~wrzpQ^A2Z1c֊C]jFh:"IQiQ PT3X(.Ȉɗm[b[$⣹TI6 x9M8fқ_LH=ٖQP`Pz?"Ya+ yO&L˝72D^Lv4~aWe?6¨tNNejg>z5'?Ѕ_(Y$h( ~e4uV) gB/Fh >Ȕۋ4đSi;=h=$IB=?OLRw䯯 YJ |oD8 м̚ĬKM'Ca+v{p#"=}aM/'(tw>a$V9IgYZ 21O# dHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 4]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34u΀] :=cT.CB68Py՝=.>eHG[6 ~I#= sz4NզN*nX&+eBC%2n൝RIyXۿղ%g=RMǠ.E/]ӭ5A Hʩm8{>lrGpgWwM!lX+؉m(5%E&dcOX+|W;[ \Av,IOyD&.3~HZ)dcx8_>T Gy ܟ%󣀚\ƃZc9S7vhMD03<2x2= M)e2ı=6YNNQ6:2C[si4nI`ylٚK^8 3f:"pA9M@%ȵ5Ͼ*yC!st<,6K~H./<|4!p8ʽ_p+;vK𙛔<ò$cގJmY "NdC4sؐ`WaC1+sE"`Μ6$.72e&EW`#Ihdh9rk&~p if5WE$.D#N7qy=wH}:`nA!N R%:|рYo&3~?2.ձxx +G?l夅 x;SMKn`=bA%n_?s4ZBJ;L}Lt`bsaʄsjez0&_GӖY|Z}GQ[n޼H$ pf ̨_#U}fIZL.(d ^S`Doh@lLxxOq86;'lTfJI?`79ĐBESڮczMY tc1-_,V@3r@KGKܰ̄5ArX h{k8,-E \79/ ۺn@Y4)_eW&|8j*ͦ.P1"=3U^.B{hOFkz"o%87kHl#i̟o̼htd쉄v:齌v)f uᄿ ~nҘPL>WhAJDE4d6!@W3Jԍ)@MgS灂˴*ۑjVG' J'[|&x_mvhpA{8c6厴ڣs]VEQҩ,gƅ>aU Egp_{|ן|[xױIOu;OpSOtfD&NS#݇| .)k)tr|.*A$P [ u & "[D 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w<]D?7 {?:fH\z>}np(BKwCAH0^}? ;=sHhˣA,zwEP>PCH-9ugv݃-,|Az 󦋤 .ê!c~-[CWa""f LF4%Awajbbmρ2A@"f w]/$/3챪 @FP#krK5B:ROw=+Ե~Xk;_y:'=A"/C[-7ߨ dҧn/}M6_u~vNOA~ǒ$1oA(u6G]Ԙ0e . L^) v4,X GW|RM#k9}@(T 2'V~?&RaE6V܋䔥AFΜ qg2uȥBN;k4|&&O¢P##&8pېcy`F9[$NYo@k(LܧͿp.z13oXO5 i7F]!-sLC2Z-6e7r쒃wXeJ~hv=[s$~P*)f V]2P$B,fr`l1qw#ia;`.y~{:dMhLgԇ3u*Ý+A t"٫]=\t멤*pާӲ{~7W5HQw ށlx"mR9b4'vл+0̅`r"*SVXBXw0Ѽˍ<yֲPW?OlY>L7(prⲌLHU*&Ue;&>*D)&wzAGMKwq)VA:Z)sj`,Ƒ3SB|glbwN P@K=ҥIдJ Tu+Oa1  3|VhW Vs熧k;jI> n3kIGh~6cV2J2š1 y]ҕэ!>[tzˑ`IWd$ihR8h)PL.y# |.,M`O[(~r86JN! _:Q9eϠ 3\PʵstORwMNy3q] q #pwj(Q ձgYZ 1O# HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕto|-JRQ]#AubV+Q?k#ZYw~le_"`֚ί<. *A{-7FYǚȄQ:שHRLXxc4#eqH/p-4Iu76x:ZV5z 2=\EZ^N9mz^wOV܉P::{mNބeJ0OP e~OղBW[D{+dWX X|VB3qaG\ ~jѠAxz'+]*rxv1}^+*y&t8]*P Z>w9 w[Ɓ&V)_tnܯڷyDpy2nu3:c^8)M*L}(h(~W.NM- JeGz]Tcog^ q.dF^U6{-(u訲Y:`uK&h|aMYA%yqK:!Hi^fif B'x1Ecy@D).Z2;> 8@}S6)@C9Q8M14ZE:AVmJ2\YIlP_G#B|N4Z$ %|"nt5]LHޚNcK7|`/N 3X]-և[^y]cdCL+e jM.E f^CwyiR{Uȹ `[3< fz<p1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id5261O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\zljZ"OhޏLdLS>24y~H3]y~YƶP0@>&I;E;W!A+3W.ẲƝU$ ɓp5Ft+Jd g=~køc9(<R)"ct:O)0~ؾCK/.v'>,OJ.E,'19]UG5+sֱ9N\Sj`ϏpdA?T^@aw{ 7\bZ F3dW+dRyo rOL A[}B33r\dFW, ]Zͤߊzb28Pfs]$ &^ogkǼW/_\~'3]:<|-z"^W*#)AxB֍o(rT闌BtZ) P"͇ &=G3kozŪdҁjZt\ov{tWaR ϑ e$r¨бƬJV θ[qKh }?]@s2V\LΩV!yzng-Wº&0%S ULˁ?5‡<7 mXsP$800]ݑ]p %:$TxanKݒ7IR_L2|vNиKg"CGvt]pRiG3.V::x,1Z7 F_A֫7gfxvo*ɾ,_ s^WMvCLx*L*B'TA `ݒbpW`^X9$j 5q=|P;^5% "R@& $Ǻf"?] tWފAԀrf\mx*I{2v8j&DC)B*[TeĢ"!}dhEd/ٹ:Z3.h;ZI~ܫ[lVäHVRVw6 cm]C(ZkU1p~z:5C\ ˴*lXX5쬅ϋc3KCOr؉A K4KG+:v :Y0{5Mmչ59qP\o7h?5p0Y`"9'((,DD$D}-,b͂❷p* V!ֱҬ[ \ %[pqtz+NNk?qzur /@}mRI="SM4eL2=vveyW:.ŭ{H,S"iuǚmW梒b)-ʉZ %p͛"/5\?jM|~4持yT?k|HY'H6UFD][2u{*<f&HSSM;NՆofl1/@mF@FG2q|MҁC] \'ƲKg6\_J=BbuOyO{ n7뿋,2C7]^*$5ʼn~VSTz<պ&~qn*Il*?ҵWv^K B[7I2(1g R7$U] =Uoo4El#-١ƽ'hD& ª2k lbU#ķ [dټqS}6K bfl>k=J@?Kv@AZ0װ'XD=ր5 XuO,gr*Li,r? 1W3 [.iԀyu/W\ə *8bע0Q#pwΠL%>јiٗm$'fEȬ|쵘3.=OS}$yPtrD;Cligv) )KV}Orx嬺?22 N @;Qː"1dO'UYeGAf@0d&jʼQL(LjTt/*<ö`8( FdH}̡j[ [ _%^م̛d~nLoŠdoG@mH5%_: ];8M8C(BK9@4}L -:!!X%G x56 FT+2![F+:Hyk8JXΏ0[H+j`oH^{BgF?<>a()_6ApP:f(I'"Ն"GdK~1s5SeF#uT{n am0h@JVJU[3YMIWUM7^I]kPP:uUmHlpSk%,֫(0@}Tr&sT"@T)|6coc{W,_HN6O-NP\gfRD@CSB&gڒb/G4H 7K><TGMtCkyuАj/~~c,&\?0cف. U;A}S ?8cLZt8>JKXV2'|lJA`Lg|d  9r$\b9  &=lP<"39>n4*!Ht}!F>҉wvIҟ'^@dn8O;1%YU`)e9CѨmx[ºsw6A3iTgz?Ѡ.#bEkmN/8y7z ^?Ρë2MKW\uS3TUS)FIK8D .Yu F B !wg5%I5NZ`3'DzA3/6pyƧoIX(t[SAJ8F6l >XvVqX۩#zwshFZR[ΌygN|֤{L5jf!&~< 4~Әe"3ӺRF:< hHm#ff%N}ײp-()qu62[ndw$qxlGW4ֶMn$bA>dKv* G۹~j]}&`Hzx$O+P4̾3/wC֛mf %a) L*D :wjժ>Z7=x11y4@+gɘ{+}Y<*$lvý%b JK5h"U씜YK ;U|olAŁ*9"qbHygK%}WK=|$0C 9@*j2[A #ZZƇb,OEkņF|x0 Dցk&}I&WH{u :ސ^c,»>W74_mzWܣN$2eiSu[YPgM9;\ߤfpw0D|E U)zm!%4?@vH `( K"e4W,3 xnaִ跕!@'5ijX1fx0^Y yjss%gjeQ(6jSt{Ȍl]yZ%Hj FNsp h'@KmJ~mFVoȞ>v{i wEz fR09;im; bΐkBCj3-v<[CG5H1J19,AcX:H Y8Ybդ`Q[ U}ܣ?ҀbVXLg%; ѮB?,/8/!ad\'_& 0ݐ?HUdi }dY{"]tp^ ֈG*y#AeߗJzg F>ln^E}G6]I*(̣w?tap]h;!nR" ܴV5:WUfr=5 ENJ@rav453xˡa3)ă@v? pY\ \ߝZ>N'xK٢_)C vsa ݶkf~OGOdA: ݘa'n̖9{=~LTqlCL'qLR. a)aAd޿W좤ILmTU&e~,^,TF _o} a9x@G◩b wS,"TT45/y!SwJW;W&nѲsI_6™qXb %谰 <$L=+bv-ƪ*2Ȥonֿ1qK۲X@b2$z wQdVSPN-VE"vS4,N9uaI\)"|+"(+zw>@##CUkVC ASn<"5ZӸ*c2뷪swCH eXoM[dIPi -ᶒLdՠLA3~[q"̖n swΗ.GCtW^_~ D黮艠IcPV}9_V SוHG&Yc. #Cn &y:^Z 5oˊ!"xTpsK0;V^))R:bRbc|t]+P[v{@r+U$Jq.*d*U~г^v_Qnĺ: 9ݙy/n[YÛe/d_aO `ۋOi8Cpma` 53>J ATq$.`w4֝j5T`Ӕd>oyٌ,S,fQ|̮YvdE̾sv$ER{CؒE0Y}`;U(x 0 *osJא KLaJ~h1}޿;d:,>4AX*)( ׺UOqFi%!:,M={JyI3zZ}G"]k=5G41~؛1\<=~[ T\wpfi{ꤧjacJ R}gaƺBJ&j>kmxLAN;lێ؅(»\PšPBʶb~c }^c9uv ^W7Xd=8S m<ŽT2ybqn,%ط » vW/MX:WaaHCt ^vs$N\EҢdΜT54E9xG l9ǥ;KXhh>)Nl+fϝw4OfxLRX |ހ-/95!(V](-(:YgHHonp6qByQݘi;T#Ԋt=ꁶO\T5߂>8Sk^no&dҪ/N7(+mg"ܶ%EljU _%Jgց-|DNuRPm+92ĮIVZ&C&{선(+UROM~n)Dʞѷ Ru|*_E 15rW\Kf9> *xҬ{cA9dU4* ^́1'r+TYyzp(iDtRjO]k?y$-w?Wj@FUG'"_hzƎ{tE 7Y/J!Su?er:sB/BU J#N<]L@g]7xh ȷzKN9gUwAB镚݀2HkzpN Ak|Q#`*XTb'Sf]d 9Bf8;q AY9!iX'A*1?@7֘)r^[o;ц"=7%e.MHie74&|W(x23woEAövX,\,?AHĩ9?$.,u$:Q|hsj .xG6kq(Q `Ur8IrѮt7tLp^ S :,DDM~\Y]NnO"Z$-]( ڙO5i FW7efUg֗ZУ&/@"b h qgYZ479m{i(sgt)mpGx PZ5k6/q4?30*vԝII .ַ q@GHNQ [727Y@o2[a`7.˽VTHn WϵBez W$׫ B>PNE}V~ cn$`U:xGeq'QR>.y*7Q?>i piخꦌ%:XK8G?7wNT6 ©rGB-y{)smo9-v>W縦Ii ll$t nCcٙ1 ȭȷLKN ඝ  FLP %C%$} J2gW6+S2{ǾbJiЏofi9 ϖvQ6 gĽ#DȃIXGCN]P$LG_ >6Wz$t-(P/̘6ϰ[g U|DGE-W){0$.;pP4 t,VtN.snӑ_u0wI}Ny~P͢V̑T^_d2t6-uŎ!GD_X`#"H _qv5mL|\Qwmd0hKc aCQw9볜͈&4ՒWr>7fr(A4`\$^ ӎ?>n=}8P9 G-CQ*"&Ie2\|>N0dF.0]R 4cn6l*yFu2_Ғ6Q#葒ʆ& _)-RcMJãwb0ʃY̻ԱLf<{Z^( ݶfR0ᆽ~Znܫo%A1$O-&+ٲfq]X`;i^bQ 83kgO:[a:B2H&W%1e&_+LpL C@]O('9 adEڂԼq5s񹂥J}H%[^Jab5ՉJ2 \7e+*h.uosie.8o>E==?8ijW I&8 7sQ^j $#Ϗ=^-LrQ݋g*J7[u82** Y^E?oX4!3:> eٙDnt7&nF[<0:&rs%E@e2l{qXc3ݤuqGƝԅ-3`۬7B vx혁%쨖FC!•'AZV;w[y'ׂ-η2VGL 1`i}sQ4"5ߍK2;djK]? ?Q>WQ|)l)2r$(A+rŎtťS$Tnze^֤#Xc~ lg}gʓXS$]_ c0\ h @$ ASa9C\pŏ &Xz5<3ыaqtq/ڲjK z]4ve56('|-<;ݝbxRLZ9WMz}t]!զY!e·#(ҚڿU4cA4F3.[#Ne9yg ^kgr*ZPd ,Uo+FNNE_av,*wR<5JBzo;o`pY2*PY&R[ȚlC|N6~$7qqK \ӺK˿7Й]7yq=ܽcԥ5ZyRrq*fc6+˂ї'y7fsux#Aaܞ̈́@.aeE&;5 Z6)*OdҪ$Z>w"kQ+s߿N;@,\̸ֿiNBB^yPѾ.cB &pmM*Vbs<믦hd/|m  Bp|Rw#wqMF*7c80=r[X_\< ue<2<ۍf*[a$xtۻGȄS|E=چ4 i7 JPWPh1@S/UjH7|O4rԋ)U2@tb4( j\[?R+ OH@peR;\J^(!}/tSPȤ'lGBc wh,5u"uIT@Lk,}o E9cUuh-G0EGY0HA55'y~GӤtt}eJ뙗~xLX/h)lQGB\6/=b* ]^: HwCc%o T[ Zj W*l]2ܱIfiI{xWrd/- m\tp j/ 6^VN@dVkv6č`9/%ۏ :cA/h 1P۴\PSϐX9 <ka'b[B߁~7ET;u_n!r({u΃!v ˎdHj2<Ҭ+gKS`ʃ.v 0M_y_Q*B`ʚ\ygo)sG j$ )M+\Y;Ws89.xz8yڜo'W(˥:Zcԇmv{J}-xZ; Ӻ@EVIe@p%Ū ’lL>>h8?\MHӲ}Jc4j8F9s8xkr/܀ϹVɥ8'k+v  "ڋ[nn=T?&P?+hR8`d0ڍcu%ҿEC׆a7CE9Y!{D)[ΌQۅά?a߲K~wfG"bXiխŝ@Ȏ\ Iz NL.ffx[f1A3DƩZJ?-ʷsP!@ _:m0]AM 6Qr=QZF+ \EeJi ׻ mHSu;XW3yNA_iHi^ۘ$g:.rm ã0:͊Kv< G>ީa@EP9ŽC88e֙B2藡TPQLO!KؠΧT!i!2f֖T1I;h[U$_s>)yCx\I[byBɯ4  ?&US P4g}Z=Wa;3]mEP >(BEH̦h1=3:ynG5esW6ҺqT, 4[5Bt 3$XW aާ|E!kB}.B 3|uˊMg.aS|JA|9]:yvc:PpGv"{nP8~{iC,Q'2˖ 7vu?Q_EΔ-5SD4K*RM|Љ2)ew˳IP~I]Vgᠦ7(p.OFܚ^o)pgdEW!oXCx|Oen~gdCe@rwo' &I:47Ot݃>E[_{}Xd5X.ZPRm`\I/ao}{yY4~Hκae-{zqIz * LoZDIw|'Y/ׂ nf Gy!Dd$YK!Q ,F *ũQ,=Zn(8l€1y3@Z >yV\~QSkSgV&Ϙ*=JY+"!jGO#%nްL¨YqduN[N|a3UPAwʈ_SWTC${ƈ=#"Ax銤R&zfhe;;Dp}z nb-DE4-)y)6w[76j]FV-Իdv V(ێ4$"p/Oy+m + 0>Xd oQqUܛ//NCzzB&/مv\P .fL $^o-vzM[1T)XQdW4\4VT2gcLrk5Ԅ;|N lhp eYőN,2Z!iIЖ*X6Diy`UrO?xIΐMwčGy ,jwyIJUl[ܵft( Q5i|omp3T;[z*;][سMW}J`}Q\׽bY莋 I60@D[;̭Ob}SK^Z$}&U ɆŅӄخI->I.bY@Q U;9;Z5!ٓjOI> 5츂vWd9D IcjzӜ! I%vd[y1N9Nì/{CJ^,\It!'"`O{B6z.?velI(W 櫾S3IS&B{tALv؉:1徴&߇?n"hpfm`&l3ͪ wA^tlܿR3d$zozb FL< XHu[uC;EلH|o Fbeaa"YLd $#2; ךtݐWX`Վv8/^^>@NEXGn}piwRb{ bEa`;q|:Y"QI0e]is)t-e.iixdܽ#5n] зaZ|V KvY?D_'XswAOd|,Ezdvi L4"bcMw'`l>7gYZ~.1O# |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-UjCy9FiGsU!8447~9@tRxa3-^̰`$&p(s/<,/+AW{6;WS_#nyNM!Lst_L5!XDt|) N%uCmrMW-ԷtH#?Paah;':Fh&])hX K{'|YpuSkC2lGFmnTKi؞Uj (z2LLr ָzt:vI*za23n-y2>(Kv@&UE! <Όx[͕ c-01EOp$aP]g^m!i'$L !pԋظgf3ي TǚOε"iHS=g<~dI~ rM; +P[soDhwl:g{gIrI-'~̇8x,ٶB5*GNLNM=&+ R5yB5,EdN-`_ "bu_k? zq&-o FH& *vRW2&ub]?Qʟ纠L;SAAv[g7LМ}ա^ŭn8RJ`nB;nB#uBطDi_8J9D?lU$vPں| /[%>N0 ~Xg's|^XN%T3YE`1AmZ.cv-1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM,1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id548+1A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\zJGt`\׶r 8$Zxd;Q^7X 7HPy3gʆTK?la`֗ҩ#sSHj\WnSilzoINkI5rHdi\M@cƚݧ mMJ:U2*Ã`OlgE`HXd@%yWvog)\S44x3oMRxͮ iS7q^?❝ ʼn,TdNPT ע#2;~ԜyH,l`T1yAZ]-[Rg݇"ccX1[xijS}T 86L1 HqegePs{9ibsJ&5^i{&nT r(ۮg) htoa6<̶48Cq$dq;WlѡcRjV~AW"+7eSB=F/"[Qr.mqCO{51*[_p8Av zLW\0ƩJ w%bMjV} ~CB# ErHWGkzj%Woo`S܅BbBgYZobHnU^HniR3 [?W`o\-Iɴ[xlۉJcWUx$2rnՍw($"Y+/$c%ΏXEx ti Dk3 Jn0/xXN-gVTF7̘Xt;Nnf2'Y(Mȶx=oD֟CѦDQ1?qŏVy3zC}qG!n V}rA{#1\4Rp6],0b b@5_PW-5dwi2o⿱43]6g%T3)y #BvF) 9-_B d5GaoQ iӛbxJSLxA }vxr]ŵĠ@KPJ*q?\ [,)KYz+\?#@lD?Vw$!?ID!r?$b*{_ުQGD׾Pr°vSm~]fi~¥[\w">?EHR%TTnbyۄ_֍ZoyoS:)#70Y~$1h4'-3n J)}= j|qB $ TDKBm__b"Dbu@)}\/z\:͗`҉4}2dɤM>;]۞hO(-~O?sOC,VY)mpXl=ns8A3zv̾?@'C4n̻dh$|+l ZޭJ 325 vϕZe*>r`P[,^IE"OQO+[UbS>5t&z-_ûtf̘>T)kdt >h4с3LrCh>!2E\.6:m BFG=};^═p@6CD|c,Z7J0XŻt0Sh#W!ύf4"7t]$ˮ4_=vLowF&"5-9Bc5lNi7H׭u 7*j%zhhL0K K<KŔO#3km_?X[c R*gM &p_HbL^يŬmKYږ-*Tj@@ c !* ]%B!$]|ѹΚЌdϟ89C<;Y&U{J F5{yGGp"Jy{DzQ4D\;8s[1>? v.z8h`*G{u9tpe 2pf@2)p}ӡԥP2LT-䒇0HzM\b}ӜµOJf*Z-+PDձ)FС yj%߰Q]J5?fϋL:144PyTi,a=_>Qaeq)bЮlYVDͧJJQˈWsC @!qug9|ۡFĿ=R"ɵ/֥AAE*^Z̕H#9kKsz|ڟ@%k/ꡊPP%YUfS!ON?o؇8ͻ#+}ޛyDDH=h y /n_ &ztA4so )tg{ oܤQvOW̢9` )"tXO=Rujl xs?buJ)5ћGUÙzB=SU3<$}a#SǓ~RAzNU{>2^!bNYImR4MGŮ1bKۓa`dM{- ].{[B/d5V&p6QK2s[st 4 H,^"kl"Jw/X@I76"Y8dmaCx' 0dOEkbmoAC7z{ >}~&eC*skDl=4wALC md,v? Z$qZi=C{Kcc2-_|{{wɈ=T](OV6BǬϦc?ĮIꭠX -E.@;cNgv{%ONnJBO-^34- KaZC`/oe"@PWk ڜ\;6aE6Mkpg1;c&4D2Q@}PTi _by'n~{G]<.ǎ`,Vns8 'OgDMʳk0V d_H,vBK{92.(9bXJDk@m fs&PunG ! qyXAG&f ֪PGCSB}[뢳,sTB-Œ7@e&ց!荫0UѠGG[nmŒqkU898c$3WڈL*k5O%5<[Ak+ȚqNuH/nmyr%XKo |$!XAdUգ̻T.v~9,0t8)|":ҵTпa*([>E"xE> XJuD0mh7}8vMO5yŗ[^LjF@\! M4&H9?w%yOYJ3"w[%ENq?""-Kk"!Ny5 mZ(@l@CNqnK{ǴRk(GA&Ux$Cώmx m7xLn_`AUK@N~ԉjB7(]Ç 0?4",ҸnPO^~|vT>±g~N2wڀ,%,վːԾ%Itc26 e*o`ھ!!:PɕEyQBJ,o:zAN^2H1ƅOj??$ vh?(sAMbf:t+. z[{4pR M^poI|Ȫr_ԑьoH%Ȑηr? ZUPG&_No32JX'SrThԂNrw"2'I1DC+7N9 9&O`-Z:~2LH'0"K sX)Gc P]X]]VWXA0("off+fT 7a(T"UE2h?|Ncv[wʺ)̀|@CIf0TP,.|.Cfq򺰥Tf^KBy)FpS-?;*T&6v#AY*.Q9 :%ԑ EbHlk{ݪ+Z5*;Z'ݔDnҮ@藣)oYܤٻ8آmwl(ۻ:ʐd")A QC:88656%7 rNwҹD2"xM8K\ ~پ+2-l<Y*15ߠ_9a/5%nZ;P5?AϨ#_t%|ΏЬ葢T½](\2U @k5ݴF 0:FZRl6V/reN29fz~[W/@F((:.h\eF!V~?nKZ܇?J|$=*ғxƊ\Whu6nWJR_CR{,AWFgA:#DcNA4fN*%d5ls5bݼ|*U|n`OWwџQ>4f ).I+b]IR2)b Oq#&8h 䙼AEOzG؎|΢os։=Fq"?6:)U\71h: lߝ_)x]&B=Ec~a4n[weBи]*f6w|zC;$腾d?Yy3g.Ixr8[CvOV1X|))< f/蚘 ㏬*pjT)Q>0LJP'k6C&}<6z }¤,y򱧸tbr}bے{d>u`4{sO3N4vJ+G .qa>m8Df[ fxNLž d:orG#KnH`+'حRPa۝&.B@8d&Koލ¼t3Su2n(k͟I,0/"Gy;ɒi'vY5 !1uU۲md'IC@q _3:MԞ|pR9~E%y;8OY̅̕8Mi((ivQ_a|* NĜ~^iz=?7~ƞxT:Wu-]IkYЙw[WqЄ #+eb"f7Po>{3'yKtU8ߥK¯ Oz6׾9"kV'@oϜG "T8QڗvӰt ^.Ur瀚a 2H0RKԕ֟i#71ی2S!eYAo>3 sbrYy3Hsk8C`|li:J=#)j~P#D|Ĺqo澽ꞡ 36?&WձgYZ7zFƃvnj3P'*=0g 0v*&P8zIyxfh}f"qcٴn/EFLUx>i;At}?Mfֶo돳$>/GgeU'Lum~i$Ɍc v{Q_!f󷣩hNoPAI~S9~Pd˶ z Q-Klp ?Vº2G 'ӻygv #裬fp+ RRq+V8JBa:!W& Lӹ>9Y#OufܝY t#/L|K|^cX9RQ?% rL;nh6;npBȯ zJj+>H"΋lF3c4o%,_谛2z2<-c)z(շҼu{*6ƛUT)Xh.Vqk+WMK{F)6d W߹>3@S b3D' JH4cuP0ʄ -8xB 6` tb?&pWW!vwǯQq.5'>x;w$KPJ'.7Aa1 Y(w5zpU1>Z}etB^xX).dG_en ؜Hhx٣nOCw2Yy2̖j -2s r3tѥRm ]1T-wY_wўr*Y35ؓ/ujesAo ҈O"H 5]?LH0 1Brrh{}IS wq,u+*gQjoM߻{z]`f3o;>9!AbQ vlV4\x4X(l_|*[9nپlfCUDU Ftvз} sA}QfI5n%Pگm|i׻?4q:ؚ<S .mq 1d "wҌo-8$}` `{qo nUTh9^oy+IC!E(CCCoO-gcЇ2ssi/5L%HRnKx+ }:?ۚIz1K C ďGEzN A9/דC:Roh8$|T {FD_^gFŪ&Kp7KҤ_3CZeg80H(7"0%&ؓ9QpXA"Z Tʨ͕6s@)\~&CX/2<^ a,,/ܰKu|/TwPcyIt&jNPumuR^K7ױP}b%c lB&OQ's3~iyG]]7\i쀻,2~6cQj &~Ljt%& VRG -_n1jd{KQFC༨i Y:"7Kwiz '.'nJډ&tە:Fi !T \" MQ."2U^V(Ckrشv7X K98~PJk48Yeb, #0ƄOƧ"r>b,Sx9$.:Ux쮷sXl*wn.Ab}~~W~T#gDSu[&i̤й%aaz g [NM 璌ԑL$Xj> ̵YXYi-@G7t^Ns#l.ϛc,i'7IMR *,LϾ(°g|G64B)w޳x{}4O$6 b7mK@SPi }l 7tR kdĘ~t'Oay e$myTpS5: ,-S}㸚j ioz0'gFq\"VMʬ\mTS  :tt;Sw >ow!^T Ǐ`1OR>*U,ulz<-۰J=c"51]A)XLoBt4cw ¤,Kf,`P<,9nS]LD<ǶK7_*櫻qĚ_~f{=G)gA[mnRHI~Ԩ<eṭ"5ɤmKӁ}L@%jמJ{?yq2R` (ofHjGVU7̸Dn;//tg[v9Bd+PrdP@(FxY^?4`3nl&c_\ 0_3Tz0 [ic\"pcRN* [T `p%[b%|K|+$i1jEؒ-D}]4$mj*y(l!ͱTa%#C1ٝ70/gDRͼΊ.{S?m "j*95qbZ,V? ?ԯQr -*͓g;R\47vx{׸ķ"BT,zpP HzQappҸlCYBsz(*u f\Tl љX~@ݞ׆ ުQ6QE0t<Og~yMYvEzZy.TI"/+!*I^Z3w7T/S'J)c]YL9EIbk*:`ֱgYZ EE061S# \HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! B(]ˠ)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ܞ-'9 ;+ʈJA+"WN&hlq^ At4^mSY&it$+r\DE1nڦTOXQd7Um*2E.bQ!PƊrpն2vfGp?W0s.`F\.?Z( kFw,B1[ Uϳ6JziKEA*v@fn SGx(~kޓ/=1ь ̧ np1pGym?ZWV͛L}@@Xdf?GܓOF"{C`Yᷨ6!SSXMEvwIII'\-L} % c}^66kꍔ%xË% 呇"KHk4NL"NQ&&h\BYsGh6p_SeIuĤ/Jkw9KzXD:0o"%Lo`>!4"ۘ cٴNgb{\sl]~l$iw! v_citܢUԢwj| 3Iyc awH;VDa8Jٚ1j'^ɦH|/SI+y͇&Z%Фn"l0A+^K~1R>CNUo|``l]|\PZbN6OEB>6;sqI4U~g!} 5 ll0ΫZ1"s'R)׈]KȮ &0VJ-*@ CzơtVSa{L |\^0fvRT-c ??U9`isː c7Vs-/>q"T'""ǵ,s7fKLЈ I[4ToKp9<^n3(zJ3;&EPjꋡ`=<늋)@OCؐmvb8vepX"3dz%ס)EKRȉem쁞1/UoH^%'ur%Y!}NįY 6m%/+2,{HPbKmH2$#8^n-q:^oģpbueSa&gu| ^"LNf"jyt{L4J#QSWb{qrdSW+0RwaZii&x/  FK7q/c"rf^"YT[(* ki 7 I\84i(Kj3`A!㾌afα7ދ>㫐YM'QkX@k»:9dh; W c j``ϮIluifǔCT|E|5l.**Ou`^i ;olG"c~,/%~ <9m0!q5IaR8}>R&roSre*|& : WcP3}ۡ+8EM b&'h O+~ٜVLl3U@I^ÜL-‘lT[g?Үc؄@%TD\•LG"3\w6 ޕ;':L{8sm+mn7bDvCAUZc{d5a Оxs*ymhvV67'P.QGT8'H4A~PM /*c$K o!>uBppc"ǝk= }oG=~<NzMOQ[%#/;B`8o.޾[O9El|D '!%h3N,9%Ҵf;g9xe8 3RX"].Xrla3z CP :99*[c*]g^ _]UCl|MzJ{[h2H0˴X.v+ ()nh=\<B @꽔,ki߀܍}skkmzT\!{RyL.XbS+}pRh> m8wk{U6T9#XwM|Gov :G<^j+i4aLY'@z (xUf2M|džRq=);D}?0LH&]3ͱ+wH{@ y$uĠo"  C `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_id5327;1E' tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\3:L^'ې.60Dw"E62։A9;[eӞ n`_M, Rקu1*G{pxy0r~G07߇X`Q~RtCm| RpUGC`A13G6|$8 h͟)R4mʕ*#+0b*qG΂q?C Qs$5n=|Kn _M_a+-(:_6G\x ?5ƴhShTrM̐RqD [S,nqCϲfXIc\XeYMU0FK 1za/5r}_l3MizF`=wl08].Ψ5 Jr3΂7:eU>+,wkxqݝ ]0Pkż}#DةivBH|qFku^Cä\|G?}-6LXP,9g G?.>LB.\: RuL=A^HtLUDsW>pm jT9sn8_$Vɧe|fשզIfC ` cD+bH'UGG#"+&7LM$ lC4v 37P9jfV0#zQsy>pTI% Cvt: '"ʮjb'Q%84ˑ#)bv4uc8vYky}=o_;YOw̆xs@U#h\A׍µVO?κ`Sdv#v?}֣ӛ3<m;h,hy?XMZ@K>KLcTvj[첅S!-ԏ[H[gw 'axKaCsbK))`c*p;~Q'~ԻRcOiJ߇RD,Zg &KͰ,FeR~C'zq:O0|1gmGyKBg*77d#槊:7+:; M q4Վ+0"OƠ~ᾪXl(xG99se]/K 1tFדߦc4}듔[`yΤ~8o@/ZA5r(v!w,V+]a&qhD (ggYZ: 1E# ,HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! @ ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>g 8cr1|kVe7@ :(&H*ZJL/CAob[#$["J>] Xӵ>cKxȾE%[o Kmbdmt7 Om&tjP +vTgAƆlvV\@LgIPp+³Չ=oӉhԎ'l91E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyH81E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id536:71S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! .]D?7 {?:fH\zT@{ٯևŽ厩EpI&MO_o&l$U3I (L{Qovq~ YW֍<{F0ܝ]^퓍-BAƌ v}(׽WqQ0]S1_8Ic}.m-;ܭȄˎq6S֪ڧs*#$׸u!KZcB䠟4啍gj^5uDqyR+,=Dv60ҵv&yGԜT \O2D#$~^d]:BP70N-W4 + eq%|VF t78PwQ/\/o~:֍fTgu+q~r__, U0V.+SQrǏ3"f&ЯǓ\@}2Q%xڈ^y&=Ka(W1qGiGP!G!clRGka_3rLEe"4]ugYZ /J # i @ NhH  J w : ^ u7 3J r2 x8 Y; z<'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup6E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files5K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id4'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages3D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup2C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files1I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id0'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages/D1O#HOL-CorecB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesR@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupQ?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesP?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup*<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files)B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/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! z('HOL-Corec_ExamplesHOL-Corec_ExamplA1E'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_id1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files9D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id8=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_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_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex ;HOL-Corec_ExamC1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/filesAI1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id@L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex"CHOL-Corec_ExamplesHOL-Corec_B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_idKD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupBF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idO?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messagesN=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markupM<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesLM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex "Mw0M lM  D \  - Z +gqF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesJD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupIC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesHI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idGB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesF@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupE?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesDE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idCL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texF1O'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_id,X1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup6E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files5K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id4T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages3D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup2C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files1I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id0T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1O'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_idT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files(3kS-M) #)zq6UA)@I1 O UH֧ol"3{icíNC!DɲhSha)v^ ;+9Tݒ U;}:11A5w99Q_?>0-!&s02 uiɱ':1^)-N'R/})(WV$gRӭsﱬKo& R|N6E;aQ8C7ʽh}}B|R+ A߹hB:[ @淗'7= q "y1.x;d>-v*I};/0KBw6Kib߆ =_e?ޙ)r[1L\q$"V>!~(1 [ ozNAp(=ݟR?0VgpeFq"pRG\1sqb'm%Cu zQh0H@2½-FusGL^9-CW4w9F΍+M~;x 8v>S,ec>&<ֆl@嚨vy<.)n^I 垳elj3jp?k)֞!Dq\K@u  ]Nf:лħuҭ75nE[-@.b9B)/ XS.b_A{s'>^]zhPx*qL+ U5`Z"zp|ζQH`Am|MhU"W5 ZGo3^+UQ} k%Y! JSz[ZVKbkCѴz8AJ658 ӵ|3#JQad=@>6$󫾇&F_ ,FK WވKF6g\+ש4pIIV\.Rá;ǀ0URGuqd'm}99+pZqKco!^YЀ?v)N>|qiCփ^*)fJJC@(G?KYhfVIp:sO蒘.$4c=z YgA[ |%/ ɬ|&]DY)Ix5.U{8.=F `>\D2/2ms Srnmf*2]"'r<ZsmƳ-σKm"˙˕8s-U+a!Aib'ۙ* 3U=κ^< '!ZD/{AM7MiE#qW9N "XJ\ثr|<ƿR(Tn]wɹ j!Z-Iq)WZw3M2f7Da)PЋQLsG+s;:3Ύ͖,irݺŨ]R#y~}l.hӾ +!52CYfsxHS]|e8+ `&^tE^),Pa)=;|(fN3؏Γe4Jk)">S o1EsyҢꬄAs^g/2 "+5v?崌&N =IOku&@4Oj'9|PEhfdR_tҵdD!b9E8BN6d#8> aJ:A0IvL% %[t%VbvsnHʈcXs|NNE@<`3G>^P@r%5Sb*`TsPx9st}B2)i Keeؖ.0PT>?}pSO iL"L~}[[n\.H{%[T!ln 9,mkU$?4?Q7<4nͥN7$+,1xa4gw*Q@FU6WH8>13p휚o) 6Pӕ݄Eqfl{U?HISo-OvBIQLtu&g#FryF]QW+$Y@PzIf((:qy ˳§2 ;Ժ~}S[Qe$09#JMЀ[tC`"ҟ=^SNa0j M@uw.Er]q0]$bG2}—Yo$?i񭇢rW2=^5v;cgV[h/o=V k4w#&ѵb~#?,0 OTy}81% ,|DZ.[;@W@>C9QT$$Ngɸi)<@JU@`jW;TQٵSWj_/-'PsD‚b nQ ksBV+d;;~K@vմ[$rfEۚ\9m5A9AŻ#̓5Z$s+dߕcG]hKI EͺEUe@X˹qBp~gZV/`U90?YU LahQ_v ~'&zPIa7f0a$T]-5%{=AgKޮI=[g! /6TM -^ZtV+X NȔ QX΢/˓~6`_ȗ1YEW Ô.u"( +121:Јd v*aז$p}9L~8FE&\R=ʁpur(4|ٴnǡN T[찛aȠ3- /@P99^6߿zG=_DuGruJV< ]:l6͘gQ%{yvI\n u# w/ŢT_‹g2ʚ8?.6YdGK̵cQ8 2\WJ~X SulLI P]?HZ {P& ́ZfRNiHTY/Ǟ @1s(_iZgF D/׿҉뤊kF3*"Aư)1$Ye{dJ`ʜ5BDrq%zz)ɾd93I7uJqBIjHh-)*eX @h§7$9S&"Nָ3nC~# 5d UUi?@=(">TW;x;2Jer8ދ?H.mV& E@FUpei[ڥ*x. h)P ,!kbqjjH]4`l}=O![ɛ i.OwLrg׃C.zW- 1A7@UJ̢J7/3E8|Ao1y=mʉYS-6tWd}SN(A4 Y3C2uX-,BBZU AD9=h]CSZ2DIJ3)xc#iRڙ*βQ\Һ2SD3IS||<Kv~OSQ#>( 7Oz(]8aI=l*n"Zf0O*tgATT_ieo%hhOO^ʝ0kp%H19Bw@3o{=*s^)ߖxb=)IcAF}c)vOVjҡkpH:EqD*wǾ2mXU.Ǽp76ӔkxtEݏjb-zw./Ya2䷞hP3L_Ẹ {:|F9䞷-*[]V[$DmCթ-sgCPoTdPs8:Б`k볼B[-s5\#m<+L`D )v@]<|qRW84h+'ږ~h|;̑O"r_6$yrYA"3/P:3;|xeՈdžR߰6wl%ΜQ@sYv]L'a#T,GyePv _eY$t5ÝlpR\o?_3Lqՙe/1p]9ΌnGT9)Wmdw"yO 0\XYl8d C9kKttLE' (ZmT6ӛUI9VvW<ĕJ%&t㙇WΥp:٠CЎ.t_D%wp?@˗>n+b[!jmmM<]g2q!E{?̳лHbU3+Nm QZe W9,35U`$. |gcNNwM]IyN^Dw0eM(7gXdOYRZښ(A\Zb`f]#&/%? >_CSdfswN}L0P1%-5LrM'+xx bG){M)hÖ́J Ç! 5*)CT$6n 1Jd5#5rQr2d fL^q{1}*5-1 ;XW# 9&4@bRUJBEc a S;"5Þ^f9,݆ PV_ݟ}nєUk;LGz RDۖ+xuFhD-H ۸yt:DELŬEd0960oJ-&N>GEM%KR^3ASS]cN#VII5KIQM_|EԞmIg+:D륭yN; YR;cO.~t]Dߑ2Cq;.i "ӏ7,QHJ"^íC+-sYęYe+(pm=Y[u܇+ 5h/򍺷t$o~ZeoL^ܶ ĚKcN/ֻ˙Dp!3(ⰰ93g$zIqWD5t0q-P?'̫nF!̴7tuᯍ8&k@/pDVFn YS9r -@o(|:9N+ŐD4=Qg v:؜Q'wtL7wڣր y̆ RP0VB:|GwQdafPݻ邍u$@5kS]ızA"3h"v4t>#lNH+сͿQqOmlEuRhr*Gl9=M6ʓ{|. ڟĢkW!D հYSvUy5#AGSQ#@p".ឫ[kg񎎿@χ R{o :HyZը6,~xA.CAm ,#w*}1K;$[UV[b< %h#N?Pcf-Fy!Rx$B;;*M; QC졡{z)%,[!K~*i R]S/8i :FJ-h!.=:q#(Y |sݑͯRIV8{#[, P_Ȟ,̻\}cLC8%yԛÑ*#)_u:$enAj13 83R@dۄsen /PӜTO3щjfY[WԢ6IK<_=VjQڜ  Bq)!fDS|^BGr(tMzUވƹzQ\aLkĖ'VGJ:Iyպ&L$K8‘wrksz4. &gֽ"lUg}~>"n ǏԼ>RODG0lޅFgoy.TxK( iGApky u| HƴO $u(S dqkȳ%l- $o ZB8.C\ǧڻZ754ac΀hF h'@fXp>paqwM8uWGx 0̃'s:9~L퇸9 Pr~1W{i 6^ZHL=a[@*)c-=U02q_B]pgG^N()+J+FHB<!A{sql2}Y_h<HU׸;I˛lx- Hm*S}w4r}0EL *CVП"jQ[`ؕ3 -!s^b18 z%Y@TBVXgfj /aлLor$ ZLNAc27qaP/MH뚞ƖD:DSӿ un.a@U#-{~*0HtzdJhmt+}ڽkZ=Y3'̀R]UELL=.Gھ,f.={tJ$tnccۆa0Kdә3p ^/;w/1ڄgmjO.ةӅr$YgPL7 SN5 0NWѥkWǝpZ(1i?l#tb\ZX~Z⛳ ^W1Msx*5A|+BɺRS]'eDwct&aj?-%_{W- kuapBd}:Q{W/R=V^/`v!'!g~ Q E+6zUln#j*sc2 %ŘkKIUeumiD+(%ЙHO}$wrCg_:XoY#~v&X,N *#ʮlִ<Cטy!$AlLvvY4mŸdx.dN QzBD28=>1̧G*T|$3Ao 6IoBd 2|*u1h{)AۂίE*m)cSO؜If ٙ*Β7W%`'>I'فbXV8X^ nkp^vc&!>4nψO<'.WUYϞ_}P}$onJ[4B/(nwD$we-d`Qr9 ϊ7it4*ՏտT=A+ǎ=\_dMv3`˘=|=,Jݞ$NСwoX䡷~'%ư;`h)NS$!7MHl_9[AY6ERiA&?XVK+,p{ɡ8 `31 nڒq%,@iZJ ⎦hT鲏;TC]C<4S5mSNVk&C< ;|x@/Ef(lGk;&ta_]&t]OH׀ (շZkCkfǠȿxꚽFNsȦK)ZiֵJ3RPz)nsT"U奓v\,$I}ɕZ=zpٽʫF"Bx+ *VveBA\<0ޗr/jI8=.1H1WE())]?Yo²]̵M*]6\Q4AXPßTs擑Q˂s tC@PhXF70 8Bu4Oʍ(5\%j>/<+yC%.)VV~V/d\ a>fLخۣ3ul 81)dv5@HЎ.Op$9 C4'za,t,81>՚7]O]*-;@44hB\! d9"zMc> v4m03#vAg%%V?!Yܫ.g=? bD0|3@e$M"(t8z+Rhu"*B|(n =>Re[oc%KVbZbԉ x7Ppc;@T-|D|)3h9_;M]Y3|"D7ϊԖ7R؝4r< JBZQ&.lW7%?4T)ӈ!0"_3Ez,r:Ç=S(Ϸ7{|J!#g#h{ս(]ccm 0J"5XGcas|,n~t8m&#q&N)b`)b^op EgH-\%p> &P#H[;rFͧ}.G=#F%s(9ǑH%4+W0N}XX~WaNgZɠ٣>=yyWQm7&>Y S3UJ񦰵 kr0Frg/ZVbQӻ'Hb AUPtVuV],} Ԅe4u%GzI)Nq7nnl P[L8e? n1Z{M{Tdt4Fbbk~edVc ˉ^H#;t3nJ C G({{s\jtzĬ9J,u/H63UO}¯KU,_Fg6Ϻ5%{AdcVgۃWDZ nY*:!{3\4"EߦKJmSyKiyR}8a<Aҝ4R*=LO/&@ͣUTaYL_T75WNV;St .^+@;/"TP[[H]%k?9ݲH[7}3[I܌ӄd9|[IXӚ }"}Y5k!4?Bt1.scS #6"Fq}h,|H6.߼Kyħ4J))ZО"C~ҁe>N(([q[lkb$F&Ͽx Ң="ٺM`r2s y3ĤK Sr 7v \,ꐚxj'40IOYJk^W%ȋVE:(jmRTT) Ay lSe&mTui楥rl('ZyIGI_ t;u0T H Bg ^P8'9{;tqh姼BI]:ScG2nua{h!//-Ղh|S>Gɢ9}\mj~] ظsOZY?)MiLkSG뛭1Rňnόק;Io"*A~č|SDX8mj*\_:υ.) 0էFg j.lYU#}4srF8mʃ#봇Ŵ!Jy%ˇxr3UT&vy)*нiv`(sWVMq&@'DQ̭d"Ԅl79ˎΑ}4UӅlfpsjȨ4`y D#*C$kJȏ6 X<WƳHf{dGA -=$r C̖*_'%PȉZHF$hH?{$P%#nWJsM8NBqfV%:hU?Uȁ`bl++׹ QL҂tA2)RftN.$*`Za:+pL1nT)8]O~! R-3"-t 1fȯBSS2=)K s* c; :8wo:y>ڈJ?,P^22jY3e'\sk{5V{4<UN{Mpo+v& 7lu~lkT tN;K Č if LҮ@9f9J#S]t(\Q J^@߄\"3I)I3W%E6~#iIU~%sosUj˿ɶ&_A/Gۺ"|fW*8KpwwV3Ӿ[K D;TJvaInA゙}}@>= kq#@[q OM:?As,4BN謥K12 |8%'G̻BQ FW?wR?q"VpA2":kn;M_j4M#CL/dx4IHP`SԼ; eF+> =Qvc~ͦi{#V4E ~'"#ãp^TTM{g5=#~% G  d/@m+@A5ZS[oNP*O4)B*}T$#]oQKֆ8)*u2wwv~?Z$4?;3Q| bs]Wf,w^rZB:3}̃¦G%Us!ս xQ%du4tă(1R򦛱aNǬiuU923t۲sj[;S9>Aʬ'Jv2F- y?T!t}mf\M )6VTLhǔM([X6gB &Kzz~4񖁞B0r*Et0|Q`Ց{&j$03gQ%G87/ѡkp:epKRmm3[4:`xB)u7ʵR>TRߞD%_ك/dy=dE\̛#ZW8MuU_u%278z,*L oDHq A!ҷ>XBOIɹwh4ke\VBSyAVMޠ:6Key.((2*cVOu[7;7">qAK_NBjok i_>Xol| Y wFSZ)h P>Wԋǂd*2ܧ,>i-u=s6W2}7~ϮZʶDW#H>!M"*o$ymB+]+%?g/HJo4{v,3:!}MuX{q_7[2߾$uC|L{w Z7 xyA|FyE(iNG^ڲf܏Imglpv%A[^D<1;B0诉] 1`v (O6ќg,X)\4 騂EU-r޹ߝ|VEa8Le~ia_kU¦N=Q>~: cٸ[GL.g 3K-֯h;9>%Qg9OUdoJxX)=$3NsE qvK)c ]ӭ*-̈́qT5Y%f̦NeCX;v(\VJ7,.&niTS`E8=x'c9CDrBX;nzK->Cs%]-쪥@7S8ޜU%L^{`y^$zD0bDLf DB0kGi(~e'v^aa@µq^gGb ih戤Nt2%Bi|\(B*<HK0*ScjM_}%VXFmq[v(RUZ&B/y}MѾU2sѼbpo鳏Mc[iKC~RQ苎`'L ,E%NuޮGwMFˢ+3ys_+J#yOpl C .>;-MtWd]#}Y b:lH;̴lW½pRjDlLA噵OQ}4ZG¢(/_c *o-9_"i,;@=[n3Y)$ot;J*%[T 7-!t."DzK$hs^_Ʃ0 U*930`}\yGYK8Sse@0&^VꐟTQ=B!r/ zHqhBIgYZ,Q- @]@ۍ`r|.c06㏛ ]='ᚽZ%57>FպG--9z NYN :U#$r )^=8' x3Ʋ:$z"fD |M]0;h&c)sWÌY,Y0AMUFduQ~yУʢi4T  2, OI猟0 2 v 6 d/q67SVPar0ߵu<yn=́al/#|/H )P8 ؼEFw,='̷9{ - q_wJ|_(Nhj4M!O7;a ▾(ymΖ~1L1 @#j_4 s};Jbud3Ҩ2qHQ%wy,qnk_HDq~rToflݬuLI4__mJG?c KT\1V妮mclpqͮ7I y.gbJ 4v# %X㴣#ǎZ{ųbdʤ"&֒z[C*:]?J8d:N0Fk/}5ݵYbdUިv#qVпQZ $[Zh@ udQ 4 0qXð~ub(zވ3>P{#{}~:DmXZ]'~NֱP/+phF4j(8tJ'nL$H'C@.&-w U}H%)Ø"Ez OԸ&$aZ&(ҹܹ(}ؔH"qP۫VסhXFn%ZU{ SO5 R(+3K)me- 7 r {u[I@X2]#!88#855O5r1J:;VČh;nZ_"M%X{-˟GB~sa@`kO* ؊ym|1'O40Ro79 #;Z}-ps?G:lPHa͊C\=Ǒa]Z/!o)7)yD$Xl3?)ب?%2G^K\UV4:T׳ 4W زn<RŠ vxuI*_ދ6Dހ}>#Yq~o^Jȿnȉi "at_.=f kPaW+Jw=͠Aov/7XYMp-0+'LTF 6Q _$1 upّpXVKOu?h|;{s $5`"{S 1q 9)`qHN^oWQ:j=v^h7ƾr&*^ѫW"ZB{ 48h)qG`dHx*Fד3î<-/I+@iy.<Rϰ:}psw4.\l%EYs. Eq YhŪ:lQMȷfX,A^ h$+ Ȣh{̦OF-o1 @72u")W1oW q^7T$PFVh ǧUȿ"*)7|%\_̤ГbF!bEw4?0c=Ph{/wׁLFDx4AQ틻z.7ѻAeiM DQT.' hQ^UiW 3XA @nN𨖓nDΰ/D-y24;_HabȧרL ]]l^HEj鎍ZyqnBZ@o@9ADGRώ) Bk]ۚbS6]f!y5?WY5ia0D?-$>~Ο]_)}U!?T\(⌖ C=9p)e^XM o4KHK.Oj Y>} ;OySdm74p* {8DepTO'V_ oaAg! R!EHWw '#YIiO!qLɨ܍'nBu #mu|]֒HVt*$[}v,s.P/gk8}bo+Az ͉l(Zb #<*h Afdo1 o7E?Ti<4(`GNCR'FBQW, E'"Q0Ϝ.AlԱ]tH5"qU d>LB@!UUs*%v _]UCq!,Lh)k^Em=ǬGs).3syňl<Ӝe(m B:s/N;y~Rt+Y5~.ˤUA!JPg,AX+Dp Q Z^O̝9Ȅ:BL ?a2۴J~8!:_c  }hZ19`TMJ6BP r0?!ʕ :\ ogϫ{x7蜮8|WXϏeĎW`KoA,CYV Q vM\d­!8+ lCNMQBn*6!_% >'M6SCdу?fj >W,QJk" FB{ ޶h.q/?߉K7\M[ozHE(27`7qJR@"팰M6..n%Kvi5ҵs QiőK.K`|gȬqwd.8#紧h7D9|$?%yLwaz%<Pׅ͖?@$ϬPj}PN\ Pvs95mhf\8öW:%5Lˬ -Foq1#a\8p|n,+K+doƭ1 Gu + Ӯ]DV\ " wm(a~wo>i,oUf %;|!d\董Xc-J+m'ѐticDwcɑTf 27cک3! rn,V{hZ 9OF@y*^;9N 0H#q{+Aã$,@8P^h32ف!ݰ⚎޵bbh$f5q"{AObTfNyfR:] zRITÉ Ѯ7ڽ줷)WGG*)vEAvCiQyS,3rx6|"@ !B'[\iѲn |Q =Ƈ/i*}j;ި?"}=)PE^f:z*O$#Ran{8>VP3r ZFēd45؜ߑGjv+|q}`k;NV G)ϪǨ,sl?~=yZ}Z)F}Sxn7Ic5Zt^ta&|zn8Z ۍaU@^bh3O HKvOْi/^%9K I7np`̹ q3I(= IHԗ2E6? 54> h&iK(jv*GE5-OnJ C{"TWAEZk`U1T8p?L3J(BIx#dyĵ\|}0$欏T]DPڹMu(bAAB(PG^͢Kx0iw7, "4sT^^͎Ң1 ŊCZL" dseYqi1Y'&SV'H:b,WT܄eEӳl]8A4to<=u<@j%Fz<[NUᐵ$k%姦wrusSN@Jy4ګ.ki-EE0>'1"L9紽'8OZ6;Yu\VF9m?h`'IWV~=}B" 3VrvuQbd/ԯwxu=)P3X |`ZftNGy]a y < dRƬxe_5n慡wsumzzoo|hgKR̂vuaגڮ@#^RI][9Lx TO^iز?i/^rM31ERi@ ֎9Q"ڟ1Gq̅>s)"*Yuw0 ]Ir@ߢ3/.8BM+*FZ-q8^ڙ!BSN`z]S§O]K]y~Vᔣ_Ns[kHE#IaM~Or@w'20_G C5:B43ʁ"Gn YlGܓaҀ3Ԇ7zCWv^`OB'~r ;̭XPDN&`.IS$ 6p1p:8= >ȉJ~5 K!;sg.m5g`uIogHx-^BFw봈)8ţ sl($Mp22@br;r"1y NS-aPҷSضz q5".Y6eXk/  J2E&}/&PI%|Z@}vk MC1ISUяiMq7u)ʹ G~/XI5[Ӥ5%0|GH_*7RTIr?SB>Џf;)$#8 ٗ{%VM  o(v8zHJR)F /NB0O_.l3$!(;<,z*IStWcS/`F*$4 Nx7[vVˍ|>D)qmb߼"F >o 8 Q\HrXc*r\.G朚P{ʚTe̗lJ WCw'TCɐ@>N)NBz })ueXڄ,0 v~5y!i6u ח/fb}`м[8BboA柍!meg{?gfVnCMaFR4eu{T\*1g'CZvm2`.st0Z9z˖Hl@ #sC#r6e'ׇJɶ P_Z\U;`o&:vZ:XZ_k#T93c~W}Iu^W,sa.8E_m֭W9Pid٦(DԖJln 麨? ?]S'~3Qa ]! J1")%{=|e\O\IN YY=l$*6'pC:~y;2e,Mnmnpq :TM7 ,)pILuF`pIHd*0İ6jѩ6aDF{K-RzL yZuEGڷf !,^)q"&YnmHORr*#t$%׻HիD):33T^=+zTvw;\)KPp. &BQ jWIQI.(WM>5O=*eqqn(&MS-4F*jK5Qs itfNAHlF"C't2W_*QTt̲)NƬ9%X"Gҷ0`Aw5r*Y@n,.t6@ht^{džNNqgh0 4×<6bnjzf~ K7+LE蒫l7e6VcMю.j *L6*rb; ߂(䕂7ŔUsA`?s]ן8JnCʌ,N^lac'ЖCFO߽h"/gzە`0kjV,:9jӉ{2, .hHw `ϐS:H&*沅(,<(n(lKҖS;r@Q;bO: ިa3 (Ch*Jg^**iv.r{vCOOZ,{yoQ9L1Ά!L@Ɗ$q?.xÎW'. h6QfoDG4/ GxZE8MXAdR|6q{7zpҧBo݀&([䖞݊ (P}~u`+k*wM A.';P$haT}IDYQ|q1 7g 1L.Y.)ETGL`ڽ0~ kDL[1PuX{DA 83WKn k( 6 }/7'BB{S'[gԬ/lj'&ӦB0EV.F0`0c !I(lpo~+.:ϖ“2[_3=;й2ۄDkN#_B7itE6%L\Ɓc@->chLI⮨1(r|zI\B J?/E9'"@--_?|rH 5sQ`u*蠽[ | -$|fg(10b8)+ILZY+tsԂS (8TR}PXRPꥪugn:roRND/0?S?=,A2 Fjz<]o3w{7ߚ^D?~3JiDT]t v2z*q- ]Vo/~Ӂߩ;zV>]a~ "݈ s跕8tazUaVoZ|))m0aNuԁ;+u7st]xKa {6R8\u~_E}72rwN[y߄ k I }\ NlVNgWVIF1U4͟YJ D8Ô*ʣ [XK`L4:=p4z/_n𭄂C@)O u 5X? 1/iV>HvVo+}uJwbjq){axĝP.h{DɓsTGF nm|e %pyj?Hd 02()ۺ\L&S ϒDwBF6GğIb1JȲ} ]|ذ[V鯸CL"Y+ɉfe|YɌ ;x{꛱L L^:bژMoxӹr4 >>Nm,WM"&JVD϶mJ [vsX;O*Y h**[J}ˈ*pUEڢ.f>)rs7Vcu+Sǡ%WqZHL2.JR;l•clTm1xƔ{,tiɫ'p͐ iVn^5K$9sH!a~/^Q˳ m샰߉# c:J70}nhd~o'Dyo{f!kd#7X*!sc8btSf4BϜL Ct0MYb@N*A,\JEq!\P]U? 8P=M#~Sy ʯW.LPa|r+) 7Q->CJNssN: wMWHǒ"[up$K+c>X6?i M[)NކZWcėxJEEz7h 4>cğo=}ʘ)2bn2?啑$Dk+?0QTχ{~? "Ѯ`cQcyn\DmȸtG=+0D]PMM|g{%O51QyH6WġaZv2Ɍ/_{^Mc6 YEJ~fKH 3+OZk: \T^O%Ȧ0imy FmGD= Q| ވ.96eNb$<և/cJDhS^;,/)oSx A#cQ!)GG#D Re@NJI`4AoR,vī-6.Lv=,}[|'Ʉake.^iG~1?MC;X{֫Uv)+[Oi zf63DdخVI׮kƈwL|:0vq["^L _8RfJ*r53Nz$;†gr~' |XDطwN[S42M3R@fE F͇u=M}[Ej搽6z$Wlw+^bi}x캼^`BC>(!Br8=q10n.G>3}s^KZk!)\H F]ɂpNknn5qE($/Ot6Rm)6y7_b= (TI[3J{Z+t7goܳ2yXgKObq";Gt) k6+9D*-L}<89{Z) bEkȿDKdla*|O/:"(0F^D"N g&mV&⨾*%{W܎B aMrۘX1IxN@,8LS}oakl4X@ҮfGNTuRP<Khb"uP\nv>IB<vw{'Ny3ԐhD`?| LA!SĬ`\oGNu28 ,eߍO`#2B l\6;5,A(2\O>t{ 1H* ,!8屏h{m].!Ls3MνtfJ*z¿w)^CB@;@gt8 w~@lԜ\0 K: X7tX$:zH覒#+8al@zb` y*~Td(2ՌA=DK` e{lΥoe>-\+ hN{(W>ֈGOBcM3fI8lQ ܗ9_kѥH~&n#D1cl %!֙P.srP^-վL ]M1,.fv.awbY 6s!_*0%OUBA yֳ۟Lߔv%R+Zx8Qc$f=@; /mgoAG 7޿`[8Wt/D KTBl%%ܧ1!Cs̲Z`GzYBYyb7V#h ȳ䆃\amJ6\2ĕb2ו%kM@ȇYxi\I6Ȃ Kc k%M4V0Amx3QFbձZT#⽻\m$ _7ِޯI%  JBD[K_ږ@tujF'ji&C\MΧX|$6T1d/QOཟ_y/ w%V-* m/0롡C-@+|};HY<*OZEKy38NkӤ^v;^D"vtػ#Bx5!|aSlHrEsݟb/,Xx%8;`@}O3ŝ9&(,:;xL\F=PfŐ, 3{1@79<[K{}1n&Rsd#۝-l>]._((y%Eo=?7V6*Aꛩ(ђc+>= ,()T? e$=l6TնDB+1 hxwry !VF/OQ. JzLRƌ%E'tU)\Q>*LFesFC+P%@wuj:NwM`!v48JLJ4` 1p&n11:zmʙKReǸ?65 *ʹ/~%oZ#ȣ c>@Lh6-MJw;ԛ|50=hPa\{-P-, "k1ydyAkɼfBdWFYAe([@;ˎ\Ё߃R%=bO0Az n9`>`xܢteQʽ  I0-psY_: .(>xB/Ǒ )NTcT]j`Z,\"Rgn;]I0e#w4WoX3/jst(O@ i;=,E]4{7}O'ކqdP8ds2J \de="KrͰۤP+-ZC&<zeֶyȧ.@EǘXVA*ϱn>A ̗ZCFWSX l 4\j$z򉸧b$pH%{O-EJVW3 ׅjRЕ]kCvS }ߧ3z6B^_ݲ} s`x0}J#(.}?'v|lK ;1_ [4Ҋ8VqEcl~b 1;϶7,r+}crZ 1N& N~&@D*3e%^Ǘ+̓ڪ1/cĖv>+d/0u378݇E ۝C )Vۣ/م5 qK|N6dl@2ꚵ|7y15=U@7q[*xE ҷNO0'fYd֓´yN7{WS c~Li'=oo ni\6rzMe""C͉XNS]jU!;Ncop|EgW#)r=Z{w\6hcnHxyMhCls֧kgm^kFY̬k,DJMCh0}Ifgц0Tɕ1o e9N;鴽 <|sJ}CHI'Y S+뺊 Cefʥ:Ru4ү{Ez Pt#Vrt?9`i$j)k[Y]Ʉ?0^ڹZ*(&e8YT$k@^aqb\ɞ+?Fa9.5HvK"n"$>Ji'Hk >rFMe )0(?en~0Ji BYBސ n+fnŔɈh>%lFzhJ?*A$׵!FdQkr {WUt']Ex"$-#5Yn?˶J'"u*,\kH0U/1+  ̦B0w"{RbDe4)ePM;!Zt:vϾɈ)d㞑.K ZESg@4,GvLOLK$J9מyp;;6XbvԽ*t\v[AaG 2 r"4+c51倎r+\tCUP15{'<8y S֙|q?frxLW4bЂ |ssvWWRTӳlzO|տ>\m{`iH{@[}S:J0"xa:_"V-"U5jֵ xGpAVAѥUja!v42QY[؞R\؝fB )1YgKKyAz麪E\Uy4K#Y4 *5BZ?;8 ͅ"мatV<+Y4ݶj7> *,ySDα&wlőy V_hQu^.2wʗjGˌnejYhZ[MȨ Lpz{? .x]2+ׇ]mK̟})ޱѵy Sd}G5>YN$~.~X#gSsS-\Q@6q&5–߀mm]q1& (GK+OQ2q6{cWUaĂZ߂2 6p$q+S)Hٔiz{F̹rL"K_ hh!16Ke Nu 7Q2c~Ydݏ30^KgJ_QD(Wc 4 #^)™m1/Fk[Gt~;; .Eƽb(O{ܙ_q&FP!:JOZ4/ B- 9dC3WajM=pskږ% `#ɞD )mϩmz)+ e;iyJ,kjDK1ZRɬìlP"eaG7<3Of'F)w{=};V {nV{p% 3FSt93c.~a;x7rRkbyYi0%" i͌ ;5*Ap84%ߖ=wlLIߝ]%LNg4Koo9ےoza)PāB![vsX=lb8PPdn@B}tl-QdpJ$+¬k'n7wrmѣM~@mbB"hUT>6 Ff 7/^@c\ 3R b`%dZ5Q{s"îJ6Čg_]ciߊ\,ʆ9!v ?nYqtwq+NtvSW3Z#­^WuKZNB|`c!?j_#Rټ v<.;={Z|jX\@Q +[ڀeĔ$(t`Rv|DԤEbPߘSwn]]!,o #lV/N˩GLTq@Zh 7ucpW oM[<#/#>e|YL Lu BP6͛fg_Cc[ %]wyz5cqmoW-F--ެq}0K1fjIi7*ǃP,9Le_cmQ @:0.ltR;.qzi 2 }/|Dfat]iAƚ H{/|'y`rqb{g'أΎ?_MCלr#*涠bO(_? DT NۍY.}|aIXPbLG[ FZAx*N]G9}>,TB*kȝbs}gMtz]> ޮLp>^161{BdJg ti9x9[+qq+W$.,rOv$B?#y*D|z9 0Հ"ze& $i$v ²REgYZ  > 1E# HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! AX]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Ti_c6cZ'Myۭ(%|s]SX=}?:}.Cq ]$Fb;mse)Bk!z\kԕT< Mouf!Ugod6ݣ=xW,2Dh ܵ V^!jk>%xcU}& rF%uϨn2eWyf$$K %0@0¦zRPb>CpznI Nё-.J;%|%<)lQš^ackg76glZӪ8Wa"hXh^*"ʥը $jƠ1#a:rݎ$tYxّ); s:P}G ,[h]A6KG&ƕTxiVA^ʁh,lV3 .AMK4'73R@L0qXGryיk/YDu0Q$ ?h[J p?%.k٭V'\5*F쯬+ 躏,qt)R 5L^1 zo:5'ёM#q`n VEy2!SyA՜R#7ž+NPCS&~jO&S ^'7lR'P}ԚN?d%V5^$?Bx!\zv1܁X^rt(yRϸ}Fokؽpu9P4SjY=h>嗁't v9p3 cTkG8C^e'(Ww=n X-[ewp^ͳ!j{MƎ ~}!k´O-K͠*+;&1ϢKD zoRf\E4D1wȷS/{댚zY2(dbgJonV(+C(Cxې@{:#~>\@ɉG>[:7( l?Dc\-"CD;Ct$ND 51"+? vlMr5h]2j%]Y (mp%zJ:϶"HHu)/}qg`1y'^,#&-{9ܬsΫנy٤.^NpoN)=xثL*XK`=Uq0( 4bTd=yzK{R 캔=y`@;[~HqYD_|Y"?e2a ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6WvB䈝Ӯjߥ&yH-=ZvtҮG9C+;D^9Pg(M9 ]" 8{{ Q/05[$7ׅŽ 6.푴=1{/2a A*JٓuJJ]myሊzm0Ib)|〰DKOfN} {pm`OƵEةl~'nd7]u붮&l^yι e_ %+WFdl97l؜jzB,Nϔ_6/d.OZ5PpkBQxcygkoיj D#la1c/ŵ, PH J;\9]lBc0{5x'諞ι 'ך^i\2] +/G6y$Q xٲձPn_gxN[FenxQ4Aj"W,0L:s-5y$7i ="u YI얕f}l@ma=k80 (*(f(&J!ka9f0bIv Oɫl'yvd;KTu:}fc 1X%-2tko Cj7;}8EsocIJ.]7kn-@kPOJMŷ㈇ /$趱uIfțFA v-L4uK /.4bq]( h$.W _alÂ_tq,;]8!Jgs_Z@6lz{G68G-/RuHdNkQ0T$/^..MSNot3Qtκ5\t+oLy1Nu~00'۲T|jy$@G}E%'}ZKs{L[]TW۩]Ë:3^` 3ܑ437scepZE#B;Ԁ1Ֆ`jb7`fϼ 2#٣ns6;k=6l6x-ʣkxf}]юpF)r̘wfT fAQ ~=ƙHg5YU][eZ5K^>9$i8=Fw(>{u;M%+om_E#LS* A[Qc,^lB]}mo PiV1@Fy aƌ, z9ZeW b9#.)N7,UC鷷zW&$)h{-zg%gZScm0;cCoV5 {je:!fF[b!4` *J.6mR!j_j-Ns$ UM )+0 S$˰ofmmcg5ٷi'@SIWQ1ŅK~GZۭ3~;-[ąIyU#K1_8Oθ|AB̹Vp`#hqgZc{1K@'B\ڒ *@G8lO˘_;sO^ g誓 -lV(ϣ@ɑPo’/h4% xFR*9.g0A%G?74摵nx*W.& `*94NӾw>$ Zt8f-nR6aK'E4<ޞm!J,i:D8Wx=\+*4eԅltJ{!$Kin^ Ti -Q$I"=XI~]bشV&}kdqP>DXHFZ6)eɜBWw -_;U3@: ^SaD)@,I+;ԣޣ)ɭN5Tg:5]+>l@=XK،rQ#ӸtAfo9};.4~ y)_bf߬꼧M8*+o's5x4q. ԫrū}ߕ Z8I~u3k>k[YC6~h,HCgYZ耑Q +0TgDZb# }z971QE>wO f|gƊ)Lmh ri"͙ ;JTMCbEƋd:,vDgH\#.A!'اf#60dȌ!l!3,v,i8->-ÃR6jyw.^[W$E-}G t4CO)Qx)y,FŹ"я(LI jPW$Z*q,({zPOYSXtd Dn!O48/?GP!i~+uf>3q!ϺhȹPd ȍU>qE0 k>e[Es0$Yj +|߳j3Fy9α-i1ڳ:Km&mXV$6#cw/qAN&] ep1F}++jb*I?>A9WubAtzB ⍺ iI t4Q];VjWD6l5ؾr#8)2EgL"LInYɐeb׷W+'t!djw$f~M=yN7'ZRm>>pt6X_β+aSO-ApdAl:x>ܞ"=̚HjhMsΑ{CHOugXo5ƣӮzeMCH̚13 !yxzLeQ% ՀNh(MPU,M_y䬙2l:N-?Eu_J9>†:Ne#tN2eഌM輲D_k+lAOj؞Uz"ps B*ӻXU,_ <.$y/ދ=2I"0m$h᳀+l$U]$fd?J'OT64cmJn9G,I{ Ȉ߆?SZWSЪJȅI- qέJΤ5_TztNJb0f[Xd }趂H$FO}.PC4[ѿƏz(@!=5>pKg`v"˅DnLR 6j[H_EEqW,3ogS;?xThLW6|ǡ:ĩ\^Las_qi*na]\BI,zd]J2?e^ .[[t?y›t;rGdhDgǬ҈Qqtڑ p2Wڈ̥|i+|P-d׻~T~@7jKCz]zP_r3A/G#M S=V8Burv+ls]M L{iv~zpئg<{)9V$9!:X [*d8WC9Vc5Q>@F{ᆭH^$4lHH /k^T<*9=ZMKWΎg"UP`RfPG@` mSbM5|AAY"?چpiN\vŕQ3d|*=HkNt-|9 7Nc1ւ:=. dRnҹi$f%Vg`jG+&ו[_N*kKI>;h*{ YqwO8sUT_f;(yUsE(u5GxP#6MiGc d jafGwۍarZ EG!H_QHkvIy-s'|rSCѕ8WY֖֡LkĄjZ XG}٤~:b($қO <%<[Н_ <:F"Imy_׷KSOyg%:4ʋICn7ޛ8W”\j Z&m֟냞^2Madk$8^T:RU:RdaXU4D$Bf[OYF]|)Q$|[,U枅 "'GN/J J>p_8ԦN |uA:QKXVB%gliUϝ(F^9\Yk9PVy~^^m#8n~FtfW4q}PvA`PB 6˴YSK_"kk}84V  lӏ0u@8J7|0EPj`pRܲ7_A ∈q'N82^CSNDvc{# l֢ vOI2&k]WDCft)R+F3{gaX͟|i'Ab,/*;R r!Oxq%xϨvӋ r%0w7+%g$d!sZU#lO@ҁVݒ۶; k7f 8Rp$X{F -આ]ںhrm ;,ueVϠ5v7ioĶI^+HL?C/u=P{A=*Ƌ o_p(Sc1{hg&^i >[~َh w?Ox9C !rE*kFgqPfQǢXU!8u4V\6ePדUNQ坈W#vt=8ˤb{۝)%=WFD&e2pդƅ 8Q|YIڭYU',)w- EX H7VvZEۜ{ 't\98a=D>z}lp3(>j1FҚ@]!&]דŨ6Yɇ鬲w 0M 1b鯅rE_P$a=lU}vefOУW V$WyEkdu lb46Q+ :ʼ/71 j@>;푏1i:< 2TDa&CW"o& I$8k\M#>(;j1+'%k;W$bI;U6IU!b/Ns5iTIE`CY&"G')gYZ \ vH1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyMG1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id538@F1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I:]D?7 {?:fH\9i OV]~s.)&[rtPʳ浇Q F$}4ę}|cQܴiٴy$DbArjT&*xMھJΔR.u 5j] 4:Pԩw3]o:aƃp,m!gbp<?v:3),LM՝g[ASpu'  CuE;Bī6ߦ/WN$t[9m%(uc&Cj^C}LI|ݶѩڶpx)KY>:H(Zm;,FbA*krr0t8PypVBּ]@# 'ZS=6zJfRc|μUZYfF+\̦$ߔѡ ~5r(ϓiR6`s{Ymr4f$ q;l瘶vڔ".ŢgPzqg=ιeM8a -F*n7oKd2T)UxZɯXmtŊ~6Xq;1rc5vN}H9`{\6)՜2FUAn_*~x%˦-Ef˻x0LQV_e"G/e.8+4QT^V 9i8戚hh7;cdqojwn"8!uW5Y*.@Nd#z;/~^شy)0X :oZi3m^Oޒd۩*|P8qGR+Ʊ= y?' (PID\dpWl(TsB%%EU9X;γKp۫\6Yц'9(CB_I``ƾL hHS3+`Z;7k9Ȅ&.|\xdi`~[kVzѾW[ ªu k3QT^uUD,3haYEdB}YPgRX(b/wVX%XÉue'(/#cjA^ٍn3%w "2@"-,'&YZ},3POe't/giV@p;.!3 #WK߯#_!&v"ik eCsM zp#ze]qwwS5~2ہ`9>@Dqþ7hkԹvSfqqMGmvnr:byNs~u3B-+5\9UӸe2zrW%ᲆ ;T;.)]UL=WaȢ|E9tE+=G$`gYZ5W฾Tdn ;э:b B ☟٢f0(0}!!{g!j`1,UɟM]47k?90Ձd^Յ9{ f B?Y\IaC#PɪSe6/V ^^w!DJHGME\gi bP#rTd=*mm2d-)O_~~/.Ǣ$Ν-W \JM%/E[gJÒ7\zE!8b ֜Ϻ=_h:|W3*h-+fbͥ^{Zbȣ[2"*lؐzuW6oQFcl,er`"!Qxh+#|1')P59a|i\'ʘ5T4H'0ڝvU6+c# B#f֛KVWN0:1lk-ݿş'zAU`59{uQJY#q.|o挜o{Ck^Q5[~G"A͏T9=Gly؉X1 $ռ ;*p$=| {(8NXItӭm d@zi {Lq,_A5¬웹{sL -Wy5OmVL|Z .gsd8tHz t;D;Ӣ]'6>5{-J>]֤/Je$[QO'ƕU OO'G^r3AeCYgՉŔ~5*Csa}y_רZ{X(ڴG)`y4X01LIuche! oZRw'/Ҋ-`; sB+sZp:H>`#ei'MB'AzWy>y|L]k4z',aMϣjSDm: ,( \m jMP<Ӯzf(DkJ6y"sdfQqG:ڈ;՚'pe둌kƁ`Zymn kJ`OEvB l=RRt=RIfkZN42}׺@ ])*X.<07^Q%Yxf _6-ݤ(x=<D3B>W5\VMmŲ^pviStD$1~ӊ o] k_.Iː(DhTAgWIVaewQ\&̤e>x^cM_ƏP=`s{ZTl$,2<؄'%Ceyj9,:Q/6oP)INp a6?2 D]SR;7Mq֦Suo1B5C4n7ؑdm_88vqܜ =#zCV< J-2BjXX4S6/:'B}9HUgJ% c>cbga|ɬSc,]Zgy#b{mN/_8mْrJmf@e(t=ư2*(04Aj;۰M1x5Wb9a`^©e/$hKؐOFt/~Ni3'LX{mek b,rv܁)\zBq_0oj`OU]Eox9U&̓5[?=OHq)j ,?9t QЗs:lW vK Wºsf<EBw9sJ"?ѿ!⺾JDY2K= (0iz7b~D_`ͧzPE8rʧE,75vщxFƚD{!ۭߋQ'^aCkD"4j}`С 0ž",ő 00+ Vjo*c$+PB41۩cBVh_oz~ /|v s8:?d-z BTj8hyI[G_ܢcU{d_SXkfKn8e69p{`gYςnFDtk13vsN>lx1Xz:&o4KTbmdйJm6)ȊS@ƲTMeyY`ꙨhMmkDEDz6ѐ7.EFa[ZIe*Ra3Ol䵠Hu迪U°(X[¯| } G.~G~wG@|8F_ds[NCr( f1CgP*N*}^v~GfA8g};7@c_Ae2p$}ot!1SE *B+.\O}Em\D[$;EQa_{_]L.Ѱ8$ X]]S^q6 i _8"Y.$YHСmBj.`V̅L6Va!aY0Oŷ:v zXlqmtͱ>!gMbp Sc] }Gyf6R?a¼'R5eTCe!#0)t8DyRږG;ժ/>=&@?\U,;T?Mzi8'Mڸq(*թ@qR\AB*uyP}ui5,c,#"t_Me8"L&3$dd:Unp.hEA:Om)`< _eZ6ҷyX"5Hr3`=*VUeach'Wc̝sUR]~:fc9R1rV\ɠK'>$~L|t<Ӓ,A s(MPu>=(yL4%a)?8G!/!h>NRp&)pѢΩ$/eGzݲ[u>JnߠH>95O;}wׇ0st ;Y-cPh͎eKLr? ksU?_@&W]a,?%d׮?gC?Vc1)>ޮ3)9P>iR!ţPtmM^ޮ&w[;"P*0a]i.<|V1le66/ ۳Gӵ߮ܓ /aB,* bp``qk (`V(aFf$$3zYtV|/9v5@=uru's',Z=,CxG$(E6cIG w يH0o A5. P[&wCuQN~}y&EQnoOQfγ`1t޼s4мXLhAK~ F Epfԙ@d\7kT@@77HPkHK<v[!|g. /Q͝ C{Zd~b_r)r^nT |zrbG=Jqdv?G/}ߞ`9)j7:%vpLoZRnAϽ3ڽڄ_:m͢cɞ8|7> 'o嬨&:O$u.KP5/{@~ԉf<}5߲axHzNfw2,L"L|Q'熞@zLNe 3t%~SmG{%*͡L\X{QmLOϡO 5mgy5Qx޷ yZ rj ^(LChMOb2?ؽ@`Ӷ.]1r琯},GwR=!v|f/sOA9茹͉'FX]5op#*̱P?Ҫ&7d;O+ 1]42v * Ȕo2NS˝"ӯiPb^6Xr0(&^ QX㺇`eJމ{$Cv#z[l/MCKv-[^Ni;'qR&ZO*"lSve !;eVƷv!AH>I_7Z_Pm2Ɔ[-9DH%6[(g w^A)|٨*tY~LM{]]I[0VO| ru”ڒS?]Yx*OؚteNȑ.RqBt. 䊓4P(EM ͠>ȄVX#VzN 8!kP,x@3dʙ.v3c8AFK&4c#,3&[×'U@t!'ϸFk@?\5fQWH֣aҢQ0H9xuX>皩r8@R bv xG5TleeH8“)90Rt"@/ SuS xYcTP {")؃yⓡ;6LhQ {zݎ_UW yTu0 ޥ,J FSױQ2&X}P<=a+> $t{rxLN11º.|qU.OaΘcM*f~ziq;&"IJJ`.h%TH[et@/jX|Vld(ٸ-uΓc+WJ,cJ o(H Z,I1 V!:%Xu*[H*F3 m^ϫ(u1-oi^=.*Uc/2 )HB'_ߛ x64Q,R83^ȵl@BÞQ5N2OrIA,o; <>V2y.7R0 c&\㠎W\~)*i"'g YG 8_=U .EE]8}MY?eBׁtwc8eP,&7XځzAs|8S}İ)sM`- , ѹRpB-_;C 4fv]bթtM!v>+`Ҝl1?"_+85uGpUas9&[RjE_E1ᤧT+35>Ƈy[~1pBq2KPG^ҖN Ù,P%ťςWxy̽DT#7C9HoLOO4b<'j!Ÿ%T+tAw`15D; NgHt(7]ƹXܴF2y>`$K_JAJ?Hg=v]4764+AluT#8ݨ\U˿-t?XJaG>y'4p{@]Q7ˆS9kH&;V*ỎW쏍ÍOlS-e%,Н($dg1Z̛ђ!WAt': k.U,Ka[Q ֟+YrEt*xoX'zM^{S|j廰rf.z-b7*-KI$fgQHVuo_9#5dxtpK.}|}72$rMCYK.>}rsrVq&?eCLH_女L&U_}kksshr2vAcT#d!O\>GPIؘ쁄_& DfA>J0PG`CgYZ  chL1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyFK1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id546J1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ]D?7 {?:fH\5 Snr ( `#p_ ,b u4qi2Do/7VG~zN|M ~Yf¶fA=8vcj'NQZ]¡n>}X|@nd۳ ֯dMIuC J[~qWxKA<5hLgR^H,s l4с.IV$d_(ӻDǵi9֡g*Ygm j"& |ټVإLJ¾K95mٟ3Jp :W}KGڵA<6dGS>>SJYPSwK\Y9VzCGl;F .J]j / -%D\XD=Ϛ8ߍߴ7DxǨuḥ&$bl\>xlTl!j-Ⱦ- E`*0,$?G+_(+7q)jrSn{0T=Rp5ÛyW1_';!n.M6Z2L.ɑH <,!SoƃkzOJ 1w9l*XoyP*s"c0K`yn)-{9t%fc< Er"MFlv-[gDNbQ"I N3$Jƣ VtO}V<!;yRߖ? cO#Z`^y縕I uHV£Ev.fDhqeZߕh8!7|E?1o*w~!u. whж* v֫弜t@]fE>MYg2Kz'qa_ƊN5sTsmafOid % p]T&Wa㡟0U;CcK$Xo eoR*DEe*qE@ ˦X(S\)uo [Xit" ;cIp6 @w4$s"q",\:\34]މ% \1W+G"8DXFD7M ]Ing쎱$+uF>X3eD JV$_ Wi>=،u-VDdQTCi!3klۆ|;wΤў\&4dQ ۋmkbڏv9mQbr0〪`/ߊW Tm'TǭXޘ[!1u 3uCi!cɋC#󞜴+$̞ Go6@VNH=m4Ή=ӳ|K%r嬮 _DLIB\A._BvnH^5$ͦ.&rnBǯ3*ĖwgMHbKa"P( P;Z3)'[$L*,,5\L./-p&Yt D}]^붭͇^$Q*lC{!XjcfQ7؃l)J : ( gYZ3I 1O# dHOL-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;]!*#ջe(+ }[A*`ib Ufjq鍷J9 *BN%qɱ@ iO܃LxՉp!yj $)w%C!86qa-OɧS[w]#_.m"Kd9ͬvYcqx|pKwkRD5wkbL }~}p9Qp6}!j>!c"mU˴6^l4.r 񆉔RiID빶(oad"u&r]MnƄI缩񪹐[0YqТICU'x0ӢL[RH9[,YDXؠ?ilZeZmH-> Zrs Ԟogvj^6MtJg[J{FaV7{?dDw}eP-Jm:]K7Ea]ȳ4|Q~& 4Ib"? rГk4+S߂P!:fX:KqKA\3}%t~*ix%wӯlLՊ,<lˑKN >45e9-B̄ / :+Aa&c_2m.[e(=V~S]_^^v'`14 nnM1A# ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-xVƆ,0IbVO3=1 tj28A27JQFEa* |Drq6:=;;%m?f|8D jW~DXY$f8'$aӜI{r=,傯k}B25e3G:WC! noiWܗ<~Ba&#) ,1m-RuE8k<Bxtr+10(BN/G?A)]ۊwQ1QjER'ckg$9kؓGff12h@ P/W1c>aLٚ33F%CIu~9& #ҳ/Vz0RܹF[ЌAŝNa\7-+ >+\*t>N-":Vsx(v^UXu ޛ"'[:^3wU򠊀k,L5̋4U8< 3Р< mXQL84n  x!s@nXT! x'WAzT^VWJdmWc"]n{3YcԬ~5$Fbfp0QP8t.s0<)(pB(\ޘ VUTx[VQPԆ=&:+}=n\vN0}yQW"G7ҹ1AaW0=~9Lm0C 1;''^'wiM~c:/LM!Ժ9[1dM\$9!|悹TPhǟ> 7oT`)Ԛ[&<ա[w!`:GUKEM+guk@.%Os[H4V,h֒hu>8X7̤NĔ|wAsWgT>Z3>{om6nO4ـ9qgӑ{Ra<1@Ilw_k\KMWU(N9apc'z+$r=5&6,MuewH4BpJQ+F)T2pv )?E4DcP9azyl17q)VVٮ0V,iiOVCmeI^W#ka~"̑2PT \:rWD?Cl/rhHHc&{颎4&׭jj>uPu6Wà F ig Rbzb8@=kJ<İZ<:RMshRQuXlOtGh5}u+>4DG%~P:n<[*. EE0hlsVg 2v_>^@eV"}H(e];Q"y'5.f謺hܽyKQ9ȟ~4_'bL8TolyK>CJ['hD( u,]Z,(eܬ+ahГS7lGbĥye{_qZvVo69,g RC{ p晑fܺQ|]ydHrw9Pn3tSq|o:՘,S%O"dJ8 rgwF> "!qa>> @y;d{|Fz sv1DXtgH-$KPO7 Oe`qg8M!r5VjjNR* `Ri5i:3H< L6g8vgt7F<֫O)gYZ ==nP1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIO1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id534N1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\:jg¢*I,nuGur##`Y?ys{Ⱦg aA԰9>*0+FI%J|9F[~NnHfJMsPX[ kq EZ?`XM,wRܨ1[e)2pwCSn7h]NT'D;Y}D`uf޴ܖhPnV`YMUlQ Yՙj3!lJ/Ot>-՗$.X-sӐ^+)n׷`nSWXV׸̘!r rF!g}#4jiǦ3Ƨ6xõ;$ϚwtГd5Lj>X' bb BIIGx|ћ"~3M%YQrPWab"#?Q!$= < $n%SGcC5%w 4MOQ-ƛ \32gnO(է9}Y]P(GQ jH9)cT~!ч8,,C'菜w[cӳ/SK4d0㩮/z>tV~[F|]-*کJ&!#nnmg`@')v `e达R&v\*-r 4ur$4V) ",Q:zIxRN61]'(+tJʃdM3[엾a5@ Lo.<̷o4iu6))~TM R- $+ٱrј;wb8s3'),lFXWPG\dX+QuQ\槂3@~ޱ/۸{-l[BQSXuӼd0E:=b6Cl =_1T"IBm,_<g,bg8YV3d=¦?(.UAVU.q"pG 2Y`v2g"jTy4q5L$1b;+4viɩl%S|BqMbCĻV%=x ^.r2ĄŜ[q@|,=Ƶp˵]UZIVREO?. SS9BMv{e'xĺ<1Y=m8֋z@'+Ѭ)k"}Gc$k;HQ%sx'Qfӂf~\7^O'8}w$' wmvZ$&gFpyJk|؀o<- #:qKB%jigg$m@ؚjMųWd|.5ĂWr*S2Ȋ u%x˵gYZِk$ 9DgJB?cc(xdWa:'>`Я-:9K+a㲾U^x}5MJ/<_raԌ ؾB{OM)ۻu Y_2FEBm%wur|6QʀSd9-/<&@qit穜[KUZ( 1:.O^ G F<}C/R#~jkO${#m;@R"Jg4_% K;Lj#\)T#.FGc/. aV4F}Hf Km#X}`|k>Xe\pEfS$H:K8ٗ,z:MhTCZ'9xr3:(!pX \3+>F"gƝGq*A,HKg%)!nx3.ZiX.Jӵ:Z3MGvOD˲tb|evW? Sפ NW`o[4 K\4К[F.8& ,ixoh Rx ={yQX  c58m.-b@7i=hXL/PSaj2!U $JV:8w;["(z&}P#0o+U;qb./5uS_l/<)Z^AMfSRen}p5sdQʞ6hG?:@1(t6ҫ͑TE28;{D%ի9w!L#y(\,D 46fY;ci+j^g5_l.&}rڝ@ig!YX=x{gE7i$/nw$zJ<%bG# sK2;neЋ=hcc>brjٔzW-CS-<5Zq}_;k’&B%6u! ahQ Nݗ @]W,bՅbWpT]fݿ$/pWV,xR?8u#*nN6)K]O^?U3*hu k ۭǚzP[TGKUF4W&)~_.d\$8v:IxFݷ{EXU#7H3])rĕݵۖӤ"< ҲQGi>I!fJ1l+* в%4w'aPZP%l?Syݠ_qf kbɡo#hfIٚLk,Nښ4d4q: OUU]jkn_ K^9$R[q? 8% 8 &d8yJ+Zdn|㧧h+p8<ԩlj70;źvLK(*iSHKxW*&Ǩ\V,pфy?kH4gDZݾ ~K;fӓTrV͆"+lʍ[ʴȩ!#([q%OvE5-J"yzRq(8vsP{HH jA>A +ǐ#G:}?8-uh3Ě!>=KMQтN;g\4؀bvb`ˬoe)=E8)Ӕ&i.`srtA$/Pkץ}h%B@180ʎ(O\uԚez&<}D_Wk{fOA`4*^I7p]asX5Zc/X`f- :} X>,ä>R"9&G'6Ll`*t6hYu;"Tgm ?kqjE"bM.=]t\sI<8tdH#TwD##v? ?H\+bϡ@݃1øw~!^Nt TxMJ`u^A΀P/RW(fǎDYTɥKL@/w2 I0_*+7bxVCfS:=]4Q5F8C%|3%&^'a!LߋV'wbkLRtȭ9ocfT>ͫrIi ||\WW'5f~e;8`31/-nJ۝#APkgs(v#LJ3#VOdx~ĸ[AD%V3M\EaML\{M>nac,%4Jh~⩲=XoIKsUz(J SIUs]U#k؟̓Z@qǩ"Kkmѽfzg8!ѽ+\ŷx1xKXZLֳ_VSB[ѐ ^vDWxme컭V1%%oY*VjIX 37{ĺ+}2t\dx]viu[,/]|쪄yr_2@}i9Ng yjt}tbE։OZ߱x0;~uXI 쾃B[$&kNrÕ4+s[.K{ee*"[J1ؤqO&+k'[.TW1za &s6¥/qM*2 ~0!G@|FCv7*T*g**:u8 %VPe/dbӁtXc˚|\4 xtc.1/; Yq {O׮޼cyl;cS@KYe||yh_J[Dh>q~AtyϱP eMީ}ժZMuP-|C-Hc`A{bN¹-gYZ   R1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\3#: άRgivFG=H6=*9b)Qkk5zC*tވP8aF߷~ ]kƙo $9I%]+ع1>ylc_Z8vq4f@nJ k-dg pр:%%ɴwkt͆O6 mɁ!Od)ѫy8̈́Mg*M$AuZ IwL*bzI%]^IXcr3b`:̤ ٝθhއ >ȐI~ q^TM}sI&ZOOH.krIrۃ`i:A~tɀ:B")"rmk$7;xV~2F($鱦!$}(A2"Ygax1R ;?O7`.ゝWiٖ׸bLi.4&.d}Al~ ho&h EW0|('=XkE񔃰ي0JǓ](:_߾6$8g*}|S[xKw5_fUUL-q" 'ix/ga>z#!R"W-)ڝ-Sb햣47+ױY*lO0u9$T}tLJ2]hU*pgYZVQ1G# 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-M"Z/z5aW˒GeT#UN2dC5lR]̘\qƂ5t#] wzFLt3>G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9ڟ 1Cqp xGʈB{iJA ^`yS:T u54 FdY#k(՟<jR rL$tj+$sоp+46xG7`NTj9݉*&b:/z=%HG/ Nyez+N6"\p1-ǔ =1 E0gFʿKN76XgcrC]6b01i!lMfX!/pݻ::mlsL Xr =i ۤ Evj )4=4ΒC;QqvaS>='Glq 2 N{D1(ՕB VqY`J}aq푓bp7TIp a棵 %Žۨ W#R=f jAl:MOSldw#'ˊm@B/^v^lyeqlU*eDj Щ87#9e,+"P;}0QhN'2zݗTrdҵ?澁 ە^I@" >T@'Gz ̑ ptW8nf/E8(=gyA`ɐ<|tZOLi3{YՍC{(q),*dRL,bh^$ߌiyKIRfdYL= @o]@p5L,Tbna+hW?H7?cl"$0)ҍ9X d daGZ*{Uq-&q.mwE+oޚp}K(7y ]zn!Zہ7V-믞zH'_0!!֓5UEwBQ YBn)qR*'uSSd:}& K)}q{͋'.MNK@u JHZ:NB{Wwx~p,"u͵TK]s'eJ!{?S$m 0I{Lne07C )&ɜ~fsiTBZ'} >|Y29< %+9.GՖB]a:<$ޗb·)C? '?Ozu0o蝥k!ifi'{o j4voAPg.-AJؑHes/骘 DNh򋹢7IW,) QKq/PlJ ^IȹHqKWr;^>4Yǔ]U軅4g*];x+kl۾> x1?M?n&~=/'5DEGOH|-`STyւO)(f_BIIA. gOv:0w^#3 tRȴbaNwRVAΚVŽJ[%˙ e+ [4lթ⮋_d3Ħ+Ё4j$aRa•/ n38&FPc.O?&\HPVd&G( " k65@ݚ%_ݾS)n0gX/7rq^8rR68>'yV/Iq:Gh1C.b N @@7 c[c0j:"qQRF~̌$K|U6ENa\jkRe$@Z;SNMtTNqݞ. ӽ&ƫ3Gjݱ6 ߔM[?}^p) D4J{9"xhdogѐq8uX[i\({VKC([|oK t?|"0Ɜ H$P %S# /tžC&-4F@nq5 An}(^b#?3DAK4LU_1RHA9ZKYS1ѤoO҇lph!5T"a"Macͧ1T/u,LNjV^$.<&xŖ ^;II[lOE'zX7vDrsmx|ּZshULhI*ܛE=H f}K->LI:-eMz2ASR}" ;kG +?pULAődInl\V;>g_ j /RkM1Fi?pi`H3cЗS'`MP[[`{;l{fS)&t_^67f4ـo'0O6&.e.K ,Տ',nizo֖lh),2yTʑ4 ^9l>@\yYUWR#{`O/yh'G]6g#{= Ow;;l,J<}.qD+3S[_ʡxYre5)1\\Z!^DOq haotmgjPR46k[3%4cRr̃!|31 A&1ٸ .ϨDkł+˽:'r,cJ͵-۽,(#G찲cBfxp1H=BY`p..'wٔϙ[܃UK}[nBC(MИ$NJ,;w;oI(nttEJVe: ‽ gip!,vCiB:6kJ4!KzS<2!U,='rfy-}JﵠzI?AvlNƵ(ړh\v{Lu i:7ݶ,k@;"BAjٖ`ms aʛAD%(czD1XICl^}kUƌ&D"(rۤ9aS.zSX~p\#<{Ⲁ&|l_N z$)AW N#S"tܲҕJM§Ar>3Y\r rCMj_ ytOК^(y.KTY(f hxƙuQC]fxVc5!M ͺޝU3 8q/0"s?W@jo<7,;~Zk[c$+0ŷMnpѮy_S>K + G"y7>=ivѸ{mI]w^ȂY,ԝD*TA*14-{$D.-y"CK&5{(Anl/VX&R'V&2 ))Y-H Ģ U:BnQ][eJ=goҎŽiVEamo$ #OsZ4`/펄PsZXĿ+N~0@(t?wNحA~-a7K{u+dVM)zAsgL.t_H\{ҏ,/kB#¡jJQS}dԸ tm19X pm}g묑N}&==g2y@ՓՑ3،dW Br|"rM-8U xhrľ%aM."DTI&|;|ǞciT625IMxWuVmM_3&S nw}!HB/ne#85ix6>3j{CBsh%t;6!3E@bBwwGQ --.=&oe,6V[M!DLd[ yw./8+n"76>=&`>=dUz~r+ql-\){I d6&ougBTif4++;qp;5Hk`8;y Ek!3Ogr7GwØ kAS&9]Lr 3)QHKcɉ_KRi}eӁpf4[%F@hj_YdX4#oF>D:_|b 8ٚ'^[7 WeCl;*<, ? ]9\: J($}bx[+6Z.`I7_ǀ1; ⾚Ȗ&qNKqy g9.iafrJ1&hnQ\+ PԬta`v7x:s.ͥr[(c\4(Fa0̢\JPE ^JPVGF[h=L]477FLf(Ts}/?Tq3.*k> ßT-؆_U!\czZXrh=A^ea"VK$&%ߐ {ÎEzWDFL U(.@>0 %֊r3-rxC/W|v f L8=Szb!X<'Ir:\Wi- >(1?pJTkVuȑ-KŦbDDU&e &ܾ>ݠMf5^)71!ZH?ɝd"U+xjAeݰ;9`]|[cV[/.h*~]Nzµ |C6n6 }G?N{ˣ3̯s98܋W,G}۠F͹ ԥuGqm" F6(|*3+ [ BKѧuЎ*&bj?mS;2b0׷e|َ1/I)eL1hs^Ҋ܂].!!. _1/){|U HB:6g86Y5IТ6\WuEXz< voXi3WL6SpA!j_UKKSLܶp@29CqE,û'[P'QWaM$}3m.GZ}(: WqRp4tk9~:R5`?N~wU,ENJvEta V0@W8oۄ~'D/J(@雱y6{ })\ a@Ǜ.#JEvƑG_$hrQȊz~QQ 5u EXɫ2)0+ԙ:[y|”;gE_a 0Rr"L?0k<{TQ,#险o+bORDn@뗖^]9W chv?ՃK04HQCgn ԝ<1f מmj$JBE+IBhQ鯞ieC靚: %ux^sd X$ւ􎄘æ)jIñ omuOu<)Mm:~ בe!}';pgvl+3!m8E·0*![!~^xG-PMġc$\ص"V@[/v[dY@8{Ȑ u-5$$=PmO owp-iGBkw@(00m )sK؅}Gb}02!m]$ ڮ2}ΊS^ bM<玌n:'d m @eD۟Q @h:ȫ"zJġJr\vL[ylE^SD\f%unz=/eeu2(&|ҋj{$ }0Y0~$s'şxM|jwcRj 7]taw[^,& Z#Pܭ y{MM=6@&(h.H j(oQIp|'Oӵ1x`Wu b:/\]g,pW 3஘LPn>@;s(ʤO@HA]1H屳rl+OݞwbˉfG'hj uJKq{Rőxlk%Ѯ!X,RJ弾ZsYvO魝(WhnSC[FU5H}3 "{@;϶FwsӶZ~̠HJ 8o~Ҁ˗"73=R@ T~-'."sčJO;7[B'9 FU΅. u-0IX*!B,yT>u6n$5W步{j׷;g/<uRW@=doD͇jmqԇɏﺒ8ObpA[Oa`Fj;2_e'0թYS?6QJ!Qژ^k9R?'Aݜ*׊}&*as }RnQh;PIJS6V#sA/Xn5rʉ-[e3b+_2@!+X<'V' 8#DgܨRg߫IoH $s@6e9 iu'4`G$q*@8OAKieSՀ |6)gB,vfѶjAn4l+%&&=č#?,_J5WR4N1W-8$/| Gkߍ|#6,}A}YWN`d3ڈ~9Pd0 j-=&\K[R0(9 lrS'XqՑX_w+iƄ`OqOpvo C[8Y'DiZImzh+)AAt.N=.]"]vf:FS*i:M_,/TCs*COg}=3I#5bM7ƻw9_F L(FHmw[@®Pu5$s-7C $ϳ[̓JO98{~Bگ;s:! jJuP" [˲~Llz&؞Ż0V&Ŏȫqa JV|rL81w#~ ̥T-IWM,\bJ뚟01}$@}nQAPMo[VѡJHo zWU{QКuVIl(.1!]`%󆢚Eܯ1xWj"}3w2lwd܁Iz1,uOqQTpoJ{+owX7 \?NJn< `Mָ_윤_Q:G~+Ony9]oCӚBI5ӜSus^_'Eh€Y9{}4.wRYZcCH#5I:J!.