SQLite format 3@ 9.C  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 YY1z4 ] HOL-Corec_Examples:threads=6elapsed=156.472cpu=514.100gc=82.1007zXZִF! ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7Ih@ Q0_ʼ\10?Oι咘ؾPƪ;JVOŬ̏n˓EfB -MBF mQ>aln"PSf/ptņ#4y]ɞ hHG>.j_26T^F>jX?q҉G~5S"6l]?3T:]}͎4xd?K_XxIKpv )c?\aWi壷7g&0%fr'ݚ"ighkŞ"ȵt猟P5i 担镈!G,~p!#4~{\̔7 v(wS(F {E=7٨˝I65`U XVOWZ#{Ju1m:V=/#9{i++c4,_.::×LN r15ڍF_Og /ѐ=!lۏ+ W^ޅɹ}w D}:|ßZI.Vh7oVr0UAGYR%AEi$)J9l18 BO! 'k"৲]=,1Cb9Z1ƶkHVΈy_.&jjv[L&o2'/n%bQlbDh|FO4bR`4 ͢(Ƌ8mu0Γ]kFUUvnırh &#&J"<?7j{b={$ɂLn `ۮAskW ֆlzzoXC-юkW QYT@!N9.(m6e'BӎO >, b]Os?ױWV7a3<5]Q܋ޛR '5hU 2Q'!}vpX9H,7t羽,+]4bu*^!LH?_f|O[]ߗgUߎTĵd})C47綛͑5 E$,5li[?.e; ؂m5a9Կ79c0i+áUd0R=Y $)$d^DE[Xq̈0%2ejCgT{UP!npe#3Mc&V, h!s6rdu4HOĬҔ\ǥ'|QK#^h,p6iasC{/BS'',|vf fZSՐ]3KlaJy8CPF9DlzS/`@;W]˺|*d/ 4m9Xޅd0*R”*3 BLÆ˥K^Rk^%=ՓߔF0';&Œ_oUQyHӏvor/0ӰȂq+[pVMmD8c@t}wtm"z{9"6%XO{F*bFxhޚ/eZT0fYvʞH)7]PFAԉ ' tƆAOY^|y%O[ kP*2&!'FGdfy4ۍPɔ {L~!?v)eR i4z4 6y{w#eUTa @LR3%xk9JgZկSb~`AJ4/ȝGߞBm2=-D=훋^B{}h[ِBMtgq#ɩ2DB[[-z)Aث[Z]v4!Lc!ytZF]}PvH=wi[td'DŽVWE֐[٭&,d^cטbw3G3TتXl\}٨*BKIjfH'?/M&ѣ"ߨ4W({:6<|%Y7W1cFyjt"f}H\ku ~gLn ኪ5 6IA(m S%v̟ >s{G+Lv3ZJ_0ҜOqc笡`q,/:Yd NhgYZ7zXZִF! テ/G]ŗXi%R`ݫm7 1 HOL-Corec_Examples5r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w Z3N2J.I,F+B*A'=$8!2 ,*&"    & h]  _" ^S X V p,Ff" 3Y 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.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-%?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'    r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ j1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! bj S]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLeyԥ-jPʪ]&ځR`f?сo$+Uzj͓.\vJ)kؒ1i/59#"t"QL3esQJwL xLàǽ1APpO{fEkf$!M=d Zn[+AIЧL~h'$d8!1-T0F {"~xg>ZA%Vl+M~w:\艐 sKyP ;C\ZMݣPq:Ba ,qAOЖTWwH.t[鹘5N{1&;7ԓ|G{tXeb:I~*l׎  u}hUV~«WؐW=2iǤUP)=_^m@8h) SUU}Z2SaNԳg04Þ|lircXS/ $gS4d@վ˺;8k^FTSPR >q,MW<"1]֚ich:=({w$@R_w[xA*y@6o=q\ޤ_!c0QDÌ͆Ajx7Z54dE bN9-aȠġIA0e69 mJRwp g ;٬SBvYyYi\ ].yt^1C2(rQglh\3_%.JEIq8H/P0N~:(d IQEL[y:;_JGQ - N+*IW7pN$==xPU\yăW9UM'LWOu6OLAF9 dѤTIVߋ@&g)UtcYyΠ=t]a{76 uh~ԍE֭qq*mmUdDhm~mpp5cskKG%Uj2s4h9wVΎG)])\>ks44m䂦\:Y%:p+? yR&m_,O#cTKnD92{"5/o{f{P8wuT$B:$Ge؋"lBT_j=y Fﲇ*{ecvxF5GI aYRh'Wx~g6Gd*ȣ9""P.f|HK,?gYZ F1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZ m.1OC t xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ n1OC L/"+_]KYz;֖%o \$N?rrJbkhCD17ĩF;j3B`.&~|"݉>3|m .+/Uc 7@]ObLK'dwX˶#דuaWҜ2x?m?D,CqGۖ-‚FH6R+Rb?I/o^?:ڡP<c$A89<\̼7,sCR=L@rᤶ$]tv]Չ kkT[|iғϰ+/~~-b`KL ڨ*OeW }V+i>Z%M&8 t#1&Lv-6g`w]{sjx{Y[Lct#%Joewu+_"Ѿ`C)4= v]lT-Q\2HH܊r+o翪cu 4]oِR&Z#\Y" ™gnbʎ~4~]^:%Y _|hMcGY>2ALP8ľiRk<!,/}b'u <:(x/z$!k~LdUu7eW런hngoi&,@ WYtm.TZ[DnOM#sa$}yK:)+vH!yW{FD2l82Ty=6Cz7F t r D8 /{ZLԹbd+=z*CLQ(ӗolkuբ,E89X4- EzY<>0*Lr/g".3<¶ ru^AIbL-}?.J-4+o֋ޭf'[ hLsjFy#|(wfwlĵMLhonrJ"]rv5 BǖCfM 3a'kΘ X@߱gYZJ1OC tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.tex7zXZִF! Z]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐb&Ρ Vڸ(Π[kcj݄`ng_l%cy-P2/_I] $b2R ,I؉@Q/_|JmWJ2@iѥ\O[)ՄlΠI[X'2 Zʬj(mp132sl!0kpä˳@K]n}@jztɜe#E#3j 2/ f:[ixcZ ( Py&o.,jمp* ÂzQ= ƪ><[喻*9yDvHeg ]lq@<ۘ $|`^5b2 [d^]~z*FDw-H{Շq`2RTU.2e`+EYL_nSy{/c@?YGJV;8fM^/M7bk9 (RPk܍=W|3vj}'L"QHҫ/ST;E-Xƚ* 2nHN2^>d} RF;2LρNv'v>=ˣ34J/D"w 1q!s8zמwI#.,17n B=CTqCWKdlib"=Vo7yНk\XF< "\{gQbWw˨h$&:CîF <]ވg=uj_Q+ ʜW0\)7^]N)ibA)z_JqTYu-zSA1BqKx;/>q)qB\21;.#.6;x-H#o{(@"}L㷶w%cMKCJם91j':hcsz% ؐoaLґ-_y%GGpKld@(1l>J[%$Y)C~SR`!YRǿ݉ޏF' A4B7F=\/&pv3s@c>&$㶧7B5Tjtۂ^MAOd rLù-!=I r{vbH<0-gP|LI"BHfsZQ<[ g nzzjQ̉ETy"9g*4pZ`_ W 9lc} -V :kU-R- v-x [K-^tˉ~/F jεKa~]T!`Sv PgYZ 0 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RXL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZv 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZ  1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZj 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ  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"=iTH=5 qV.rglۙ2`e*<^%-j-݇5-WoJ)Hx;'d[GX:ؽ^'.,5E]O˘ taFƧf%qhQ9>\<~#!` JFJ_6dO8=q&@^p?eňH%_T1:b;gBV%BC{3!?ZK]QFĄL 0SX5[[/M꺦t!@ܥt"l}#סs6 RC2k RP!4҄qh %Us}\d9nZRyHIleAy-Ҩ.$mgYZ;1I# |HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! m5]:F.P2p#J) :,U>6>OMBڳ:?4JܹLeg0 ĢzZ#\P-t5@5w9vKr蜧Jf!%qEIhGœ^*'y+6+vqo[63{"O .6IF{)<@8EQn/XԿ#7dKD7 1UY0?{&ܧ~A~ʏj$ucŀ߰`m!LjOHCe;"Nh0@X[ ҀiT?+ʖ& "wEé쫭J~0d.xRe bZ#k%P&@#_<7 Gc &lDU6E0K(gϞC-r"6{Ů#sG0 teE7+D `,L1({_s6?.F'\",oEve>WQ@h޹6hwF{, -Du8 M9.,"{Bem]s>`'>e> sjw^e`wS̭ʭP0Md%nZ$׹geB\b0{OܶjC=Y/W`b N/ق[EE(!(K"@||֧}hV+̀g:2ъUt8 Ԛ7*UG{=\MiMA*IQhmJ\^=oJf\f~/TuSU81Uoi^,+j;晓p1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id518d1E9 #1%uw8JIb5 ٖ|-hjSxC_&l'K[uvv#wYf;mkypvrdr][YPyL/5w_m:o!SLs6 t  d~ hg+ZEܕcOYL7{"gl{\ 2Fe$knAb&:^dN! .b[IxܪX]Xw˜*tuU.Ǫ^!xR6z,׿zμ X=~Cvz;f؁RHslR%-PW勹- ͳuO$ls"K? R_tjSv?oW_hg{&fї )gϗKaIjFP0X!x^Nb? #7Yy}_:\ ֑~] qH{QQ9;3aD!9UrK.6< CbJ|MS8Bv"7 v @HV0j49tQUCD#.0:$ 7*zc\Uܺ뷑z`D3^) kbKez7[_4M;XCOwdjK#z0tCh +]Oyc{D#!\ ~gq_ G@.w0 S@_Jq]Q_ #SU2-d^YzU8ܗ2['r`Ō < ٞ2ruҩO+t啺}II)V<7^OSYpUJX-6d,:. 4p܋< „t7dXxH"W93A\h6ye'2=G3B0YG\QJmVX3 iI1).be*a9"gcm5S`3ZR |9.\ k,ڿeg "#%d`mR\ʙ2"E~b}H\!V3L#7Oz,SXxCzbzF;CJQ0mY֌NvL% XnIYӺֿյ#U .`q6g4 ,2ʭ `a0@?v] gᙏ͑lCjWXwa8vEs^ n[ nzC5H2CL-ӦL]X =P/Y|*?aVkH2VRrٚ ~ Ui7+(U`KH5rjh9u 2=o|#Ձ~3ivH@ 8`BSvIV26MZShCvq'tJG#?5w팸3M)O=kv$ Y]v sAᴇ-DП^8U{B7Vu*^h1gFjqPN,C; Tk|LVLH̀BWT0 SBrJ{~@KU(,s Cwi >UIʉ rB~SG cKO; 5~n& ;ށ;k4 _^yQ9e}I8h Jo3C)6 OU䜗6'7HG9%ɓSE,\fZj+սc07V6̏h.nYP@Ӵ_% +0T@9FĠ~?FG+ zB$=uO讲PYRrVVպI)  Jf=uj`)HFg{q+䩃A؆7~b X$"f)B&UhY@7(xk^ SmEWjD^XEI`if&<l$ PrX+Ϳo*ywoUmOÆ5aYK0b@߸VNBsHy M:+7zK܈d۳Hߋ9~^Rn|]߽xf[hxZʰy XBbFk-D9܇'cO*t²gJ)MJg]]n >Nc]vzS#>UqL}tD P༹VTۛ oX")'0[8 Ѓ/]Nji7^?G" J, ?W_y[j . q}˙AsRTڃwV,P##Șf0m~ĻyVn.1D*s' %E}H--9cCsxd# f&ѿ7-.HJeޣ:_Nn0jIf͉K_qqEATZ)-ʼn)OEIK7Шx6n gz0g Sޑz`:)vjt i.$rfSS}Uj{W |f'&(ǫ)k/=?H7] ^-}e|UDK1m h_.w21|fԞPAnn h轈uuORoWT$:yPT6͐lJ!8y%,IV.^Y(ǃ]pPR0i1FRCbOCFLCu>ԧyӭN5v (xLta:.A3,ѱno)M\3ڍzq#* @pJV8RaPp{[kN|=`"UC:ozki7 |j;&(:x ھbQKm/pptYpA}|/[ȰG=/Ge|Z|-9ic;߫zè?bœ{`-K2)kMF3iP$&?Hx0Cs>mu3P=&I[X`ԯGP9>gs/tM6cށUS;|嘆̌%V)a$i؛B8;")v%A>^hdi$/ZA]7[zȠm'> mFEU0W|sSPܺooiK7&12QxAxw.R*1ʔ_ld\IC]!K]-C2tr?#l{!֨{'P0d9w1( \&`/g}:)(NF9vl-,5ݰ$E*xKuʐ+QyXey|>J؊)`8}/m/7DpM㿷ɮn;" T49aLeh=/pTDZ ʹu$J9 (Sq(=V}mFT}˾]j91򍩹a,%w1nلRBˆ@*w y`:SReϿTb:x+Ouu:ev|,=8gC<2DvĘ!iF{#d룃E a!bf/k ʍ]up0xLoE"&F23)hi=xHqKԵaQmF^'NDLORaZ?]|RSUL-j-N zsSǂ j~ 1YDiDu5eOu4T͕-$7+2v1%lLrE_."gs ‘blۉ4eSY~ D=hKM%'_qDqg;ۢA#`FwQП!' הր~/s^ \b& k˱gYZ ##k 1O# THOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! 咮!a] !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⤢@CKܯ̗W phv1O!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\< ]3rg{Rz {yWRܾ沭Fkb)_b6Omws>5Fd{vF! <7HNU‘=412cp*W n W`w[T9΅IaXJaӣtuLM(!24 ^pp̶۔٣T$[jlZ,\MsXY?Di?JDTy8Fx"ЫGAޓTor6UD);-+G.Xnݤ[Wv_Rw~U 3vwyJC+me*ᛢeEڬ[_d~0B'%ҥt̄Ls/s`ae>ȑjX.˄T;Mb1νC+LNᵞn"="Ua;F1EvL \ lFpZr^;+E7)3Ĺ﵉b$7 NXU(s5x0 i^W~I  m9S/?%rF@}\$ "5gYZV1G# 4HOL-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 ` X'nLډlM}o g+yU_h௙j_p0 X?*v(jG&&TDڟ~~8$aA )- 6Hւ_d:Ͼ>ւ%7ak_9|Z g6jƱAΠK0VLSv :%&I:s8OM= t;8-!\tmr=E]0UG;YW*r+hqr"o&k:Xb(LoI~h)ZW% Fq%#T{kw'a} ('epU*F~Ͽ/ xߝX(j J椸T$CBK(dŜ-IJvW:oᆹrEr]:\ Ddsr(4^N@iߕX&f@ 8xӏJm/y3A oy!Vb-2}OjA}}#*S#->lM#ګnR2$¿CpZy*He SGJuqۉl9S$S~&,^t+mʂ,}Wo(.PKixUV|}}RyٚqmS-DΪٞi3bFC)\Vv>ȲsN*}yxɥDp r{V45jY@bq{|eJ3FokUi+&m\pB4l loGhBafښ 2N9( uD ͒6-X| cgYZ*O2kF.`+i4O߼ /|jYN-+2Ud6p̫I0Cb鞍Em9t)Э{*mGIِ(G;fz7  Zhh>$GkeWj^8=J珨 iuu>BG6LАut3PLip ߢ{lYȸ5Md&Sjp_{g-w.Χr~q;NL{Qpdy!0g%8^#˂qwJ>B2 B f ?#Ѻ坡YxUЙ={ ,+et2 H&϶ٸ"E`B z(!'Ffsj15E#E+ H`LZŊڜ/wqm* R;<&! }: 7|eŀ}|;|[[xam>hIv$P8¤.4EMq^Xoe0ut!Wt{^im|[^ZmB`@ԒMl$v냪@Rl~S؟YRm󽹉7Q)Ex߫kyg}K'Ȋ @ iz)u6*t+l]jۥ"6QeykS=lq~Yy51%+V_Ɓ ,*oCǟ_|[*jԑo 2Ovꊀ,FҼOͿQhDpbcM8semz 5cLql|*}>VseS=]l;gzijx'ho5J,quL WL@g+}UA-GT^;"}(KĚ\⳽Bs=%O`Yx0,[=ZeZfcWgn2S)Õ=^Zd'~L\n}Ufvg52 3|԰]"&ݡ< <2+$ O|wJXczucDiV+mrlXƒ"|ftϼ؍߃⡌΁5ןx5-AM!Eۗt 4ِYXb'#"gstۇˇ9,rWCyK}1=C]7}x\4q/fwt93:]k#痷Jt$ !Iڎ Ib/ 9f\t]oCǤ+o?xg%%ӓ4ܤ $Ewax@z=Bt=Apj;K^u3[Ck(oEkr}Uv1}|{P]UryV&1$ъZMQm(9Z~dǕJVPE*X26_p0#)xq;T 5De!~.airF{DAYPOPu3(nEg F4dtVc&䡅wq \4bs2PEN 4Lb!I0n+xhI31AQJhuݱ݋A9'utr:-Pf*[\ƙ(*oBťQWk{~Y<Ґ5 ,ZsIa3K$)`$_t{piY* L"bq><3ݪiT45ТAr#͐G"R~mU1wҙRԑ8Z?l|ۨhA#6=_{ilWx9<>{/Kn)c 6Ez.mmTK_ vV͘_oWsy3}'4[\ǽdtxnjxכUY U}_qbS.PZs١HÁԮivB2=PXD`mcR&" Hܻu9${P8!^P_<0D- VLթĸYՈ!vU{ X>Ah'ǻ.ˆ󎭊wvfc "?gE~wc#d9ql-b@DdݡmM iGd&l;B~oy*yY*IيP$'{&czoUSPk YCv{N2̑1%+[G-I>Qf` /S>vBĤ\] ῌ/ f]t8UYZT_ʆ؇moI_1 Vo4>?#=]eB0fo9}ẋaF}Ʌעzsɉ{Ź'k~`줔ċDPϥWwQ]O:yº`dɑEu0g4oPo2 V.Vu<(GPcNKzϭ=ZEGMm̖( U;\l/P{1H~i9usj:ˎI0b̞#^ܚ$ Fj7 J 49i[~ba60>8B?lZK>"kaZTE q<2}ec-_/DnNs@ T,8B$.^X ^bZYHHeOsx0'93@M8`Gab\^ Th􆜦Xxpơx&_1a4ak_}NT?mw ˾Cn X>Ak +]51OhTQ׊vإۻ/#s }*"(:“iOI٦h.M_=j7ҍi FPu|<Ûk }UؠLy] TtS aA祡\TO@ L=J5Țb7D=5 $* 1؞v|h јg>3dgЏgQn񨾋9 3VRp-ۧE+=@{&Ox[銓_1fD* I {#\ EaJ7nHbK+A6E'{sA;;ykc]nUIBxޗ6!q=ofyG&IMtI&YQhej1q WOi6}A7ܢ H/sLߢ%bS+b1h\Hm>tQ S{k9 C_(Gd$i 3y{КcY8li:O7fUw٫^C\’<ڊ+ ’d1rAP$0O 2w5ݾHRP>2)5] k)vQqāHIễONtme0}izjh6ȟN]\]7T- VbY/g_].dtTk H?ĺ2(Um9cCP|W0z"7bӖaMD$bی|e]ٗ20n[CQ9`<9)?&K`W$v>G1ܾP#S8_JIBrV}Yyoôu,J!'+Σg-oџ=gopMk cye-:,:(V?O jELif;Dlk\ۏT7r|MOVM"@SayGuƚsK,y:ƣ4u[{;%0PCWl35c"[ |8e*j{;(_ߒ'z' Hه2g a}`5ry#Q6JLLQqDC6lo1YKؒ쏻 K@p۬{{Viy8 `:͡-A3~ËLSfJ @)5zGl⠤jp I's1AOk[mP`{fZ [oׄ9Po("V7XI8Ët;ȑeh)UH6kGCѺzS\h?")LfG- `c^8_W!ڋO)5vK; Ѭ2vU_2kkxpY%$bF3'M"gi#J97PJ+;Xz,Oh#<=:^O'z-lì3TVwmT,bT<(TBC<3oM=.fgUDk)7D%D^|̊,jF ~ԁL`AqpeX ub 2;ةUB5h1nkin_n4D :7ZBp@dol=z{)9j. fd2u+X,A[Zq\[?D%6Sg*2.1:&0,ݾ^ }0-\Crl#$-Xziqx xd:Y45&򂽛f?ȜȖ,r&'l+Vc{'8zP†Ăb!k)g[LZ/tYR_yk0Q&~nQ y 5wީR@O9dusLps33O]P˙c|,y-be-dӠ>oV O]WE.!zk?z&>GBBKv χ/xy KsukȽí#M}7!e_4nJSO;p,1X HG;u2nS&OP(;q JSՓX 5c6 jh-ǀWw,o\-$68cH2KD3L[91+Ixpy9/)""%̄mhN$jX_yvqK{g sT.P> Vx@BʍoMGJSj%qDWYՈPso*Q(讌Jyg*Ø4E!W**{[e1#$E! 8)KQHzk>RW/:ȽʧzPG߶Z^t?Po>wre۵ & 9<$XUB$Mjxh$iB X9<)Z+Qm;ҶM]hg"+,+܏)  "7c"[CEwxQv%e懼D'9бd۰a&_pE"Bu&)@<`~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCohSu xBf)|-krʓzM${7$ۭn;_J9B̚΃j>WmX\:j@,}CVb_. `t kyQJpÍGS&6AV"vEN[H6YWySIY E;pStL8'@ Ɏ UQ)%(:0;GBʻrs!Tׯ{BuJ6)3ZGIk~ cEs;wFܻoT1kT9 /ؼ E=b2ͿEQu>6p!3`'OՌXiT[S?Pڢ׸(P=xὦ!jM;O#5r |H1b|Ӕ~}مq63]0S;c&䋭%q$GRw1X/E?VmfƩ;߈XIK1mą=^q)Abk8֜ŊH2qd70$P.Dy,z*@'^6hD5?}z)cJE {OP#Bنd&$= 2qUG5fVTU}Hܝ|=/b4Lbن}Έۭ@WT%ރdVoWE~f ^]ry´jF%Xx4 -_ɉlcȞgYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id5421O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! }]D?7 {?:fH\3Id=N nJ A:af[ jva=(YH朜`B0%Oa7S}*貒LGFf/&Ӕ6&׷ij"%K%/+7 ~q -3܅#ڶ0*q̞lIM~ Ҕ]05<)S2z'&Bҫ&uɇo.O jjIܥf5Dxg!E(1Ec!+ξL#G]8+;@ 59CTaa` C9:F;"J*r6naUOZo(BS^^A S] X(8L|XPZ0u" ޖ=Ю#Y\ @'雍;?P@fƬ E*<)ep&:F\Sxv`[{%`\V$"PD-gfB'B>b:S"'oŪ !S :57W+dN6 >@(n}4Tē}QAK(F eg}? @)_is(w8`Y29Kɽ吮lOz>n UmGstrܥ^0qwF]RF lǾfЈ9uk\p%kT {\J7Zu]mx=jݱsϵ;4R\4'E|ͫe#:C=档IF^n]wp9Dx l {%^zgⰕΝUܡ`i׎bNal5{H)T0qvzf(WMZkCF@jPBU Vd-fU c\4 IN?5 )juo% Vjc$Jc}j 3N)L"@ x_0R#٥qcGC<Q9֙Ѓ*'M]^t3 {26 @X\cB<.9aCd'MϷtlr<%Mr,#_n젘{<pơ N%vԮ?E2e ;U I;qO]¨qH,: PdW5|^s]M+k4 F.8 PWCzh_[$DnpMt+f7o.\YRd^M괄"= C/եZ6j|@O 7o/w=2ІNk ^cs}c׺Xo3*=~9mY>0L ȉʪ4qCh2{`DdkW2ZA\_hg|ɹկKt'jMtrI,N̐ p{"/@Wf25hEn7zuj$ɮHGp)Eؐr0`D):vrh U?|jWt~_WY J‡ dF;"Lbu·z*V>YrJR++T-ǩQf 1gflYb+ґ8 yYHKV%\'T Trf(%`lX WtU(v\5wp%o+q\Q(7E|ãZ&^(nwLh[8 VeW nJ=]߲t[2> 8;~fW]yhO#UTBn $ 7y)x>z 'iItc4 8tg/bV<4 vޒ8/Ϙr+U쇻ein٩%gct q<*FG >uEܷ#O9y=.Pkj=u7C/);Ő6F73dR_-;Rc4 hݘ,+@耉*{9VFsJp{T@Zo(ێr~f+~PPwP[қѹ|k ]χ艥+ŲZ؇/`=21n:u,AC?Zg1N +eq'ц˵p gYZ#1A# ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! y] !M젗OFK?aִB1gD '+JV K| ǭ=$E<SM#TSQ$N2E 9",qct1f!03By)e=mx3l6))gTbOˊTsuQ%Fu3ɪvtx(|T@UPEE-.=S{"5I\oXaV@˃@\3F,;K-gH-v,N I!pdΩl-ێ'RiKc$-$v=9 0P[:0Oz(4`;L[1a&\"Oh91^m]$hXv]PF4{%TP`~~2AMxpd:hd}1CqMav٠H 2f Wma> 7y|vJj9DJ|](啐 c;eea3b_tg$ ǃyIcdQM' 7d[__"cL-xUE,PkS {=lnslN,L> DCV"O(H0 ,en$_K ᱬ;f==("Jꈢ8;&e"Wܳjjy/9詚*0fh MUf>ixr$y'FRyqy'DfiiwdiÈtk)<(䠗EQɔ^xh:4:k J!\O;It W]UCrӠK #P ;{IqM3z٭b AsIie8\JP`z"oEU^g3̻xV|9e?O;; 1!f\\$8菵k%\h''VVa~)(7n߄s5] S*0r|J{]1v\Ս>fi9bC YIHUn^0 Ҫ}u-6+ܣj?!d][~w[!(jHp$w0![1 2[\Hs s$3ig fiSŖc|2RM{nwL5QUUֿP_6Kÿ3eWgτ*Xid)Q=9rPZQs+Q\\(NWiw9ʚ-x?KnrZJHyQXt2pk˯y{qOXW:v `KIsĜP&LCUp]KQ̄;&A[\@bEv|iBsiOa*%)OӳR{Lg,c0Pݺ T)M0v:ՃYSP ^`| J%ʬF eZ:ߐq3mWasъ S#s̻lxnÿΘ/tl6qoSt |(#gYZ~ڤJb2xe\W ?M~ ؝D𒴇<\i8oia txx3j_oA-us 1Rx·] Z1(sˆ> 2c²mʰ f~].!06kbB)4<_-o l:yF+,G `(D+i %'u=iɟHr/1uݿ{b[yv[p Obd*HpwxH!l~~xx-G>ax 0cq5 #XαE5Q$ m@\ cP nn'/ [z`#(@خLܩْwPѣCˠn?4iEfr?M*cbz:bd.Y *ħxhlX[|_Iwޥ]nI1xU7*3ț^28`(v-gqrp,`8wpV[`˧nc2Zd& +zMSO7L 4ϼI1w~LsHϓ%/&oWf&MVl;}Pykb5fJ;MVSU^Gs|:#Ԑ>$zŋrq-:*j:@}/\4Ma=R7cjiIBM|_zG}HW=qysU0$h6Y޴ ^}oeSҰ]{=;1E%:%duk`cPCmgB6@Yw{89N h>&ɚ5iMAIpW'o%9Qg=,S,ĥ,<Qzg1w?)Hx𲦠ŨN4QPFn Ww`:%5wf Y;GQ՝M0'_=ZY]* [` 906 3f!k5•Ռ+Eܦ}2VJ-MeΘ_oSΏ#((_<:o{s*tZiWCj]M0jmb\հ0%~֍h Bz;}:[| ,D}Æ y:)6X+YD U2܇w[7f ].=#Ϻ$cvLP2ᆳA$BQ~ ΀浪#1iVTsH{^:Q'1:Hogu/8>fؘ_%߽rSV=T'1@ qmxNz `z%܁2 V;vfT0*3fem* '>̷mQ/tNhJ„w^OE-/~4j:A1E]Ujxn\6c~xl' N9_Eeyb# kE \:ֺ/MuZTq}PJZ|$"̴Am7v 'K>UZ/n,ՁW@B6ߦ^M/sQ@,7 S)uR v:RË]_mƦevGe9XLmfE q\z{.ho[0ݞGFD!}?4@Olga{[%,[->]$e bhN1ƀ$_G.$ÿń`:^w,9 }#VO0OwfUK'p~Z4srN<`%{Gu&6olϪ3%N&>K h3r`rbOLn$Dîe3˒,ZU 7eU^ajc6:87#DymGS޲chXGA̅~zy;f0^NfGA$:5Vra##>0[*\8 D8s~,Gj<[hRPX FP~fV0T*Z$XQu11ib|syu'lb'q[GBvЃ{{)fLcX[= oݹ1.vݯXJ*F؂]|6qILfU#fv_8oVc[ۉfQ2 'A;tK/qߩol&/`dJ7 Ώr+$=8<&pm(q,j9d}Ὼ8/]0ԮN5??o,N-#wSwWt*p vOZ̰Ϭ0`i҉$QL !iH;ިﻺOYQFm"PL-mķ \VI/IEˣD4o҄Jʣ mX=9b-C1p 5T*U4NSS[1Ѯs &")A>6ɦc)K=>teUoP`dMvX6U~A*H 嵒obhໜ=ţ6\A:YmK>DQ4^}9s1JLN O%h]W#?D䄴t;+>tJeTm;k DČ,b"/jO氮 6QE`0|@EX>~ĩKrDfQxUvYBn~6|[Q}~R6yiCku5?*J*./-}{HaMm+|JpuF _lRL.}׏iiȰGAbpPh5#mxQ2yȪ tĺ8T0 / ;SUQseR' T>Ӏd;HBaEޘd`4ƭyM/-n%fϝ$2@E]ד>T\S FH,Ƹ6oK/&Z$K[T$? v0)udW8].ckb u26@Ak%2i^OYRʄ;91o_ 3 Ko`hGvgOmQ(zlQ/rFW 1OVqcr'?`K.M UFpO03d8+\?j!ʖ1'BT;M7up)}<c%YHuo+e$$ͨt? V7)GLbҲ$Rs<\MZ a Ә H. 6z02j%$:DMHb f)mОH'<h8-0IiG^ALdο=&"Th(1߲5Q: ~ A=ai~I TUs~E$rk ʍ&RzIsQI||ɭ`oL1a uzf!F|pm^̣b3BO[#f՛HNtKIɴNZ #]PCOE7±F¤C^+wH\?"BfmSIZ?1a\3R w7Nt.>9<[F)O}ia4p\VKwxf9`ee}.+5fE16}~ͫ{LXPfPhaD^;=7xkWhhPU*T )fo:)cR"H7tv8'W+获^'pi>JtGfk> YAeXpfOY˯ ,]}wXaW5"+(jƑ؜9ݧቪw̄s?&4BddBznsHCMR"fˠn?>B@J6] QsgTn$YGdi( LRFq⭓=ƑL U}-  ZMK<HAp$¼zt$~> fԱ8&eWy| KfشlYfl܈kay 7*ceIa"6%˧>-Q_*׉H7K/B4.UnU:~Qᰵ uGZf$ǤTH{ϵ?i?0[ !.Ë B`rhY!\';a|k}S(yRtI[ Xi6 P''Cy^A pN>MI{j4b("GNG« }ݒe=l!AU_mw>ݎfQs;lk 42+L= 1pߒh:ב?C ˄P+ۥ{G]ývr'g{PڕV+ ^h$ A):{q472VN Cs Iɐa9_05kc*(hEm[FgTˑVjݹ eŹ=ѸbKJu v OrdG:?ƿCFiNSV3Wc̻`մw;jEZE?Ntm{tQ']?+!/>myȦDefVT;ġFi e 6FqW7,ijQ\[2 խkbC@! ,qLx<83zrrnZ3޷/ U(g0v/&԰)\5X?6S9QcRA?lY[,=[=lJ$ABi,Fv1óڰJng(\ImBʱZzwh{|fTU|4I>DE` c2q+ǂw MT G܎ 0 wT~Hj:fhflVJ̹Lh`2wK ic [j~ qq侉.75I%^Lb 5^r"llިGrAIQ쐳&xa`~A4Hft2Vm5kl沜<IMyjӺ2;dNLYZO+Y<#ԈE ,k(ftU*(dVѪ4YƓT Q.u4laPaphC (OMQ0*Iw|w(ĘKݘ%kHOm%_P|/V#֍ "]VςV7:|sAq)+Df*d}O?=p*J~8*b/ !ՈW`ɭ bʡ|";&%54!+ 1n` -ѻf( y+Ne] Zߟ2M ^m=DMEˬ@j6y)d6U<"E7RfUBE|7|!+ĺ m: JB} G;NgA݄V\q\lf@yбFP(\G1|9A`nDq t$Wf!)#LOt'@V[-x ]"c_!ד~EÞUtwK mܓ\R6c`c"RnhӔGp1g/'S:a!HI%Kmry84ĭ[zMLU7^BYt341G P2ex@T;Y\ĿxL= ۣL1w tb5bEBZ?"D87uu _5I;5@&oV lL(?E.+8 M6.SJfJqX{n605$1t|BxLÙMIU{{?(_p= ҉-S|pa/Wr\!/J䤜!?%?k{ȕCON%ӾBkvԨCb3y .֊xg=ց˶z_JU@],ba/q~?Jgӄ8TF۬+S]/=Y~¤̌x> pǦYcŕ~ 97h,l@tp:R->d :;NЂ RʉS#1.]n={A :] #'9H(Ii|ޛ(s8Y*9-W[9v4HqrLŗR^9SJM;u0㰊,@\j1̜`_J$ !*{&f>}iO6qb'UZ%;d;'qLgA, T]E˘l m-t7#n*9F%M P3t^`jSr ~9)ˑh+,jbiǶ$(Gg%Hb+w13r6Kȧ=Hy\ylSPвZ|8j~fh2 HERڭL]UzG``eoGA^]h"l4)M r隁jGi?8Q7raVuSgx7GWhg/QƧxHvI[\YmFlpބRWOs&^ш/&e2K`oY.g"kO{ 8r6OV,I'gGB/ĵZ'~8_(0R[gќ):J1rQlWyry^(ܧ.!9f+ϼB_ghn>L>9~vۛ|x;e]?\Xn~z/˟g?Qa~~%nB܄==~{Gza)^Q g"-qV 1 gc薁c91OQ4UgOl 5׫$fHd pSq/vlFOIBS$/ RnGyd"8Mw':/R V6gp/l:[-qF!Gc. ]&f!hC~H`ZҬm<1RSg4T|buyHHtQ؛e"s 7;():;587sP0ǎ=λ# R_ ,yj$oSƚ@iOW ͿIͻs `C+\n%17AF~dHV*> <Y|oK<|ț< ۍଇ8߹%xp>&̭X@ YLK5;3=pT(7aT&+$DEX>>fz4G}N}Nŏ\7&p:fCUzx[WxM(y0Fq3p2'ȗ[Qv4Lg u٤C]\RO 9*˅XCuc%?V wL:ErOظbXaWi5c =1~:#1&_Mp+,Ӗ9[it2j[tYkc"Tj`Z9AQB&Wctc4zdd)?K%(t降(Q֒,Ȱ,pK)Ӏ-x_Wϵ(= ]>a;dz5"ԥc3@!?2U KAUݟ@L" 2m{t!;rWZ74FQݿ3oͺpѧ-V̏]aYzLh"a [=xnoFM j:eQϊq*JeL'F|%#韵Ǡ YؙqGTwHKM"'k FrR%W 냭Y"oty7')zž-넜M$ρ!Tǹ2cXK5bW$:#v@ 7->#cdP>RnP\Bј8NҕYNAJCpODj{=F^mBhQΐUn2ڰOܣ"tNj zK|{ uʗƱ罜K+@ j /eXbKJs%RQ*X:Y\y(4y+m+E/B}p]+QgHGS,q/X5 m;Ux5YJml(U4ط﹙GRG!ӫZLo+DO oqMAUװ6G 29?Lwd6-|-!oT7MaH*xN5GV+ބ,m%߻z\Rx2A1aoP/}ܛ̨Blb~:l"kƲaS'0;wf)Mkf{BPANY"YOE4Mlxut2޲bd?ߞdO$6y2/W5jF zZç/, WB-0!_Y> QxVCL_{}c#=V ā;R6{rM׍`ҹ*Bz}QB1)tU28Fi fc`"' O !(qZ%؁,ܦ)0 x,p0#:>7PţF`K'+:,b<^C?PNVčJ 3w,UOEb$u_{A~`fȪcLJ gDf(bPdL>-4b81 DwFUHمFW%n-ɚZHZ=zKzF TDn/R) #f)Eűgd \~褹׃NhW 6o$ǘEz'o'qHLٷh= kyk[pXJŞgd){̴~1! }ZXL Kkwًn 7۔»B.%[U9eȬ? U{eƓUv+GC|eQΈg/(4q-eoR[`~ܥii-ږKGJC)a6T(g_҂n]P+G9~;xG1&AQGUzovrDJKb4@.Ѥ"K^?y kkQjaƨN& Qr-$G;>$IQ;Aς+$e^ &çX0s}jE:9K&9> Bl!1w\O:F . g()cY.m W^VpҨʚ^l'Et1yI?,gsIFz;$Cij~hGP^k>;mԯ'<ƅt2T{1K-mTw 5C~Ozym;}y?YksK}X+ #,QA꟧,I^rL 5pcIR pv ĉN4[n ۑ&3ƥ6#۾Qy*1O[IM4@olrjLˮ F׻jO6Onhd 1%Fig|" ĪͿFN5#P4TD¤'Èj@yRJc':lqN?|"Qe$nO .ъŽ %F$ȶ(ըHd $2掖fA.^Whlo َD !#($l|5*&4̀*ۉqְpӞD-C{؝S$YKPKzx lq.Q6@b|{8iuS>3,[OF{ː,1;ܑ9*:u͊XG⡈? 9CX 0le_8=U{Lw@ɐ"v-u#OXjYqʉWʞ#E]ȅ_^罒H:PZZ&u >[]ZJGv_XHZB2{C-[O.p%A7ʟY zY@Clۋ-Ę)>C8yh>A9yu27ϑI|*z"Spvn GH=$aNeA*=-;2I4DxAr|B'Vp IcyYz}Sżͺѳ~wZhrI;,.A?ngQ5] c0_{>`xqv#t6PA-Gdn3g%7>F뭢EqO+CO 4گ g| i* V6o~4:Adi  ;[~͛dVA){.ś%#Rm(m?_]q9(d x5ͭA,}C*2Q&ᄗ-w ࿫ˍ׏6dwZCJἥ@AGQ>s|}2;&@zhTk:?Q؆Fh5NE}8eIA _^XɃ5 ;:NnҮK 4v͒]V*'7ZN,/w{V{V:t(g6bso D C-xaLff!/boܙyrh',||M?B25'].ŕoUI%x.tmRo~a >~N7Y>~A<=$beEЅc\(߷F!V[ CvfX|;N LavaRwJ!Yҧ(C6C>U@x|vkG^zcܤah]z_7sr1‰8r{z+v8Iݐ{hAӋCϑJIBLB FW:3sh5%8t' Y,>hvݾj#KM}Po*1,h*Tf&&S﮽PKO'Lѣ_޲#:IЭhkY'D9Va.b"]"JKG'H$6rK5,Lޗ('m`)KDrXcox 2q`I9B"rk6B1gܒXI: n!3RPنEɟQ F[[@";4cx _;Cq۩7r j8FցF4-:-n#•:p1>%v-\ޚgzȪ[1-Kd"<#w cN&92L[N'U)DŽIdgw iϘ'J%x]RpFg$.i0Aeotmm]M[3Q5o81-lcr4=["ۂXai,P.ne8 *廩Qќ;iVQL>␮`.{,iqVvg9,Dl{ HjM9pK3xi^( #tzZ;qdӟg8I\{:x`tH)@En i"^+wk_T .xDvkmH,RsѻsHA$cCم~qWhCcfm!3 փ#*GbƵPAPX^{#21F %+#\LP7PLMFd 6_ӣT\Y 1 OVpr!;</JL_?əKS]1g+zSGMمt4@4*۳z [\Y'DQp{Ϊh0Ո,{J t?Dڇ=]f6x؋N6;2x&qQaCNxȜ[ <'utzDNLPέm. Qf{uʠG g`( pr@l({*:X?/9|0T~#W[l}_P g'ǠöؑO嶼gYZ  Ev*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_id5223(1E' lHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3,c/{?G*~f-9z_H]}(MܼVliTEex8G_h9\Qz i"Яt{֞4F,  u$xg >ՁWޗ5*(T-rY0{0/Otr<]z0'=˙keM:LoH~~ * @[޼: VJ!/BWhGZvFz 3Xh^<1,1p[/ɨƉ:d37H :_є|lxRDsʼn,j#f wC ՟$\V4i~X}i6X};3(2,%aF^Sc?w>q,&{H Y}/d!BNSۢD9\^V ^,%W7J.B)bKĪaq?#ɾwbnTȦsG%gVL8wE+M8ud*rCdҵR)Ƃu^8:j^/\bQ0X m{uU%5q=ZI X3 5KZJm:(zZ`"(ف60e#Z߫>k||>B:/gH{R0LzϽ9zɣbO σQM1u1 pp+g>YڟXuH97#j8y săttAF%X ,"` O;|,k?}qV6#Ek5=U=v o~rRFEТ$t6j;c#+mTZ )|y/j༳jq!R9 zQF!Z͆sF:p ƞ{r,[8-5y?^;r@o&"յ=n"F&xt`[E[% +UN|Kun~ǤpM8i+ gkjIvRj}9w/'/M7 \rWQH6AWKIN`] q+/?A M*%`>.Y?XRå x/]y]"/&>E>ujnFEV;PK/F3Z{^Ƶ*}SVdQn8 O&8 NIy,-Gٓ[ެ2ESxT:UiW"p@LR:46Xx6`?+Ϭ뫊uuNJYSZnK4Ȕ(I][& 嶁*tkr2;lz5yUm\ruXy%ф:f\g[ͷ- UiKkX4 >:ɇ*v9X_t X# -Bf/dԗ@K䶟pQj F+lr S>H֢ @XQPd64¢HSȵO0)t)0V3Wa:2 WǙz f+2ieSͶ]} Q {3xc'/S2nz=sE,y$GFEpi9^{S(e@oBGhG?`!d=E7eCT=j[ 5cG[ XrlC h=F>ez _u0AG3p!~aGIc,~ $3rBJ *cLn܈+ H|D͊]>kW#d8s?> 2;4cTB{w2;bw@ƻe!b7, Ot K`}~UzLŐm[~u湢 \Ύw>*CZddOЪQ#eЭ&@Wd{P]EH~=c/`"ǘ @|¦ ԮIE ͍w4|PiS|^)襁oZ%b`Cfap Qxu! $&"W۞[,_ M1k30|BƟ5PC 2vdM3#kh `ޓB[.LJUѡgYZ' 1E# )R8r _<bS[oO_riaUl'rniW^$|`_, L8ȨM(L:%ɗbF{8Onv% GK;BIK8Br5IFt!_ .Wr^i\*E~R= ! $dY4M}蚎-tQhՔ$cCf ߸< ZLw*3W?Ь DE o7ϑV4%RTR%#OWwW#7+KHG$ll聅]?z*텼JO_OqÆ`@./P< oDuL2\*`$7ԤUlN|64Ӧ<@u@D .tr$ 0ɻ(B5χ"分jLug<3"Y9\m*zV{o_$%c0ݨҢD蚔2U8Ыѓ?eq;Dy3YPr 7RO`z{Ԫ&?ϭQgx cgRA0_(2Ӓ#wችGcf)޿ĕ@Z"V*f#X`a2l-P\^VkBڽH3:{)_/於v?X$~r9*ntU'6#I&sTW޶^bl0+S(Y T9/=rnJӒ\.9F&:JȂKZ $#b8 СZwJҖcR7PzuLʉmM)uDx)^kZ]t=}H.Ea Agyn[oA][=P 5eV%5[$fO@<zP3a ~ xHK Sær7 Hw~$ՂWqDJe]eQc(0 0"$ՏB"wu W&R;{F3E=Nvӝ+uօS&&&=3S)~~IH0DΆx s!SS>cυOjn>aqoyKe! d %!/rǏ*crŖsŚg>.|}nw4dm>꽧OwOwK*& "c0-w JkR[k07ёUNeNlm/ K;Tcwɇl?zWOmyKs_}x<6P(þ֦_HֳmҌxrQ&l3zpi!NbB@s4Fچ~BK+R2kA-R鄟,CTN=r4J'up+GspTxpk׸- VU9 ixG[}T`t A=Ú1;P3Hܫ@Amn2s10ZG35қ yT 'q{1Uf8\]+D&+AkW,0US+ٻ5ۀugYZ 44,1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x5-!jOvq=SsE۵ .p0sfpZگaBix֎Y'Aa]͈i+;2`Bh*9FX1DK> RPd8^OG(Q* Uޣ4<5?ѭ=2pGN%MTXL>ˢϔ3{}h-loeU#Dbi}CO dܓ> {T,JlXbM8WN=U$JT{262HvtAy7֡xC x+&(7j_huJЃsp5#s3Ohn9Pc hCr jd͖/F問ɷYn^9B~U ѐf4rVY5c70UҐepU2 aumfX|#ol@\"1b)Vekf D3!`1 퓜W`ڵl&;_'S1f[)(^<e$ս4IQE *QTOk8N)yBD~}=IeGK;_ޓ1[tIN3#F`aYW8Z(MKܝ|5룕0oYBa59؟{gdbiby!sbp)oۂNcIZ1_swAn!2pl+gB[x#Dr Ɏ^=ut^,24ceV=JqUެ Hbs6 W;vǂg#kO/+o.CTʇ_+xmج<Fzfy<t}c,5~C]̌hԂ3m8"\ރFԎX |>=2b(EfwgL]MILUgYZ.+1O# \HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD Ƿ1Jv›I`,xŝVRw#qf4LJQ;ZG[lڈHhbDxxtx `3} ɏ(ʈcӛ+`ӤS!YBKȨRL#;6"ck*p쫡DsTOL{ đjhXM[d!N/Aow m j^a)͠OHsQWK Zp}!hVdGuWJiJjL##DvEڅϥP j_671b_㪕zgް<.uKAGޥ3xþr^d&{j>WpW"GWOl ViSX3Ӄݝ,_x:Y-}tMwPDb# _&0x|/дؼGP@0ODo0#sM{cni$dt[a JF_Gҭamruh#2dE3 f*g\>b]K-s}W= '̹5jBl@wFXoHi8S=s-#jtpq O`S;=Hh8̹> (LVD0S= /H|MPzsB |WmբLءiJ~ˬ8[PKArUL7acA"{M? ?yT6Řn$ ^T}˸ l|5 C@f_2824]$9֟DW'("* LNEL YF}MYV}%ߙ@c4 EEAc:ߠ܏>K\Kڶ Ljs" ]ck]$檯rNeW朚u;vZٵ*ޛL8@vuLp.z{*X bZ?=*3 =!ߕE, 5aQvQh nte/RDQSToff4{4'wO O|àwH Ot>ܾ̽*iJD~ܓ_Čuuvåƅ I߳0+o3@#B5)#ꪵ]uK MFmʀĥE4Fv7Og3U&aXn'SCv@֞1 ◯ig%gQ%-OQ)!g,D^∦bۺ|&I3nmO}SU"QӆMUWhbWF6v4 8[ކ󣺄D%z!w1ev|Gk;t9n9>%!г4O)U^56-H5^(m%=H!&'pM#9wh rḾI;`e-Mz C<`!/!øcb:ٛ,F.+&ڕ=#n2)>qDR, < _pJ-DE0k`i;\Nn lz%a^Cɾ?:0Ȍ%wK[D}0c<u?iÏytw4I *zoIeJ~#avvPt$)Pt`d#ˏ/J4$>5T<׿ "fˇiÎī!~,h'c( e DUg>MQT-v彝 k 1қޢɄCMÌ9P#N32e[E3v K\z8,i:7l ]R ۂqd]hËGˋ/ }^ οI _A"ļj鲄D~ Ʋ: }12NIbG7p}L^skA5lj27}'C_j>Fn +pՉc暧 'D =8%}lVYv⪚g 4Epsg+9TvwD m1h J0 j ? 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_id530H01O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w=]D?7 {?:fH\yK}kVv4qLMQTG5W,x6ŭf.[ttg*:8grIܜ#wa1c٤x'#M%i+p.|ŗ.ZdkVmS{F<|H#)*m n r$2wq'7,#M,.r 7q4?U)4}T Sa]RiM pdWJurݺ9*E$8\A[G8eT!ќ~ZooU75w%x!5K/.AWCC֠Wy2i[*kaR+ /įx-Aha5tt?> gʀA c aygb2oMnpe={qthTD6e"*ڎaO>Oz0A6LjMReW)2`PlOŦ'{ZNf@;"–|.պYI{7UEoW?MS (US]-6 <:]a1I^2S+ðMUi%= 'pp^S|8jʇFf}Ru+&UTQ05" k1` i?0(f? voC2̽M !5^Ј{ݿhjp5Iuꃭ2-d_F' xU+Pwӥ`lr1|9XS%|軺SgIH ·9 dP2DE _o/gV.$յBkjH1Lr D+ Yk5Uk{5~a]fLcb-y /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#Q$o,zEUz*Ȟ'TTqqIn,*۬Iaá d֛pd,H?Fa @GmlRى'N[Ί8&{,Q;envb)3Yc,u֛brf%w'2X< )+ 0ClY?^\s&;ԭחտ =e`-,b1j&h1ԯosR0/t`\tV(DiC>XWܸUrT O}]kⷒJx-( 0,]qE$ӅW_&X=xTcsCJ٘ 9 5\|"ƙa7*//,s jk@ `?@X65ښ-N t6nG8eT?Yv# L$5?M,svTZL;Tt 3@l)$[b5$2|'hﲪЍnb";V08Sa#c`5(Oc8vIq~{R-›yZCڛO9bӪgX= =\??Avً}걱ʼn\-\:8ܸܽ_ 'LXq+\${y\n'P$֏{~*T>l7u ʾOSo<=)sf= |h(6(:B..z>|Yr(ZQ;Bl}* |2 t{gM%+8,p ]~r>O ?W+yV%(+O%gGꪞjĺpDNJ"dj `)pwGQnyX|É͎Eu.Pf[oJ [P4Ѥ2xnDӧ[#FRz/ioA+CҐ9 /𑃴s)AdH| nc;(6BK?c:љpy$lS#~YXϒux)KˊԌٯ4j4M9ʽU0(I70wtyAK\S~5iDtj)BWrUqR͝.x)ڶ6D +(F'we`ȳl' .Ie r{峕@*Uj͛ KCQ-bQ{^LЕ!*?:4?9~Pޭ$Z;^?Ǖz-j:&-VdAIMaU[k8R9v wZ~bW41ҿG{\7e@cc Jw:f>Qs$3Am-Gub \3{`ΒM^"lR=gq )/4{.ң˟ i) z3ĝ 4FXJJkB\p'% Ճrjf??R]᫐@?ݴ<6 cWf/׀_ )Y)9lgu,%\vX.z񀔐h~JF*9E HbIJVDnXOj}؁xL 5@g1>Fpc k/1Ô>SkWfDJVa\i#0\r`tlg94S+5׹9&s'ֽ.f94e 72Bpݗ=9!1(>P5 JZuGun>9R#oBLnk)UV6y}8n|H]V_Xi,f/Qם= {+/m">;sRMc;Q AवQX* k-^ o:y]QU.V C 8"_7ӯaMѠnf0iDEeXVOׂ݄[L3wze4wwl2̩j)턡fhВ &{jot.g<:, 7yFe)`p1oߦm>1ˈ6~S Ӎw-|eX-C8bdh;B@Pr״q{Oez}>s+.kV@,|Ik(`.9!ިIՉq.ng:)skO.Ufu( X)怖4d3BaL>- .4|:C6[h쿬I<Ⱥ3uw2u$™l#H$eblk +nxcI 1rPP * )&j<7dKĄPUT4Q( TpsAL6Glc$;ySaH }l%>4w%V:3[=7t5+-ˇ:R^Jz~j]/)J~GNu-v.JbF@O*ł6촼xI;=WR.@A1ޥ"P'14qi4*PB"'BmFjvGzHUj؛~_/(j0~cvq κJ:GG, ֭|CJ ЦU(riLd}֪%;8` %k_s$$ȔV+z KKdY% Ò{Yr 3g$M9\F֯d -Hɕ%w|R~e?7E T;#NneXtz$7JȻoMsCv:nχ}ܷ*e^#YN:Q*(όYH}e(Ad)+r~)aԱ[Β.˙qu|z@,JZsh/ ɬVF. C8aL&υ̭@ `ɪ_ h-zLR3+ Ak]}7~,x vi,wC[Twɶ"8%ݐDA)ލ DH21n[zB5n+bR\9:.gY԰<|qhbZo땟$HH8@4 Px8%h¤@S^E"S.|ۡ}=u1-e&/Wg}yi064&o0)23 m໐= .?dф@l*9jR\5xA&tj}mje"X#J?wzv P6ZWQFA@&vS4yc-)y"PsKTWW .Ag//]5!V"TRt7OZzU;s}26růl%sS> E?rfYM@ph6`>k+D5oHdPAzs+ a Ny?P~7J.)%u!e{LV"#7`lyD&=(xx dOk`wFjӣ԰qv܇bprM!qHa#5xxgR+9uS%º [ ΕCLe(_:[0A3tXk F}כuHJ,1Ҳ9C! JdJi7%3HE7q@ݓIKWyg=)\?E b/,@f|=vr d&$ 6,niJ`Ks! xߋ~7XAB!^~Sny$GukL}6FJńF`HI$JW<(ZoP-z-*ԗ|eiibg+ i(1Pf4"OfcpLzM~L2`YZgnΊ=bz7u4;; *i:*23y0WhpRGevRj ]T6;Iڮ+ F(.J: A:Qw)6A7Gi-A^q;a)?H߈h+ybg Pt4w^-:XF v11u1hΪ={m\clM[y+*4+e?R _t7wt_xF.QCfZ+iʰυsΟk"+ie2LV4mbPU>D Ut2ũzKZ9<%m'AύjLHd :}f$b.@Nn5`>FU<ſ @U[Ote8U]63{-(b;UHC&κchhi#ٗP$z."`'<<)aVYrӢ^ "/wdb+2!C&*{ׂMw2V4K^[lӈ 78E(`;9l٧饁d,xoæ%ペ]R#4{F\T|A5OR"[}O}e } &Dߠ=ͷ::@b4SA]6кS~>]i,]AEF:+-m<)H?e^ő(G1:|e4d5һ0|Y Lk(6[Nܘ̒q9OF5fcZY =Y;e"DD"ik: qcS5-S,#Mm>! 0Th!_mm&m]wC{F!x9=y?ϖ0qh=o6?9yEskcA'&p(LQ?Lh #rUP5Y)ѹAB Mm`w}e.bWDJ{4PcŶ#e/V`ISmG̽鐁k!1: WBNH5ıݭMdu9@S-yع‘v_n-yk ޱu!n?>s>ҹ 4"ʄ,Q %'`On_Â5rBG}]M{~Žtgߏ}7Թ˯jv~uOFq&;D7{J5yY\ H}mOXy/0VBx*P:o>)dfGjB~RLԟ7۴pVPM'W~o%Bm3-G".ٗ߻N` 9 }wH #cNr~{uլ$eޘ 7(|iC?KdD,E6?p2]"W,sRo>Pc=#2{6߂hEAe n)GE)ņíufTX(wZ [8+'m Hk@#{}0O%:$~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCoho7u xBf)|-krʓzM${7!O@Ⱥ >#rg(8]aco* JڎA+&0dcCL4F;JrO 0m߽  1gtPVp9 -@FL"ժ%IqTJP>gR##ǞM^'XP6Dg K5Kdb+h"l r wnڮ$Pv ѓ&PB_T2Q=H^V}V^qBPU; ˋ$`ZOފ^55{,W. G Ѭg65X^wȺH7_pwQ' @0t^Ը)m`: G"5@Q6J];q լƼq 3E;Msi/ޮF79B[WV"c5;m kDl^ K(BH+ND=oivvU>H C=z8tƌ^/XҐGxdo. 5˦hp%ouʣ$4gYZh61A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id540941A' |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! 7]D?7 {?:fH\2:n6&տZOFʎK0cOJC0m6 t^Ee;= DBbֺҊFBڅ S5Y[NaqK5z0qɶHk-*z0284PBcxiĤش6B`}3MS'gPqf.ޖe_/smԤ92*;C&XxX3kŚ<ͪd'wCyhNrXNM"Bܶ3܆Ij% 6 gf%0 BTshj,'Ìo0)%vџyJp4 3M59' )%;sC f~N/;?^:YYDRg݊l6{qK]j_NGR R\!!K7@B: >Mx&3rv=wދB\ܪf(mpr \e@73cѢw96m)!["G00>@ґ? kD7W_!ĄnVڟbI}aヷ<҉׻5]K1 lE (9˯Zl L%YA\W?N·'g4ۂO}^y47Q|CUun{~95c=r(֍ "H\]Ԫl9xu3-XbbRS? @kKlij0 mu0S;]|oQ5/=8gYZ_31A# LHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! [_] !M젗OFK?aִB1gD '+JV jgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iѝHz#bS $|eY*z88pK9(tW67MxfEpS]Lİcnyb풭tWY>K4ӂBtpn}`=ޅ0, ɞv-^Fq5_@F&+0E8nV@2}3ψwBE:g !Rȱbҕ1-O ogFgZ*rN%lRZY.ɕV0V& xF xD_Z ٟ:+ǑVO/|de,w9>6S.K)Eݕ0'lFpk5HrzO2B,/TXQS(S^.>wܥK] p)AX:݊ }Z,Aڸ/d͖!ԓ" H31E8$(7u=keM:] ;v[ɧb fW;RbXb}p,o~_4q웡u'M,._7mĨ w ת ]ZB^sP3 ΆJF3ߺNg9U=[v:ĸM㰰x4$좪w" 1M9U~HTk'ӂy=k"T1"3/iHZ;9AL> G La#аކ7؀Qdpc.?2N>/tsCm*aLq6Q]y 8?gBg,wy"XͯuGHOG|7͙ǃ.dሽ%"K۞CotR0]d;澦DFe BqmJ=Ӝ3Qg`cJbB|ix-~Y&>5g˜1#zU98ƿ<%wM_$|NLCn͜6q议v}][c߁no R;4< q.1Z `\_s vgYZ 'G i @ h]  _" ^S X U VFf" 3Y 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 39HOL-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.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex M;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex *%sg%(U o + J w 0 M t+ -7g R A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesK?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupJ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesID1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idHH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesGF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupFE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesEK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idDF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesCD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupBC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesAI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id@F1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages?D1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup>C1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files=I1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idHI$e0O\YUӂY=>l˞254b !'d]sL GCEx˗.Lv]?y)D"C\@\_oejݹɹ;6`WV\nRRֈ Î32GaJkşM7O|<N+w4nkS:GHq '~!5pͺ] K/ҽP}#L(R)6{*w-Fy_3Y+K:u\g~ :ƵRxzE+95Ŋge䷒O啕5wE.xQQ+[րůpwv2T+4Ţ4p7aRQ.8EݢkM9-N&/V/k&P`tciwE79Gy3E]5K^p78ڽr~Ih6@k| \㐭Z}' ?oUƕ1W!!cI-;ձgYZ+:1A# dHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! ] !M젗OFK?aִB1gq9r2r<#Ϛ+iJSX*sͧ;gHZr":.SrjCUڜ߰:R6tF/,Fpît9N1AxU<% $|^.S|_&׈KYޢx?U" >+E_)n'3]wU*6-y'c' 8m?+CP7u l7|C`m_N+>yꉍ7& NX}-&ڹ@IKMzѠDmV̨JSpjTFӠ}vW4ph3 @[f͖8} {+M+J[ۅ,j/[&:VI00/d*u5݌OD \c0p3Amb/h؛;DUo@vuXZQ> /\k Ցf\ H8`-WWxXiUHPw Q6t :'<Cn!,vܞe'C5*.l=y5S&Nٞl@dfӋ(ط\L_֨vz970J~TIpmQJ /B`(Ny?'oe%N\Qй7bm=i]Zukpu#i~@~ZjTt1]si1y Ƒ EKl ;--X$hLR%Mem1 b+ࣵ|NaF-rmq!Ji7 2 ?.ӘI6Bןkw BU)Ds 7GjyγfN ,FSz`_Xs= >.bsu`.hwe|zΜ->`&"-CJl en0@KkFo, oIbEŸI\$%Įzy% ]0E7O,}(\irT}y]iȡ߉x\Es3x'rnt?qMC: fPf]Bcˀ׮b۬[McGuWؘDBbg;% (pL>4c%k( !L0[zxBڦ688kH>Pv:M{w_^l8}>I dž~<&܏1 k)n~^&/ 4ζVPF)1Ro^@F͙;6 Tֶ(ם%{UPWޚW\.RODp0[Ig \6 ^-yE \gv`FjC%-rKrHZ2chK{MW&(K a"@Ω894tF3Z͛@oԥ[Zj_tN.0Dϫ9夓i>;,oص#tݳb134m#fƃ[Iծ.m 0UqMܥ__K϶<lBo:>W(hFBh?jL)Š̋Opfd҃a{ϥGzI 6ܔEن=Ut'9;; Ralo.qQA\٤l"a'kB5ZBD3;9)>Ⱥfo(Qz4HO֡_77%iߓ #Oq#0YӲH~(_4-KjC2XvlSs4~UUWuꋙaf%P0o& @<\@F/=b4 a67QޣA}*_8N]MN8NS\ґpU#DA4}M@bgU\izLI:fJBتS XJo#}a D^x3[^x[ҽku]Rrx !禮2$E &fV D`GCE ;h%flY 2w0Ԣ7u0CӓV]UMMv6xWB$*3`~isbv?kiumN]s jŧ*/( X(jmSߝE-KxL}! Fv5ѤV!6&w)OVI~uoKVXPr7e;/w[egmb0v^C z+`pxE 2@KTõm^R ΜܠBV2h{ǫVI^O/6ܚSf966WhcI4 BBk&lR%t쨼I?rP; u'"HѷϸDif8('v2}&Z׺UFn*zP[0S d@ -نd|;1jJ&3}0Tm:!ДKWÏNݞkbX,';E )U2ޥ1~ l55y: {E`[P8`gYP\[Rs I:A Q>-0gYf2E5KΤAjsO%`|% E~+-X,vB%q(X8p̭z.4n$?WԜ==Yt#OM.<V3Q&AJr]VןlL`Kg^a,Ǿ{1 -:"g\6)̼27zA+!"1~;ɗ@;C&1OC_m|kiyc7dWZ2B]0n[t6kʇ̭ە -66॔ IZPk훲j^Q8EavW6z%QL ޜju(I!Yy\ഢ7;GVedjFRWl/G<Ի0_îD:!iŹkFzbBE7K`-" ԉ=23끩tV# %fdZ`/4e$nj%cr |1FK:!aя+$Xpgχ,Y'K&Ƙo6c^*-g#zbNBюEGMSuElQhhnQ$.y}A z@--4RćQI3s~>&zkȣz-+6z&KPJ%vԌLx#?GϿx%E0pjY!/ Mv &{ٸ4mkL#ryw׮6@*D]TvID0xGMQƤְƝ! %T*ih澾lpd|%)xr1Is ʲ1SeKPo GD(M6$ t? UȳpDo򎛥YSc4XnAoUXixPIŽT]8Q+u`%<673|n嘰C,Ou`R 79:Y<>KW VQYmslJ:p7>׃a5*_"S, B4WE{;Z$s !8q.31&K 'Q'g >~] F.xRێłCˌ؀;0P :[\\W~#EvMQX[h2w^c>gg],Ҡ+SGdЎ~06:$k`64'@>DssR\&2F*D> ,`Jh'xtY|D?*w7s|(k<#W~h ),P9SO`'a`!v/ڞT fy&:a qժFO ƯԙWrb@m`fYuh0#9-j:1Naɘ88Jp(k)n6@O->L/Wkq~tCp+v`0 8cۣpB}oOc%h])R#^G;u\z'Q,5Oo0Cy\SaDs$JRt 1Y3 1k浱gYZ݊KoH]/#t)e#[oSIo9w^bp\_+P|S]7; nUP぀x9\w==+{bq$}9!T:ZIy?'mm5h%ŠDufhc6tDŽ[bl7  $HUY #Ok;&BE0Ck((~ư OY؄G&JxjN]lI"="AxjdHyS4ѤO*7TOX{d†jR F9%9(͐I{Q7p8_T'εwO=I_^Goyg0Ņ$^;礹%G`c'q- k/6h#4fX(aO)* 05mz;j< b衲FjG}qNg(yD4|lT9OXʧL9ҝ_P}SMK.v4q`VaH z5BG|yEA-GMXg|d0/PtV03:3qk S73>)Z81m3#B9t>3 ?#ZgbAyK}TعDc7n{~+r?cixmOV ]^+4cŎM3=A;Y@$VFk ȽW`b LM#:W+/z)6B%qYp> g؛x9jVk&ba~ l嶵 Հ'KQyKv_Wҏ^WIwlf_YcqJA6[7ϳZ(ѠJC(VO q;ii@Ybn%&%pC5}ѓ氭vߧg`m<".K`z=&si?=(/0_]N1qǮ4ܵ% @=w{vdV*]T L ZMSܐ)tV>HmX{ܸ.eoiOfpČ#:,Ol6d DB>أ$aɤMt.dDA9 Wq/2@{>E&%?yfM|u !N<9RPzW?96c-6j@u:7Ն# ߗO6!;4й}'n5 OCv"E)ב#clʕ"^>sμ.sU$BƽgNZlUAT4&URJ}@"-s/+_n/. zJW /G;wZ4Q X$oL'Ab mb.CIiă>0PGZ>EPj~T.84 r^D.91Mb 'jN,y^Y!^v N&q=|d)OBf6y;|FyװQq/x<ܱ*h #R]$q{|\~UinOkp-\7Of 8?ܝ&BfpkdPE_x%R]g>;e`e[m{Z fMt܏ b^0OW.1}Ϲ=6íR9o6$_C"Z|ߵ XxV qɯpovR/!%+nc(G!0UMsDW- YH;N-|7vZoY̆D:e1vIE)܊(ҩ%=A*'HTƼvOU65B]fe `u8> 6 ?~߶?G3p3- W`.C*OzΗ_r}rH[RzD0)?E!"'~E&++S,bF`{cUd/a:7}rm6g۫c2;&H`w0ƛ7-gϏ}|/_yثw3$BK@0 < +{gm('H ӪSAzVMmruMbnGEP7S;= ^r=zИ Y T"x"\YxNjW~Q7] թLtoiut٬ do_*nӐjHbđ\q[S)ܽ k*aLt>$x1%Z62 =U6abyc~^W.륷S#s7>CT1°Y~:PђJl@},`7CBR,[U=쌬oohݳ/:d2(D1HBL?ѣoqgDz&(oʳzo_3޹N)"騗+n?C!Y=MY6i03>EjoӹMiq$8?}=Uzhӏ%!ޣMR?oWn6jI]\1q;ICe^!ޞ#Z5v zm<3 ⺬} p+wrMH9 2RO"UR$Bnz- ho"9ȉ?\4g:-+N[ZɎ6\H:B Qj!n/@M*H" \$Lp-/xy {;y ɺ5n֘I_!##8TeFZ3p3GU=])&wuZN]mN6zb64ڳ*t }IHh<%23pWY? Xx)E7vFӳ-̺[ F߸ye[z64!y5 @!AOK/dGMgb$"I8gj=u}}ͳ[SS#\XWKM6Ç?|q%R_.OjT;$yu5 t-RqQMA){ F'жlRhLF&b"0`|)F{o(A2E2CXA{%ۦ)0? )lg nx1 PR#|ɻjm~hqx5C:̴g.ߡ 2pe5efE˻)1O# dHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! k] !M젗OFK?aִB1gDmx@ڃ_SL0Z*ڟcBy@S%Ύ_z^ 7́aaoL!*EzsmIJ_Yrƀ u &) >B1O# |HOL-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ܡх벹Ҙc?Qmt`խR gyTX0+}!Op#dp"5צfd)"h:KWBxz!8!L|A#A [:qd vP6Yf28[cM wW =Z]7qpAŖ#fr;&N yItU]9 {?' * wAm3V %X_J]Ї؂Rmƻ6XN֮ДjOg%؛Boli9~H5aJ UC<fi|u]X\Gb$"+_X"6fBr $+w,hd\x״y|)`)qϝ} GibjG8jب6wT1Zy ;/p)ֵ\$L5\gpO5R?\WX_2SЃG H,9aR^3#GGD9+80ٍ@&͹& /iig$X]TD #Nlel'Gp!:rqCSq䳄Q'm a9>%yХL;r(ww4K/ECZ-Ho+7Ȟ g ( i 2 <)XqyRH̺"V a.qcRjuTƢ(wV}R,.|y ʉ(Ir,QJ>D!=K3_. XY@ӑ:ZFʁ,6Is)Us;^yD 6ww!:x:9k.ZD<'d!0UPS-xTڰ̚@ؤI^v2zٍ9Lţy ,(<:*)X\L+CWn^#E^2ʷΡ R9_] d!1}-S]eAB5̥DcSS**-ܝo"GND^W.oY} lt0s| -+.m* xPR|_>и'cľPv1apGP 8Vk+H g-w2k|5nV3kHcqUb.yH^Y|$;3G75.A2Hug|#i6YBkSL P\"ݘlѻqF}UJb!ƦWBCg<6Qѱ-e%~_X;`xyrOgwh [ی} 9,Gx>|r[ehzaӱaLmlNmUQiT?Xȋ:;`o|(6,g>eeB!M;ZY?_wfHQꎥe*cu C:_2Nq:OHrLD xZߙ=c"A(罐XP/BY}#.L/iT+?׬ZSAiz^MQ7oa& ȗ@ Pe0h R^]fxOGuOa" ߶ڨ2m3dP9oX܂μ>XQ,<[wf!R?P[:ZAFyTpѠɴZǎNTye fs50:ֱqgqzu MGu *Kr8$!2'=wod"`D%ͻC'& o 3>{:c+7'fkp-- f pKpg C&$GǓY2sh86sNۤQWK >rbi_=rs F[ZqcFYmjv1U O -Y6OtM 6:Yqj՞+,m%\Θ)uD9n+jʸM$D*ߕ 1D8JF32(lJѭd̓|c#YbqR$ ScH{sLqylOC'^{|$GE?KGjro;EW)uK d 9~~H;+_@^mK(s _M<kwd݇uS #AT3='z"o=!,[R&66HR-p|6Cc>:k65ߊܯ|xfbL.f`(.9#Zw}U azJߋxUKu! zFB&ble_8%5Cv}/*0DW~j<2^ N(RrpR &6XsLRL [&uç]o7N]r1+u`;2?9ei)Ek_V~C/nl0Vg>HI\n5pݥ+es d{3m8ʳ1Z6TM~m/NPm:lc8rKi]7)DiQ :5Tbbj;^Nk6̵ֆ3kAClO*@95M;E<}*dm;&w;Atkr<їbLU8Tb.-'@&VE`ESsI( 汋B_W2f_IF~K!UQ⤧@D#oaH융>#<5׮&3 @X/~#e^.F>Q7`z6TEG@/5: јYǃ LesyrL;pMRA$/N>LKnFjp;ud4OkWt8a*˂h!zq Յ!w=Ժ8˨vFį`o+ĸǽdjp- E+y eygg&fr6>S%.H0c 4SQOەfqφ,J!\m~15G"L {]MLsV:Hrl2JE| _ 6hO|kP 5/#  YRw ӥOK /tT SgL~Yi$S`9p8n x[_.cK(iwgrp~K2"X8Y'Ey^ s:/˶9`P/MĂKDiQi3;}Q"/xY{ wZ\a61!˻Kʉ$CBT;&GSAkDmFDc;g?߷c[缿|^2t`"lDꕺâUqӕ؝yWI̴;~I> \ssdw0fMot{'%Zۗ ynfs)YѤ% Z*E0bȡMtVk>zhYb[S񞔌48[DO2Wv6TT1@G%i3gT̨} b)X[BDIq6/FJ!R3h X >VHF,#; U*}640Gﳓא$KR"pӛͯ_ضt'<iṲ?[9k_S3|nވzj?&WձgYZ1]AvQ_o8䋵Nvf,=>[lOL^ hx?E+3Y' lŎ@ݎy?74|4_ ?VQf}FsG(fE7C [>Ik WS> XqdQ'P64X_w'&,bBrΉx@3Zvl|G/ڡtsh_F( !ّ*Hg[M@-{ q}Sj[el KbzLi(ZAxgO~<_B B]Mٞ {kNH_1ۘ 1`OTڻ?4OMn#߭Aa;mMk) a& E^b_gg|Aq|}$ G\:NP,){CN(pVє'`>,=!3B;B<|7N'~;lźLe26JnhԜƠŠ91}HC 5C6!O+]ajk=3`^ @L=u+ wd|>odԀn٧LQ_Dطi7?*eJۜ6|fTEohXiGmy&n[(5R$Ϭo࿇7'ٝ( )Ռ$J |wBO&Pmeq$MP$h'8,FH'1^~mi0QBC͹RSPN2VRl<ˡʭ/\'ae6~{y˂Ob{xa {EED@\-ՈNVڃ[2ޯp]8xBXO}J*JcUQf ;V oCyऽ b `:d,W) +ב4oXO,w_@{ f{2'(PyMkԎppRuʉ`ìSqw(q] 4gQwʪr+!Z|!l"kIڬ TX%MT~=CRvCx+j:Y;b *%Њ gZ<6Yq>M#.WD`v@y(/@uh3²^46V KԢ%Xn#ĺ9*b: ;O BZ2@.GJyD@&2WdŢ 8|ג`lqRjwzƌw.C$M(şiXUnʶub9OQ!_ϡ(JR E)f!O@1>K.pҘNSƵhBF;%x@ &6ԣf i[](AxI\zAM]6!RR +>,i͑(Zn:vC[gzH2 W`]%PR;@/rkS ?σy~pEwI+sh}:xsDQ 3 $a.9w#{썓Ho9V;koƀq<&!?Qcb&y-:IMڼOԣSo<1)N_6j#G39Ӝ2D%nfxO\{~kѱcLfyR΃-&TV|˿i_ڥP5 G 0G1DX0 윝m5b- z^ Q:JXtiaBVnuCKz H`FvJ .Ů-w/zΆŹ`"mH$j\\wF(R\&/5XّIl(%l\b<<3 3Qͥ#<^Dڸ4a/wIcȟvKC[n/7cɳ,RsѦq@;ևmZ*M{ԗ aT[ϖxofvqP1+`AXga~)n$̙Q-g%qfbjV:VBKqN@|[D27̰YR L[aBؘn^0fIBXW2]J1q]aIK;䝿T~o>su)2kxHZ/ǧsE_!iwwGVɸY;dQg9+rKOܢP+hٙ%Ş#*IvkpN]DAr:gҼlWһq!1ؙj4];fN9D/;?BNw˓tmfϾ- L;oET"t-F$!7 ގ(=!A\ăl#Vo:)\O3!bOirU rz#CȐP;fR˯$=u&3_In{qq+{C6FJ$= 8Bg ^zKSۣ]a^XSA']5>V&?kT-YA+9BȤMbgr ==衲aud<ͩITt $^vIR0%koo' r' Ԙ7\䬇Y0c Nv(/{9CF!d&,X@yFv5X ИYM_}7R${!'e;_\М@S[48`$ {CQxceaLSr 'z?#SLzZ2u}.L5LQ-vt/S0#_om: .@\^=0Y.. g86(d ^>umc=sm!p@/EcC "TY2L?]2ϩ?⃎;H&].[\͔i$<3_נSYZo\okۢ4Ra"\ a|'S[B?}:g(b ⩦(쵴qȫB|!<Z-Id݄!'|ϳFQpXzB ' 1wed"&[95*`|CPoA=90t͗lu*RyzE̳ oaK?Xp&&ޜFYkI/MvfO:TQQ^R|hFc>ZX'2${ș2΂< *rԥ)zvMmr"P[ gk#NkQn$0IB|y֕Gx2 SzKC:z acGc$&;ɂ#:V(6LOW-2 #V1 DLsLaMҏrea#)n/)xq M]QgD 4ە`랒W۷ݝj2~l+>qB7R鷘O~mY&B@w{cdJGp4TOfvT^p8fCN!4WOJIe  !$U[ i/{>RDY*9Z+YGҀ*0v OoaYef&G{䋷 `>B]_srPYԐPr4uM|l Z%͆s/hDu  =^I~K#4 e̱gYZ  C lI1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyHH1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id536:G1S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! /]D?7 {?:fH\yp`8U # ?N^ްj{+g'R/-I9s , ,1q=)"kNN:"AjK}ajUQ/!@\-)qaݠYưפ|{}]&jW:; 0wP Ȳ9$mc&MP\P]Ninz0L+ ^UfQS u8;I* z1\4ͧuJs3.;2I;H Šw"%13Sض]ztw}蔻[q4Õ ,;\{ A-)/@t/> Y];٦U+[, Pa`r&puBfL5I@^({\iҍS"5el-[smͫos ^s5: ($kd6*X˥@c‰BʵڙsT[.JEA5:bl3J s$5mfafDc,!:cCΊn%g9`t.| l"ތ3kwV2cÜ-i|1d6}RguF3 b95 ;w &nTHk=>C_ך'nEnbǜeBw> }\iŢoL_}CU W(?KgxDηUZJ`֤0Ʉ`Ϣr 6JH+*:\hӭP!jISpu0iV y =?KΗY 'KUh8XP"#l*4B lAյ>J\2m[Y%ž7 ͮ(jZ䀚UluG= Vj l]ofع$jɜ}A #RwIY/ H7j} A>˜C5 Zk4ĐN]S]!lR'Hіj:}UXܧpV1{mɕqP~zPy2k9 טaN͡HwRj 2^?Pͬ ~m:ӂ8l*M_Kt/+/pG|;DE_H7 IЋ`ij+Ο# Jj2 JB&6D_X,uk_Bǵm$'j!]}1-0< )"ޤ~tз {7K. 3%89=M&C͵㽗M{]A"$^땅=Uܨ˧PׇrR7x,`< 43T{w{0פ2XCNG+BZEqSs5X$4|T;σr=W0 CO|`1|y,!`umͬƆ h+{`)&:kMytIr e]/?MSr)Fe,su|̷?HЙ9WXcݮ.و^[Ցߦ6S+BL*C+nΈոձMa>y_>liJ2"#OEd0xtUսV!++)c?C=C xq&d4D A{/vDN Zvs5UQ*Uo<[%*׊&}:oqch|hLJw: qci7,5Sƿ9hY]8##Th1;|2H+?ߑFsV 'L(;>٠rZ~kߍh޿Mǰ68;>Q #,#RC3|`9:V+NK>tD>3oʵUjs,X=<n >_?̏#nx/qpt nމ| ǾEd鑶gTj~Q&,2إau)[l(rfnb=1IZc?ML\, t"a㔅9' Y͕:{YN|W!ͪ8s= +K*g:%d{%=.7#-]yC 1 FpN >WOPpNS~Tzf/T2'DR;n~HG_؃ALPBno'Q0a_[+"Qwk1}oosK; P AsDlOv;,W1%H}Ӷ֕#2 Uf ֱ cvi9 q;. 5,.azE`B1{ls/OF3g\&Ān VOJ㋦IsF8mXu" x'tNul~M+2͈{a S6bK/VUf[ gWPٛ96`iO7Qt#f 56UG; yʬjhe,x}%_SOp804yJxvoDȗ9: ґyYMTGpt5W-v8c]fw.4Glʯޣκ=CوuP\$=fV'ҽLN1im1 ǻ{Vdmh2,<8"$1᛿pa\.~!/HCh}qʚ'>4&t3+)Tr&UX0omwC=en:D # 5x_ t),!г5\{{9LWpw\ g%Ы^>K'_r^ݝcO7BJF׭gvio>V\ܽVzȅh&86+1 _!ct[P۞E# l"JȫjCffEZ{;ljbt<-_ߏCRW8*Dt3y%lVJ-5]ט'jpp=٣?SD] ~?lKoY}z $-;TQwT鈎̻NJCϕ%-q2¨wFD4_3#ksпG1]sIݼc*iԩscE=fԖ ybHXԬw{jM\ڦSaB0daH}XK6H{f$ijtNuݕcfʨY<3bD)Ւ,[ 4$ԅ֠zf$ b<;rqDoߓ]Z~8w{;`])pZ")hy4?6s ]ba$jPO%~H,1+{La6; ݮJhўEBHF[<U=DHؚԱpz]0or2Yx厤zKIWP = QȰΩpP$ dWV=bop EJ{vI|r#m)CH#;f2zP0@EͰ{إqybv2&c1Q-e8dgؚjPyTMs"X+<ڶI/j5On ;鸞s ,ͫn mKBGg/Ҷiyj1mE5|Nw-~iZET+ed'2{_x(&0^[*Y={h'(ssyjX之la> lm;=sZuˆcP"Փ6*Bk81&cU}L 1 j/%.al`ޣ7:t*æ&| 3%8A@~#c䲋lX=tsbuQ?zE2@>Bpv'I %qt2aZMz/ 'ʽOAI>jy׌MWo*ϧeqA"3e?ȝ]@W;ݵ?>2=?Ů*?V yC=6dSAhk9.5뼁^šG`),ǹeXOYC~Dy; [Q3I|-EZ$ۘCrVNxN4"6iO[L|'OE(~Ii ^iN,&}{I 2V<:U ]P//i=h 1ZN P.&ѿlǸ~n jnNAVV{Ʒݚʂj#B4,:A[-cDpl@ݭ{f)Rf4?F!ϐ/d1uCYY \${Z*g x>F\cXSImh/<)y6NO۔{H*0 ư(F4է̕zvE ㅂb:ڟ9O zZ-#ri*X"y XJ B-1 qrg0q2&U>7E|n{om1 x6,w_OlB%1÷G&ɭt+ceh),A hTII5^ 9$޾<'@cnwd.qn6VnY)m\BGZ"f ʖImX۴a^X+5Ͽ@OLnӲ(hԢ߉ jIj:Fx¨%[[ϰwl/='EX1X 8FSG}Y`z}-BuР]\*5;8qqkZpuW8~jNyP1V&Hsk 4 ?ݙv'9 $،|qBGNS=+_T8I82xچ$e(@ZT2gö.b'6- +S? 9[T V% B +K !X>Ux)X?X!7דT7TE)| 㦳DqSG<8=^"{5Wmn'n J'89\z9!~:KIvF /Ri?y#L5|8qԵw)%= kFH3j@1 RƋ j27-'~Mf{+cpNwf\)(,3r.\C;D t[6w9}%QcD|(:BLaqwcTNZzv͒OI ;LZC}9 E|r2ĺ&I: !)i? 1ElyϪ3CqEOT QP,8/>w`_AB_:K{. b`jޕ/X-];t/x'|zn( iorf?+EQIٳ-RPGBձgfeC)0fB~*4t(SlZVn0˴;]!V˂ڏR0iE] Oբ×6ה&Xd lvsIУ)Φ.J$2Vhhט$rH& >Hx9 VCu7I1sF(ru߅ֳm]͙nyR 7"x ZjKS^!Ad.܂?y Y<"9^סrҾ-,(}5'6lxTLr«B1) ȥeD>~ZsɢL \S3%[wmcᡯ ] 7YEy֚؊yxyշ&Б2t3iz\ ioefG*bu$"zfo#cZpy_ѭw`Ntw`RJLߔᒔ5$Y:FSAݱzP4%jz'sNa` vxi_fZW(?3)KMۡAp$> ԞQ38H[B?Vxa̝3FBW|G=RjP^?HhmRS,k7g^\\-TL,ws3m6M_-jd ]r2Tp~44jX:~ >Aƀc7:q.6Ypָ~(6N̂{SOY~ T`IaRa͔CJZJ {8HHAY)l2)jk(%Kk6l!5UZJ>T<<3if؂SF[og']Y=Ղ%Ki5L]*.OӋ_`f':v|}A,–:|.|!Flᴿ&qb#Y;~WV*lpL#BȜt|H%"9},E$NFc߰c?EИ G*?@'kē@{_RDa(Jo>x!ecjJh86tP=,U^n7e2 [נsn; rQ2!7iP4j1ytP푱{5y3rb$*9PG :-y+,\1M6cCY1{ߖO4jܖE8Vإ!s#nr5FH<34\W2Mj+;y̕|,d,Gd&#V܅G웛kS8u΀R:kYy6 JW 5Pھzxl6"<(:eӮj݋ D0ʃy4(_$63':81*  Pk"n*4PE)(⭋K;G6t ]z61׃ 8y]6=N~LxC&Y9;7oؿS(I5RŴ5Clr/',a6jEC4s6lJ R< '3eM %+q٨@<5>! C%>Y2iKZ^7*A؉ ^%Ͳĸd>/a 8ȁ*fۮ$`unic yjHu A *TL+3l6rB:ݦ%Ĝ :`4-ZiM1C1QY4OmU j1颱 eYtߴ"0#){;(X1OA$TLf5d2BdAІԌZ?q߁G DwS<Q GDu.Ru"i gE*- h^ځ(Ο jF( v`< cw'Qf>LUÊ8VkoZ;0@;i@7k[gP<K* P |kLƆ)T! %{%x ^GXS!Wq%ǎ %o럄GD yG3E^;3+Nb4 by}lo 2,{0 ToCN 4Q IW 4cH'q n۬xlHp`.,rQx=* q0/Elh/RoU?("M ~xcEt8;v0bz D N#BKN?#BJHTf&-*ŝ=-nփפk"7jMP=>n Oew$ *MՁOy` dؗr/C˟;yTyX8gW?z59vWn@mZW(Pm2sE^B0F|pUh>oq~]W߀3g`ւQP&HgڎG-~3_,پbFa9]PI~SP@tOw]}kxۙ0 aH%ՐdkX{l{>s[qS=뾁"^V*_f(6 &k%TEHt>;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ߟ)$(ȭJ4û 򤂙dG=іvH|U-4(MߦJ8QFG Sv 9j+[1QpRYŝ%؀鈅NlF rH 똪dqןoxAHАVTPM) Y J}*ou .?[F` bP4aghCdKi#>~oa4DF@UW4&'kR.L[%v3!7 ˈ'P;ƝF^3<@X *S1JϐTh$C]wѧiO ̪ދcxNI_9fTP/jH<{Ai-7#n;i/PFeFE o)w?J Tob/v3)[[K-5/۷ l׾[V'St \h{Ơ Oʽ%wtA0r$߇.ܪ(Ýb@Jys㠬7:ᆊ[,@_W`nȣfTONvNջ|Q74t%p ;; { v}HZRoC3W6M͓ `*i=/څGڥgᆰkP,"<ȧp(p֪vԸ90l+:~Tl! 9N5y7>28 Fhƾ W<[e{f(ݻNV#)Dν~ހe*e49&\Ho#]N L?\ #"Z^o[Y$62 7W󶙔XCelk5'<?nvD-"):C7e|jG N$!pB*1TdSByC#a/ŢG(^ CǞJ)X$De`P4!Ujaz6 $$MX/PylZG  |1_EP uoE=-AE*ڣ /t1U`N+;(\'hD,jhɋ}eI!8^}qlz2u'Z@o(A=oV4~ND^'Y\Ycy-HOS hfqkj2.Rʨ>+%X P:7V/R~(CLc bdhfDerTzuR5E: ~E`~9e1Eyxj"j`f[D1vDw^HPЦx; vv="TeF)򅔂5ȨRK+>D~ *Q5׽GJ\Xc.:g0\fl{L8k7sm]soJ=#JLJVAi0:QڃջHR{U0Z1¯o-y'.y{?[&<4PRyתZCr[J|Sw.tHb#]Zu|;~p_NC( RKS8g.-hH[vhpln'yUx0[g#-ҩOD6wZB*4fΫ[mg%I/Ttmt~tL4-pi;)#BArNQµ>?z%B ˅ٵ1ې_Nv-:68DKM w;O /")NI_HY _)@uDɜڤvMj2-OY2u6GO"y1*rYi9|(W݌NoEenDp~E[kE-5y,-WID%d8'M0/i claEjbmezgn\=\ZC&C GC%}#-%dQC_j X `ROIS^ ZxTQY7hycZJuvW;`8һU3n'դ<$%P&9)%\rE9{)oй.GusgA9x{^nVA*q@_ zv=jtH6raUg%荈M&?7[߈Bփu>Z~muvnkJɨ6U~czŲQ\/$5d-BG2hL'1]\fμtrt 1ykf@6=_gYH͘;@Q˞,QVɳ`VqtDd@un6sf{z1: xѡX^ڲuR$^~Pl4/S$T6rw)-%Lw /Zdҥܘ;j奂n)f=qZ,NN9:sB94)A $rFK$v4p|GkUO]ȥ +9 T|]pg^2 TTz&I)|ւq dmF|1}';rDKW`gwgWIש'v? BU9,XވTWդRhsYD{dV`1E/)`߿ёڢP!VC[Y<0Oct7[sRqCpOYV<]v唔+9E!~OoЩSу.^^Dp:*Tx $a/[ٔ=z?.\qMX?[^9I&ZzP:@.o=2停k\J#3Lk:R\4nM1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIL1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id532'K1E' THOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2-jDH-yqi2s\x:^kFkː ݕ'%#ݱ{h (m`i!Iz͕C:md"TK{H̺/ޔp`-M³ZVbQks.V*<'¤G\Od-}(rOڛdŶ_oڼÐOE_-֬(r'PL!cDaN ŗ-pۛu` r=#w&c{Mvy*F+j=P3!b:cvk[YbH.TRL;>޽J.Z1e$ni$f_WI㭙DzgzXy(Gt0gB"^TjQuqD>+ "qeUn~K bq(`p@Ni6tτ9xVwGWLo*=WTe#L2kC^ 8+HxoS\*[q%b a 7kkd VuIx`ly%/ZۼDM^\*Ԝ=>bL)!XSS ǎ)ݫO:rϽf@d:&łOA!V].h}2r!&Rtъpq/)5/0I_zJȳ+E޼Y Eiw'Zh`g0$/e6272]6G1|வ| ~MR`YJc)ӏ;G1+O׬w) Wn8q"Boc}[5)Y+?K kdOrǨF-H9E,½ޭЍrTq]p7fqHT|Dj7'kj:h(DkYiT$[l>B9hcJ<3!#S#yr#sZzWE'}BW <5IZJꓮkPAп(IuKyZEZ79WnDv6myS=Y@@ W4egj1ÚB?'m]KWkW\^e֊zbno^Gtafw&܃df!0Ğ]'*$.e3PEMK-qXqɺZ˗=/$z`GyJY }u]&^EH- mLlGv竔b roȀI:]u> o 뱹1WȄі!Ve8K 6Su{bjJEM̴ k:lꉻ:HtkRpRsͅtsk_"M+VyHǵr|';sJp `EEw 8qLiddf؉1af|w;S,}J&$At:!$?TtEMk%69͑-:qƎL7l#8=.?%%Qz&BB-3C鍳HvFKF Te@ڕ^5 1EY (R 1O)x*08Q~O:kBs(9=5nlco{lbfTRNL aIc5f"[-.Bь%Dي.Nł^mpC?$ڣ7_*$8wbi "kFxY& gefnD8fW\ܨmk偠Btavb`9?? /a)y 0B$XHWڰ|Hs0`!Eze>³ŻQ<Mrz(oWv,؞5@5T>-'+7:~IƶZn>Cd4MWaSɵ,FfL XDpyf=P__)?r0R,8!2JE0a^/'Cɿ׍m,2*")Cz٢`Oh Me<N~rp+D-۶ YNQ$%RbxM R4`f uO&VZn/t, !v*>0_OY5DwFTx8 6x%yqfRA42A?ꥰ(cMR k[ӳ}|G9y@^炇+:4]a}1P뇳.w(Sfb(i G\Z~E)I{!C.}fƭ+U*/*p#X>BD`$fxe b.A]O_CwkQUpDhL˨C6ii-v}NgA~@JS0O.ҍ|OXŃIOF(0M׼ɹfBT~{nbVF+f* nR*ڹiEŃ4> ^YEٵhrQʡ)̵YkeLQ)ZMO;Ձp ތr쓇ZexSkJ'RWq7} ػ;Q4nJ )h`TS7}g.j,kRR4clkPŷ.2KeUY N}]R×7Gs.d: -yH~ǜU(͔-]bI ]@ѩ2/Jr~Ye'RtRwYv1,.!W ;VW+![##8!as]c ;zxHqIqQMb/!!Áv ,cT@bvC!z&[0n_ry?1Wq.UY99 6G,`qgr`hcȌ衐N^wzeoG|ԝ.n4z*i cC4֯$w R;Xj~-j"*IA< Űڱy:g6cyɹǎ3Qh\ghH|?'\-:i_xyxRؠYJJ3LZ37!3Ƅ"9wiJ[ɝ8$#o |%_O>'-wʥCe` Zl=NT<1 )w8VNnȱ#o$C}'IML:Sp9Kͧũ]ƘJ&xwb_,w=f}.)e3ON|$U}ܾVC¼ Tk=؝1 ΑՌ#!PU]Z83ohS_ˠV( -2{O^*gYZ  A m  AZR1O# 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@ *n7('[e`GJ%mb4F=!yȤ)HSt)J% * 㒔pJG)ЬE ,yR6vQ1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyMP1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id528O1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\1)U½ FY8am[js[R!woOBNY2X!^Xl0z.lɢ^eS;.'C08t\=HG;{aYr6z靈:iħP1 m 59RKa}ׂ|-Ǧo#j+i]3*Ptr#ך5ROQ?Gl/_Zw#9>`NFCP[sקtCd`#1:&!|?ziB^)K5 xIA{]a-w)a]!;cJ8uH U@pn̵r> ÑݸZeYCrHX<`.x-I's pCZĴLI\gͬ ~"$8H@##N]xfl80ei`'E嗜u*.eݳ%{9 L@/'bu6Hg>51:i+ϣ/~T`xPj ϰc#QdԹJG#b"0.aRY' U1ŦuvV1@Rͯf`~-yҧ ȃW+gvAx߄Vl ~ԭHś_ώn&_;Oq=#"jmГ^x7 [y+JBƶ0t9zw]fzHmC8]h9Bj.jL.c>Ln"w|BQYglyc͹\Rr8wxvܦ$Z_@dY(&~p6 m8L{n"6@SW2J5l'TB_TTR{˪@G_'mh(V(E۸Rcâ4âh|CA̵>*6Cڼ9nKç&-3}XH0NpkݬuP8rW~β0ls.f5fg=|tUa$ '|?ne6-`V5PocO!$y$l i,Y@Sآ/Р`$yK}/)_R(o[D+#BH,D j]Qlԩ?&W}Pf-b{SΰRϲ8pmz\h43Kٯ ,; +  po`w|\! S2{ Y <22o2C=*DO=䤰Pk aAScꪢҕP_gptgi{xwT d-KWY36. 0z-J")\NflxJv|:U 5~ϝWu;7q}%[ONxvGz, Ns,' V D 6~1$<Ƀs$yI~ybLF*IPJYQOtPbmA#E&u]0`Vʼc#s=_ 񩎴/yFG]@q8>QN.*YQK:mVP7Z}w.HHa?]x 䣍P>}IWP̺fd¡ ld@@nkAc5 z |/9ZaER}6 8NATsh;6ʎ _N,kSݝ[XIcNOW&8ޜrdaUC]wz.Z"?9S* ՓCd%KcՔ/BcL/- G43C-mȂC K ]#{PοZio` >VE:Fc.&[q ؖNHoVg}/WX{9&u1SIdÍ I/Kt4eR6Co11ԍh)ҏ將!L9 TOTEǂru$$ES":D$PҙGV}oͨϗDl)ݣ7t"ߗ&+>[p">EK$\@1,a*@Is%} V ԮE6BPMXO c/A $.8I`#=D[=O3~ٸ/=J9V&EP K[K<46+H>c=7wd{Ϗwz1~{3_V+?)HNokuh;_GK.uV!a!pzo 1v;e ˋY3S];[} hojP@8ńoR6$, (aNr Z| M|£[iq?HdCt -K:% h92yx1)w\ Ѷ=2$ЇE*mwtyae9vJ+i"‘֙0#@90uR I;]ПidW4n?=bE+ 3/R_VU-ό?*kk'A )-tJ|M~,y\w P`˰d$Q q tv)kbrAw.6@q4l, (Kucb *:?:_Y{w1X˸NMvCmE~bl`[4+pn^UYjZxxyXXJ`_!.E> "|B:2ILmE E"qvk;̞&N6shCEy;,mx/39 m8jye"#SϻF:+0R/[ M(r[6X >2˪q8 0s)~+?HA}jqJnt';M"T1dRT\.Uh!:oeKf"7gy8 _}s)ArܑuD[d=Y?`>a }W+JzHFs/%JpĈ;_ZDE@'Fix"7'̊8G ha0MGj>̀׊# iPLgJ̬^,uZ;x+Ug Q 9ISC0;}g#ɥP.#"gYZ8u˔دeC/W(.ǝ6vĻ~uYJFvr>@b{Ϸ `/yg**7jG>'[ϖh:p>dE5|FگuBM}$ϱ#hjrE5'Zv"._7؎#UyM;[x"W2ZK{Q$W/بJJ :VWNťo D`.HT|4Ye"%B;zm"`LdRN=QySd`~ { 7K/ 3-Ll)eAPcz $nBR5Yº~<~c2j '&?~4 j&b a}s~P; ?lZGseJ\V0`Q}c^laMzz`ℹ`+m3K03)SjY=0L(WձtS ]tR4tnl<; ?ZB䂃iW k5Bq --PȌ>g]&("Ɵ <'8VƊb IǛBv욐b&ǯ+T+$WrZ'mZ'M2zXۖ)4%F.%h͝1tɿh-|(ƨcZGKbT|۔ղ@u44U|ioS7-R8$a(Le;dHjd#]d-yP<>g#n1c.7!?UE!ؖkEM>>bmm>LF-6 t`ǮsqM? _wR K⧹<$0YI#B/(6x^邓/Y + _t@vfy _s0Wefu+ ²#p4,#BT,?p=B:[3r_re6K7C4#JklݙXI adC˵l3РN8*1- #L)"V~Ube&WƌQ;uA ԂGKWO^ڬ늾"?LO[/.QH`];W^ /s wohV1,bD(?"]KtoH{`?5ա?$HŻu m;f\ ]yenG/r+NآX|O@S}'țW| $Yշ/c-3|w~87B[D7I&?28Rg HM,t1jAn[NǂT>1UI,S{0֚?xڪ2X[e{A]:u#S;Pn*1 5 5!)nӵp1Id&}`MsB`!~"Ì]`qXIVj^Gi8 D̴_(Rzu3Q${s(Y]^AE}=ݗ~T+:h?Fxֿ/DmEbF[$-uH\JqhlQ CFo4wG%"D.2Gc,Nr($D agP"j !g]F" icH njf* VXjԮ<";}Puq9gAmSm<&sS'up-ٲSn_o&ܠq(}=@li;rӣ6w4'l/'D/a_ŕM>f)Oxkq(9&.5b瓞THo?ĉje {޸8 F `vfuLB$&[wسF\HSy8qh<.߲8O9YxcG®',;Gs^@I%q4&^hnT߷PLA YkIc`r(]%DŏaGQvҶ4/6QqBrVQ o a4vr~^$J};ʡ<_=tCܸ5IׅtL20%{@R?fqH2!nmKE׍0\fy:Jjz  :}Y|7b!̀QT%qs`d}tyG~TMfWE=^wz5.圲ս@spFZ&a—?.?khr@c?B!R f( ˣYL}zkЌ_8oI4-5aT H+>-|ꅙg6nEHbDb֋ʏ[;]΃k_MI:C %PuN髝k$EHmHkN3[7" i~-+to!+M(p} sb8?l}IBK4(0cǣHQ#mXBܒ9pI1Cz.mdr l{uB Y7K٬1C޺ B=KXF\w/tO3ko'p ; t7.}sj.Йf|e&>q yjgOӛl.Vp>:1G51 ~PfHPBCN8v  &s(Zv<9/$9+n1i^2K2hn .tHp%c!0f5HfW ~]l\KU1, Ce-V?0C0L?KT\+Rrج,bzLD}NH*+ UxהpWǰCEz'!7 䫋ߕtY5NF"3~D R﷬6 av%+Zec޴j:IsmR"CQ?=U͎Tx^Gf"[b[6@x,xºӢ rbH7FrœG+zq}Skǜg{˴-Co]Efa\DpYKFk7 }_2PY-ŦI.'F*ש Xz*"gDЍ8*lg+!Z)pzUΙ6+A<+b*Ȫ]Oy|G#Oi?WZMǯ=.n VH(IdBklz7\9{xkw%p\U60l%pr|Sf>`Q1k;$HN־RsSXl ϖ O;." J\*pΘfcն[wńs4{R! U8; ҳ>uRfL0ܟvT)B`~ ;ԑP _[;iڜrA<MzüdlrsU%$=k1 , z:1nae:P@0-˴ĺpg\GxNV'S(/IVfwݿ z|Z^~ -QOh]yWUg0(8׸Z`O  CJ ts9<(Sˏr cG0}l  VsucKk?)Tf$8*QfL_`w;&#PS]>oD|OH{o#aIq7d tw#BՎY ۳[JnC̳JSi1oeޙ:owN>]-XnY f`AOolP*=hXrx{rYN$ zzK :D Xׁ&L'}b=0{7CQQd52뉑D"Ԉn&8+ ;bqv *5VoIex¶, !5L/*( 84ZKwPRn _)hz&g(| $|,i-jOkl)R!T >l;R{ko(ɒФ AE\jwݮm~KIyx 8X(([ZW;m%-Jd) Ţɺ8'z6KYJ)hjJ otP. w"ˏ 6\QHכi++oI,5c9uiӔl㥡Դ= (ĒA7a* N%jtńmtt sK›\3~M~jk:ܧ},J }k/X )bU *roB+[gn3cnw[6EO('ȔG:t }O[kJ瓮#B}:LsbBPa8#"^ThcCLdCiI*ғƉ(1ߟ77hO#ɷlX Z=xW `q\\@A@9Av{!`Вve}ȕpsYp@KyE&mưBRlOk᭭D51-aH,G`d0g~P_̲/Q=!YO^N=Lq3SW {减/ppp ⁄`?R$J# ;t*7*}Iq4P;dhOFRwN,h 0>vlCjr0?g8W9Tl˙22 >q q e -1s*##6ꮜKڛr6wsbE2T4qu4t'd6x@/L׆BIk] qv`֖?n)[%R+cC|PO~V|nZdC֒M=G) V- _-0A!GYs|}&blldU~Mç|P4 YJʂZ#ӚL4\8Zq3;ސ޾WC(Ԫ<͗~pץoׁ oдumF.Lcw:2S԰jJ}$ M ;P} u G( / R6JL qUvfYaʻT~hԔ́)Ck;KGDBWbq:6,?|^3~p8+o4W^$AlLI)o -a[IK 7SS,iMPe^6$|[(QN6wBB;H]1ǂ6 m\l iZURh[2Ll I簈57Q7lV$Rk9>9) /Ш@HhW 1xEZJ,$47UVIgLpthfilPTp7t~ : ݏչD嚩"j~4"1@q*:ca kfNwUDzZ v67|$%21nݒ[: B?Dt6K]@bR!5Z'OOw¡CS-QVww1es` ^6:_zWwe6I@2 IAGzY+lWD(9^Eo:H7UݺՉ% m뭉 'ƽН)l(={l. R4]U#>dl8O7jf=>z("FŽ&ʟYh=È?zn ÆY=g=B琐D!O֖UF`7DAY=%ύzpۭ9H9A0 V->fIC0'V)Uq# YF gVњS!dh 6?jkfŢs6ҚĒQq(2&Svz!*7 ys,\Dcc:m^QB y s (( dsȗ:P G'6+%\jY"]ln?=D9L`Tk ŏ)zQlOV*PHAGG3C BSuE鎊߬:\7"rM1FV|/|gpTOTeH9ʂ1z3N -Zwx:?CYXH@E(YI/\(: L暴.R8"ӿ`nH"`*JB$jB?x6je8$20e0nWkyUV6,Nx6jJ-2ptS{CI%+.U2-'#UVW]>[d9S`:;AĿ' LC#zKkm`yPO!^.-Ny ;q!mmsXin8uj]Y.tF0o?Htf,ǘx^X5%x:ܷ-=22^rI\`-TpnĨgPy9Ϳ7=j@7~mx5 8HϮk63&H.$M%@5鲏 }@/7S4#?ټwzzd˙Z֚zĭ"XSB AO#vc4vű~5`bX֓.mZH fQ0 J Mr=*B\Pc;ͱQޗ !|ߺ]"WvK \JfPEGĪJ:SlAAQtLi)9pf+K>&?sQ*C&y`m0Cwpnu"h\,vK8 Qo"/ο;e{1T<+[?UOZe{> -i6-Juf[I5 dv+;(jOqfe7tW[k{) EWsc>^ŦCu?s<&=''Z1e`y!K ?V[^c\~Si)JĒ 3Sg?um՟ YWB)ߥR>ʗt-zF[J<!ٻWa}cè-R'[p"WǺM=3 V B׾)I &.GN\[@`NޜWLB|.G:I 76!;?} }D Ug>8_e1OfǠ ylyNC٠#>bUרBfa';{'_3Z)/gPhݾ?>3T&Z4[1ӒTѫ:~f20B}\.^Aq"Ӓ{H뇛qyλ!6/ǀTm#D[oj-됈ZX < 6|BK 7YHTy畅?.aabkW&G7oT'pLWN]햒E> 2PPNq8IXOȠOlW5wߦ?9Hʓa$~u4# ?xC@#"]\ȇ[-M P_ o: 9]q# ?EM+B/Jǣ^K="w%]dۜ#;x 4G召Sb8"$Es8g8OȜo${LYGW:$S(Ҿ9,[ŻЩ$ ]UΌ1(f0Ra|]oPLI iO 8UW#ܰP/_i~:K_Nz3vB0SD`|B]o=P9X$xJ%Q,&L3lZ!@P:!&1֪㷮G<.״JX-r$zXl%H+5uyx9Z5g&A&:CAaּS}Ybvuc[3sb\ !=JW~&DZs4v5Yh=.'@6`9`':\&J2,DgzB{a*jnes!:cM8-Dn YTě嚇I-A2,ȄpB--=Ơ[FԱ\pH<1V;AI*sI[=n^AD5q8u5~οa˒$[P Qz*Do‰6A'?D/y  .pfdBz9JW[\hQ1BMJӅ! >wWS ?H~ ')HVEޤUK#PfS}Yw !i_56qF% U% zje'c,[qd^ՠ{Ƣi xRx Vm[~H7VYmdFt<$134iHQP[Z3W >}JKCwˆ1[6\o GeTIn*vAڍ=A tQ3s"%eX ߭ <9m=2BXDv\ Ԅ;M<2q&l/s!O#\r,Q"i