SQLite format 3@ @@.S`  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  07|\L\ ] HOL-Datatype_Examples:threads=6elapsed=189.409cpu=1121.684gc=93.6167zXZִF!  %]ŗXiɟD".~MKU).|+dr[X9qɡNm߮\|K^bx.6 Iuva"G>s&W;N 9%#tJ+%ɒѧ^Ǵ I1{1QC5I R Ylk/;W>[,[ 8 $4yyǦ8Jp_\ޫ' D2z\Y:U#.dXh%]7ڱLhMp0kCqL;p? :\3S^1f<,Zz*NO}f [>0w]lSLv<D7mW&34j_=L4Xf+ @֟BaW,w0:=mǠdw 4hz9=7Pɵ dmzDEN:&pjB$T%`vt̴eUYx9iʺ ϳöA)t?9{ԈaT~[BJZ"/^a]Y/E)Ю^1^YIxb/}xwJ=R^`hvk/L1H4;}eyh^C,6*+\?\6& țY\w7 ΆXV%!:-܁y'R;g X#q䵝)X+fgq-C-p6u?/k^$f\"lf/j "*Shzt!=en& j[:.Hb47;^qh9@* :>2 D͛ uʗ4Z 4J 8<`BKeJ*a% 7 HOL-Datatype_Examplesf ~ytoje`[VQLGB=83.)$ ~xrlf`ZTNHB<60*$  Compatdocument/latex7zXZִF! ,+]N}T':=Q߲mZwb3Kzd$N 4臯fcSy@ቦ/q3U{M[j{xe[i h` "H74_ĕhlf6"@&@r}2vc8wF)1i#عU0VЉ2 $jP/ 1&+BFdU3!$R]f A}eo=;dI,q<-eaA T jV<Ǜ :qXMN&=oô()&pA*"`v4UW٘rv-\w"CISB#M%ǰȫgfтX5PD ʸE+)p)UZN[ǀqQy+D&,)ߓgdw~@taU PnǪdfq f7x7{q*/UOG}}1/3m.:N#_<!/d+KΩ`gǭTױSҲo 0zC݊TiY~qb"-Х۷׉'uXه #R.)ktC|/GO`'7f ԥh9sk/p®y<]2{Z-\ץLZ%L6(ΐUeᰙWJ{ Y|z>{Z-K"Ph_L{;/W*״a؝mʢn" g1V},U_ywtnWʛP ! ) tSGNȣL9CÂ*Ҍ$PGřVigq|A_pPkk{K5rcA$6TkƢf1bY#R;ķEޔkNk֭QwnxDMVD:@%~bꍟ 駇8T/c,igw7FÏ+S u dcrwOݑytM=Dkn Lb>{z*HjKƸ/gX# ǻ] 9R|VZ#ju#N+8uXYr%<ڊx`PKZ٠X~qb/*-ĠN-c, xe PhzfLxBp% 2C`,M7%qs,ƉTR#__)edŕb?郖?3RKPVE*5<9ǀ0fWJ OH]1|gObuqW6)S0N. 1YTwvm& 嚥M6Ajr *ϸPٕum!J,sX)#KJߊa@D,!tx0Trc?3 pf0{HWE}9ur_Qfמ5b<;=9p“a j}l 8QNɾZ>I<+[ zk!5/u J%u_sE`b &8=1Դ*˴V;zydL 8`Yŀ{sȞHkMt1W+R;ROOH8?nsM4me(AML!zQcDX>m: h+.SmDž( pQ\v"+K$q$!TJ]^PGN=yME@q^SNUg\IOEptupfT(k_k 1#DkQg_] z`s^lƺ7Y rK)7_"un2loE$lO,T& dm -ŠsbOڇ^]" f]($ƉY;jNyvXk ~) m`K`OzŮoy2-@i;}1׸W!%[h3u~z0c_w.=[]옐(Y=m|0IӖF_*AL|BüעB?T")Lq$i ' hk\Eyc|6B@fFRRU*C: 2),\}g\;e8ٔ 1\ p b V2|I* '/ ;A TO#ZapO~b!5jD&@)ׅmX\&ʀciky^JO&Uh'Gc7kMh `2F5WNob_ [3C3p3E0sF;Z(?ߠ0c#ۢfkg zyu|q{nwmsgr_n^gZbS_O^K\JWFVCU@T>Q;P3:19/8.7*5'4 210܁ہځ ف ׁÁ}zxusrpmjhd~az]qZpYmTfQeOdKcI^H]F\B[@X?W9T5S4R1Q.P-O+N'M&J$H FECB2+(&$ # "     y: w> ' | ! z { '  L , x g4HeM_s/J7O)HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listdocument/latex5H7O%HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listtheory/types4J7O)HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listtheory/parents3H7E/HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/other/fact2I7E1HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/other_kinds1B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/thms0D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/axioms/E7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument/latex.D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/consts-C7E%HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/types,E7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/parents+J7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/other/bundle*H7E/HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/other/fact)I7E1HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/other_kinds(B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/thms'D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/axioms&E7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListdocument/latex%D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/consts$C7E%HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/types#E7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/parents"N7Q/HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/other/fact!O7Q1HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/other_kinds H7Q#HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/thmsJ7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/axiomsK7Q)HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument/latexJ7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/constsI7Q%HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/typesK7Q)HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/parentsL7I3HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/other/bundleJ7I/HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/other/factK7I1HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/other_kindsD7I#HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/thmsF7I'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/axiomsG7I)HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument/latexF7I'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/constsE7I%HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/typesG7I)HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/parentsX7e/HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/other/factY7e1HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/other_kindsR7e#HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/thmsT7e'HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/axioms T7e'HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/consts U7e)HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument/latex S7e%HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/types U7e)HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/parents H7E/HOL-Datatype_ExamplK7U#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/markupVJ7I-HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/document_id eLG7O#HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_Termtheory/thms|cB7E!HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListPIDE/files3C7G#HOL-Datatype_ExamplesHOL-Datatype_Examples.Processtheory/thmslFF7I'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/coUP7Q3HOL-Datatype_ExamplesHOL-Datatype_Examples.FAE_Sequencetheory/other/bundleD  =Kn=Ca[ K]0(k^ڕfH/UONok>[ r7Q'^iv6:(HZ^DKzA@Y%D\2L6z~_z= e`ޓ36G%,#Nko6ERA/sq8sv,v~P8hQF6K9:hbj5"`\\=QKɫE[b7D8+jnvYBuՎ )^328l8qtCZ*Y` 6n*і ܟ znwy1Yβh[W6*qnt&Hכm| 3pj,e-V~cxyw'QDwh8[_NP 'tG?#/\#dmd8̂L̐ZQɪ%Bmһ]@_ēȾ3Lڡ93b;L Dm`:.:Q vJVAe}ЙiV|Q;ejX$ |`zG#mQ5΢hC"$7U?4|PLlN8Uݷ$onِk41#-6SFr?@m`/<Ep”HW]K2VncIuxsGE59#AE%-9L৖KDՑ֏p qZ YB naMl9I xz˲n<,]4w-:wվ,c-/!}Q5i6n5h#;[t%I fIsZ%4|i#H WsS'x]Np4kp*9eX5GgiǓG b``f bǹI6NyPނ/T(sl dbʜNKF'e`\: b5Wڱ˚y8||#Z=K9ɋLY _9*:N14]WX`EB_wFQF-Ƭjy[%XS (TkĠZUmz4 =k鞞|pBuFabw0n檳n_loqK_nkoeqW03}7p;ۛi&d+"QAD񡐳8 rCZB? ?IY0=`l)hjf(~%NF ~ ʑp/ 74^Se$] 0TL v)ﷁX譔GImJ)K1JL^(-jLe_5;q5/V_'ަ E\[ĈJ`+;Vo^u[9t\H%/ҝ,q^0V7Rl+DBBd9wa 6jJ3cRfɏA0Q})ZPn=ڎJX̲i +Mz@.[PpyaC!"eI;>uczvt֘`8vHn6}{QiC5zŕ8v0RbQt8T<6{i7<ްp㠓I_O?f)L6wcMjNڒTa֢,kD5|PIaC؉jbNd!=2 E(Wf|;N! vD66ܩc"caD#8Wֱ]B1P, -Ƴ[ l~%vƱgRl]mŔn$vh&T[I DT{c* h2w; wf2Spq5tϞ IQ1˧2+0?c~ DZ5303q}=G>1l;vH߻VրLD9jw-^>/g1UZ7t@2R=T*Szg.Nƨ' }49 ? !i2.Ղ 0 e+ h,.93qOzlɚ8wO$"h(.Et2_&&}Αv0u7-"hC):USՕ g,S$D$_-ib g$6 PƵ J@B+ 8]g`x&Z![ھ kh:ER'r~kQ=@B+/BSy@[5y#:ƈf3hۺh,a+mVFwjd8ڳdQEylfǜ߼&ܕ\;۲Xʯ*SM:R>a Cj-u|%M(gb"k0x-r#%SA9K\qKU ].yRΡgy7׍rOʋ1l@%eHms}U7q0~c,AAK@h!F$  N0 97A;ry[:T|ҹ\5vovr(a/( CDjH8J;WI!9]X>P6MN,r뎦H! ê&!6d(d GWIcޚQAш&|7kkT8lh6OgrmwWx&ʕPl7X6O`y^g\yk #H N~&to. HS{֤ĢK7/pն|q/%bk no;R'Zɦ֚ B†OJ JUucJ)xZc ̣ }^tS>!UDtpP9B_ܛ`Y|w"/370&t0G/h,N[qY&)LAtcʃwO@W :o(d+ϴȏ?8y ע!0U'ہyXJ^g 4cį{T+C[\0VF!.Wǒeض,h\t\r&&(MC.$҈NI x=V( V<44d.gYZ B~1?K\/ O^R⋖]ZŌyZIz58H(_G/=kAdaC_l G Fw&NcQ@7lhIRlͅ5t>˷R!ΎM~ά:]CX}OhR;(HB5M:DfU"aZpJ3.!J4:yT=T 4LH9B3?flG$q?j$XI 4!`d@{AkvV C"7>;j2O0岭Ɛ0 >i`>sq>F7MO6RM[3Ile067q6C/Ǧ iGO#y{@=U0=j>N(jm!"\6s:l6,ޏ#Ngɥ7TV6,擹ΗLlԛMGkg^b!y~?wu7fn{5hyJA/dr~`[xkbudR]!쾐Qׂ ;©n-yRh_ڑBuG;2N{KڇV`̗CzMtխ JM \5tth~Pݳ[㒋F;3B We5oS'_ę q7+4-ewPn5= _0+OM'(|0Yӣkx| FxDw.~tElL`Mō[B.N\WS9c1s5}p1| |}*m?f#If[4;i$PʐF )9=? r鲍 Q5Q% / ]fgYT򏼢oh=;&X'J.הwh'5郹6$?'We}'z 3i0or<lM6R^AQⓚ&rm{bdvm$ } g]aC;i_bgW BCdn5=ɋWO [У-`b6jn, ƠrS; V#m3{@c̾nT]C#Sl eFuH5b7j߁ȧy޼BOc(4xS+|yͨ'Yxv&%]z㕡!FW`DTJb== wCٝ408W';H4;{pӌ͉:MT5$ :JVq0"yS1ؙG6(Nuy}|I8\&/ L p\8ԎcփrZ7o.Zhd {kͯ-)J_N G%DZ4ʷ`;A zba9IZT_Y9{] L'a|\J O!QIzl.JW$]nw!5He%Qtf~5BܯK kR-22/lG`h{$-auܽ/ٝp'wP-YiA$aw T)+6?X#S|!=sx)[_w8^61N81Z$eQq'H|5eT3F'Y0ъWWkxcFi dhsyRD`e@Fj1urι%8n /?-]v;u6vX&;( n}6(4YI DB+º0m1?Q⬏]c2h!ğqxݱ @9:8 Y :, RFTً7459rH1tqA -ֈOQc &c߸\ #+ںʒ pľ!PȄqD⌙5 1oeɲz^zBrǠLe5T"5|M x%^&u f5#Ta+:8l̜^eQb a:,t )16SL&T pXGE}%p@]I7~,F (_ 9 0j{v>175X%_] 5MPRT994gjS>Wd>۶YwzwlȐFbkN!ofw[ٝ/}C4.7{7"uMB "9 ب~sŴ!AHub}bKi,b[Ήz紺Sx lɐ cJ[b,gdjn/F[ʤrx8D)bJyJTQ'EcXh#o{nM{MP>̅lռ`tGl+ {)oNg P uۇXKFroFi`*w~`aRFԎ"(*/SxRWuqCX]>5O\!b]"Ȧ.xA;RФz'L=-oTrk}fx_#9 1ƷCk&Ѷ M)M0z-ճ&ylayeO Ƽ))7sӺ $J$c"h,n\* yMv[_Zs6o@@JAxڼ߃w@&gl.;8bD-lI∝W=jg֡%[q/?®zVCN՟EţTa _*Y *z2|‰vV#ť,'ĒS-t uV:b#FToPq7|GFZkaoB9м}{% om[;(j+ֆNBp%0Ga(B͜rkWS4ɔVhp)1ueݝ!-f{Mkd[OB?%<,gJX "LLKE05[BX,Oq|un#ibb UAɀ fS``@dZca+>,sWCY:y# ~H{ p^cFm⇿n/yzf$ͫc)pRCE!X vQrYH-A(mC18B̞0K}OlƠF $N˦q4+ɶ'KVzsWágb Um`y-`zK; +ГGDO_I3jk7sY fڪÖ3i^e@>=50oLd ^ Rb~q]Z٨{H;_% tn.oA]ao$pY5Y%NLc7j=?0@*HJ?n"e-dQ G:c]k.@?fhζ7{/+,hFyYr+-H[si,@NA<GC >J9AdC[$rw0 }byT;-[j{>sj^B,h6ʐ{=rM5#ʯ\mRI9:d|$O3wc0R }Ϗ4euC(tsf#<9 8ڟ'{ {d-n"sW.rJ9ҠrT%+ }+ԯz%8GH0H-7)̌L|m*f^KO:Iǟ_*@_ɯ^ p5e&3KP$V?4*Op̾aWPHG>R%>KN8]؊Ǘy`qY$&6 9LZf7Aku1ϟq'zx[TIyfirx K ikYnAYTTl(FB9 dSS5;-7Ϙ`YHLnA~TP)kOq2VxW,BMa0q7Ekʩ\5 GAj=rR[ `9% @*iƦS,AsN3ԸL~3BB@(LW|U$ )LN}+M9 s*2W@[Д)`nZRvL>5yUA^T' }Nwi(e&dVDk6hw}"!X~+'xz -\eNdi:K,l=ˍP<#Sh瀦 xΩG$j$x81o@bdyDkYh/³>TO&}xLB0 vY߶"Go}0PARE"]BBgER_I=<VTI OP”k$&{eMڅ7qj&um.i/~ς҈۰S~܎UKCDht}_0fc Eh-.$I1ǭb`/R0Ct)Z/A^qF>@2=ʩ3XuG@wS2T9K8錬U88PxzWVX⚈_f wR6TR˼ᛖxZi1P8:'=\|3Ob_g8E/6c\ XԍPIr dq&(Պ$i\3AcSoBIxAoŪƯc(u B O/~~)139ChLe S\WBGy-~έk?5(~?ZP3&P1擼N7tAX ]I؏%bxKN QԄ-ɛ H(XC݅:;(iIJ(pco=(۫h^9<}˫H1.қ1"^o h6zPU%/P\x=;h rA6,gCx{p.g%PIrb}Rn#Tki۷zgz߹o }ESƚ ɓ7?L%͑(W#]Qj0MriZNIIZ2RrH4uJ1humgtN_<́ @Ddu=XL h .; ٰ%H85Ҝ!eWl#FE..WNwFN,M8%]RCۣSpI[4Gigaa?>yFl*Yvφ-e`y\ط~! 5%4YV"xmNr)ཹwe,Ilɀ2~Ze1iE҆smth&{D}BRQ^4 Tl7z}^)ǒI SU"W!:͍LWRj&H,Y8` %tAT1gs 6n)9(YB{M+ʃs\jܲ)\:P%2ao `e(1zXk%|$lmr<(Y.YtaV}ؠɛ^wŘ D4 8gigýHڷ4DzJ?a\27LJI a$uFKFS5qy lT1Zeko\scՊZ6ǣnaC*'ws.#ơ*`}sq&@dA1_aw7-kzєy>ÈL{{D!*A(4D;1wK(ы~_Q?cBooH'XUONp'oO'ME)Ԫ8ٯ~(ѷ%GTs _0-ly1x)VۑZBfE4#H FCC虹LL9$o0/-PEN1(BdVuwpQ\޼%9嘟`:ȋcz"ԉ9ǟiǘ>^u&Du|UԨҜ(e_e-5(?nW-؂މ%qμCS`GvlzʚW/,Љ8^*% bvSa kVFH-p? Qb"FGQ^nU9]g @QӬR]m?1cUۭMBӝY>yy~pGEg˥^/Zw+NWKuG4$fs8mh~E{ji B7,&ND&JSh- ˚vFê/s-PPI󱻲.;vLU36Y&{9mWx/o%ܱb _E;(?z B|>QܯNhlxH!Fݒ 򐓣@!3u5diѸَ M6 &4^ w-{ْGs@@~y [L0\~lIKgYZ  `37E) dHOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument/latex7zXZִF! ,+]N}T':=Q߲mZwb3Kzd$N 4臯fcSy@ቦ/q3U{M[j{xe[i h` "H74_ĕhlf6"@&@r}2vc8wF)1i#عU0VЉ2 $jP/ 1&+BFdU3!$R]f A}eo=;dI,q<-eaA T jV<Ǜ :qXMN&=oô()&pA*"`v4UW٘rv-\w"CISB#M%ǰȫgfтX5PD ʸE+)p)UZN[ǀqQy+D&,)ߓgdw~@taU PnǪdfq f7x7{q*/UOG}}1/3m.:N#_<!/d+KΩ`gǭTױSҲo 0zC݊TiY~qb"-Х۷׉'uXه #R.)ktC|/GO`'7f ԥh9sk/p®y<]2{Z-\ץLZ%L6(ΐUeᰙWJ{ Y|z>{Z-K"Ph_L{;/W*״a؝mʢn" g1V},U_ywtnWʛP ! ) tSGNȣL9CÂ*Ҍ$PGřVigq|A_pPkk{K5rcA$6TkƢf1bY#R;ķEޔkNk֭QwnxDMVD:@%~bꍟ 駇8T/c,igw7FÏ+S u dcrwOݑytM=Dkn Lb>{z*HjKƸ/gX# ǻ] 9R|VZ#ju#N+8uXYr%<ڊx`PKZ٠X~qb/*-ĠN-c, xe PhzfLxBp% 2C`,M7%qs,ƉTR#__)edŕb?郖?3RKPVE*5<9ǀ0fWJ OH]1|gObuqW6)S0N. 1YTwvm& 嚥M6Ajr *ϸPٕum!J,sX)#KJߊa@D,!tx0Trc?3 pf0{HWE}9ur_Qfמ5b<;=9p“a j}l 8QNɾZ>I<+[ zk!5/u J%u_sE`b &8=1Դ*˴V;zydL 8`Yŀ{sȞHkMt1W+R;ROOH8?nsM4me(AML!zQcDX>m: h+.SmDž( pQ\v"+K$q$!TJ]^PGN=yME@q^SNUg\IOEptupfT(k_k 1#DkQg_] z`s^lƺ7Y rK)7_"un2loE$lO,T& dm -ŠsbOڇ^]" f]($ƉY;jNyvXk ~) m`K`OzŮoy2-@i;}1׸W!%[h3u~z0c_w.=[]옐(Y=m|0IӖF_*AL|BüעB?T")Lq$i ' hk\Eyc|6B@fFRRU*C: 2),\}g\;e8ٔ 1\ p b V2|I* '/ ;A TO#ZapO~b!5jD&@)ׅmX\&ʀciky^JO&Uh'Gc7kMh `2F5WNob_ [3C3p3E0sF;Z(?ߠ0c#ۢfkgVί`Dץ(ovbf3Q[L*:PO芃`9O` sQHqj zUTt&)tk7bt5QT9c. Cwi"#DlNG=W +mo9 l#%xv,vv'1WU$ 7 )hKy"v@M C۸PApoAcfq-/uQ`U{EhXMZ_jG0i,?}l?Q5)Hnifb2w:~"_iKDX?V=2یtי>GD1ބF^:ͯ>~xa|ɘW OK5u){mM'H:Mǡ4|:.z`_VR*NgYZJ7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/parentsMain  > >/ 7E' \HOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/consts7zXZִF! 2M6']a0{re(/oq5/uG(3Ԣ]j ;ԕN%:G2d*f:Caޯ!j{`g)X'hp6/Ec$Ǻt%0GTJNsKr^XuzVZ ܎5_nsŭ5mPʝXCжz4$2/(5=%t2ߤQ"'j2 罀 70Xb{땬cwQ]'c|wH-؊NM O}Z6lc^&eeHhiBe/yKk#\۱^]/ x Teg=b@'dהQ=:W3瓭X&lp^U( /،_ W2Hs|ܳm^DcE Amμ'#{P7Ԡ;ף|R?I̷:Lg|ʮLv4'8W2F0X.4(w;}bf&~[T@`5:ކ˝[4Q- >zTK%!/4=/hMġSZ } ܥ77̜K1cSk1X'DZ6XCx)(k..–\l+=~ w;nLߟIXnFbkgdXm1FjlvP,ʝtZ|*Gؠ sԚ.LއFag%si>'s %p-mi2ʥ Q8=Egl)=>80]a,,=ٖFy_JeF !ztA`#'.pf}kؤBeFSf9ܓU% }Q8MAV#x7Y͍ˉFn\Nu6K ԱY p)KVakf ЭT>y#7fcmiZb묩j\@zcdMt?w΂ O\63k2pLß{2K`i 2lSӄqw/=u?5h8ziD4;XΘWz$,h AЫ&^{$.#yv3Pk$@ng/<?VHA"&•L˞k$d2orL76nan[Hp^u~i6 fJU&W n5;ӓ~ףd>rb^shhFYڝOmK370Pdo*G?!5fYIB6]?Gr(Idsu]NQ]Ǟ,(ݎhߛ$W6W̗,cZʵ05EsX>ny>mL>tB-BhHBzjj[e!L=C!oL&D[OҶn!ӣFa_3O?zA@Ay']7",&#l YFKGLdm3D,B22;Gߊ,JM6ce1̺Tf[R0W:r[++=U=i@#:"~1y2n")s#aHut~\Ekۓ1N юJ;뷪<.F@dSM\9^QnJey씒 Lj35[hFt;I[?Xu#:h)jÁUu|qUZ.e-I_)z.C?lg*)&YY'`lLj>,*V ٕM;k[ 1}w{ϖ7c:nYEҿa7k 鵧Pܚ{%­Ya??m3~zpP띯#hP_9`EL@pإE=uY^YQ?O3҇Ԉ֪J ?<(Reu=BKYp(E6꿩 H![0^ٽ~ICGŬ8-P7;҇TVbhQY4Fy