SQLite format 3@ 9.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ,1z 4D ] HOL-Corec_Examples:threads=6elapsed=159.115cpu=522.892gc=88.2087zXZִF! ~ ~]ŗXiɟH)0!h^oѐ ٮ~Yיh( H)׋*WK3۳Zp|ts2+wʚPnp1<._ ,A^ 7+<̷=\hE$7ƶcI;vA b±!Nb˭ qV܇'m0)Xh4ݖt~Eĝ^Щc'a}(<2P*A|\lڗߪۏSYjn@Dpű \Xg0 ?aȷ!ZEM6.]VG<3xs޴AVxjB'qVu9Xa,j>@NJn5Ԗe>?ROd)YVmlSܼ6 ʫfpjoLƭߴ9Vr渀GPJBd6 g#oGohBҋ~.lIOp+LoJ:iH14ea<,m\Ҫ|M1sZBhZ N '~` oVZXJU7(6M(*ɂe銈.\}}y iqPiE$yq$9 ä/rS/حxA '! ɧH %q^Jۙɥ&T3$7WUحܮv'a<ĂQ QWLͻEt$>(NH vu5^SXWI0UH4#J6rHeݟ̋r5ٿuU%4Fm^$k$R6Tk2k~ν&J@Vx"}nN@14Oq(m?UCVIv,;?Z@}yH^j[8O\%&GDA5HZ:fl5c/a.Fhd4C]*(ElG8Kc#5~XO}\Մ Wgwض*VշّcaAvxv}̯f6񥲠Wh.gK |\őƨ>u.-7DGl!SFU.B̓N-qmodGո!|Q~,c<aT#8م|?\p[{eLf Q/C_y11o2)zTPӉ[oWkQ`E<3-Yo6-*\cLEyebDp+G+P'[&F5qnp;|B.?&Bi1_^vȋc0to5d)igGYHVtScX.$#ߢU8i}B <ǖ=WrT:{@JZɋL6,]誇A%3 rT [q]tUa]!4۟) x2=@& "f BsE< bіT.gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩuSGkQxFҏKٶnf+B+y,hV͓[YWkqM0x!8ad*)"0tx cOe-1`jW .)đX[0bWwum5l={1$(>O&iPN.C26apPTm迖پmǣh3W{*SgMvmG{d#1Ծs6N|u=y#_l7 1 HOL-Corec_Examples5r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w Z3N2J.I,F+B*A'=$8!2 ,*&"    & ]  A_" ^S X V p,hFf" Y i t 4 B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files2B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id-F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages,D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup+C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files*I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id)A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages(?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files&D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id%?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages$=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup#<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files"B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id!=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup <1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-%?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'    r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ mm1A5 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 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 bb.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`HgYZj1OC 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  J1OC tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.tex7zXZִF! Z]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐb&Ρ Vڸ(Π[kcj݄`ng_l%cy-P2/_I] $b2R ,I؉@Q/_|JmWJ2@iѥ\O[)ՄlΠI[X'2 Zʬj(mp132sl!0kpä˳@K]n}@jztɜe#E#3j 2/ f:[ixcZ ( Py&o.,jمp* ÂzQ= ƪ><[喻*9yDvHeg ]lq@<ۘ $|`^5b2 [d^]~z*FDw-H{Շq`2RTU.2e`+EYL_nSy{/c@?YGJV;8fM^/M7bk9 (RPk܍=W|3vj}'L"QHҫ/ST;E-Xƚ* 2nHN2^>d} RF;2LρNv'v>=ˣ34J/D"w 1q!s8zמwI#.,17n B=CTqCWKdlib"=Vo7yНk\XF< "\{gQbWw˨h$&:CîF <]ވg=uj_Q+ ʜW0\)7^]N)ibA)z_JqTYu-zSA1BqKx;/>q)qB\21;.#.6;x-H#o{(@"}L㷶w%cMKCJם91j':hcsz% ؐoaLґ-_y%GGpKld@(1l>J[%$Y)C~SR`!YRǿ݉ޏF' A4B7F=\/&pv3s@c>&$㶧7B5Tjtۂ^MAOd rLù-!=I r{vbH<0-gP|LI"BHfsZQ<[ g nzzjQ̉ETy"9g*4pZ`_ W 9lc} -V :kU-R- v-x [K-^tˉ~/F jεKa~]T!`Sv PgYZn1OC 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@߱gYZ 0 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RXL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZv 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZ  }j 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ 1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZ  p1A5 \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̄c3jgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$QтꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,D@^IQKL.sz^mqQpz&\3UR-% 41ln^⶜\B?SŌ|-&[ݿwf;PeDZMr 3ދ V[nJTsI6G>fEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱gYZ 1E9 |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex7zXZִF! $`u]A-MՋhvG"uIBm51FbhK#|Q}k@ My:YÃ&[.GI]:^"w*?6IWqXp(ߩh!K6cEUY@*GwJt`+ mH/<<2u(|&sz ܁c_jH*dHY!=L"SrMLץ[ pD=vaY@5mFb=>YI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ B  SBn1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyI1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id550 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x#A?r| H4+A $P0 =>>UK< Y9PMO!P}4 J*ϗs(%Ϳst]zɑ2p> QBye>(.kjZ*,e|Nh璇& נH )XlYZQJ{ʧ˩uXXl@!~KM7Q' kY .O:"m?  ˸Bc|$2c -N"xNbza`ӀK+\nc in`5^'m33CA%gf*MyЍ:`d*oEu'}i#{pi]ix&qMs`Skqbu(+ہù*ű$k0 +?P@GWd¼F,õ=~=!nE97aa!>+iAюX2}Q+jVwmgYZ;1I# |HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! m6]:F.P2p#J) :,U>6>OMBڳ:?4JܹLeg0 ĢzZ#\P-t5@5w9vKr蜧Jf!%qEIhGœ^*'y+6+vqkxO)ܮKL_tXCKH&[%%Mqsq >]򇧂8ԇ'iZJ9#1%uw8JIb5 ٖ|-hjSxC_&l'K[uvv#wYf;mkypvrdr][YPyL/5w_m:o!SLs6 t  d~ hg+ZEܕcOYL7{"gl{\ 2Fe$knAb&:^dN! .b[IxܪX]Xw˜*tuU.Ǫ^!xR6z,׿zμ X=~Cvz;f؁RHslR%-PW勹- ͳuO$ls"K? R_tjSv?oW_hg{&fї )gϗKaIjFP0X!x^Nb? #7Yy}_:\ ֑~] qH{QQ9;3aD!9UrK.6< CbJ|MS8Bv"7 v @HV0j49tQUCD#.0:$ 7*zc\Uܺ뷑z`D3^) kbKez7[_4M;XCOwdjK#z0tCh +]Oyc{D#!\ ~gq"a Co}qp&t[D)CcǶs|'ezN ƫk4m`9n7~U I/飮"YIĵip^{bwi\OZ=6&UKۂ6sBPo%4ooϱetUmd|mV%veF1,yc>*oEQ ֐~`h?-Ws{#~3GTl .Ärɚ+gwwr }P:~˒9xY%6i@f<ɓ qŵ0J7hfGț6$~q}}HEa]R0 Zc%M WQSqFh- b;NS${k W$X`?v~hUgpP=&k|/h`52I^"NĠk1Fkqɭ+i1}bn˅ R$9øչ碕g;T\_&1Y[LJ?-L7 {\JMqrZVܕW*cJ$krΗU=U6@ҥT)^ 0FPW%* Fךx?۞oJJ %}+ok~t"%.C%T8`r/d)t}=4r sۃ-/> %<(ڕLFKmղ٦=#)Cl+krRhP lw T|L$NE HTb`_-[BZ Si3֒VZ:eFj3#Տ?ij9x#R#iZl_8J,*ʏCs|䗋2w`˸~ >hC'l]~hkuԈha@|y?&9rf-8`6"q{@)wo@?Lc2=6wC0)7BOMu{In[lG*ҹi<ɳƖ-yhI7̫2s̐VK ږDpdk "=f4D ,u 뒙|LiƐUv{ l}99y:J1ƨZ9]EV6Q'!oɂ Ň82/~Xvq"MNU2ф_ޓvqP8u ¨w;9$d=Q3ZOS>+Bvac;"p^e7#{Lε6U!/-^C 7eimArz=(L>3}dxJMIQQ~\ؚ޼Smty)EET5"/4Vi8͔9C10^ڏ']Ÿ # Е E#e 4C@K,N/R:6]cʃQ#Uui89G`zeA:jeL:<*Ej@u8F+_{rx㗆"y@_AEuS]bW3s*ʉRLN_<`V; zSCmRsMOQf^|<5PDvs [֕o»;1$A&l3/kG .[P4w6$(Ϧ0Yb)Ρ^4Έ\PGTB=eJX$&a4Ud}5gȕ'pٞ {7|BkB\p f (*ƻ;4O|g@͌' N4݌Wr#o tM|f'^bHzL\;Rz',R0Ö 'b/grę蟂lRSjn {4+ZT9 cHEԐfS+ݙ0u7H̴KH ]_ժqQ^k8}]RB:zUj^@4*u+"(|)[!Dv}|`!ĮZ;| SpzeCP:ߕl `I2S=̛M3VbW99153k#QR²f>pO [NΊ qLU$(*}^ٞ/9q2=OE!T92>z yM+q]feX۷vt=[ԽuԦo٥Iن\=6 L/d7mJ!Q=BrzHDoM&}aǖP'u!!Ap#NLo:1WiE`2C0\'=:%q 1<įR'aF_͞0.Kfʪd|4~vEQgg},R߇nO>t]! dYҖnC qM,*1i0:k[)Vn֔op9>yx7 d o+K/Fh7߇< K19:8Yk-76݊|a>] u싣&!';[EPs7l'Oo+lPdâ>,trMҏtl ۟zc+2ρHQ 58jڶ`Rbd_!\6(W;}gX;쿶QN,d4O7MVN_S įd%=wUY_({9Imو󤁃@\'guo{cF_T^q\AZ{ ?(96r|XjX-jCAB":ĩf5 :̔EWisW5=%3^H!"ێKf{WF &E(Y[mtРi+η!wJ3̛wuteyǺ}ћQ8 sB;&& s'MgYZ %/ 1O# \HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! 咮!] !M젗OFK?aִB1gD 9[=*erՈ* ],kVKYGLM?IOuLڀ.aڷʙf<Y_7pOqeF똨^-UJgpLȸ w%{)MdOgSҗ~/!mqo@Zygu߅_<ax'd/]lG;[2(ǽuw%O\w%R{c~π Q (c-t;#Q͆xA NC:5<j!@!%i4fx⤢@N\c&:G^a*ICy5R_mbN̻YowpҢ1 |!J?d+< 9rFz] x=v1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id538@1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I:]D?7 {?:fH\b-<ޢ݇K _PJg2Wrv1;t\hEVvx wu+ڎ7#s*>ӘJL&Ԏ`8~͞v.Zޝ,hwuЁUpE$*ݲvO64B uӔgE95A&!{c7jT%) +1DA{X\zway< :̆ԤY6Et I{&=Rͨs*IVSrLcIҋtj$JkAR-[xeaMaQ ?gd3l vY':=mpvm _!AB(DV5|3s.<}Pd{;/I# rZJc输]NwW̢&Cg+B>{htGf>ihBSѨ9zjJmD/)ZP hr+Ē$lD靛&=w#Ԥ ITY~gYZN1G# $HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! ] !M젗OFK?aִB1gDo%ĕf]\<'pKQWr^aY 2 ˦L~x=ܑٚ*Ǝ!JС'\ Xq}*l~z9!iғcπ (b~dDgҗI幄({ $א,jcaD0lDu.?}s\NB2]%TVTҼ[;P+Kɚ ӬtMнY&-RQŴFZ= ?܁/W3 c5v~:-J5FWw BS>6 za='j8uMxaH T q'@1 5nw :eS`WHK9!Eω0 :BrHGGkM{r!ЉkN?[ hlL g{p|TFN+?ey+*}O7]U7ٲ==5Jy&y>K ۂ:rā=NBH onk,s2z5,e1szI>j_ !Ef]KqNy=:{@tg;I]M(i.{N&*d혾BYon;)޽O^HC\`08)~NZ^e}.Y~:^O)…Y\^DFO,zx˸ZW N1͝O-Pπ.}E{IDC&'koRcPy)&wgMD#|V+7}kPw_*!NE qrlH3 ꆯD=&&2(!r t2gYZ|.(nA'J6 kjeHFO8 T ~[=u0ShԒlAጞnK5̛QM ݪЊPyгG;D$#Ĵ)2`k4&=<-wf&%YIYuNq.X%pDI,6g=V.fI6h5OaOOf{WLzE nG"bY%`7{\dMꐴ֓1D"t$/btl2 @˸{AZ=/q`e"$YGJ05~qw3XB?s p_LN[Z ^8ʕPn)yX/i vSVAbj㹤}9si;~Xμ"Sjuzz:b?<<|DKylu=epF/8~A{ζ;CiW l[վ}m6gCf6;qW^qh7.&Ȟ* V-xRoex7 \sŞfBbfI%LsoHvM3⽼QR{O(% ۄ$ ־[ܧ_,8B#b43pf}!K[,kekd?䫋xLiLWc4#%DA9_q;=5 Ej`lT tK^ID?-yߎ* YIc?-JoӚK}&>!T/fL@}+YѨI@++N>6P&u񛄡i9;Þ.N,^W"zufK(LStz\ 1!?O2Mܶz3 cx@Z5|O&Q|]PP*ŹYD8u/с|1MI~GQoIj$a8ՙӍ΀GRf%0~0,E!U, 3k8P!#E O2gW9U|!L<}ۅ!y͎v*)VZ>Z\>*:M)6Cj?P elfU6"g/2qʦ:߶&\S8][T"Y^ +-zl[H@k u*7Ximv(_6rYإP<Wpv :6[\ȴ6ܕ Ar; Ot$k F-D wQOqB Py}J'fȎwPf1SθQ<~!`“aH7O!D9JZgKOArA\ڢF"yw5!l8j-zM8iB<ԏ= 3iAŭ@jqIH9,hhѭ!m_q7p6)P(mSS8J }Қ5'@D-X(SG΃&^ A<ᲤR{`IRiLJW e^Ur;፺P |){n^Vw6/]X?HtZ:u (82ufYA>5.0 *3rNp[ܶu]_Y xFfhΆ59U+݈J4}"eEvn;C-H{-x//]4]Ѧؾ >$~⥫ue&9%*u0m"rgZi5,] $ԞYFq%އ1I?&/# Hn] [b^|HGY#UMkE}Ocd>Bn<֖M^ PJFQKvwDq6cx[A2` ߘd_Z@3/)Mi'+/h6t:_w 饱;?Ć+?)ӚOvN޳=|N&HWDw;ږEStEt45ߨJiGIMj.5#`]c@jLwo";h<Ѐ-OKyXA`/㇡X\C<`4l9Z!Uc 軳r#ჭ^{gT Z[t ,<F#r>*!N#胓zUk/_Pܳ7g s`so[#tAlv%F@g KӂwoY恈lCր_4@Dv\C+}h` ӋmAf M+,O/86 =HgD?~c@DtAMJ '`ÿ,/2jtQՎLL`8:DӺĬ ЪCro@<5H'nzzT7:LHWc_hdU7eUuK?8jCqLnaLD%"sh[I.,ii拉h,- ձË~*ۤ+DnF8 aC|uI2cl{% <320QRxb@.х̳tFlogX.(IWnlwMbi_Zs]alvOS,sȰp9h &mkke~4H("j\ojH;.w]NgXX.F ͫHeͽ>,Uww# ^L],0!/:kJy40ieәNP>w+ R[=e?9&|BCX0:08b*'\UܛxEtYwu2>Fi1J(?J5Bdi4k6Z \|]ز| #wYrx=Jr5$#ֺm~o7#d^r?@*ar&r PA,Uc=/ 0#iP,͹|Gyql;ЈQ8h"3"='OCsΘeݳD)K XC(Eb!gWʖŽK>KºM]PN7m kA1z?`#5G'Jh3 HWBpF7`*?Q>0{O*Z۞EXŬ4SN0KnZ֟cW*T#mD8à| rx!~Ofi[epbEDmA? %sGqo HIu$vF F2ZEe:_QTK4+ZUJ`4+ѕ𪴄<Ч7S+Ox]&nc Z^oC[֥8)kH?iaU)rr(G%? yWF:HE|V !d{Vkآ~ yes㚬jT`ȵk4W9'1)䊂AXi-Tw7PǺ v$Mr2 V7_ ZQmme}AL Rlǡqq+ 0OaNݮԟ&M;OTD[jS/=b-z2MvpCH\oYR6(t~SN%^ykcO M.7RIz(٩WT,"F\{En9sV#뽎G0#,P#$+{,o+LrAȝ0_4Vc Rjm6/#N.zq2XAL4;!m~(;)UI)FY(DԚCxG`u/?AҾt(-zԣe^ #"+cada"i{P7͇j_>d]LȘDD qǫH{o^&UO ubw O_ ŋ%D$hV}LCvc+9_X!^00o2͚">B*ow0$Nsk-"zxz|0գO+'a /mӉ6Eʟ@EW{ZJZ7$r&r@! Ƹx#BfZ%<3[1K1eFĤ٪=[ʽŴEGY8 `S*ꝺ#IUjn茻ƮgRvke(9-)G,o&%,X YJ QYT/TJJ3L<5ߒENo~loZ)@4'ou' άGy|µpOCjaw7O{%t=qmK2_oDdն%fO`0)'m bt*f۽^,D1NMx?NzۿpK&/9MrQ*Rp D#g,> 5+x&2(XMҐ@Rpキ׆gei.-1ة%<`^Ts7JM0#])ؗtU`uR EiqmjSt1JX"MĘ~۹Vo sja?YKRsqGlIUMK#/j,*\Lg%!?Xy!!ww,ÉFSws _UN!C\gYZ ?yh"1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF!1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id546{ 1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! R] !M젗OFK?aִB1gD '+JV {5gG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCohSu xBf)|-krʓzM${7$#W_Y@﹡;b8U- Ϗpۺ,0Xr.㿸jJʬi1 rTShVN(0?\_$R֮! RzOnFoEK2n?ʁ2'o|FaXރh8ifɯDJ_tzǟ5(S_rv*BǪ Aj$}6>rEi}M#E#V/^saXaSRcPy\&5[ߞs=x ü!ivvxük43E'h9ue(~z]>m&T;l܋+; ^^:eppj+:"._h:Pk*bH1ݵX8hq[hC'% _E- 2MFHwGءbJO4vvZ,fbFײ0bc9c*Or+Jk0;Gj{8?tMfnÚbuzQY]'l?iC,0N[Fe$.4a4|mxϠ푷6Ģ5nUzNgߘ<:eL?Fxy[~l >U%d&bzN[Y2]UL!QlExu9Y|Jć=UgYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id542 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ]D?7 {?:fH\3K]*\ڊ?F'k>+K 7yYԽ^XCڰe1U b3rqXX!݈=l8& ́{H)c,zFycGgb eVʪxX3fI\'|i O!,Fщ3< : MҙUs7$Ehkn`5d :yGLbSeLWوXFZ0 x >^c\~H#ZGfjwS4s-ѴTrX͖$ޅ{j00̽J=ۯ3D}ahZܫgblLISʧozǘC36݁}!Ex_7Ax2 G~'E4%%2N[ ,ne,n OMmxc ˒2>5Zw~iflurjHYdgK- @MRPQgQYC_\2j:F SL]Fd;8֜(t2&W6+:aHeb9ޢJ0R,hhz#!t̟T%$h&ZYr2. f]  W1owP,IsX[;i:6OCEj DNKXRF~"_Xa ?¶Tmfj߲st HNp]`1-"se[X사$y$JgbX,V6P5S2+8[b̡a!7I{YH_.>C Y.kNq)~fR/5:]d<%8+;%t^qYo?*,i2  KD@EFah i3LmZ@5u'Tݬ<[6o+785xYVg;Ҹ9y:jV;rYvWׂV!@&cI-lѡqM#Ͷ{;p_TnBKvuED~mvrFciS\ͤڻ#*Ύwč_9Dϟ׳OroN7i#_13M|%VreOWmrXhLAX۫+ĎGЛ AԵj2K* IPhMWJLpua"pSW(췺L3۠nc`WfͶEsz!:E81Ƶ Bf3D~'!Bۈ$ˤψdM  }ݣ`:8Km!1fuT,2L,psgmwuh;D) [TgYZ ""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_id534 $1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\9żQ2LFMmyr![XI)}ޒrJ.!+k_yvstuܠՄ7C;N$@[94B!](Uӯ̜YA4>21t/(4 O/;Y!HJ-Znf#dOszrnD7ut82<~Il?tŪԀ]lm!oAN!տ)^=!HjJs pZYCeR| sB `o4܅{$wQkxv_n Xh]{$fF,e@C%˫v )uA(.ElHesM]V8^M;/ Ӧ2)7b /fSk`m0Xk eL\C\fj;<' D.ăK\A& A!3Pz߶ivP"ka i1S6lSZ$BRtrG1 SDm(&콨g9 p-lx eDΥlEd[iT$ ja∈Tn0rzWP`]bIFb (D OɎ!|,OL@/y'\j+ -"h<g(-[#vE9geGE-ĂV=1~qB%6Ga֎ŵu%RU nC[ * _WrjGA'5> T‚:U N,Wgut77©_ :yo)â-Kd68jW6FU_k15=|x&';PIE`:J7]F52%k9Td,OYT0}᫱(h[*F|ۑp߅h5 ˬVQmf[sj`¥֝WU6'G?4۱4"P\iڹ2M̃e_I"En^ƪݙW<[VEѴkA5w==\/\}TpW-O":a٫FB|| n3NdX8GgjG{Y,Cw7&-|@.3'&tgfEdf,W YAcrїSeZ 9]\*#@*_F陲NC9z/zI3m6nT&=JFR)~z2s; ddQ^~(>3T,r2SN_XHThg<} }¹u*B4lЇc_Ǭ$˵xڱgYZ#1A# 5O?<3N[0`P傂VB[:ԧ™; +*y4@!CsͫLuU/N_~hHGY}-:c Ωn/SK_Qݭ3/Pt咦R E-U.~DSc@k[;眈HxЏͭZ$ٴ#b;@K[ڈ%홠e/(TJMNshi?Uɶ^ k6eyB|Jc1fc,K{%,/Z; =Ka cf}CAM.JT%fq:. QMy+? S#?ٳ e?O_2:GhsqA4ʍVE-D{WȆ)V"xh7G2 wI74(55e%-ѱg~-f73?sVkmK; -?0 \Rs; [xin'SBfď!*%ө` jR'56{Clg=\0&S3=[`l N~!l4PX eyXSx…>YfWZR 8Dmjm|ginyGPH%G߇'=|}=aX9KCS=7c|Cxf|)h9vv.# Oy RucpSO cV8p!ns[N[P21,8jmxrя]X23H }Ҹcs_f sM|}m'rI$d{    ]egYZaB>J# k,C yI2eģVKn#ysp?i$'hMjδwQQ\؁?CrW7;,hMZg${rV)x^nzol o(r@^dYA[=HeLzStM&bb]` ԏagSΠ^"b$Z,]“8ѫy6%Qu4> 78-% ~Bg G2w'`idqBӈ*/X6 SR S.o@Us{btc@k<^P6p8:[xCEȬn VNOZ^Loq.D%15?T-{k?}ɵ3Z9)iz$az]qkX:Hd N<- ?oH,5`uqiJBWeUD%JcEǶhqmUPhq<zlaW|uWR 8 *Zk7x:{I׋I%=g&k5e %ǢϸK>SǛώ!gkٜr= 5`t'G~6r.[ Fkd@(C-~#5!V0E)SGu*O謂\!8ܝ#= %0Pp3ɏJ /8YW1!p4gTՅ'7 < lHjQPBCf /Hт'6/q]CV#@TfNeʨR&km~蔥uΆ[ĂL-jqsDRʮ ׅEFHQ0OYMM㻣kw[-GwC"΋A+zeit3ar4?k1|Zk%BJu9 p sAȔ]ێz{`@O7+}"ڇboGYC%pjeKI?ֱw{c]8dh 5}}NS1JçEt1@Ilh pVp'fbUkE+CC/vf YH*[[xv!G̑W.a@?1:l~Y)=eAk{fUN%֠q՛ I.&3e &Iw5Niԁ,d:<iIT}j'q{vJ0jnFV4&6gwvz((S(z`1ZP5^ΕE~jJ"\IQF[m+wpR[zQM4Zz "m =Y~ oߑ)_V#'%gJ7 .63=^ٿ8.2RT^#$1M((Cov AeeA0L`4>ׂ YbHGdczl x@X#k3VGz^ G]r Opɩ)FsDvQP㑍#`g}p̷`b0*q(!`%ِl_ql o.LSص`DdGzv퍌81!@SFh?xDFhͮҴ0jmViCFP(Pv'I)|W* }s&l 1pkl9iZ{3m7}e-HhmtݾY_$M+Uј橗ۨFPxͻ4k˸~Az%DӒ%mxو9@ڰꊃAv9/z+_1笕:)vn[ߛk3|S%be8R !/gn!U_`g\.zFgփ=3s7"uխ@ZJz0 H>冐K+fՈiCKcD.|k"{y1}|H@)q)!Pd9FZ^6Đ_z⋚QJiɺvƑ9Qv ZrxU ^3GÌ򭲡``5O )sb"F="*lˏfKcg!䫱Ln֦co 3 g,huUUWCgrAn5#]ƍ9li|v%K?5żl0\3G'2D;j'< FLbSd2 ^wz=J&yw z 3DPW}uRc_+AZAk:Qcub&9TL70pǓ>,RaY3ϩ  l,>l0TB|*{pGO{V{2J.Qa9E [&Sp͹PDL2njg xquAavt<K}l=dpm5fH);*!!ɢBk%#)&#[Dn3HaҽY f_ve%|}=HPEJ#^Ғ|kan悗<1o ĭ_8G$_''gwy+wg ͠UsYE<@^ fL89,α!R0'92>w=i.(VYa= L'1R<u㦼E9Ui=7);9. N6C}i2T˒Gq eĤ.>kƅR:ЃUmN''M R1g1 2y@{>h4nk#ZPI`=-uf[`{"Fzd#: E2r?JU QjX7`6{BxV[.mA$~C-ss"I5I.pfv:I>{}v"iSnHaܹN+ 4WɵiGd<ΠRbwRԒ^J^KJg$kL\Lf#pEq|'#xv]#4G𠴼>{!DVdUS4RK8wɬˤqo^<ձ"hVI&F[KJÒ7|b6gJ?2ipn]*70q%B_ݕ|3 #aDCĨ"K8nQ<?<p˱qⳉe]QE7L#ŔX>¯}MwҮ 5{ n~7 Acix҈I7V\ϡp.Z17d.~h, w֍0 JЀnR*xuSYJHf >ګL^U>qQW* ڱk̝1H݊ijү}٢etuyou n&uR^R)zSZ΋ @RQ?^֎ RI/9 r3L|r`B#pEp_fXS0-RO"cg{u4+ !VpqUl Xdlr7O֥38ɐ/y/} 0j+ȭ2 r:k3NQh|Ox9VMсC>]>n)_a*R8 eqyJcUҀ9|8ږBfGoMG6Rf^iòΜl8-A(0Ik3c&IQe_ezz~vUVA5 ܑdxEx!^q+[x>6bi&";U3]s]pGP@c#NY K[%HЯa;*O _px=y>mBt(v  O2hKڕGXA+{PV+KsF*T!tg:FA_',xƌA,H_NT"ǪcFKL823IJ{Ns"X%.Xo搤#5q@ J<1;;e|ϢiP:& cK>.@ XrSB@lcNHG E,d0J܃( *2n3f)^}bxwO6bG/^d7qpZT8rשp"t!1 WCcdH΢k*laj_{? 4=4ՄM3JIiF壆y;51.}Um>Y_-YfuߒLϦ^WLÏ7qG[$']lۅbF9ZG0%s||A+Xh}ݫ_ŠN X>eg? w3i H/ y>cL=_§uSP̵H%1+E 5`yO_n54m_~vgWS7S enT]SvKmR#k!*ilΌ-O Qv PelW% 0d.qP&Uw $x'}'& t%,-x8Lb<Pt8 [gS/NjG[*˳#E Ray:}FH2As_'wʓL=CuB>! ^8Pet6;ϗUXtA SE5 ۺPg5!#yz%\aQ!X@1^B!c\<n OHZ'ΦrM`-%2OH#k(GڳC w6(rw>6v F3__Z QVs~l"/2Fz}N )[Gj`C)HA~=jm[26n!طwxszy#uF!w¬jHj=Ȅy @M ^|Z/]T71cZebfQG|#lMc6y"f:&!By0A|c Nx;/g>޿ӊāp:Ţ)Y9=Rt=%Q\lZ\":%S0 d}1Ե:8g/턁Uĵ#>Kl~,?RP^okB @oau]d>|&68`5݀r-N*psZzMMunc[Pwa5C &xOX 09X&^rm ?f7{PĶ2ȼ#dB[HT{IV]Yt|mfx?6_e B\;Jy@ Ԓ!ed%jn\OfbiM:t>O S2h8զ&Z* sv S'W,tQ- 0V-n[w,Fԙ83l<19oUPmZjxѓ&Liu`sw ai> zi3%ƙpCX88پχ!hhM6T懰f8V)+o= XwS5Aݸ~ ?m'[0]iABq=(i"r*DX`1jw]ibwCz%t2f$HϢ@bh"sjo=Xѩe.W4,)o6辽Ыd;4 &S,\Mx h7lUtٯS!)B(]P0)&-7M d?y {Q;؆ 'a`x2nKwoX`9#b#5ba%C?T'44tC{+vJ6gʔ˭UȋKS6uI$܀FQnр 8BgJA}SRD L鍶)䂰iY7gk%_DyȎ\#I^DVID%U*3cm գnaNFx>[(}.KVpTJv:su1ZJ@dl[rjdQ {Xސn>n272T@,5oM-{ج9XکSymFy6JID܈aM< \dUF-> 6ꛡ0qؾ8Uǝ?(Oѳy"i=dxdpZ}\i-%#b+gL':a@xh_N Ale㓣LK^%߳+|KX-H*Mu݊y$kR#~AK5)z=-#ZCNwTݽ|&86tWN,!%ؤ>c 49% qjwp?Tzƌ uh3vb% e#玕zOY J?_A=[g02v1S}o{@lP/OrҠrF6c=|M!sleb0?my#wjxJa?uo;(O8JfO]6 kk!8̱3 Ƴ\stcza梁 `Μ$ƙ,E8>,p;YGA㪇)i 5o&ZT560&m;*4'Q:?ԇug/\`*35;ܛKq ɁU G`&XBl#tGI ƅ^篏##z{X3BSϖjE4zpfDȈ*Gft]` ȟkF'nfYnd>mWh+0Rщ}TP &K)M{r` [#܏4.͆1TS8Ut T hUIo:7=Yo'-# PBRmr%scA$9vHn8emRef UЋ"J hrJlcC]wz89ꋮaÕ#·cQwPRX.cmFf=I0|,Q+X 0JŦ}> wx1C0h4mEH@ȟ|'%躕JjkB\<BK24rtR龩lpu{Zuh"KE:S({gȐʫ'Ղv4'd=sZԐn)2ajb0E!05[d͈\[zBvT13:GSY'ۍ IIź ^x^j/#C]V};][75TÐ2)-i%FCX@J={.Y$Nre" tx_&*R^TV9W};PaxG{,S|m߷| bT w$l;}4; |b\a+YW )h SZ]z[\<{\0"@,U!ےKn@AƝp)0x~! =U.t H:)ң(6A w@}HGl0@A*+'[=9pPW-I-_AfKћOl QW'&sY2+K In { \b Xٜ=!}s>]i:gsSa2ttxByADGB>('ѰpߒRgq*\L^<}. t/5}9G<~cmeInz1`@V ѝ6 xW-W|T%FI`$qIWI!?+Nf7}}u>_wd7:\Z+A."6 [B"M;:*iv5} Rը$*ҧDWNg\('=u۵áZ&/P@#Zky<]\ּ{= .f$Z/Sќl1{`ǾXe*mV wb/K#uĵD"•@ϾQX${=5Ķ~d/3C179M 9@t@&defHTrf#tS A] slNRОGGCamĜOepȇ!F//9֙+&,&W$բDvu0ҳEPJADy}"^+E n v3))&yɧWv|8dbqx&ᑩvŮ+.Z)gkMkVOYB%r!:/E&HUB++ >nqfACwc#Nql e@Zn큅Ho;ryfZav?L'RV4? g "}F~b:kHf[0z.^XNty՘ْgk(?( :ԩ1\ԑDZRzY3vd+Hو1cS:O,E{EA3=dVGOyq /kbRqlů2at!; tX`l1&ca+@-)"Rw/S*"zy\B:&u{4vQiUSڟ-murui._'o_aSF(Kl wdbD)aa T5X#&WUU:z(ҁ n΍>tZb }CD ҭmVùX;\h&ST[y[J?K U=i^0TQ(TZ`|4A}~Y[;Hn@1Stu+v-,+H`:'@FPD\7bIVb'`xTTʿwzg ]dÎa>5C I%Zp#cmV,u pz +톐1zf<ҁ'@6=)۴MES^kY:I6m8LAT5 P})*4\vдO߫ET*ڙ<-07ݒrڣ A&Jv.T?VLګ2UMO((M'6mߵՋ24&hfv3]ܶ>YI|(p\٢N>2Y*r4.2t^/f'(gc'edp2ν&B*9f'd_Un#'lc"2%+.hs|8O6ǫθ*W`Κ O톇VQ6W UQPaJpx,)A^SvO90\ բ^3_@J/s/z|a0=G*/F`hD"j^:Ђ~~p6 8z+5aHalL&GiWzVLQv($kζymd<2*ޒ/;PN; RoK3W[ÎmױOKt 0(Iַ0H:M锍~wPg+N^ /$^L昳jutV6B_΢ď.p”Ma u Y𭚼.G_Wt=YrgnЪw6~3v5IJR P>z'rQ4{1C?18TYI…[xl-1hěYV%[o🸥J`1TE]i4F4au9&z6cD\i#JVPD_aQ2UsB}wtC~ $_RIΆ!G ICn2 ch6s)kCж)6v{sRPg&kB9@ iVJ|zduATSN45cI`M1I}ǗZ@Vr.6]uΫ%i&w"O}^@{*bNGGu4l*Ӵ m.ywSH!os\g"ye_ϵ4;ɛbRm~m$ΣO7 2S^z=,cXR' LYn(D{W CX28S?f61!n8U@q&7[ԲxwMTsQ `mM,НJ\\$"im.-6MPtv#`&2Lԯ'ͳs 3ތ0=1p,6 1w;VK41!`<`^*Hy8,%+X5!އA898D1/?1-E@6Hs zT`1EZÌ Ԝqw}N#77Li*`{5?\b$` Kk'K>þXih4`<\;dai3ӶgLjjQBk ɗ6-Ø'NLM`} Kn {Ho8?[/]}3}ݠ+[xe?A= `jDLs n Lb.;j[ک ;-ZC2ۺW܃8:a<Jg;u/̲;?-&ĖKē*חy) ϗ N.b(Ma?OiՁr2TT) iP=0j:vs҉pBouXK75"-Cc:tmmol83uƴXr] Y0H^M%#}<z3s԰ g# >C [iM8b~_+ '$>ՓrGJѐpKTu#B\ y+QPxt6"K ^]c"l@02x)źsEqKH=pxv1]zc7#p(59M< Qm+^">uCVwM}%ʹ[xN,ZmnBX?JDV;![h mUv\>svZwFӁ@4l7;%Y>qI ^znT` 4Ho}K"k s|k6yADz䆏+DqxcO biA"ZfP=lE,εG4RZz<qxbo\_칅U6>}g8d CH_{SSJ&;Ϥ0o(3ez"i1mǭf`xu. k=&ץ3LTu^Y5vl2B@F!Z ldۋ$h;"&tgNG"r"_wK(qXyV,Lܘ'&$(K%p̿jy'4MJpeN|G5['z1ODk1Ǟهuղ(*$|6uafmݦIҮRutǢ H@CA\{)zvK0=~}SrrU밬 z6 m[25lGg;rH10 S~C=#u'Cdh.,[]$e_? TC 䑧 _ob,,X$]JVoKq~ڹ>n &JVWIC1w=ahy:=G;4܎AS0Pc2^)pMr;rfގ~4[;mU` \c&Yr'燈G>;,#l.B@+$p{ٳݱ7Y bQ Ѭ3i&K:6{"ZAxhIG +@Z7 [2KnEk[L=]3.Kw:Sn _h(rI#%`ᮃt ӚE!kxBC4h9#e83qV,5v|eA<0*0/eĭQr&VQ]؋L߂uYa|Kf9W@3-mK&venL@{}*ɉc1H1+|z[0RBnPD>~K/eC$7Hi _5 _\hj^L}^d2X56䊎 I)0=?HBʐ9OO=D AeDDS]VLFHgR$LfEdrث Evb;4_!%*9?M6UֵhS$r!c>&Q] M;#w'r`DQY*YLv[12*P Ou aI'*RSsL>)̈=mx~`Kh?Cg91!,*|7uՇ pEŜY,\&E5"򭗀pgCrˬ’E<Uxjk5iRs(kҠ$R7hj)vÞ]>UDAAcڟ-O9Z~zI-E5F׿0J1" R:!ʭ⹰j3;v%3X@'{Kc6ff t{ *%Q<26&w`!ײ{>T@%a3-H,\M;+/kFO6E57x x0Ꮼ1*AfGyNw:+Tz:Nz:P/UWMXߋ A+(Aj@ WS(odxhkd>1>{fGՋpNR8;2)D!M$5ӊx?<]p5C q+M]Ց4C}o$_^ͧI8 J& ۤSxKZAN&!A/M;u4O sKᕱRO=ǨKb  yMJqlnOEYo jrͭ16zhIm5b;TV:U=w/skYHTF lG,m$WGmbTK'VR[D~YK})y.tA" .,iIϖAQO gYZ  |-v*1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM)1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id522?(1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3%I}xIR{;PUJGvfMCd7iFouhM3K{m3L&ƁW:r iX8[{;XM\c窥s%h+mhe 2>T0fs[۬\ 5~`~%yܴoW^?e7 G:Z-Q!}pŀE9T, Hl)'܊¶bf_Yhw_'wAZZXYE*4a{i.y9g].T}xG34A^–cs^0U}n&ż:\I iͪxg^6~-kMf]: ~Bդg_xMj-}nqՈjmQp ҁ>v~H 7 끐`\Hrp:,V݆L--:zu!ȗRѪe@ڄRjŠDVM =Z ܚ8hsz_?Hٵ|b 4GEхYzUox 彰'~s;o{MDеZonEQ?ܗ;bW#gFD+$uoڏ*-3aW-$عV>QI5RmȐd C)pZP6,`PM(b:ҟ)A ^n&,*QL8HW@Wv9IE '٨'8vٔIs-.lnv@,w] ymvpŻ]fw(`}æ|ϴMdn otT o2am)cOWFɉke5kz|sHH|k)` <u%kxfl[3H7n F>YFG5)&l@.O98x1uyM&gg]Ўi> 43ձgYZ&' 1E# THOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! S] !M젗OFK?aִB1gD ?S t$12'oLXqAmz` l}Y(4y4v#^zK e|8$@ՀWu|\^kmi\"ܭMN,Q,1jZKʿ>)R8r _<bS[oO_riaUl'rniW^$|`_, L8ȨM(L:%ɗbF{8Onv% GK;BIK8Br5IFt!_ .Wr^i\*E}0apo`Z zzSwᨼĽd %2bq.pPa3s8V>9 }r$l?SuQH>MpEdF2b\lpE ='oߦ)ĂbĮ|N6~yO SfޖBtÇ\4~#D /Gn"_ 8P?'ӔKka{hܜє>2&JX\fjZ\鄄Cq)d.@TC:1M'-'Zd+1n[Ed1_PBs:a9&vxsӉ[u!\ 5a#cm(.z"zrx Btpm?gEl&KӺZ%:ZDW?5$9S+<ޝPynw>_ (hp=g-u bɌxQH.UsgU,d3&/, )4=v1Y<̂ Q3C$@Jޮ@T0\Pd΀.䉭YQ6gh۽WkaKc==N;X8,D,-_#}# 2rtI%]U#aUw}JpL{tZjO²rʩ˲}f`\m1W;qŽK/̚Rxql3EP a%ȯUM0]T4ߜ#ȃ{#U˷q6yLN%2G9}c7 _g^[9@B4v;JWD g5iB}a^y%eS)(0T̍<{"Rw nmK<9f#y-;&FPTmN{9Y;K^hľ,\YMUlHFKr[^ {pw⥖^,93no%L Qe5G!ၔ"R z+ &'3kw'I-Y]^P2$y]JmPi+(3{GWRr^Yy2ROgO6K˳4VI(2Y\HfǣFN@2";>.3zsUIR\\IPۅAXE hQ<J7hQ+ 2J)WO\߶i-o4 CULnmk0+A[<5HIININ2Q #{&tO}CO EG7u2MD-%:ED%;n]irY nSU{c]jvMlE\Ębɵ+OpET3h(r嫂V{%Dx,{į+x%D0Hr%/ &ִL>IL, rwO`6g{9L`[:;p4ʣ (D>A_h>IU#AX4GJFA\n{\L"40)"SFu VszמDVeXٰŜDvc7`Kk z5 /=YL yō[}sQ~\|@+ƾR3JQsd rKDkά_@\4ޯrU_=ɖC9 w,eq{ a^46G\%룹jF<[J9能qKCHߣ8ٙזa|^cGՖ?P"*ٚ{ڷ H~Ǯ!Xv>lh?7*zbjvEQjw)sxDWW~GftF(4tmqpȴ?rĹ+JR{(F7#Az$y:?NŹ_H0)OPH K"-ifG2Z$ɼDʁqlD'dTaq:>/զ,F(cdдn<7>vD<ي_vUp>K9ׯ"v*AZ6PtMn "quutIGfm"B&CQMRg>M>r)2PQ\)5h+"`~,R_})u@,UYAG`f.,D Exl#ӌ‹^쏎Rx/&/=lS6cLv!>$BK!Pz29凜py[9 d^#P뛛(/!\Oad/?+Q\=ZS=0D*1*AչNqpFX\^Br ~6; m'G:5C/S!- ZQ0nA[R%A6NuW]PȣQtf·}Jݔи,!\6ٕܴ!a:On!bxQfSAZ~?IPKc8]l'mGs-l1oHyLRc~z4#lJQ(w7љ5Bވ8\=jUKx=5ڃ M6]-bÊaiU|C݀Gkxź~#-H`.:R,8#[}&FzeafyG,w`i3];G3$ ~f\0].Y_8s+bR๘FC&L$gV 9êOGWogj!s .\nE?.JN/äm2 ^BA."tqjsnMdxSG*329*轝6JW^HCBCN\lydtX𴣵x[QmDs # 3~➢v`ZΪ3hy!HNݢ$-2tC>[`H(UYƷua*fOlAtv8l)YN$_E)ۜEcvf)BKUVXGBAcl0y:ěC9,s`<$v]~r˟5Wq-MO sD%=+UT=;fLv#bL*a2lb]dO+VE]4oȥ|R+Y/| 5 Ńx1 pz _0v䲦q _& &!>޻f^SiRm4WVv::mt E\)5(tRxP>sRW VmAvLd%W \7݃-BQ[ok-G~.F\әFCt=:xxf-W eսυݘ-s%u$M߹rj YQQ7DbI% .<"Z2˃S8=r)xHiϗOR C"f{ԈT4 FGۚ9uf<Gp4W:0@\a9آ,XW{!0z:FU ꀿu(Cӽ(VwbT_g7dxvr> @k|]Y1#ȥpS mE. iF!ߣl3؃2{k|qX#S v"ӝ_Y)E>Nޏ$5}%` ŐysJlOXLZ^"r8͊s'tpJ[L7{xhL]%ixwvF. a..b8?i&:".fծ57 YmtUK*Z `TszFyn-d[Á4\dcluU.F8$]k^;3P%_ʺ$= er=g_/I|]zN>zKH("P#uѕ9_`gaI-/!8$L$e%Jz`=~zyZ*`We6d`z ]$i <u5aM~{NTь.(јEkm zEݭǥ@#~Ɉ,Дӌa'z U4ՠ&Sz}Ֆ>':|pbS/5)s]BaeFuw2/.'1<%E6fg5cYӞ 9 ?~v #p΁1}Q1WOk>%]h߀|YY/;_ʥNcHw8!/$2$&MrU4,Ț5A* G45+ٷY+ҍ*p1ٰQٔBO1o0~NYW~`D}cc:S iit{:1@a:K "i!c1aGjxR܊-Si{*[ͻEG0_X'1ڿv7BaݼI8ҍ],}f((~aa|Xi"Zʄ2GFY5ɱgYZ 00,1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x6jFS0X&_FsUOOwFXrg!MZ=5~O'< c,) K?PW|RldC(}>qY$.Xs` ~qq1q ^-NN 9 w%FR &Z1`F@{cJ)=kK5*I|w)ly3wcE!ܝdgLb7!|HuٷTGE%zKaE; u& I{y $_Aeid~>hp5"eUN:6Y4ٌ{r*AUSοA5z]vDZkX`Ku{ 20h6"G Z(Lo`1+^ Kp!| ?$NKlhG'gH},mT݈i>RhJm̬x-۠7R~Gd),?u*] pvPkNM)P?l7xQ#iz XC]+&8ˀ*.3|#&Џ.v2jaO T w.0Wv7Nsa\<!fIiom}kWͤ}(}J4|wCPP4;kʁyi__J$VፑIi$T#K;|@`(=fʪIh;!33zf>f,5t/ +:G1(zL_n|bco=0YEfKkwR{Ÿa+qaxԲ{/Ј@X#ɥ) 0trV$Wy34p nMV\2f -`u %OeP>&wշէ dTm/8|6bz1$${W+7)8%RPb͇`Z"eLP=i+ ]:-u bckLJ`59eP3Вpm+KChj 6=hت6H9QfC -/q a Ks;R=r@lޠ=Cs3*bD'{/ABp}ԝ(4l4b[e//#N7^_1{{/)BiH.8vjШfh*E偕vwaJAƱnBStXfS׸ň0y\HbDb9{U/߆(^*X[ Qz|ga82#ZdK{yMǧ q;PTap0H3'VÝNtFȤ ["0m(}ʐUh0wYO;3AN;LZZcȪ:D2T~;8>ټ8m{8*(ͯTw_nSWHf ? O@h21A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF11A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id530D01O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w:]D?7 {?:fH\yG#uT˽3p$c<$&R&Y02VaF%CҎ7?6~2+_kfnq_4Z=mxㅔYfK̾ѰJϭ ' cpNAhk8)v<'d,٥i~>Iܭ7Ю~F}ibtd{;Q,цXmA!Q˸QHvZk<Nڢ$@E/HDPpVCuhC[A D]`tCwn[~SjI 4R3(DXUN~-_|"f,P[K]ixcv.W[Bs>FZ"O:~+Z=k񣊴6JscD'i}`j+%y|EiycL! =Ml!q MN'II9rg KgK_EAMZظvxvX+oye |+^(X7۞O?ǎ )u]k6iR$Diڔ%&{2ݡi2:yzTr"U>vKBډѾS=j q WIhe*:kPMSMzRgik;rئ %s c`c1yi9ួXjDMpf8p|9uq ,AbTbnHDP:BɩIמΫ /OЏ/꺲 m,ji* eIz;1K([ӶE~ n,6JRtŝ4k)E"U, SMD׸|MŒkn 58hv'[D7㾻U.33)P׭m[㇂+H޻")e#\[K{X#+OhCT_=üe\?֒l06A0Vv*yϮK3=CAdi"p.1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM-1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id526#\rğ^gls ]QW ^; J6s# 7֎\RLANL;Gp42*Q_3"9_:hWPx YRVG^ۛ@ /v*__( ^=7YAȍ&Ϫ 1wЮ4+l^F43Hl֍{;t:%<+3 Io?o8:"_Aکo6vU8ScRZƊm P[;޻1C2xfi8N赒p-J<9F8pvl=8]n0筢 `%_R-&(_άoY 3"ёIK|M1 e` |j${X[6 O'4CTU_:y+ 03ӠyRx^pe|}w@ :N ?ԿQq9h,SWTn)\BG2tyo[ u"&fS # Z=NMDu W-\C`WaZ9b})X2Q{ [ikjKNa4vB2e"Co&,)۷#D9ż7-)'0teS`hASC=B%KfS%4SS4T.93 }3p|zs޿O% ]޼,BhD/EJ#3 DE1Өј} (._g-m+ =:NsfbP eM<>ʿOޚ8Lnv| A`}6~@aFr&auw f#u}_1Ƒ-@SZ Z<؊w[~? +݇HkE?AoWC"U)?T~dF4o"7pQ4ckŮ tzd1qjސnVa-KFip4{ޏZ7 /9Z=*OYQ>kk΄3bۉ4N͈ f)`a4#ʲy&\!RŁ[Ā⼁ t!-'aO/ {הo  ]`)vHqE'UK:-Yw8;6`$le]xw[1:6t,֭D~, _x$@;IzAƘ8Cw={,,F\uI*FN!{^qH& f+s-4ag7R >rd=fJM}YP)nKhE&p\0rWv9CjjFuQ9Y'4bN뮬_F Ex@ EMd[]Sdm23.S}g7E=ơnD*ʖvqdK?&6v;9!QU"ﯯ~[ r1qYin|qnko@5ebՎ )zCn-*E?6 $pNTOA"u|uk)"P4Z"rӶ%c ]s?=&`2{Uєۈ-h)ŨL^cZ`$Gdj|3raYV~dPnX6j;L|mzbE`jJ\_w ?Y/8ƅFvi@<,W؄ЫOq/V$L2 p 1dR9>J(A0ϓT \Q(ɚ}bH<`G4£ m Ƴ݁WhV~d0Yewŝ 3^O,=s2a60nw;FVpR."q]1feѐ0;I0C-gk෬zb{߾ُ_;{ !BҺ#Rj*L4Lsb$y0 =1U:ZQcr"X%!d&S*7~ܟWAvz a :[Zk[WLx:ޅ56BvA7FM41xYĨyZU$D@9F:E*?g _DFA0lx1 v=ivGqO}9: ~ìb1p*C?pZt告Ӛ_Bu&oYqk̮7ʀpJqY1$B{W~ĩXm>s} >\RA[ .v6 섂[k0ldg%iJGGEޡvEt\^|CLvLdHCWWy'aJ=LRm Kl{늋.VmpSL ƍ Z&zWgYۧ3O!b.ѱ:]4;\GIQA w*W ϊ D1$v bs(I^Øٽm$M8Oj{ ]LB#M_z:D F@eIO2$h,M ୌPےg)5肚}ޤ]3-q03Ve1Fgo~9{iK߮]OMs`"^B}HJz'fOq> (y!znKO~J 8ʬÑ'[g"jY##*  c_=pUQdV,(c;{`ueYhɻcI ݹ>fb$Pv^_im6g.Lq_{XOsf{5[\qZu\`B~(}(eWʺ#_'qBkVF]Xn.?-Z1bKd$G{'Fgk-aĄ_dbk-Oo4;w l sҕ o nA @URTDCO>NpI|%kZFQLLsb@6|yz%@5Uh],0yj 'Qp/UDv>G\ Z[s` n S@?+>Dw7К OYwYr5i_cQޗ6Y**|oԐ.73MgBY!gZqÐHos &cR}:=A5GNu"q3tN.e|Δ[lhCϸh\ݐI5|v> IR5rn \:;bF0.mA"rJkhY : !|}{IڟH끛 HCk dkΦʏ ^U(,< GQ}r#cTU녙+2mⲨkJh!,}C> o`HZ$l( (`rΖIYҚسOXQkjQhwu 抮ڥֱU4>z8uϵsXKHL6Qvp5ゥsu*1V҉A1ez,0 #n, yxli[ -<>+&ʦCY]<ц|T=4l˜UH³B 3ѝ͇ڵxs:, 9б  >V~GebW'B!9rΒض4zdd`q\$Ɛ->:h#t˜3f6!wIäuAmRDMnODmFebș<梴~K:5W^L:嵑5oYLh&A 䄰;BC|"4: %3iɸW 8G[~9#(#j*"nOqЫ wBh2UiL.:e^/ 5?˓|qS![ngl0uwgG s>`1X@2 r7p\yC$  ϱ^ N(ziuYk{ D42İ6,9F-s-Hi>|@vZs4f6?{rkz#lXt(J'dQK]^mφvRh sv`zJxhqcXrtEGC\_U~3E,ׯfqQ҉1h?8udC9eRFj8rRJiH89  a|F lIλxTijH6Fiإo44|J0#q,woc>.;BoЯk|*JPUԀa TZij>ȊLqY 阂ˁ;3cQk$5I[uW*7Hf\+lz "ns8j܋ǎAݬEg eƑl 8z!Xԑ''7n5w $^2}{~#tCH c^?|d\#r`L 'б _В%yH^쬝< Ig=UTJ}ʁXǦ說%ֹ2 wMY0/󓴪}3Rpo-Tqޑ5gN;'S я[w͡+"sJ/՝,h)K} J;dC~Czq-*QN TBq}1`AuMSwi fN* 1Z ILЙctL}1[HܻRmZUGaUTN4pS\r7smdҊ)3p b;HIMb%^NEXϚ"mReP-ۤ+)0d/׾%L(|JpH]b(\ KS*?a!Р'gDNbȴrʒ˷ &z?.PYD(\f\j+U)s8#,-7#͌LW9{늮a^PMufýP/vFgdgUɜ_ h.0+0.q_lm򔃽EY5'vm}7()G6&'vqMSggAK<>۫ n7rLryy)OǙ8b|⼬%)~TaMO@J3ˮ'fJxM6 A6Q-C.B.ئWM`*'QV$~h~\%:F ߛm/Z&lAߺqp~#q愾W䓉Ǘr?ߣVbNR|Liε%D)b P>@E}=M\9~2Oe1АSP\囊JӮq9gu<9CԈE6|E(]Ve\gO/:^vk:ҾuL7G3&:Dfv, Vq,z1ҎAe?a"[}4ǹst @N`P+<~k3ji?>.>pN?vjk9{P2EA|GwI`rp1>.&G2o^~ ̖6-SxLE[ 3ǏBҔ䑯mޑ,m =I,0K /1ϳL [tIs&7Y>*e=@`j1Ɍ5D) ɹ.wӭ.WB\ߠ{oul^0,s2Tik' kE9]mz2U"ldYޭ9)0=49MzF[o(>N?G̮0aB¶#yѥ ӽ&YSlgz6Eζ ߎt2T7|AxCAY 8SR@iRMQZ2PV> Gl`ܘ6;nP-jB'KzTbS14B]B;^ M١2boL8bm(Χ&FG4wGͤMZIE^1+WKc0jb#zh,/SI?;P3l`I J%;PZԟ=L^Yo3D8,u`\HP{(*9)BֱgYZ  V^F81A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id520C71A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! :] !M젗OFK?aִB1gD '+JV rgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCoho7u xBf)|-krʓzM${7!ZJ=`oV{_Gu}β7XئQarCoon\m'שTg-FIx:Zl.s&`J*"k䯥T@qkϼ,ESybЇ$j.Ϭ#/"5jKe8M:nšIbًdʭd<ɁWl"{= \FL0x]$+<*wl(c<̢ʈ7r#t@+EFtr*壇S8_HS=Bb>,SS"7ɏ#J׉fZ!`B|˖zyu4CZc:YdV5wo{~Si̞Dh2 I*jPċ?cFඌy xt b~e.H⪴=7{ɎC~@~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iѝHz#bS $|eY*z88pK9(tW67MxfEpS]Lİcnyb풭tWY>K4ӂBtpn}`=ޅ0, ɞv-^Fq5_@F&+0 M _OZlI׺m}cv>e,x5_0.k"~8%-1XF|#⳯"nqW{9@qpÏA (ϯ?]O:|u$me>T $cۇe/n#WG! rt@v׼+le2 bI^'lk=0.B;#O ZiI۫5ƚgu`9_=$EK,#TFFCXX8\ UFGP݄Ŧh$,d\A汭Mgml529G-ms fUS!GE)ebT`cn5`Vˌjbr-:s,StԽfXzhcь\|2Sotb[m3̸ hHS拰/G+ D_s XJr_h9m1 lk X8:݈^|%') ̍j뀏3z+̰x2iO!M'qW*C2Z@NΓ෌77\5AԊʻ]J'"L07-xJf]L)傠R#+}~fs4nfjZ5@ۻMݙGv[n ȡ?`1_vj3j' e,3{J#ݮL%Wy}ԙ|oOqXfLxnw.+2攺 PL MH9 \z]V$y-/WOd76NI@lܤ#iqAc$m}3ypQmЈZ5D&a Tsɝ@, jNDZgYZ 'G @ ]  A_" ^S X U VFf" Y i t 4 B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files2B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id1'HOL-Corec_ExamplesHOL-CoD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupRC1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/filesQI1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_idPB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesO@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupN?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesME1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idL?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages;=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup:<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files9>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files&D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id%?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages$=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup#<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files"B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id!=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup <1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id $'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id 9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex iM;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texYCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texYGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex *%sg%(U o + J w 0 M t+ -7g R A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesK?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupJ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesID1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idHH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesGF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupFE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesEK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idDF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesCD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupBC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesAI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id@F1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages?D1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup>C1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files=I1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idQYkO̒CMeTZ+Nb _}ݶۥ sw!`y ~4w78P*o>vC:9>wFq& BtN X4 at3.>fGr', v ,/3V}Ʉ A]#F eT~UR\VJ)3D}pE却w=(#ȏ,cQ`omYw4=Br8[ΑٚP6=߿.@ l:#\ owfKhI-;ձgYZ#:1A# THOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! ] !M젗OFK?aִB1gq9r2r<#Ϛ+iJSX*sͧ;gHZr":.SrjCUڜ߰:R6tBd&]eyn="kkT!{-N {O/AE'eNxP1.WRIQإ薦ePG)ž8@W燲S֛Cz.#:62[ E%}(Ni9>6w ɞGe>S߹jW"cH3| ZqRZߛ;Ya =5`Z܎!`!Mt0 ÎW*} 7cz q``Ffs.%_cYJK7;KN݄x񻭷)F :L# My4|`Πw9PGѴYD Y߅OBT Qkspn"=~sw+y_?WK =0os)'n+Ӊs8 YM2#3bBYǟ;)ԽڃɘcBwtuseԯ|a >{fBͣ>2Z˳i[,ɻ/ᖹR0O|GRÒDŽ{TL iC rzJwJ$a×7p\-#_mX(PyI}$?9ϥأ>*ojxTp>4*hVEmk̭ 6`2HKD9%/?`֙̃d Fj*M{5nqe}u%x\V4ayޠ,oȌr53~5Ps8;m OP$*KڶxLyd^s TMSnz\kf"7ި>uh7hXJ& yj͆uui~,P-b]}l8ԵW*ߟ9b{H\"͙#i6;?͋(ؤ?} CAGꈿԀzM:Hg_4DVŢLLMVzx"'c̱M:ML/p$5]D1oǹB0KuGFy#H(k iØOZP]"?xsQ_:UƏ\gX`nfV;{ p]똚٬5B0Q[Ttμݧ1e ?_hx{=2ANфUr${UYi)"aڵ `6-DI%Ⱥ(!}vՎLr4&~ps1'1Dv+rƎ}o{.k]eȑ$¥VHMw_dEl,zE51µE !t_PEh2a̦~tlj59дMĿJ_e 0E8u=677~'tT7(UcCC4e(pp/dO5x[{48: Zp;Gu.\pqڤ9PJ-+Jsm!{=bME_ք3(b91A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyfʵNZ|?Y4$?J~fܷVig<MnO qnY{,D[vU KTJ#1cqamHCQymSI5phv{L,n0/3uA0z@Ē'<)c+{֦Tž#-f t6YV]l,!0AgTˮU4_X<{D ʹtE{ZkL=+Ģd H8B|8جc3pЃԆPojq8fX>G{)=%w34y\?`-tifU!(< ذi@Z&*v^VEznKbWE?fs |A{^ 6M1v] yǷ=Ms]hQ6s9dp}|cvSչlqIc_16Ww+͏L0?_pFX WiΩ/%EqM}'`-c6m+Jz 5VmX1 * cta}m4eV`PzLb m,-ňœn(ȟR`IBO5+쮻GNы,فn ^< ژcd:bh~>ns3FįXшx p2e%ƥj5ެ} 竨 Χ^bKt`QtP,ᱤ#~͌tb3` , O2H` XlOCk=MRqsj"?_y)h֗?[t/Lv掆s="H&tKOl0l0pz5_FbK ̽Rc`ȗY&ҏk_倅C/d=jv?'K7ͬkcv0Og=8AߵU$78ۖ^#v.VE$0l5K ^էkyMh,+o(*~pe)9{:ShB+upRĠaޚþGm~ :SKPiX=&6{/1%BɏJ$!^hUÍ{p`gtՋbp40JqNC$|| [&h3 F iCmk{4}.]Jxq4ṂF6iR.aňn:Sĥ@tZH-*C2u-7'74/lͥgZGg(.V $ޏ)4~JjFim] }8SY'&o^&75p I q#_&ҸLAPu9W/k+6R)~ u:EXh OFdob.;7DžfΩ0^M^-K=d5?a sn/WTK<^nU gc[۠*X5UǻTroʈb6IC$4\?Oq ŮLsOh >mi> gک678wbEhe6q򵠣ЫqN|M(F[J(Ag`d3Bs2+dZ2LwJǾ2'P2}4L``lm/IJ礤_(SN\ = =o|ۖnL wģ޳I3 Y?m,{5\qhw Kg{+Fk#XD/@p!tM+l4Xm>C$bkt>/ bTL5cz.o^/Saya|8[JA]UqmKGH]Ē| DGp,9'MgUJw%Qx{r">]SZ~Piiu)]θ<\wϔNëtJg_i׉ŢOg#ʪ"E+ݴyhӪ%xmnS8"+Ygu"C 9uWo󱶨wl =YnҮ\yFLq5I_Nk|d:+Rg7ELE5 ~cO';wσ4^/Y+_H~ϴΌh/za: }]uDXPz(pQYͶ0++S$Hd䄶UTCNxY6EzF!J/ ~ߏYG~"|\Bh1IVz6L5rہ5Jh6Z'ny _ѣb 5aCy";d{l\-\e6tNC} oB ײKpl_{9S}1g"`GSx.t#dYIfp7[7NӾTԊG Α@  {Յ`>ї!NC|2P"Q̖rvh3d\n-dKBAVEOlo؈lAH7c԰eU?&0f "(}ZVY1Lz=s}[Nz`evvoh{IPzW=sͽZFQ`\Jv'T[dǸoOH%BY% 5> ڀH%k͛M 8$V_ەQaS聒oN#t-O{_\Q=yPO{$Þk*W3 87˙gYZH;BY/>Q0D~Vdc)00Z@| N+k%sf}ZF+Ғ_ă5ڂL}Ѓo6֪R¤mkrO+"#Ұ:nzZyVJx{^:QήX}*YC 3 KLX8h)(ɬE2Ɣ]T:yA+(yk}!* VF1Jr4[˳|'TiViSDOi깖9M]?_.+3Γ"-6\SģCRc/}p-IG )Jpg[a+V/=dd  _%ȱ‹Hn‚ULy!1Nk+;(Rk/҄wWe+' ǒч yUӤ>h 8OϞvݡPS?jI)}iɽu)4_(FT::-FfwE:;E-+>u!сmAntCbVUJ= `ֿ(zp2Ywޒ]{ P_*|%U[lf-PY-H'/a{2}5y3 lƅ"]o&[ y BF$՞g@5L2IY } RikU^o8t쮬N.&cPqъxBQP38aJ!`\-=588xtT+˓ܶ9o 5xj7bN]RlE6%4]=ݎ=]f<H0V2eȽ*b˩=((Ӛ#Q[+s H:[{|wXzV?PH,s@bX@"0G usܣ [fD( q_vW:GѼQngm6BV/ԙWLqXw %=F^.ǯ|Wc _<,'2wnbĖy|gWޙ~w([9+~A_}msue KGW'/rx%iݦ:i!v]hMvUSk£-2MAt_6;j˱75W٫6FM>Ê#4WyVWj⺐dNeVgf3 %J=ͽp/^n2uݝO }qCE^Jv3bhUkiLJ/υ03!eZoa6TӨ$uMH4+7cVqUXKg4 vSݎ֐V~L7.c쑒90L)7;#>X[E&a4NULi [\tnq'#4!vWדb`@W.+>K;x}b\cQQ_M]HD;H9J O?!d-Z]m#m,lR','SzFgo)Ho';,AOdE <SZ7O"A/kUWNcTsˠ$W="^&E:Ӌc0'*IXc$+N/ԲN+V|4_zѣm  _6T~\VݪyJs`P|ķ2 l&CD]cF.m\Sf!_+Cwm?6ԬJAAOcyN<ʰ"(Ve`j_Jt,e͑#Gy[<+P8kӘf{ gٰ&;Pb=t;R:[mxQƁ줘ܓE).va d98 ^ʡjB"/2ct^ Td_ U'km-*Y՞H]imEŚ!vyR!idwWQ=.Fs`5Pv7\LU/? n:ɳ\llFks *SnD~ 1{% hqiɏ,]5^x[fB{RB ]-47oqTKVN"w6Rŵm=Ty$ R6#7NǼ~vHu8)=8tdPQV)D}i\j6uڨjjd GѤA[(<'*'#Y-Oʰ&=!"zGTΥ!e#"Eю>,B-<*UJp]!$Q@ gvцhݽ ˥P~=}WL+WŇ w:(N~N*,H:d/j"C<7pim Ky4"#mM E-'BgYZ U UvA1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM@1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id544D?1O' HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L9]D?7 {?:fH\9m^^z`>VQnZAG8z4}yM}Ҷ!dYi|%{t@D!1R+HGAU3i̎'P' e k-{lj_p%gb ߌkrV;*t"m~e l;uӂkr26>N6|~I]6J<;P O珡K /}P8MN8Cq{i؎ЍMhfh3 (:! Er}I|y$=6)AՅeX?3 ppdϖ]FJY ;O,!x6_zۊyb<3"FǥZEX#c״|r*oS.]XʞF(*Ⱥhs&L'I3ⰭqJ}Θ^(:ǕUY7]Bv#؊F <}}3t,G5Vr$Q>;BȔN32w8UrffkĥioVeO*-# i&4RV\_ ~lS@ל=a`v3"6NiTjhnL˚w=mGWZp8Y[ǫ M`߽YρmL8u}Χ|m0#f-@pLNz0bDU0Qqz/հ{ R_s4-37g,›mMgIg1Nձf`V#=K .[-d< f_+Ln(u6gYZ>1O# $HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ] !M젗OFK?aִB1gDmx@ڃ_SL0Z*ڟcBy@S%Ύ_qݾ<>^̈́`l~J^RjkmYETUPH,=Pj#nʖ6`Gm匠#nQ=5EpU`lL۩oLAN"Cxy'O8t:p)w˫};LBҲN7mc#lmdLeD2"مrt|!n1n]V|Z86QbA=&HJu>#T]ARV+@9ɍn㕑x͟KT$.7&slf01cŔ͊:0Z G~Uܲ0=P"{}۷ I$/l2c./ i闒,*W螰r+.%?yT<lūɉ{ڟNQA>w{,5{Rms&Uj) :B1O# tHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD *-IWɼII !6M[.@` _XxxO"$R.B}4댬am rxgePӾFv$ĭYPO]WDFmE,kٽAwiDl;yCa+baU f )NԚhFL8aUhU 7Zotrpcn_giY2S(](!}ʭ5~k+7%.];fBܡo7?K-ޓ7xQݠxH 䮜MƩ i.ۊiyyV_nu"mAǗMdLV.$(PK|[r/c| h*pesi¯O ([~V/xL7+2QQm.QaR)M)a؈c;c3q8{q~1&2m + W:g䷒@^-p%f%J }p_4zG &n60 `O4s9forQi%P,?!TW4yn2,;x<~*aHVtVi^4TLww༮J+ B~ݔ?+\z5]M?O3&8幐¾'.hD&rS.פ d7qp{fnvROxkı&ɘ ю${4Fr1ެaԇfo1lL^MogeRNFY@W'n%QL饹,LbT lȧg }l{ʦmЊ zE[M fei6ky`1(RcT1.n7,hOVɷobp ]}ٿ"L LLh=`c 4!X%]{ ^ޠG4OƍHGo)ƅ~zCi$V>ǥ yXY;k<Yj,HL5;\,wh0KÆMӽ;Axd*dp͉A2 C g)%5*C&6(?^ @9_p3WcmUCLbǵ'9BIݳ h#Ս|nLižhi|7:!R(R%Aq_kK}S+`BjnlUV'**qTe;~ ,Q]7Y7 {gLYkQ@@wocGUj 4p@r,r.c&U|@uyGn6Iwl?Ujhν#oT5@m79;# @O-״x;%X!E>HP-'cX-h&pSq%#.riUs~yI8 \LAZl5Y"ZƑjaA R6?ir^e|)G#OS8b*8Ɯc'uʅ1J Ȅ-K F;/ԛMhm9A/Ƚ ,0\S+ zd7Rp/L6Ffj/h&8y.: %7"f8sRq S*1pf' )lo1>kq> ;ILWK7sVD/PR:pP{|d2v=!z US* 2ыi b7npNw_["̙AyfZWeJRr 'jj7dE 3?x\<#z(vݻB~zg(wWRo_$wyb$ko9w4amgYZ g g$F1S# DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! yp] !M젗OFK?aִB1g٦ #k .\ykdKRJ#y_goc^<J'V@{#ƨUB=A`-cTrN @BO'Q(GvFV4 +`}9Li:hæf5_&a&{ {DL\ =t Mĺ[Wa~nE03)})Ldb~ܶ V.!Gnf,qI /dׅWAЛ'Si^(l.փ EgcYu}>'=wod"`D%ͻC'& o 3>{:c+7'fkp-- f pKpg C&޸~0e@C̀g۔.T~ӥň.zhVo8.t1 ]36ZI|ȼoM(Z(&>ڣᙏs}mU:"k z<KXa4IZ*e];lI3^ddBL}з[JP'3p}K[^w7 3iſs9*+wω†HO10J&F\FcOQb@D\u)" |-~iJړf"QTcF6JQݟH35+93}[y2Ȉ|-i>;{0 $\;sOL }]yYD4E8&>YL홣)6ʲ'w5uNj. rA*D&te %Ng Ku;^w]^M KRm?xb‹Scꀩ#sᰴ%JH !#t?#FZwm" ЌhEU@] ;x)Njcϥ@#0lH`"JRqABL"P'(cTt@6eH 'zgբXȶ웫^\ls@'#iE )i_Vxp\iKbA(e:I,E8i]v0%oLΉ;T~lJr_|͵EM+\ j&'?PYhbs7z@cLK]6[q:!7.K/T9ltp1ǖO R1}$j9(Ae>..ӝ69C_Te,'u:1ᣈ[ ˟ĪZRT5qs2D- iP҇,RyMkBD۰,%BHA[u7rC(3zc ,U v *:'@_MXHBnM-;B@R3+e}vMBdHXSGuEi>" labmuGJޫB&G˄,t; %:7ekpE@S!Q Ăf{v7=L&A{׷!v)U%ۇ`NR){% )^s2wض-R]6_rȅvwGƹCK V.,>A܍8`C88xC8}fxslcHpHED5#(y^\>yGﻣ*0*c,{ѐ^pM",Ðbh+!/\rcC23kƻ}5$,fr_~&ʐA,j JA O6Wվ/jkJ@B5D'?Id;Ou*JdL3PRӑ!CީP RN8cAm8YWcyχY1VmE;~+ q[טQ:(n K~oZ?ja+Z |1^F,p t|'sQ`>&DcJ#ۓw;/G DZPI 4g >jPtI}qNZ8r~į>UW13}JHƨˇӍ,t$2G~`%ί?ԯoűҁ⪜n:XG M'?{h[تSP0R1=)DE&|L^>bPZ5c^]!Tс:嫕/h=x& t@P)wf-tE1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyOD1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id524 C1O' u\( .4 ov o7'˓"1V'֑<,txHjb%/RTtBԐb6VuL5_ڭ_\zi2;hKmU,MwPlcG*TjF &;3; \菩p\ bנU`NB벞[&m\7ts|'1Ӣ*j)uy =N! @#~9հ^ km fv[#m]Qv3<| wC\ /ΝdpN\s%J[bII][Aoys6e'~Y!sQE,(cFC1`OaaU{У P08hw>,D[iq*\T-|SI=ϯaV$T! Oaf*_IdwZ'^ԎfAr+䒒*1AT˯`/I8 -I¤oIl̃LU2.4_*V3x?cUMM=kg;l?&WձgYZ*  J%][E lE8ϼޕOP>rl\oxb<\wFU`W"ٚ}: (RJ.E ) V/0rڈK9X }*8o"q)A)"›ۀ s# ɵk}y/^ RA=m fK\nrA#N. >~"P,ƾ3c\4J~3YD2rK䚑GDzhw8'{?",HS11f'Ņ-7fkR {JI_͹ *=o0o*[zi/16lC:WM3/ǣe7YK 9Ֆ]s@?WB d qyԤ }uq5VY֬skq߿ W.?Zř/l薺pq_%1G6r*ܾ:Cr##*J0 euD^aBωBoKɰ4Y:{ m{oPhFl))(3}2BHM떌( h86$Me ccԄ-J0(HM "dls.c0B|s{зd SЕqk:rt?5.ʬo_%pTf T2n ǁ6ʷkm&zloVJRd?_Y9n*Գt0fGbkH&bv08$a#Zg]5#N53 >&wT; \85xU~k%£e Pp,/TA&S6X/k|t|y]n|uX>yHb[OXآ\:lP`hqJFm}cM"EhQIScgcIUU!k.^Oo ~h٘"*`Xͩ'orІ&zoMDv~pH̊` * U}8Uiݥ4]EES@D鳡:W)g{>.!" @,V-z%S».0QIXS[b (CKT+Vuqs[6g,|0NȤX HgR)fMS1?Ggmn{d)/nd߆$DHc c7t:ϫ>b"#bd5xޚGo5;Nljsx"x)U"qz.PJ0 WM gvj @&Vopto7mOU:L7ЈK. ZNE!.BѪAYl,U (2(̌XҪ)yK-S8~w}=;>aF\@&d 98{xe@PMi=fp(3u8|۰C:k$}bq;; {; v+&CEnOAtHw]=hzUm[|/ k ܺܣGx_ZIKnƙұGG0[xQ+Q Md_ M޽~Чy;BۖZ@XꇤI4QzVNrV 5Lؠgj-!\.iWvlL\Ĩ!V Xh2%b[fxrQUJV"GZ؞X j2"@OkBH-/251R\Nzt6 xKZ4PZnlz@L۶J|56f{j 1S?oiߢjyNvA0Xdzs4?vcCL^y;w՚l q7Mtg;.r4 |`H.KFe~b^5Lm{3-_qK]Ҿ@t7ze+7ٝl-s*H~FTy\ Rd*ڮl" / &s-#3$1W1 L оw茎G-+a,_(5AVց^޸>CtH~Qև 39-,?BIŋhCU>g+0{bWo\v=|`S<n`VoI'}2-_fhbs- m4Pϙ/a|==3+(Oƈsz,cŮjf CG[vkv.BN?4BZ?➏xfI^!'.6ܛqGt8?!L5dBl=!yO:ejDՃxT: wos\DuCY=T"8XQ>WbRK@Qo8;5LUD]Iߕ#-bJ@%YU@q }{4Z& LV4?x[[IIp™ۨ XI5%Cg>iRCOVTHaM5 6o aC5B\[7 XhE 1߭ٝ*^'%HzSf" kJCҹi)n+KĠ$ Igd;U5W)zF#ƀPֲDj ~3g BWW9X? 6ూG~m2S%~if -\I 2|5h" U]U F+ź~j;]݆D2E,xݑ%^czߐOբ5L;l]UF;?u(}<0wJKYܺr¢#5]SCkWʭzCRձNQE|عʀjSyۆ*ٷcU%R]SVLY4':.86Pa]OHt$n;E qkS ? ]8 }a!)BNLwiMFxLY(8Ǿp3ֻNQ{OR%ٯLv<}46*RRjuz3#LP)anGqp,~+fM*% aqac\1p9~i potja`W 4WJ3M[B.Jn!\[ÕiB$7+"͚CZ%N$ FDvR {$wfQjM=$br"p6o갷򌥥d2/KU?kG|CgAxhȊ(zpGDN&v@QMr\}g6%'y?/ Rx/AJ%ǞhkԊ4dpZZpO˰lQ!1BrdwPOF8*Y|ۄ?I6ʉ| <@p m.гaOMQT?`M; ́sf/NDzi9QHr)ͤɗWfsx@JfX%.Y Dy: X8^sfrOnM+YՏLLY4{ SmtnI9aͮF3|4&xs^j͆~_3:f@Y " 5/ݐ|;h:ow2(g r\9ۏ?C`I=;zȠG}_5J :jtvsx:p(Zӿ -9 { O\aG2Tc?[:1ZKm; k/7V{iZ^u:VяwS:EWLJ dn7F~li@f ݥmf2_nw 2J2ZCH4(eaKF\f34!&Aʳ gوW?A#2*i4V|_,}$ŨYoO]Ge j`MI ;23;͓9Dv[˂X^@U"ab*vLRm Xar0OˎրO4A;T[`QYט͗ZW㠱'|t4Wu=׃ۋCsOJQfkwfDt2oӱj9yWu>\sm U]-4|c!%zg<f`6eEČ)20>V-^.tIul9W!8 3$S~;ϔX.!r_5=jT ,_JTN[,Nѹe5 3k73OK-`^ !Ѝ5I0TXd=MضۻJ:3.`y%m6deJ_SMF~]e&4ޤ2NiDP]$?hӞZ6&:s~1QT:w\[xoDr K\QPhN#A%(]:ZVe=_- Y!4;opPۆT(q ϔ6)x_DDn7й9Bqd\i=}q碗ddvrWiTQhW~.BL*)G[-K :<,?P?䤪sVYޞd-o H+Gr9yǷ T,8 m۞΃UͧdGK!U"FYn[oʺ S2hRC݋gAl^7Fw GbK)oCps PB~TJG1$#`ʵAȵ~[wNa38~,O0?~>QOH |#ܓQrzaSj2:|)r΄EӒI U>-b({p!'[ x+Xo(:odb@irES7+0 V*FRn} >+%<2MdzME&8a)vgQ̍ h6KwZ1|eb] c۸sWNe+#MNk!+AF,%<4*qA8{u˅&g3X {%~`m 8 G E jS{7hL5!W }; -sm4Z938{'\S4tqKxa=}h7e o7a gH ~J"6% o)i4Jrq##-= \+~.Nm]3u'r*ϒ*ϙ~s{=Cx ӌZwp67Yv035OS'uHićB89ZZff ,68QRFz}lT瑻5.\D.`52M16J h9]S, F)pt"|o}DXxɓm@Jo!N29 )Uwa)k:,ԅK]^ѓڸivrp{S|a+ Gu/iK0X"ˑ%3S'$`;{G1iN@Ct.+0=,\?//GEb,HC\aiDgB3m]Dq1|"z/'/ԛ?)pY@2E7c _H#ctE Z@7<xhXY4T@=in6bʃ mbL:xaqN8lVش2:rםuqįn +^0t U~쭆iIK7)ͨQ+`ʊ^I6$=ALM)OEal"0<ᾔzgf}p8Uu_AGkbk8d81JI- N;SEנx`9wI_?@ ;[TPX#t#5kcbGzW(BJ_X tloS[|h=ڪь꽃!c f(CжnczYNX ei񗊆s:FjOzЉ_[e'0Qwfajk:]7B{؎o 3\^߯4LgZzm*nedӄ {yoŹ; Zb C0La捈ԨK@)K\)x HI`.wMm2Skׇ5/hz*twi?2pá樎 nUd`5U͢) =6ߓﷴ8J-#G]\'(S`t1,[.EsMc:0*^qÖO9/̵k󠆻-|dSY&-SH{0譾m7Ax{ )uk')Vk`v>EX#8,5|ZzI͔o{_GJEi=p*FX EZij#zFϛ0jzE w#1#& {+x>)t52SC+y=:/d2a1C>ԞѸP~#Cˣf_eҀI%@IQ+@=P7UA=A$ԏ4΋l藞'Ӽ !fTKlf$#K-▓,68F7<(pglm.vҷ6df(9@4di;>7) ږ6UV09ȻmEpE (8`x5gfHk|N<~![!67ؾx22sIK$ 'i2=߶G]e(+B^64!/1uͷ559Y(LHOﭧ]".*OjbZ!% ?iАv;nHaPjX)vU9q4 UF,S;:ǍI%GOg69mn+e G ٦֫I]U[Xg&gdrgɠ=K=_Gk`vv[X}9X$WӴDT![kZmXzG D d0D:>>Bʊ_cp<~a~tt9q6;e,\bw 8{9cctg~h5y|kju8SzD`\Cvt(1+^(T`Tg5w 䮛*^G;*V֭4ɶIO(Ao[9ΐ.:n(tɦ - r]R '}uFb1'4)X؎ڙP|gQ_",=m#w ц&znz&꽹G>JƾB@fEs h  @{^X1~\$;s Ζ_ M7% }h#f+/3*mGM\Sֺ]->݇9a.N0.TbG?$F{Y$M&ZгP@U`iXF~! :T&<#Հ~Yem$&/и=EQcMi:YN-UI:6V GDiQG݋,PG( Bt{W >}Zh ֈn'hͰ BYsy&s`V:իFOOu0!'g .OM+I@6G >b0%ۥxPo%3a A7z }IN9w(y¤*'Tncctg'_K~I˅sGޠvUhUS_h?ĒZ7Jiѥk:PJ\FEcN,[c[t ?(4VѯUrZ4 sdH䙾F\JcT< /mnǑ)vKu^F—r Bwt4~\UN|FMin¸&Q_5q\dNWI$ u>Q„%ɴ_5:쇍_N5z]\R>P:[d UHerbЄyeNgQE\RSYJz &Hp$(Ges?&s}<z6 x} `مS9?Zn^q2V+B qιf|oaĿ\hu1*jSwI?Klw9>]xPF_.~,X 4uS=a-Oc.8Hy^?MYEFf"4qx#S8uCtRqxU=>Nɂ%C&3t>r8;`\dUUc)}(オcY~bj al$Y{-vҟ,W(Rk-(i:v7$haoBPrX҈c)gL5%nCk/eNӸSjW,=v|GEnc2$ cB̼рBDX,"vT˯Fk @CaoɃ}f"\4Y~!0u>~nW{ nr;  X[8]΢U]"wtPeݓ'咶ӧQW=?.Ȭ4dh K*="&@\աiKuة>Q}`Mj@\I+SXvZMEmyW6%Pٛ AVY7>ˈF曝{' eRvaZ>QDXsb m_ɯ6ı3t)h߇s6MuX~)+]{ b = ^?dd]IZq}c(0v"K0gro,Y fALcN+ RmA8pn1`U,s͌>2q\S  \o)Z~d!C&?z:sӊB7/|HsuY,wW#o3O''ɥwqB"y)pvZQ*v{Q'yű)mТN>뭍HAqAGWq=p|J!)V]+YCn.ZHU4$7Q"TɅUTs"0r(Qst}Z3K+͑oao. 8*?3ʛ}pȼs!v?OZtd !b 1.<±MQO&~E,9l:H>UM_1Op2.*]M9eDyFqrAj]=ޝ/'/BP}UfeS= !OE"z?9[Ԅy09BN,v9 <::7Ei4kWCsc >E2?Jɻ̜ѿ kz̏1ueGsR O2\N4Bހu:~0=(Ę}2!Et gʥ`n>?jB:ON^zҩ?"?眂nmMLf+;~C{ ;.^?J%B55f-PHWik:s@+MĂ@<[\\UU \zqD }=.{6.pG8T/ sd'H [)XHeՉݏj9U|oj*2 G{{R:BMIIHѓ+/xջ; eLI]KqKWW2 # P8ǾFb"_zFR@؜sZ0Sm ǷCIW 9Z 6'Ə'E\龟|VDCg4{40zbf0ćjfۛSR#w d0l%Bק+^0vf0D@(ֺ=] ;<]Pir{{'Q%QX82e>#1Y@D4^+WU)-LDq0.rsnW綀fb"%iCᑸ*|aWq*Rz0?^VL%k^*j="Tb6Z2{C vn*دn-R^\&Whk -U"He^>6xDv0;ڶQ%&}UX\ٟ/d܏368/xV#VȺ^*'ÏZ-u+yDkq rzYuzJ >>I ]B2wCb}j=uZ9+i/`6FXLIZ|,'l q x":UrUTC6YH6G|H$CxfW>BYUJMpN*0b{bh Í/byEJ"ug+wUm7ʍurŐ:,Xp}VA VP95aFq}mEEhϗFc[~VJ; ,\q5}#BeB4B89PqOEZ.7Jmn%JK; Qg!HZQZ|loW 5 gQd>!ɳei$wQl&;& < V{md+sy(ѯԱ!A`A؜bqd.>UR.!&&-~t'&4qB U N6f癦WTW:5H_[G} "3/VB0w C,dXN%X ţ'xw r_{DȟӐ_#KCniFw-24?>gy>q; ~q"\x?;߯*߷%obag&f<;{CFo}{JyБZ:BfMxPca5pg|XvfwXіq]rv}? ݋ɞl4A܃ pq_11 ÷o`V(,<{~ cQqh˞RW"1r7sXK{&z}TƳhZ%fF/%+y?Q1pW t/Ipn"AXQXdUТkpdշ=#lH[|0 ǕNzqe&%gr \;&lݼJvq$C)eO88\7zS:bfLψHK^;l}$(|NzH-_+Φx9^W $*+w/ˏ4ͪ'Ƭ1L>Dn)?KueUB0xџn/'A@i Sh$='5:A> {UG>^S's#~e 0];'| >͆Yl6L8pU'a{R ;?j܇qJ^ܮ4tyg>9F]?{OKٌD q༫/Bxm>2h>ƛRD€6%@RWL~qL#/5:śđ:ˈJT0&U\A&qB%Ե?b.FyJM Aұۇs>#*{LPv DᯨQ 5F>|\vv]~xC Y4nS;ʎAFPR% 皰0$@Ix5V_|0/ P7fQ.3{;iFTXiٓ hL+ PDþBcs1M75a;b^,Q V B2s'oN|©jG#WkX&*ZnPZټtiX/I*{L7lpbL`5 ›3HPoSүszs\InxB-`~F=F)- "$VmP ^9+cV|L&w:77ڗG{aʍѕaWR߁W`BX"އ,F4x 1M/i+ҝG;Q.&EjOSPKȬ@~F;0)g|Og̗*@ j+@QI1M jBW4A_l/KUn3jbV̟T t@6t2%[ w[ mbjR Jql>Uc7}wS{㤍r= rDZMKOL$p OX2K+412x pY8pzOLk۫g"lvgFL rMj&H F_u!:*1d Q ABmkji0~iLjfNg0#Vca[; BTB!ŗ_< BR10=H5ufumDy<&>-"`FV;4* /KMĈOɱ3y*w]kOkJ jLjb$20teb C1OЇK 4nS}}__.d5yZ / qFy{uMcscB#@L,R$ݭe7Ey|$v#tM醭q yn'*o?U>V`Wi8R Ʈ,ߖdLSa{P.C3lWGߡhauE܂Hn>Vj2ӿUYd?&{LݎLqCl*L D\tm:zގo{B~[X-@5:\5=(p6,EΌŢH꟫7SR\g+'E,[h팏*S(z0M G EM}r [;\8TZy-~u)Pb6ߎކl%nC!C[aZr{jps?;o'ݽ/(@5-I onig[8m2 TZL|D˂iφ:̓^yP ) gzچ^]7{gi|`/cI)#ꬒ@t`HchmT)@6iÓaW3oq\n[z>Нn_O2 H@}\o񇟎Z$N?!K0Z93Ā[A\O{["kQ]NH& V 1/Ș4ƔLټAUEw ۣ8o1swJID1m1lo"O\4?"Y9JZxe @)KF͏ (x*89w qji3C+L=!]X?u(a>eFɔV-G}Z&[[hGrca N" uݑ('^:t%`zOe lTТ@7lX8nŜvky FQARW>5J?5Gx-tX1:Ҩ ϐu@DXQ1 |Jߢސ^`0d+:Wz15Gb܍fNjP bz̼AIKgYZ ^J 1E# DHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ^K=\] !M젗OFK?aִB1gD ?S t,Tj4 *PN_$66- n(>;jWVMBB~sK䴎8:Ub&'`BXiR}ګi? BY{VI(|hbͷx|1pK|aѣ'}a:F3 N_Ѝ'AbBp3e ջ1fȈ0.y_Ɉ͠B{ ٳMfk,(q8;GKe8uԢ# $ д́OmC0ݔ>`*-VM 'Fߟ9f)̽BA5Frϵ tBsM~Niv{gRŮS~  qKF"ZjqțS Xܢخ90-hT(v>ELlh2g2fK̟! 8%c0 'nF]r&W}˸q$O0^]!$ ^-heKV9Z&lW`㼓M~sGZ)N-vgqЫ{*U&T Q6וyȣّxM&otTjs&hNZsXw J6J^n2;Y[3ޡοOKJUPW@G'DAܾ\J^13N.?~3%8ԏ&Pc†~z q*N7yc5+ُk[(TjI 9FTVş8owvε*~<Zѐ1TxOMȹG&R=h4/T KW#$<]nm>n˘~iJT[v'Οi}Y]uQeۜ1x4p(NFz{adzȯ2&5VltgB 7۬:G c%jk.0_TVۤwCr~ko²E?||xN毣5F4㎯%_*pm:xL`޼YRe_z+I,X٪[fIa"6qƹb8/e't$JF@  Z>a{ke HP:,iAm翸[ |(I"z `[Wx#9qq "c*ĵl~Xnnb[ߎ*IGd8eiǀ^jbhEk 0z@oҸ'~p;~?#<=?z}6,uM~9&XFlY]D=niʃD(7* GF>M_DD ;50g~5H_z=teEWr(efn0ܒ9\/jiʜI}1]^YuP` }{#V;W+v9MM?UWs=/+- .8Ÿ)3੨0* SZ7 kEMuܵV!0!5 %_v!r46‰ߧz{Y$5nۤ=R;ō5eD }k >麦^OAUv ozWʌej^հ|)bvG:۟S!UGb\Y6gd?"R>FI:>4d:33\}0ҧDK2mJmaL^+}HDiS Ѻ 7`BZgы)s"&~?/5jdG[uY}/ ]^L7Jsݽ&'~5!Źo{NpA[XDu[p>9ۣkň/O2SK3h7\Z#bԦFg):QvkGO mz Ị))N?V+3b G kPsh%n 2uE2x K=) ߶0yp{*cgn*pmGK8`c' P{ \t\V%NN?A$w3oY loEuxjA'Ż:y ۦϾuc:Tݶoܺ>:﬇Lԅ Q}Ƒ)BoV_*ރ꿪fބ[8LrhTzf*(B΀U6_}bwF>!?0FBfR5<85hVi``l/;C ݖ skrArc~TPJtذⱷ'"* `I7r%˅lSZǤVv0~ 5)5[ R+c#C^N{tӽKRB56%t`NM Y^64SOWnv/_u.EgrLڎ:k,;q2Q-D~eO乎 Wg睔|`v4ROZ5MRɡ9W#MIq[J?r' qPn}uS؞ʦ,9)GKF tk4bG}e!fVTUJ/Yοq4gb$>""IgmV {F`CfO1XirNZ=5W9 G1.G a$;r"ǬUz)wYU,G/ b{ bN1G# DHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! T/] !M젗OFK?aִB1gD '+JV sBYUwm4=Qt-LH: ?mihǔDozMw&bү[j]E\/k./5;ٹX~O)sn "FXv7KC+݆dCR2M %+4{i8'/ȇu٣Ж\iVƁ쭗t/auH wMN,|yrݾ.q: ڲ˜mutF1oJŽ'Fk NjQdǴ vjFln1:7:M5i,Irzxjڅdz222Agd&yt?"9݀{!67W{С$OwCRPxR*8朷Κ(OR[wWhz K?D/hΥu- 喾@Eȕ-%vy0 (NN[ظүcܨA`LT gދk>행~ +'?y661m{KbGBQc&6J{ %çrN`cԴtFOeV2թM_3,as#,%j7R3!H24]G,?<[?QK(Vp;-\VNWQMfq? Bsi^3lܟ &{hʤeG9(лE3MNmnm GD<9s54lȊVwI~8їVuPȘ jMx4 ס0z-Ot $pd</ 7g}>:7_Ĺ{i :-|rWVsa?_+EN9 *,qo>뉜lk FR #IpO:,=e4nM1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIL1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id5327K1E' tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2/0_8_r_~uk"y=D8j8ѳ_I;-[ty Mg7=!9t|(hнj>jɳ%*>=b*T1MrfQ}QF0[,Oiޜ6]R$gLUw]L:"@rWkJ %M^OHW6F0k^ᨵрN"ΣwL-xgVN&y31n X|51R>޸@$ɣMKǩ^k^>+ɩGI+ѓ,/a.Ie(ȣ^g-oR8>R}cpq M{hTHfÆ~.kD/eru%]οwjfl(]N:3"*s (s/T  7xfkgayrw 5 =8L@4aCŽr~Bwjg o1IM{ֆ(<tٔ!,rgo{GOXW @Eb8ڗuQ)Ea̟HFZ9'I[k6aT^fH۽]'V e,/c4Cw5U .t[6X h(S?ƀRq c$:D(SKǧ@h;AR@&-@Lvi]~P_jV與]0H Lhu=G06"L7v52|~@Mf6ˠO:KѭT ס\ߕzF_ 5{LΕjxhᡠU7ՍGVv;t=ڕQT;[5'̹PlƬb @Jn;<#;.~K_ǯyޖ{ H>Wke zasz'{|Kͥ ND\ٚv%;)(#ڡĔ'DUAN5{D*  %4lߡ.n;/跧L]9m-ӫbUOվsb/wziiJtki{h] 2$ZwY qu-43]AVsԨ8 ]8-H$zi*>'h`V]HpdGVEN[dgO2!(`8T[~,/k\+ O)kOh#δ!vλiM.&rE k]u_>4!7>8TVg-vtP{ P2!w>{}'ut,ABݞi#p~8h蘸Hn@ǃ0H'`%UjZ!ʈ]Bh\b;CJ"vXa`5 bA3$R JnHx r<>F]*}Y5w 0^z䧧K fs86pAp6kr1e-厡[ {9b~[d>e5bҳcZJ#H)Sf8.M%M(a#\Th*5<~û7ݿ^xUY,Y۹\k(FikMMx'2$*oŇ4oZq! *gYZVn3y4ye#aM>:kʔ4MI߭ [Z0F:DfJ%iSOǜ&Ls1H-F , 5 #C8z-&W#Loѭ˘t>:nf)#sFY+<>ݟů.J;7,ba"WawUYݨEzVOMhcٞNqewsNoF-`EDxmysK:1?Y chqVk[!v-j~ڛdaJi D cQSbطWF-b xA~kwŊ^7L9kޘ!B &JՂ1^7CS+Q?&퍕CCTh9BY>"|Qgޗ{vNGq:XBt`CRȷc4sj7F*ZvA'z& Bh~2=R-٧$ ڨ5'qJ}e#D] EO\.y{Q0Lr"CI9͡bf?P!V D OB;E Qʞ OA=klWf`7m/f8݆M$Q~S~O$FưLW#ަ~IC2S>MK+q-r?ʉP՘{ yw ΢%ghp܃aLMs'Kw!Z*V^8wߥỜ-^bQ[O vai5>J^/0H79L5OW&w::"F X)I:mώ˃Bn:!, *qQRCO?L֓Ƞ!OD1Gy\ tXIj7 ,fd@_yR=D5}\ޙWd_~G5}`4cFY$^g#yڙ꥛{AKۘ.ΐm\q1? 8|Hz|O)xhp7"(RgwYk<"i?7tDT]p0yRoWoLAϫfɦn>LJH$ןӵKPΨR%, `!0[|*qh3~rnQ'ū ؅h#b-y4Lݞ/G'gbc?Hdɓk>abݔZ4K-2jy'bA0ɒĎ'8RFIRmN?n?USM 5ni!6x-~ ϐoʂ5,K, dZ\c٫W%mZ.Qpx]9)C" `Q_Ywm2&:%:5%+L*.˓lڑU3=ұx# T.> 2U(N ,,/ S!MqK]h`+ޚKG!c6*i tou x ڰ~P?01Qh;EQ ѽH; o}*H~x.*M#~A.߳'+o)t}EAD,m,AYX:ۀPB_PrI{^0T AvnIگE0} XOC t\ RKgS.bc l=%3OkF٭-BtE3R?҆7a5 E|әZ_{:cPWF`3 M{%D*<&j2NWRA0+69CKqfЩfM5`uԨ![Yj.%5"::> !ڱ] ?4>lNwT7b_'5 2BmNdAr==i%>.:X@\iË[ѿ4=<~`z%Į!.X^$7NϦB3YRYnG`DKloAZ9ѡIqܪ68'B.!/oS_jCn=eرdJ ď.#,4oT",PAzp3mZlѽZxN* Ŧ);A1 sދ =/փ\}XY|656{C7wph7x  wye&\ M4;ccv*|=&MReι?9~i\.B+_0'rPݓe={O) fR{\.liWibp)b@a%jJҠ;oX!);YrG*fa:^%$Ts tٻ׾o rb}a1 ]EY+R;EaU9y+ h= 'ؼGQ5 ]^Ul-L Y0%q|H\Tw[`>-/C:j^S@xث>xh Mc;Z^Tv"E/6Q4^ XE'}Y8c2x?|Ńb&u*(s1[&1\ٱ)vP/%Cv#[|7, k n'FIR0NGg"2d񎺖TYɱm(<ڱėg#o34hH* XA *㛱gYZ  E q " EZR1O# 4HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! 3] !M젗OFK?aִB1gD &r6ɂi2Mh !%~Mw,oɗCl1J$1"4w3YOtg8(I8{MG#d1ǚs}cH'䨫Kʼǎy_JK+3>ԫ\70Yܫ#SXiy||OgWe>$AMbh$%C*tR|PԼR^NZW:H!ú6+Pej!S[PR %> #BrX'3W%gtq@ *nm R CG'_+Ozf>g hv-H~U忦DO+ū;CpJ(1h1ޙK=A96vQ1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyMP1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id528 O1G' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\1X}Zΰ$V)euO?c7qďsQe0'Z=m<ܞBd2LP5H?}8٢w/UFa:TAA5#/+?f>o;?fncuЬLIܮe񻔌0nj?H ˡI*$ZR3"=MȉXS!'bUh?iz,>+Uƿ6mb<VeAkiwZ%_׆* 5NPB"zkNܱ!z& "4E@\`'G8s.:)&/oh߸k0YlTa~5Z㨩[S5.^"Db=!cN1T-m%~H.nb"#Aw$V:Mg/6Jc]*L_P\tP͑C.Bf L3(E]h yhK(O}*&5tBS75Mt)ѫRqj}DʢO+-LXg˝cӱD-%Z^ z2yK!`b&ǂ4ʻ]W/C^SbAHz]͆vgYZY 5HrkN]B{8]-Ho5~o1 0͇WD=+Cز5]Zr*mҪ0Zw6q k^t'r'äN=`W]1Q#|^FXym6`SD,4$$}xlxbA;n+jrߤ=C=yVKǻQѫci%uo0/ 94Λ&Ee$ا<%0Ѻ++O>AH@C]P\V%b.nrΥj).{~R Ю>32#}zؒ>mFD!b2NM%BKq5E@;>Mk:c6Nܮy5b291îPЪs+u@\nr-f6ذ2 ͩ|Hf*ђjMUy_+60 &ݍ9$rV C0L j7Nn?$j T|/6w1rd%P߁\*V6޵J4##}Z<2Y.J{b%Gjy#I "~h}$/{Gc\vܜUӖ|#a]JrHW q`60>[0> Ո#[cnWHY &}@¤KFLK/ZV BR\ŝV|i0L6  ԘDlOt<:1( ڬo`/Qm[4qCh͖HfvVF#ۺ#y P[0mK0\{i&@P[r -S 3\܃Ä́# jU kJ6H06H@L@[,bGJ޻!@6zY*b:ZƬԠiqhO6E!+~S4H9j} X `/Öf:[ `'"Q8NEf]T_)21_+gK,/H˞>( ie &mOq*#hh;U nZt׵^-#H_ܓ pъy#+PJsC&ҢfP@d@M JH0U:[p "sT Iy$1Z(K4݅wh=\[Qs%ڻ=>YW䕺n$1 } x Msx #H 5{ Pŏ~k&}TlnQޏaBcy\S8ώ@{2,~;3,NJ`3w7]iT¡qI"k ɩ\m2b<]Bx$. 3+?X(؁ J[Bw5j`zxӃ:U1yyHGe?keե@&UmͶH˔+D  3/)9IWU+j+EQ1V悆^M0 Mʎ {jz4~x.%NEVhfNarɲĤh`*VͼJ{us`NK$ |KtќNѺSI}U#l4u}F=dE4 ";rxAΗjv y9()(OT?p6 T+F/.)〮B3$??j[+@UI'j J\X|w+XF,]S5{U_;-jS*!l"(5cR{J{+rTz0IY۴p VRQC|m>om|;K9R]i+5h4#MK2ErT\תfR Msd9OC=SYfB} Y-TX&2PP?0wC8:yj{f-$W&kN܀ݜhJ]quvfA9qߣ?UƢT96gN ] + Wk [5T'CnA<]1ʼn |s gZv#iKL Jgc\J!ENX- f嵢VU"7h^,oLK 6Lg,U&.JTQۯf^1*SѺ=`k1o@:[$;U_3J4_d;͏Nˣȅ6\vᣗ& g>m%+M,9=BF|P՗E;~u+&T} ?ua3_ n"%i4$Us)y^x~*k26ˊV_ &@\+w?M;8fZ"`|/#.JurLcfrv~-B ?ݖDb&ŊRG|vus:q1m'uS#G+"tgSlI9pU(F8 !fOƦai (h7@P5| @ci~ ٍzA_ awE`D&;15i,`'kɹAeNZ"Q3V!`ic#{ξng aR0$e|}(0]y,:^X' Vw41Aɕ.m qxT-R(ܾ`R齌_ŹWY )+sڰ Vjˆ ȳ<O8!XAU#3*Ni y|hyxY EW_ROߴIUzMgSӒ @Аp^֏Dfz8 Ψai=)ߞk|-?n!/'Ls`)@3|lgD$Ln2q>U% w0_fWpk$7rvKE@sZ*D=f~LwdE[6 |̼NotBC枎m|oDm %6=BVX7}ERe'*  jo#0!OgYZ8/F_MKK yA,Y8LJ2ټ:? !|GPuA`0hY17TxU)bB1U]6 FD,y?~%1d NƔv E e=' ;Q'5;O|KY.#%샺0 ԬO5jMH K/$26MΣLW~&21&+uDyzxo:V"-[H\7C.;<7/=(`oрYqE߲8pkq!i (7sHU&zhnX^r)cܠ VtZzrGbOףv6n:‡vmUX+`9]QX )t6ʣl_$bnw/Mm:^e|.@ ,iM0jZ Z0 k a*2g+0f}{֓2A_r!c[s)"DKx) j^8ԲqFOܯ]TJ9_5[5o*ŦuމML\n v$}[߼$ _i)4]Mjy=}Z:,-;"#v0 Xw)ŗ9Ya4:`5r ExdU& :"֢vlE^ gq+ɅW>F?/˧4cS1l1t Ʋxv)4\}s=lyL?mAt,ͭ_[?KSpկZiIRXUށsd!Hkޢb|'Ӽn$hY4fx_iz'B /[=X WS!AW Um5}eʡɹWWF ĭY~rk3*T2`7 n=M2#6״i[S)/>40*j ZэhN̺*WK +8)~(c?u2A-T78i')C'hd*UmvJRbb61@@i=NVSJhI{FFB6`_T{&*)3D[Kdy>F#$Fce:g@;rF:őQzl =%\ K1/|d,8ᄄE74 q+;t~F7 ,ts 5p9L\g4/IH!%/0`Rnݢw~[ر~l |!fmwWυu, sKPqvn EA=>n[C7 [t]߶P8yN<EM9̡ | >HPtxfKt5E6]&0TfM7taՠ\;R z(Q,CRcT(_]dwZHc\*hO`'$[&K79*"tUct/{: {qFtpft@z UV{TX9h+r7U FJ;B+8[DTԑGq ^A|5%6o1aH$zSXA/{ Kj͹Y wm񩶁;GcMyQG+Q%Pǖ b " ~Teu DH'蔯^Gj83OΘ&Y]Si@ | fiLFk˵F#1gv+[jfR Xʅ 5y:C9~cYaئs;dzI9x}SԮw0K~[)-7>yE2Xx +`) I@hn2j" yӖ 3I#8)_Q6-2 =݋EЦAdSqL"""HpI0UG(.T3sd P,c;zUXs26 'SU>Bе{$"j̏2 Gqخ.Q쓔G`,y5~~!b4r)h!ż+P2\ݶπoJ5{~T"w*`iĀG>'UXOf^Z" Jŀ%~%CE}9uU(/ sdVNU(=#5(4=f=;F{6KԿMl~6Lf';X3F?qw$Ь[YA _qi? ڰ&M&8Bn"^H^.<{F# }U1؂+z΁`@[*a>V9g~ h3)) Ҝ.n?ip8cNҶO8%or5>s..P*Ģ} dc[,ڃsAՉv5@H>^*G5o -'(Idq"(KaH-d6s'+Zy8aa*}:/ TLX^Q$NJESM]1xiT.k s^IޣW)э/Z c$k(&V3싽Pш8EJzUn6 cl-+b. j|<\Pk!/"@'gWm}_Ugx,cܭեJ- \+3}xѲK`Qpތ#2 )  Z9M "My gY&ܨ^ (gYHfхF~DT#B,4/s߭R˟YPB~΍$36nGYUb]8]Fa[țW}]Y@vƪV+f/Oѡl+W  (# '~n&n+O~ };E/@b[ SV+YLs -E=(P(uk2v i״ώ0YRU*!n'E}5W!^ |a@ݹZR?ٽ5 <$z.I$_ߪ1BS bSJXF"&1wLe:z@I7a/ɏoѹՐfLuD5C7r^8EH;R[9bd ,"AWSjZ2` Yw .*d`d6^Bz_d+,pB'tmRɢrѝf2$ޮdƸIe(J%8o+Yl~;E-! , mi1.BԦ,ţQf"n5s2nĮ1{ ަ%ͨĹ_V KNgTQ]9'_@r*2fw12U^}`š3 C)BP6` ۬['ѫ}z9kDNc%Zdim\zS>"W0vGҮv ]_ 3vNj9! aYi; 7!EV \|c2hݐ`iԶV{dRkw*@,$)oUJd 'B&1): P-l. DѤ9RNMck AmcYԣfb쯥p F*1ƠRaR~1jA5_>LXtl4k}#\ 5ֆ^Lp&sf_gpNr0 {f54E 9! E}'恔kukK{ۓY幆C6L8{ /6Uh`Bx7>wHf_?;E[MM)kQ<~`Gt/6qp㵩C^MXe&5c琌;n9M_NŪ)Az>/K4:?>ہl/ 1u >Ϣt}Elm֋UEen`2 x3 X g:GӡhW ^]2;$j߲-4@*j tS0*}aV=Z?ȅ+!e}{zY~c.exk/܍H8ݱ3{hŋ.LzF؎6EAffE4r'mw7;YasF@,1j@3k'䥷 xr.{76˓ =xhd`KUQkWglaz**>yԽGׯq8bT$'4c}bC @dHɫ}Pߐdcz%1Aȓ=V,"YZz3=FPLۅ>WC×DXoTCQ}T1]HnxT1f`]vs'aF1Y&~ si\uDDŽUK1/M򤐐U823-󏤡Fh~{Ʒ9PbDܺ7J$k~w>G[[+i> R6~p:aNjBF>MRo@XPvf nV/~p^pS"\tJ(aIZC$].XdBlc3e9JۂLīDYW7HzBE[ͭjt%rǺs%G; 1AZ 5u($ qc|_U3Kp_I\H^ebh6Uo*=ٺ~V-^Cg=OIKuL\\uL\%=-!bRDmsa &go:uDEARxRiu)YJ}i}|[zk4Hou(Z߂t#D_\_~ =4/ U3#- Nk]/8]FY$ 헕}A(j" ?bD$sl}t5TծvK%mt3> & #l뵏Sbd4?2_OhZ!H$uc)mxSm*YП> xkoBur1tG`Nn%LlUv%aQ S:t(KS!;sOEA鶏;ƥgRqk,sy֒UIod-;R_AYtb& ankޣmiq09|kD/|J- !zZ1%ǓW[ 3|9E|ٱ!vK#qy1i|o} mxUH8Bɉpu˷;s)WF]ip@-EB8za=ZMp/PgD\|ܰYIaX"Bi*ͳe'p7 L!WRp̯~N3,YUc1 W_MY%Y$^ J!՗37G3/P1ddH3>{ ]d37hC:`YS4 ZȺfj$΢m km3$iXUR #ZxsR1i8CI(M/ɞc"prpZAԶ,ޑ̾j8FjZ{@ T:@0skIpGo'5ȰXn r&8yTWo!H}=q퐍BO&MpEh@N]/Vq }0D3q遢= A\/Oc+ArCU@C `#% `q\Q}QաU H?Ii[ӻp? |^a0~C+QCd)ɫYSZ5_SkW)\rEb|@eʚ{-?PA7vwM~2"SKoV~^2'V >,k~o{ a\1`=ȸ~5 0yq3 J{W*hA"Le'}='Z[,xvp!c5dOdqO8 @ dmhPQiHyqm.mkLTu"X1'θ@;Z6SvY_vp 8\CPC%6>NXɌQPN \.7AȢs5@G*[:V- q0n/g8!: TƾeL*&B [ɛܬo\7Rot\߼~p?ӡjz5]L\ ]FXc4:OO?)M>GK\SCtIƟs@uz" ~؅X]ڼwF2ܱ羉Y<gHvԥ @£ڛEѱ )H㋬fۨw㰝QˬSkJHF&NiOkiAEp"lɟ[_eBAErRH~vMsV_jqlXJ9bn.!B#w$DfJs+!Z~ƻ/MSD"#Ҫ*Os=DkHg_ubQ%>A/@V7NoC;,DH[萠; Ab-^ +$nG3bMCS85z{Np(aGp #$tdr#835r.ybw[b{ gYZa15212ec210c8d867c0b230aac668a9424a147ea11b328782867efe65653f3fc4233fb6ef87d8b8a f7bdad096e4b39a7c9a1f0326da9fddba57ec93f 17320495be5fd348bf35698f539d2e73484fd965