SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  ' d ]% Lazy-Lists-II:threads=2elapsed=2.143cpu=3.880gc=0.240factor=1.817zXZִF! l}]ŗXf1-/6vRZǽlK[Fi1*mgYZ7zXZִF! H::name=Lazy-Lists-II.LList2elapsed=1.333cpu=2.460gc=0.000lלZaI`S}YZ7zXZִF! G*]ŗXi%; /2EvFtXK3,(YD'yƋw[w%NdDPir}D T[Ԏi;\zJFıv4Pe 3,B'"DSҜ W,~#qDW4ѽyĭ@F݈h nj6;~ 3hDhɹ8 `q*JucPFTC's*21LJ-ㅪ~9JŚ(Sw4LWrswxv\Yj\ٝI+4V-'.'2H &?/Ϻ,iMen3aȞs%+MVXrK! dsj|I@U.Iy IŒA_'S{#/=^5(utdfX'@T:X/x},B 9V6fSjzc3D_#+oG`B`=r#y٢Q]wEq<4agYZ07c91f58a6e4ec566ab751f053ac008ea04266a10a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 0d216112904bd2aee6f56e4c093f96919394ea2c 7e917902c87e55f1024132b6caa4ae8b5f66a48f ' Lazy-Lists-II  y'5% Lazy-Lists-IILazy-Lists-II.LList2document.tex7zXZִF! AA]A-MՋhvG"uIBm5В)TBU3 =0{l0#Rn5'#Wm6NΊ5Ѥ] 3g0Os7egZ c6R߀w]7<ᩀY4]_Q ҙ{ժY< 2kH0~ϞZ&<(HE6#]6P5,eY ]YYVHBհθ5XzQPg*(c5< pV nWZD33d6i0g-G^ho.R)q-y"C*fB?4gPwy$61+_IѳLh6V)cwŋmӫڊ, n<=֪cˊ0 2'5% Lazy-Lists-IILazy-Lists-II.LList2document.texKvg+hZU B)sV%˛R_9!<+ؘ# ~CmV 6,+% +T2M<ɠ*7!]'֡ԶAw_jNչro6=ss8G؜}wedt2\kgc#j0ko_g"&!!԰jcMaVV6 L xg};u5[?# -퀤 Hlu((@ι==dk[7W?=լim{?ք"gOsY9N:3;'6Y1Q`Ϭ͙۰U%DZ!k9RRB|&@<7nDf s|5F=1@P`Om^'-^}>!IQazv1qu}JWi8a˽e(5c~e 7O\Ge1XD{}Ed` ?B(ۧHw*5'1hWE8'=<0g!؄}e/$zЃȸzvhӜswSlZ_;-CT^x=*B͘:FIRO Yt7S.N2_)2@ bAhJz {U[T1E N_9U0@)J+PԜ~oxYLX&YPR2P5׽tnz/× 4w;:jY&6CᜇlTraNHޕm˞ZG%\+cLPQ=c]g! RLy_Ita,,cI:[⭑")z2D'~p}[s@zҔu ,ؿ˖5=:YRNK"Cѵ&3TmQYMl a0|qvW')isE֔W9lw}nq8.[3IPf߂Hۿٟ63-BpB4Ɯ*6n`\Ig/3l% Iq!{6&OMbo=(Yq)`UYe# _Uw0Im)@k#gJh+V+ڜ Ϧ|UW&BR'DM8u CSܲx|0VzQ)AY΃gVȹ2"'#'W!朵XpeW>ZV {3F? 8b}6}OȅEc <CQs,b!߿\Y|3hhMw>sZuߝq5IjU:(bIDzos3.mp6sBr&jȇ4^.p- Ur`>2"vܲ4wR&^~}k;%c2W㽹 "M5~)AsĤö\zepJ_婃l.nI{ׇyMmm=K+J#R<ĕv ?Hvf\1-.5fOS;J /uz8#'f;hDw6F䛵Q='8}WLnN|AF5AWɄ%ҊV!W]QN{9Y{t9cTtOM{ $ myy;q:NӰɼ(Ob$[}>;Ζ2 ``YO|8%DR[C0;; U:|]dB|cP0 ɓ^D?KFSX sP}Gxg[gŒ̎KRI cB'"o%gK+I/:We=RWڏe K1F7FS٣7nr( S+B 2]Ǹ A!; )dC֍61*/N`so̒97빞Z% +sR2+=]/M[֥̪ƆB>[=A8z  m G'x'$˱ėw"ws$ۓy~@5%FvZ3K!ED`DRbNWͤNE;Ʒl1u,NƆ2ÿnbŮ JKu崬D)&},֏46 j**^gL gO`?6X-A'S㮭k'!qBvAM1{[0v[=wI?qiH^ 7 ©|(Pd3E>g `UhOĕmPul#б|8t%c /GDCynM xRjRs O0Ogk-@؀C{2u""]QNac㇑ێ F fU4%]B(S n %U-S6-2_{$܄&qID+]AXKx(oaIgcd( wNϋ M5\s$B]N8q_xSq!|Y%y;5'}s ),GƁcVhKNlGtF­խpgN|2?Y @{x衱K[vۓD߇'ӡYTԼ+cb T2]L:nV~v(GϭמakxLr( ""C{(ĀrkThKDlxyS(WHXb_Ea坣y\ɴAB3%]QAU8zo\g!}W%mFσas3inf3@۲1jM?G2we<_/EoS"Y.ӧ? 4nMD*Ǯ-@G@>}(ؒ{; Tr.;a_4u "kWttܵ("gB':|3!1T?$5mO\Py.6I7pEa4AvDHP,LSQ"U9n1:<6-E4ޮ[m9#NEEWYR1WG%:%/p%q;dۭZ"}\O@I}䡼KTCQyZ20 zaτ'}7ЈA7vf TX~7oN0fJY6 ,K&N2f^# d1WI5+3Vy^Nu@Paә(1 3=kM`HBPH s]e/ >PXV`)f,\b<bfhk=ֺrE<\#}:i9M\ơ-Q7tf&\ג7^ 'ȍH6k;rںݘ*Q̀F3"p>Y7\G/\V=6/$r.wZE(o[2eFB.Qz ^gsl{[o ,>djǁZ"KFԑ#ܶt1z o@+piIWL6v']4И 6r9Z Mp/[~najN$ ] VQ]*Edz!T=\ C0A+@O/\*|R O} B9˞Fbv?'a#Ё֐S]A5d 0dv wV!W\f^9Bi6}5\5z#H b9A&5S:6M>a?|Tۅ ੧k"XdR:X `|Bjhψ[. . ZC>Pw_{o~#􇱔M)ڇ:CD~0Y\.xBĻЛ:B%4B {1 h𣌒(t%fչ,Ё`~<˜0`hYK՚,w8\|b;6VVI "9n27!wϝY e!Z*I. FYL{@,˰}DVbG^+سXH%?VHgSZqh;H:i_+V*Gf(axQXBR*1y%6s 6e?wr^DUކ*mۘ AY`_yYY•(qoHL^zm2<4ۂ5Bm~q b+8 yvyv q㻓-a&fdd]gV]鸹FO wi"kJcwUCۊ;KYo9|tWoN/ =#J(D BzK![XlT;Jܾr۹ d4GB*ms@m{Ghf)*@ƒgI[K*}ya 4 zկJiRVǷHCfюH+t"w7,_ ^we,AW6X78~z@$~nKpt+۫ewH*vF+K.X;qv>LV87U4M0XbISHT{F [["="+\up)fLڼ$]z,i6}>AoN<1bT>Ɣ%(mlluJ:+#ִ}˼`8*P)rt(*]N#O uDTZuw hԴd/7Ʃ%]A4iA?d=3Md1Gn)"\tĨRC5W0z1++V{wu/vSHZ9ʘJ Mѹr|ʽgY*Oʖ;o$D6>{lN TN(lbCD׫/ ?WxP Hsݳlsw+ڮ.EcSl& & bʊY`˿uWpz&0X1Hds4#n+ {Aŝ[W`tUM(},h;,ULFӏ;N=RQtHDHiK"F$F@+_ŚyC,QW>})cP~nYB5Y}{tL]CGRg} C4fvJUpj:^WO̊VPq `?zC~ su.G|S HZPH{+s@ Pݸik/hE r tBs눨q$J((;3zܾIߪ <úW1R8tZZ:sը⼚|EOguĤ^,gЇ25ih±NnO:c ]eekWaY@:4殉n NBO]#,8`!߆u `\¹gb5 j6|kWGC0V>d Y6?(NP#3st̒B+Fp@¦V-NKHiU^8TZߛј5߿3sb3Ի=#0o#0w-I6$I$T?!Mf[lJ؄P#5FZuҾSF Oh]e\oc™݊qϨ =&%7y}@!n{_;QZ(#3%ǩdM uea3nolnOڴ5 gQl_a@=dnx80 t0݋Q0Dy#ӧV#IV]Nj]2iL`H!uaW(e_ot~l2|rݟ0RhU'y+p(ZD0 ?V̡ *~" NRKpi39 8< ÏN<"+OGH&Jbbk*m܆Ie򑊕=hM7;^܅ E:q3>y򆰌KF*M2C}z-T VdeTUOp]XW uq{~\j:[Y5S:c?EB`B@+ lF*n֮xBz=nA= Q vzJP2?.Gn5vG ΃Td@ I;XkB+oryZuLF[E ݜƛyƇDH@,^9(oo28 žs`[FH~窾&↎`AV %5Vnvmp:"QӍ Z7@|E$F[#1[P3(ֶCc]a d͓ SC B)^T*n)ba:'SyD¦+ (98\Y1> +rOƌPH7M)lgaȨ2̢N& ~[SȺ尵&;0*=II]amU7gIX֓k&I`ƴMtPJ_#~ dn֝gVM+6K/?}R.b"FaT" MVŴ@!~Y}mb8߮LSep`+bցh![P>+U>HX.bUDRӞ;>Wz6<.ACkn]|/ 12l;9<ܿ1ӳ{V6e@NvL5UyJO;( xI Uȑ Zeq:|B߅[EDrMqܞַUԚaRCg'Ϣ2trzh=!54 -m)񤙛-_KB/$&451243{7&ɲ4L}Yf,$W+KE/,\C|,㕾 -΃Fu4WD~A!.;گw: g">="ZJ\?#Dn;Gvҷ(im]mv Qu;tdA Gq@;?(p7,}IfsJ|vеJ̿ 8^Eon-yvΒh 6&ڇi.\GI=EOY**&`]?y/Fj>ů D}=Ok{7jI1EA )+,X'-%!J(:A8r)y1d|+QhI"`杬qHC)@2ϓs}p2w&cCdRµI, oM.9,S\k甴W|>|CC/e趜ryCDsǜ!ԅ\"cgW`5[c |Ӟ"Ns& \ B`)|>>.ow ɧ-kd yחlEU63Bub A-=$- DV4HCmp( ښwfi&=Fܹo1,#iuN'K+te.VWojY?Wq|@hC2e5HEA!t NJ1՛\}/A=[L]N}\^Qo1%dG6ԋ}7|t(22rðF*+Ȟf8Riy!j=9R(Do~0bc "CҺRA*(H%Ug@ͤ'#s/=mQ扲t@J*:\E*bT i{u!*fzr7%y_nj\$fC85 9ե9l< Q5NS:T:U><\ph@U{<ʾC$!F04eN(Kn!B% ⚜k[<%QBg8%EmO>l,Þ2M.l2{>W:;nHsjni\0BhYA󌓑Z| ĵ#6`PH A9xxaNs~ϯ({Dzg]$WmݏWArʮnp0aYfܴG`U-UJcvfɚ@]Z*pm44UŘo>BDa'jVH<{QX|,&]  L uP!&c%w>t,0frvj,QеɉbZ7Dy站 ?Zd,AQZjhk n%%f` qDZuOM]}٬l2ɆcB̗ѿxv~GmOc1C}p"W~+,&2*]wm Uxꭠ"eGk㇠%pz "a[b|R:HkصZccӦfΥNjH [rUU2<|{k%˕ּw9C"UNЂV?0GZ cz$,vR b.Movp<+"ڤ~!͔%(UUUU  OEI"B<dZ-@!iT?+H (@RƎGj؂v5+D|גn&D=oOŔ1/>aǿ+en#  F2Ֆfֿ΢(-QDʳDk/R)~Lpa8U.So}!Ҡ )STT` Yio8"9oxb 'sJNap&X#{(d'cE1'kZ6.e9of;ЀxNw' N/IIRWkOѡ|8ng\^;j˭6ʎ2Q]lPr.58v[ wMn [Nr\$F-8nW'10#} ړQ\YLOrfoąUGMT/5O6j \NXM4qV͍g$vL2vN!q.:?s S۰a=<"GEq:0QF/<(GǽЗ=Ȏ*_'jANY"%u tT\GDt d=mJ>T~֋7P4\ p+@]ol8&sC2A2B"YˇRd5L %sE/b$t+ iXU5=2k/-w=:47f#ifwl|o;0}Z,U| Y4CϵOfB4CTCܿ%lXj՝z*Ҽ r3j# '&5N##r~IՃЖP|&־Q6U$c]m0إ‰L͉׏^ˮcXd73QTC䯼@)T'> ;tF[pʑu==Wnˡ#d3uT+ze- %p"%aeV-1,΄ Wd{t.e enRg-&x?9{J6UAf C8K8W 3K1X~Mo.w U*| g DS 簌RVĿ(Q@̆n^*x- ,QaMעSIcqeAD"|0e/ Fx j%B8oZK$pxS9\;g܍ÂN $ 2£ LXyUQHƞl1}(+؃۾ Wݶ,$ ?̢Q+vP !02 sQY/pK9q3\7imgVѨ"//<DScI>x={ jrL3aud(n$Ll wZ!*W.#?mX{G,s[3rf3}ߧ} C|r9TҷIC}.zC*Rs.fbҰ!lrrٚyovznMիyp)f$)ݞZ>tA{AoVNּ?fwHVw4oSuMM/crY d2E_J@o^WG> ͦ<C2ʚ=Y,lSN!P2!NfIy 9hN+\Ce*='ߋOV eqb{>8$ upYP&S@#Ҭj;46ӱ> gjLų> %->M†:uwOϜ<47G*^L񎆏OsI7qGm,ةGkIVVȃ*U/zup!ըqtk/5_!~/inx8 v7OyYoG'ՊюInI."s>P$ eU(U4C'vM&bSZzɆftozxI[Ɔ]z5%;e+cW^55{26ˑh9}yyݿ9{/[a]ǢؑT+?=+S[.y> 0Oۀ7/,ST͙oYZ/φyA,t2$B [)+~-w1O Ӥ/HZe@@ 0PCv6 J~3˂Ud'oTf姛N鋾r٢jkV);T|Ӷ|e%Y׌|NO،JoD$Vqmw4g* ӎw\76basJϑAr#%7!9֋]/KRDoE*Kﭤi7 fQrUKk׀>=yӚq3&B/걻P{q̔X>YsH^r_?x@#'2]92 _P)^- 7fN%˻1, HI 'ؙvadQes cWaySK;_e#W<;.<YҁzT>Vc/]8MWǴDPOOl qL80INP߱6Rz Q<%J ~iB X-oNo*U s.0Iq mR=JH'L羀$dٔw1#\7?< _ЊG[L[fS(;.TuOj>*)y c"`U,SilaP+D3Fj&QB9pϱQ)u@R.Ԥ:Dw>zA\TdUbm1ێڳR9Bo4xLRlQ="%0[y\X'cч$ԪY^q892M#x \8Ōe, ;MY5P*tIP#!@nK E3,Hi),mbpUyV{ɤ-e܊6l{}GVHHCBJPydv{]zjw<\ M8>d޻ `Х:'S |.1vMhjZzl;v)!&=+tj2K3˶W':nZw@Uh,JwᎶQ'dgP =e2ZD}/OX #[ኳ q3j7L.NqL.^GӢR/UJKATD1pΠ )gYZ