SQLite format 3@  .;  B --?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  r r 'pLT ]% Lazy-Lists-II:threads=4elapsed=1.571cpu=3.964gc=0.0007zXZִF! `]ŗXiɟ  QzJr!~pB˪je k\, %LJ,2!SV rZ qq9Ɇp̌Oe,vzeŐJܯKaE OʮBhM&gJ;ʲ]֣/KU݂?kQ}2hΓ, ᰢ՝2^y ~pȖv(D(62qbSbs$ ";X642- }Sj-0T^Y5KW!ѝ`E6a!Q$xCRj+aeUTC'D6ɓgYZ788481fc25929990057e0fa8afd66d695ab4271396398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93 62fc32271c2ebfe8b0a41ceadf060bcb122ed795 7ffe9e30dd7a419f3cd038dd4a39e42fb3197363 ' Lazy-Lists-II  z '5% Lazy-Lists-IILazy-Lists-II.LList2document.tex7zXZִF! A]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坣yRzVVibF S,/MrPPlM(^~ԏ$u|ZiDĻE1]L[4\޾Jy{)"^pC淆G<'1Ʊ7ج03䦽}F2`ԃ9{>~x#L&=ZCx +2լ&'~zWޔ˯q]2G0V_C>S[T0 9liwGrMD`Η k2,yN]Мi <_Uzla4bmyo $0S`5*uKfx볰 [Nn| ]ڹ%"LHoTPVLq;1C$[,/SnzemצL$ke/͙ ?TogP8G#5?g3/}!eJ`Ptr 0R2cqhWvDS I%0fXx< JV6c(m@&jDj8dyuc!ʄZ^2N5#AT]둎}Y{6V Tڕjd} 8I`j~x*40Os̽yA߄e%Հ_ ~듽Y"}qxv\NYOwč槐}jU:sڗFBʶ))jᐮp2&ŧ5\6PǾT3а)Yժ@|ӭj<{ 4`UB6`;Cc~2>W^G%&[^YKSwHyw~6 L$AB#L>:qUW'1#jImϖ:w܍NrNO%O˙T-biZ"HEr*`zu+q0I͑^#AX-Y$XFx cJ $s't5*,I#*lqI%;w\E;'gO?9(Rir SִTs|(q*#*\ c+DcsўKp5h^7P[ ԺnX|t%x4D&u6;^`U"mPU0IUK{gKLjߨ 8ߔ;Hصc1SWEznX ӡ^׍ĂRg OM߲p6@˩ҰPB"MF7dx.:9v쵭; ApfCU{1_GFE_5"(w#2V2ux+rrQ̺niRYo`b T7=H tYTVD.:"w S @(Zx:/:XEnYjf3O@0W)PWR oXS\, 1GR]#7sqfe{ ;^0Au Hq'W@atjl p$6Fx?V=ncyY@n5-EyBYZuAM{ǎh䡫.aө( /z9s%eb, +v˖e #hL%tӑr{CS n7KIF.~oZ8iٱ}r+9ZP\!BH<#Ȱԛȿcmfuƴŭ,% CV,6@B? So}*R4}㙖!D/kG94Glx)ɦ4 /#-aZ`X&hEI#:cgahL212bF9lEӰ/Ƴ^'h Œ#r7rPZ joW ޼8M ȾD>J;O%6}v@X]{v\ML4k׵2?rU6 XHT?*4~@vF6T.ڋ!BG3 )w\;⿿-0}hp}riUg'ɜ]? =O&^&hDΐ/ x %-@ cHEvo䚃cg Q &XzB6 N#U.G$ DbIh4ϥWȡ κ.M)_Ǫv ύNlU-Z%˗6rԁtCa@%&mkEҊ ", 'Q`-b&]ގwG@$Y슝nRaT` v&pnZ,_辜D{Id <.tpI+\E7k5O@[G +9!{RiE@7%\>tl5gr/ŋ^J$5m$fhXER!>O҆?>?0őo觐pXZ͔`O=*' p՞{Ipng@dd]%$ *%2a(#M.Y?"HWD}/JFe"^>.ޣf +֎ڄD* $~,쐍fǏD1Qp>53fɆ]Y^pau΄Rt6 V8N)6y^Y)ⴐc#u0!}.9/ V&wi%mZWLoɗ@YvV[HJDrBn'G/!"aNנ`o6eL)#\/03 drCPY6N^\cY{[Y$~ζn53Vz`~x)>6mi>װPgR._=Mf(04>ޚq[଼M ~ȑ{jz(9''E'QLqȩ\64/7LK9ZFGPoc6byKxxMU[N:E":Fj")c7(4,:2f]Ыg6: fwo#[ ](=R*~@`_?@FP OZַ~Ys9g7*ZHC+QT– E3@V<4gςlwN[P cH:+2tjmq5LR pq]Z[oT*0Hz j |s\Ly”>p$aZ|g, p /Ǚur+(Hv$%M:9ήxEI 3;n榛Qk]̼EdX6XXsed)6Nx!m 2 #|LW3ǐmD7{#!M]@]"@Mۚ4b7<\Ρ,Xb0z f{ nrӿx5Xz*ôԈPqT*H])u'p4O ;.>Ozl`rbE5>R#b"8rbCWZ?*p+o4LQF r7x2s9f9Fžs)ڶp' CE>nW;j5ּtdHM:`) :CHqֳ#5ҨN`qJnϽrӡ(c>}Np^ܖٛPHC;Su5dpsL yv%:) :p$\7 F2\ >hDɖ%%Up]7P)OY#.9|QERAAg*zLD~8:dc&mE)RkEI|G &k a ?gOH ,.1 DždTa֨_x|k#\:l&HUjR 2 Y<?_8/TJ)&V*rf4mS؃ Faf1ڷJ9Z|ǙO0d>}Ubc'T|67an1_ɵ_Ȓ(J ^&z;xL%n*p* eU%+RAR!Kc8>Hk9@tlISLD2/Hrlt&GhhS:DuN()5@cm7zBW!ovΓjH5~o[ pť*fpb&x4gH3՘slXₗ듁:X㪫߉YnL&z ;4\Z\lE$"so.P5Ar3 `s1* 41D~GJ+FO57}WEVK[ڂ4g!8(YhCJmҫ墨~]l?̈́m4$-6vT-G2A;4'eRu$!6 VJo_]\VKh$v e?gnȀr>*'֓N_Ņn۩e]rCo7A (t]j=nq2^psMN RJ*q؋/m\E5mܖ\9! cv\8AsۊCN1oA~#MNw o"̫iDg'򁎬*4!. LVޚ:/ijbgej<;4>GHtnt{6Syg})h T3!2y-,A֨ PR#J k~ϖ9f? :}΂l?d,0_@BitF^ǦбPՃMcu5gէ+~5e{&/ QI/r.mIhr 9i-ҿVx`D#.`G`@#'o![ uE 6sl\V k锡R 0 naCk\i[dCجfTR)4'`SeYs5%\Yxb0S+n^92{y2011A͆L-/~0jzbbٹF:Uo+$9'XSNs'?;p0o&!K$T8)`ܠ'*'?iżV4d_عOu%p'lCR11 L ~Q$^3,!NDDCƚIT!]-n5G['${v=Y?}Ahx]͇nq^vf cj>tI(' gfߠS|­36Ƚ"A+k^ߕK0#'d* #昘Ms'vUAbDTy=P/( 8/;/(4e+w7|ou Zo濒 T1 V9E قf%2m# WS::.ii- "E ǽh>fSLf%m;k̐:OoYaO &ߺ=AHT>(j-ig1dfMU&B|_>eomŨbX0K SD1c+;qyۚr಼z;h3|op`,y*ӸJ[t_MS";}vcdv-[T7 -e÷ShqG-=$ފ;?mOSH֕K/ׂץLKO[y6bUa sySv]ib^F06 bI%3=b /}>Bَkƻm˰47sˡHA @B{Ɲ{{I1xpJU1HT!D;Q;&6o&AA8 x t[KZr=U!SdMiM+)-hidX] ap=J 0b닖^aeh6|bc! v-gxlGK_A7j26·LH$fri91 ;ҒķaG Q+6L3a񠒋ƹT3rc0#r+C֤#t2慝Mp`K)ang'VƷu_*>\K+0(֞AvA&=~4F߃[bXhp 8BkOqNL< ‰jy *zڝVO5,bOuCAFlGO@aCfl ]w.m 0@%ŀGqTNF8\5յmU">SYDR^.I[T{GHb7GdekZŷ5b!e&-lP}n=fC㓰1wr],+ ]fzy3JMy/agH1t23+iE`( tpb' Xv!{PuR&3]gIpK/ )j3h4rX6oһPx%W7wi~ ;[0( X2v^kiqĤ )7j%'бohp()srP?ad`!f$mxJ(c.*xWxE*( "Q1THn6+{-HNNrk(H`Pcwd%0E}?٤ di9v.ҾSB }F|{ dj e>eقy.5;ۏ$%i5A.FX 9L9B%a`":__G5\R0:d"%E%k5mn?0o̽8Tб+9i 6 ܌isbKg~SUݝfyKdۉ!M7Ht^`Ic_qőAhEMBan-J'?=>2\)j7W[1BerV46P+-Ԅb˭z0" C:YgعRۧ)eSMe_ ݼZIP=rB{DzYZ/Me=k>fWREa pB(wC {Ax[f|@,8nBQE ]FF'ٰs*'NYY#gN9\*MդqJ#۱/׾ *݅ d'qGИɨ%gysF1T62b aCVqW  2bV|Qc(0f Sn Qc d%FE4RLG}L3d[FfDɤqAV#bVp?C!} :t0rVIB@kW{p w6:dr¬I;ٲ"L1TTqG#vI!le ]x9ΒxZukU]o-r0+ smĀ:n3f'5mڋIf@v[ȘqD&f^c`bXFzo-G`[kȪ, z\x@QԌ]sn/kޓ?9Q&Gγ6.!^n &}JYo!Ow.F*f^?,*2#CiL>1K7 :8H~9n<@B`?`_TF$)P oB@rT Mk(SW) +꤇_ЫBJ%<BR=ۘ.~4.NӈN@j2M RȬkvH1^-=1zS?T\ LȔpe@+SX0Yhd/؉leUy.~]0k4Ɖ`2Z8tp0EFNBnv ؋x?r!ACpT#FXfs1h0܂/9q vgsx&×;oqFyDRZ-JYNB3{.[CF34=;h6{ς#))O3 fsz7 oła۠ʼ_&bCh)9pতyuO0*&#B4*%?PY$\/ȧm?*DqI½ih54 6{87iỔLW#̴ݳv]0b]Oj|@M?|$h4~5F"hv&3 +*جBz/!,'ޮj.y2L3Lt2^A%JƷ}U_,KCsa `Hz[CLƩHilgq|EM݁wyQ#A4ܕam2Niytr_'ٸ?[6"m}4,DEdk1>0y0hU\c>,eYkڣ!)mcUպ PI>x$ Dxugitt1SpfY{ZO1' ݎYw?ı`f}f"ņ egYZ