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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
V V '1<t ]%
Stream_Fusion_Code:threads=2elapsed=17.370cpu=31.784gc=1.640factor=1.837zXZ ִF ! $] ŗXf1-/6vR[]`^O㍌GσCUƧZ0J
-,&yS
LD˭1]R3LX0r8qe ІteĆ`>"өhhO)QصardsKnJ#boa4/3C4)\v4LZ3oWw(Qdr Jor^N $U'<͛)ܷ^rMF_:|
Eٍ+-}G}."}n;~6_̯&Dr{I(V)DyrGSԜJg(t}G#9yLs@
OLtwĺL[|jr{irФf.ej[k"ˎZWgǜ͇;.,O])^ݐdr_~V~>XIԼr$g`G6wݛEsX]诼z:͗#̥q]]dJs.Kdl6guxhFX+ Ak=Yp"EH_9Ww9fʟ!`Oܘ0
kwgu㻁
,k`lWD
Cq!_p6o/jy1s="\z5Tx[?w}J|f-[Nh럋4<^>7
K
[]9}"<yr _>~ I Yg YZ7zXZ ִF ! h ] ŗXiɟ ~7m`X$";7GI֑dt,+[?ֵ+4>F,]a& Ȯ|ArRDm!.tg{CO/i%!*@6K$8s~ Q0 ,">g YZ7zXZ ִF ! e<] ŗXi%;6k{,LK%EyPjmZuD0=.A^͒PwyhtS
RaEB@*t0cˎc'Of(r^gMy=O6wՆF?=+6p$>el2
5ΦŪ[v\Fm+rؖSMOKp/fvC̜=Ye&!o5^VPl4ݞ#>qY<߁/-~)N;TjJzR86D
*\,~*_7S'w"WY}&-7pBu|7PFx.J2^QV^8
{O=chtXB"^<"(괮AN *2LLM"!P.=R0^T\\ _w%\|,
%
Z? AYYԮ
3qw4ChZ%۴1n$ Zq,vܝ9O-Xab'poz<t+i3CfJR7Qn¯~hHQmrUW ;0a.T͋i Řo>Em
yOzj7@ýiY%ٽr,];qU5K?Q쬌nF}U|r
LwZ/ۘq]<9YfE{ޑ]^ߤ ˕Px1 q2q8?y=UO.5X^;FgˋP(NyXewxԈ~wQ}iyfE_}}uєW2TSـQh4SP=ba#-m^,fѮ=nt*6:ViM8|(wP0# 2Q6/i90PNgU?m,pʘD+Ln/n
86fU]P<Ӧ(Fk'"TTjdꝲ+|섺y_kEGvb$=[\ەpE{F\Vrs`= s-CAǹC9Ce%"IoHFi7+,^56sre. zYzcz`?Ăyl0B2W@V@Q8VȽx(UY樕ȸNv.E?)!Yf!RKYw),!c)&9 #fxZ+ Jαg YZa86aad9bf2a5f93efccbbc8be8d7448b5a23c7926b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
a7f9e3acddc4f9c457e845919d5086426471474b
20f63bb5128666b9b386de6f4a940e0a4cfa2cf4
6dd14885e29c0f563c6162e05c7080ff00859a28
1 Stream_Fusion_Code \1Y% ,Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_LListdocument.tex7zXZ ִF ! n*M] A-MՋhvG"uIBm5ȩBߛ0mPC^Q$x!$@{$"3]fTh^ѮC[[qzFDޞnk!bͮ3R{wIHBXp_9aY=J.|7ZH@Aǖ,5*P$j?U ˁIX@B.:>6MKǑֲ/oݐy)pUNPm'+C'ګ^'{&z62.DR%5bi[&XG8PgF 1PhDJ轈:~C=mlLcݡɾ%t,~FU$∭ (1=qL)Q6g|:qGܳRkPq/6xogaQW71_sTRf ܴ#h*Sc)G]BE(8bM-G,lWJV @OR{
>@)Fk`Lv:gOT/D_ۺ<:L~h|^p6bu/MM>]V]D|[WUa?e4H͑H(̄EÁ5Zʂ5 M=. tğX>^s)_Ӭ,>Kk]_[@YKN5ڽƷ6&}!ՕW
d14g<տ9
` iY+|KMveˮ
ϟJJ'Z%Q'\LL_ךϦ0rG7-gd^+ݯzq{^v>j&NkZ!.6ZQ!"Pq,`ཪC@[Q 0xYLm6\Ib;D/jl#=P.1`s|aٴ'J(}镇uywfPՎ.CT- 5ZA#XJ?zp.
k0bu~g/s^?+{@]Gמ;j)yUB/(tsJ@8r8!$5HT[P9!%gXjҩ=}&Q
H,\)IOo!"pJx'hh;9D;["3TAzi6ȑ*ŷƒt*ؠ/p4h"ksmiB_"z˫2<F`STkT
c6)z+ts 7༺cb|
Aӹ-x6j^-g${],2oωX# ;B|= |Ǜf1B|FrV>t(ET}?J0]=;7kkA+k^؟zJL5D%W)_
[)>z%ʏU+,3.>M{-A@e'^&Ã J![=&f<'l@oVYr C_ĭbyza0T/wNC$jũbl֊$$8q+1HWmZc :EeF]Ja\PB !`0y0ْ쌦yP6' %b :l32mۅc)6wwx-2ɮϭϋqP/PWI*nq{;zl=g;ԑ=/{o3% -5]:3= NdkMr*8э*xNq7;U/ ;ŧݤ
dְ2s0+QwKp!h8-yǎ$S~u
)9!oقA?"
>͟hLybȉ}@4hyYOZRrj)PCȹZtIǻ}$C}QyRSBGvrݗ
]>ڪLRQ L-t;kƵ nLr[>i), J zT@r0ԣx&-+U\\tB~^qW)3ZWykh{lRaAg+&x;P!?N&k?t^we9(?kp>wC:LۡFOT2nKneuN)1Z$[زa;}joz͌Qi4C.}](2(M'%Z⭥O{q*:˂=>t%WtiSa<'p8USJBW@yY1qL[R7Sӹ;mءYg#nªi.Hʙ#w92>o?d[A$IunCڞ^ہ.B ߦ(H~V{`CG
0t&pf+whVQ4[}^n]{ği|a: G .b w
#h I1W%Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Listdocument.texD1M%Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusiondocument.texM1_%Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Examplesdocument.texI1Y% Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_LListdocument.tex <%GU~.Y@m4yLdPW h;.bb s=0![=ZNu)"]mG쉐QT_ D m%A}ҼVˀZHk )2WKej z(-9ٗ-8|m秐⠛NZs7%*2K6%1ߵp>aOԆBŐ-E
ndD_?|%Y̩\k0= s1 6u6cL:ULّ+4$2bœ;?0H[qRwDR,RLAz}9@3
*rJld
ɞT/hd+/U* 25ơV4]>Γט|)U:<ٟ&OhoVI]2+iO80 +2!!'4{ϤKOSSvB,o/YղϏ$6W֟2 lD[ptҖ1Q![HЩq.!(
ʞ4
!TjolhGRnx
73/T}fiSoa}3Rt9-M]fvǐ+t;v=gC,@+q}&IuV u7H=jT
Fs}c^Q#X4UіdvtPX+z?SϦMen|4L](MP$+pe揰"qpS$%/8y[~$ˁò3R8 M,~}R}L`OCPt+BBA2;6-X9X#P?TZγ 6_mdFT
%i0h[b(r{];lDH KCLz4 \GO=Nڵ/041z_TF7
uL&jmN.exdk'&qU*mC#|Fwf-`"4 .=qӂ_ea(:ipʖCL2S\Թ O㿼}Zq?8K,D`ȎUL-4g%sP#sk)=(=Jg!j]yqYh.JH+tޅd3 \鷍4u K!jn3St"