SQLite format 3@ .  YYQ77Atableisabelle_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, "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 X+| ! Abs_Int_ITP2012:threads=2elapsed=92.259cpu=163.584gc=5.820factor=1.777zXZִF! K z]ŗXf1-q恈N|5` 6IAR}B\򍂵; ;&jPhC.cfc$)+K԰m~cbNJ}1WѓW2r$$V fmX=n.~,9^4 g5^eWe ( p҄ dP맖f҂ q!_XѴo^I*=<E@?aEvV K ~ۣ|!p,k-o|P ^b IH=מ37ۣ:tTԀLW|AiKp~.C0dO7%8abs0O\I- c&ם>Q5,8ӈ\1*H,> lN3Gt  Ef&3m\dl}TS~zՇ, -8Q.2aNM=f[ilA]bf/ 77Yr2؆vhzb aK5z f&& &vvԝc$Nƻ4i H65, v4ꘪ GNЩf4Ô~:^Ȗ 1wW7cO}U+fR&Ez oJC*  ?6ac3ΪUDa㆚~8sԨTZ^]oL ]u ݹr .a(=#&&@ouy1ݰ7 "^LQ&&i3Tx)!=3jů˨ƴKQoQa0\Gέ[0!!Ļr3 ~1'rZ,-NXh`BءߓE [_)ayvqQ'b6ߝJ<,+w_8{_Vٛר.1Gea0.Kå?!shR-VSɸH`LO gYZ7zXZִF! Ძ]ŗXi%6梀5T=p!LgM ԡwyޠ8~%&n~O_g^=Q ʆ! | /^l+Vs 9Rw_GGW (0g~u 9ľۿxJycn~ՇuAG*E&0@< ^xfk?awc.3o3 16A EOʱLjT_pG±.7QcwC2`qC x ?yg͋;q p aNAYe-z_Dsz|-R&,M6;YʴfY-w{%0-).FW;Ճ^ =T=/.~lr;ٴĦE¹>7CV?ՈnQV("bmے / 6ɝz>FHSTVeZG1&@ ' ^,骵[[htL`6Lx #!ሡdo/6w@Ƚw9~~v`T0OHxnqwFv[%.^nwK4E^z~Ӷg~*>}:řu'YМCpx>5\YZ& +7"7Y5ƸJEМ~ECDq &CwyS q/ ^84\6ya[R'PfpՄwGx;;PZcJ_:NAĴ¸+^|_X&?ӛX<&hZi[ѯg CXj_EzI9پewdnl+d{"Cykizwn WWiUV&eϪr.U< ImiEqG葿lF!`%N6, JIb3FF CU_"$۳_{ \MQ 5˃>prqN0%ԀlCb7gvX[NcF"S(Ľ? gCvgj ^6 $׻r`jzH(Bz4+^va\M)NyQ#^~ݹrgjgGgקs >J|7X%b2Mڧj#lez>u6>28mqG-]ԧjZYqa-=]Ai6[hZص]9p%%%>QUtT,F.v3k}_2+Gxu 6B{{YrTyU5nEVn0u?4E1ڋb^nmώqqTt:L/;Yʩu "kpQLb)%K ULx?@ڵ dtl5$uXc}8I{2I'0Q{&%ZO  ƌPՏ~|E` + Abs_Int_ITP2012d&iy>Zוkv #~"ތ-(Nq͂6~?u0m&lnض24d93}`d}X<M^wƤqpY:s 5azʥ)N#ofBm5}0 inRCYFHyGqCɎ3:4?K!sUﰏ'L/T'h>}s,,9SHԍT\#&oEp KqMP,wUZҐ4P}A]Jt}8j(Iʨ@)B hY*ucޑyh _'T5 +#hMF_*^ͱ#uTRa\SL !G~vT]a؟vEuPфf=Yl>Q#u[" ~iE(԰usAhx8Ƚ6cㇷARiXȢٸl%5؉SaZ>jwd$ j@}%NHd" |矰=}yNh3=FoW=fig7$LB5-7/qp)-?Kĕ3:٬7~C¤C!K% [O+{ܙ3_U`Yj]Ư9F)`v'+mhxt3'anfL}pCT>dMWӭkT--'m%# @^8V:SSi Zb*G7 $%(lų'.C2b1Aθv_j\-',FuC4^2| GWHN2R̸=ӰnOh X~py05)Jŀ,T0\>דZ \pN:lO8xsۈb9nJA㡫ڿ@? ɏ{sՁ"m|z/!O8 ֬,C+C/jf/1 xʋŹؠ݅M %Bz7jʵ8ٛvJOY>9יѕF@n97aSgY.; MJסE u^{c0+X8:v-C5SR=bp# D7} QV4T~Pjz}P3%w]̠g(t{!X7PpO2`MöߝRs!+N-YP.{ T٧}9h+7@r R_qV¿ oB,̈s /7Y,=QҌp{Yѧe2@j;Z KN}"F9v|N q`|0$at* n?oȩ0jw.Cv@-F$zS8)(V-i3nLlq]U0-mIEW9ȷ;_.Ӂ3CӇ~tBW Y3c'bE;)=.׃P>.d t匬&>! lnִS±t6b2 .*'F+n n,vju?k+^`p*=Z'%6>qKulҎ_HX0QE\laP}nVRB0>t~BQ N m*#*r[3n GF_hqݲ=0j^%gy3Kۼ۔ #x7Rd1c_$>Ϳω?nTS-#:F VRYh A$y ? dG4|K̾BIUrxԵDlt7`#?IdSӌmݧup9&g8)C@xG6L+lw*[_e}vjH]i^OJcޭ_9%O%Zj(a%^<1[}堗djNk%U$Egc ͦF4#cTdiE_x*jI]H7o)ZQ.gBM29'i=ʻcռΥe-|/%^ @D ;T}Nl2`F*26~x9 .?囜^CDN