SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ffw lt A]Deriving:threads=2elapsed=39.860cpu=63.120gc=3.436factor=1.587zXZִF! -]ŗXf1-/6vR[( `wYf0T8#,"mä~w#`Yk{LdM.tP`Ol0V51fW?0qDx&pg)It\-YlTl]/_A/Ɲf{fę@Bo3YI J&}Ccx5ǯ0 X@?Bި"   Deriving_2wB:!]@}H.7sX|EƳ`jlprN450ODUiex㢵JD.Hcy].;'<ʏOI8{ށi:% *aK?z@X+v/ ܤF \$5Efqr9LPS- |>W:$k_+6jr0 GV냵ּz$"[5G !,q;@;(«SX^'y"~W.ұnkƺ'#yr+,"eTEs"V_R86렂/?=nAż31oU)PRn/Z YdM{˝m%=a/|/C mv{A39|ČB*h̪$vä%yNEDS"EMYP[/`EL$!hGcP*~K&u#C3 ퟭ Mv?Fj:np&}={(̸PȱUOUwM cjx0z9W,m.R:+%';{U ɛ\N0w#rs)R /RW1OhOCT8vpC􍷺\[*P;.5Gl8Ŗ4ͰugC-:sN }\+isbDZ₹ [ t{mf/h6}̾;l6}кp I]'kTFTX]gcG)RU@IM?=RڷFF X(e'|5JVwwcѻ |a0$=mA4Lx$'t"Sڶ Vo.T׉VQL|aq{@<+q[چfj߁I׼JtQGD@]ܛa,h̄[y6 j}Er(Lä}oaVCg QD-֤zD GlIAʟ$W4ߘ X挦C iH gjUoS%Dk3u8P~k-(p&En/`Y]*TUۄnqz|TTchZ|FC2GxT "o`Hy'Ng:0_+<4P8pN*3 Vpv4SGDtw8i1y5 A;ц=@}!e(7RA܆WA-7AiXbr;Ӽv{ #$-8:[D[yt-tXٗj操\6: ]tcaA@ qu A53j d|M隬oѝ b&C_SĦޱ9Rk4?NN4 $"ƃ[t4}\l~DDTA*Q3z:WʗoGK~MxC]s[!vXRFYP+/}QItDw'(R,ja4Ɩ)=xKphp|tMxr&es y9%@ߓ'sRʕ)X Z}oYݔr{Å, zN"ԟkS1|G1XF0Ưl' (/@X$`ԅ͗JΏ(BW r 8lXf}87?ux\rIX"b?,yC WD8e#DڛeTetd즔ߐhKl;p3vo0d.".h-ۓ\'|Q_Һa7e'.G a:ě7dcUzs`&Rژ@{*b1.f)@t֘ z/ @!`|0-b~F?({Pߡz ʇ 0Mb#/~4ԃLyɟ0y_|fq$^-+Ɖ@(P.7K?Մ,Mҹ V=z >r^F C]4|P"`xj-}%J˃whd* ;s;~2a=RɃ* Lf4% D|U$>[̹t\K\aC[4s Fv]$f-DCPN)>UIVR{nPyzDЄz$X Oc@9;"eZ7jo-54*JZ"&P{Yu3RO4 v i\77p,_9`mN[ڄMDcpNu3kzUj̶ƞy]ygOTTw]]*TCy^e8@,|°$؅-<{qt f{QYd`Y*FpT+)1wV\k倥CF&41@A^'@TBzdIچ^)= @{#S3O93+fY6 H@0*Ghv=!QRXZcَYpԽ1̭wd*L]'N˂BNZ~سz8-IuZl6C{FN H(}=<-;@hXjyV-ܜf;4Z/nNzB[9G*qP6um|B~K֋y<,Sәj)[$6:1~0,7be٥&'|߫Uyq@BZ0'sydn; ?(fy`B[JW}9M_ ΣZF8@L'tt%PU" j5ߣ޳ܴhFq}o_GaV`=;"7UL{,t cl/ķL GºÓ-Vԗ,YZ,Y-ib9  sWscAՅ>3dBw%Q72ɮ;-Q O5nܷqVԾ'9]"z2hMkl.0&A?VŅ&,~RJЖJ!R~?,Q}f`ྨ&0CxkKҲ; *',/(H@v:exSYT#y-W>K]mZ?v0`6ٛ34Mh]IO8A3E Gĝ;:75R|/Kw] ;jrڛgL75;]x{c: ErKG:@rz$'QAw 7V\%cɵSg|[_n|SD~i6P:_&Ȗ-³YDH ďw|`n>bKlX dyB47?(JHdXlO]]h`;+|֜-8Bc%t耰J_DNs`Jy)+GbXLԿ LJ\QKbjSϧ/V9!e|hKik1VXG=:_$redZ" o㞓pѫ+L!k?,)_q&"Sp&|azbIC?2h\|6z"a