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 PP + Qw[/s8%=mȔ=!eBځH,$fHe sf{b)]>xoxD;,!C6ޓ Fu<LJf:79Rj-@_{΀F1; l:ȩ|Q19EqT_#:.w?6O@ۑaNxF`O @HOȭ5L%m:E@'tz>[QB)>#1lHMb6pYI=-xƫt3 h%ﲖ-Q|l%S&)\w}r13a qY51\R41J\a;h_FFTIRk`%2(]8UGsYY捑ѫk>8"ϓE2QtiC)ǿ{[ + Abs_Int_ITP2012r cܦm*i{5_ʠ{Hco;2q -o B<+:kژ 'FO c#r]SU#NPR&U)LPVc. yrXP8cNɲ2PD̠Ӷl&1֪!!3Kf즭 m'Duܯ"ʏ[4 v`sUlUm+>0ZFKY@8IFg%]8O&.$9fKj|\ŢNz.)h@-wm -NF_Ex9'H>4ƇAO!XZgk8Is@`<Ӊ!Q4*7Qb=p5,ТmMzaF\6[x6fsLwH5!0J _EXq;0t FN}jF:<Q3 ێUf, l6 cr-L@$Yk%,]]0u#q%!`f}qZH`]8&*db,K9/R;x"zlGB2  g)IX^a'dYCN:9ެ\HZOelCo_xƳU%\#@h|6BN,_ף ~8xN!$&ÛH&6ܲ /c16(s .%s=Au+gb b|&Fm99${JRBN <67F}: Cތo!ZOhd3rq'YE/kUwď{޵J~pmU,dƄppj25s[RgRQфZAeNUӳ+cv@cV2awP5pmgTskog*ٵ`upSAh0ށ@^L2=gc 5/54~궩VWTG2g҉o'7RBOs htx6RYږI=U3X&\7Up^ ʼf̙ɷtLҌR5*'X y*nr*N_5~J 5GFc]f8EWPN]})M;k'(TH4Ag,Ҡ[v̍B5$D4,%+j=M_U#bwO1iꝯدMf "Fδn+*BSR)7 y=kzF:5dqltW SM_ A O~&KV'1 lzݣ"[BwNP&„G|*ص !tiQ/|wwh1(c<6Q?w X*|xBSv(ܗM?f΀4`I$%2zk+lWd`9?W>AQh"R@L+m`[":]7XzznՋ]-|DxQ/uf?o#ƖV{[mkJNGۯ(1ArV69.qL={VǼ3?tvHG3_c (w5`a#L3bPdr}̎(HT-r]0'2?&Qo,yu2w:% An`V' >)kytr+kϑU@'-soEQÊa!Uͩfc 撅@Z8̩کebC2\~ A* {%1QzS]K+TYϘ9&(v^ !G$xפfO3\^i*^)GfN;fQ(@y!^ `?}uiC;<jS! 8~t__9rX#?}b@V`)9.VV?J{\@.Ms["bmx'*gx++,|gYZ7zXZִF! P]ŗXi%zxr#s}y`}|ӄ?]꫈+{vt(kFBjKZoHN{ Y) )&@x,hp'xfx tsYVx|zᨊÆH0𓅰׼aurF$ J!C6c?vWc4E?F #OSRE#BG#p[{5w O*&ovx᭗nl##wtpJ]NZԓ+|-)WIi@Z3FZ+juntW(ZU&g6lSLg,-=@S n&ԉ;W/Up,+ϡ&W6%FZri ml;>-@aD~Φnc+]f5xk(gwd/E**\=m՗Y{R"1;bޘYv `%wY-/qk LbC ?]Ӛ$~KC7DWOR|a݊.s9@eEs|ko6=;aK"gZW ";R:uCvvO63+7)h Fsv<F ;Q agsmtƪ +뛸z^CE-Ra#!k5vG΂GMflتPL$!hWη4%VUD.D*1v<7Xs\;"ݢcC늡sM 6쉼03; r0I61Oj@;h.eJbN+S2۸3aQWSKk Ů)C{JJnC\߯^d%iuau܂$~} I*-qh# ή!+:5Uצ61 ҳm0,=IZV*fYaVT8 ԑ<5PwXxPR2} 6[{dE<#AEf(f\"%x?9PMֵY1c"zBVp״J"ޏ!hPU^r>}[CFts]Z[»bU_8˺#\U/ĸlڿߗ_1Lgw*hg.N: OJ(E}~Z" h[+ צoxvS6j緛'zFm #gࢹNk*H bR~X- 5rΝ?I !YpA")#pr{T O͢#D5Χ$vh$ANEoWþ;N7{1_}w> r䒏u[y?gPa/J'H$Z[VmGwzY˱U$* +Z<,)tƞ q '6 9WȊ oQ3ɁqlN0P_ ^,J޶:XIu J@d'tb뛡p``U˴׽ >jvg0./v1&:["]!wp9+KY Gd];v G[&,M (Ma7c.Ĉ@OGg" WVqΐw, }j7 f4GFXM ̙ZӋ-;>/Qm70lC7-6{kY; 1 F0dUgپ |qFuQs@=G_2j2v$PO(&ou߆=?A%wHWi##Ģ+;]o|LJEF/ry@N/q ~kSYBXL.-HlAܝEdkmm/-EE; F>M5?]c ,ɘ~?s*p"~Nǒ)*ƻ@ q{67v5Cw3Ĺv4x_3񏯤?M$3l]颋2b>2/ƷĬxg5[*8[TMJTseH: FZD>;o%h}Nz\P}+b@6cǡY5J槍-5lI }s@^!8, k)/'7Uev Čs^ŰdmP҆ 5GGܗ$AO j 1ucI.L#P hEVE UK0FndxvbQ 'W&pΛ6u^s TR$0 -ȇ B~'\(, m?űmjR@JC*Üʎƽ,I&&tz倡0TrBБ:DͦVOp@%%8@TjH 1dU [ Q1?J3Cuȯ;u"/l^&EmTvp@*N IgD@Da&"-Rn\s~TJTj霝 Al1Qe*f.zo.PGO9* #ha9TAX߉BE`if[&!cCĬm'.JŮ;xNxlE+A:}8.1a֓do e)txlW;b)o!u`;nWy=>.IyWUݽIzB.fNK^}&ЛHH*u*5ӔRvX9ˤo ?Flhnj!: ~,ƾJɸLL.9)$6*^gszUW.Fn5!bڟlj*bSmWmT/}нVAoon rܤn\XY'k wxԀtThV˲#*RH2|W)nfz1yH.ϑVYnU:PN䣸l;%%M7n)=4yŪgWMhҶ(qC+䫮Rk~x-`FbAJl %D3beep)#@#zN,Jt!: 2uĆ#ъ.SgYZ008636b94434759f479db1348eba79fd0ca4f4e2 0729a281d81214c573065fb7673c593be58f0999 0820e3056668a14f00e4822b5de1ea479826e96b 332124682321656e702ebd7a5d933f675dfc2c80 34f4aa8d46d6203118e4e544c73d325bb2f41a6b 41de83420a499aa06eb5c86c866a6e7451324212 65f6c39b1ebe4143f8fae682f68e4473477f0796 69d69b3f6d4d360a574af42e77816eda8c80eb17 6de8c85ef812879128b2679422501d13d9ea0eee 767ddb31cfaad41b01fd33806647d7d894626638 7f5f64a02881ea6855656af831a166e48b59ba84 a6a36e1052893c0fa649f3352caf33949e67be55 aee4e968522b85b6b975e4e223004139ff0fd2ce b6122e77952924b9e0da37b7aa08cd7320e1a3f6 c967d80fe4328d4313addabc37cd52f3133d4ca0 e041c843d120825e77104e8742c34aef50abb143 f9d3fa5fa9d0d29fff5b5a150b0a01043a981563c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 bfd5848bacf97a9fb8952263c4037fd55861f6b4