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  L / Heard_Of:threads=2elapsed=37.374cpu=71.204gc=2.396factor=1.917zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S\쳽+17+$>#rGq| k,pnۼnb*벇|du=V~+2ڳт1ޘ#|A*aVKʣUufLW ,ަ -X2G$R`w<]b ՍRd}]sySbNtE-D>Z9ݨ+ZP; koʳY0-h#ɩ fS[] [-Ukr'!p@2/^DWDg'Fƶ)΂*̞6qy`ֺznvLPE SBcp"F}Eb .>C@1fK%zO`q Fx6b?}f}pgp)DaVQYR`_7 [1˄>dh/%=4 Z=Yu*ݰeqй3ruFx9Fug8DţHrrKZRVêdC pv2 Ǣye31)E-̺αGwĉl6)vjߠMw!*Xc0'1Xf'JI؎V4W̓Ŧ Wjw}0^י>Oi,xi0@68&4Ix:,cSeⵗ "(g pWOhqt-b(WPzo_}#!Iwu\$̙ktcIΑ{"_$Pe7ž2gJhՐ0k$1xsBiml%@qʾb+S,E 6R[%˷o{874ZYݗstʩ͡#a8+ )sZK6u"'S- rJWxLf-R OI >\0/z֜Ϫ(OM 54>MTnx8߹+emTZk6Nؗ$P@RnbܗK~ yK(2o8KpƗK\ Y#?&p{6pI jG&/vwQ k}NXq8h"Zq{ZE8Q`Zd(#kӆ4!eZy D1w4.-|q"Bxk,i~2$zOCm-l҇No$6Gm[JR+'\C }l@.cv;>hAʙ@> ci1#Lw!,rAKB6^W(?@\-{0~xo $QOQo #z d~_R"'K(Q*wcX?EdPEyZ_ɫranYviNZȳ+G0x>p"E%QóE?KP>7ŽaNMdOpqOlguGzix MDyc36Ι~a#K }df6_ r>{TemUl {@桿'Cg#geV' c *K\GRx6%ߚ3Y[H}!ϲЗ<8<]O才f ;Ms#|cƄrLE#*jлCXGl}PJMΰFL!k(bw*\-hϥxreO %vpDZN(џ̎@F;jS8vsϫD=JTuһ]W0$u3N)W"].xѭWL(9u!C [H1Zj(4] h :K6.`&iW/eb+-͐=]zR$uBR!U4]̘f٪P>o , DlRs?B0T3O uL,ɥ-1e6P(řjStN>d6UG* 넌CGP=z,}&,ú㡕/$9<}sE$&7\G/QIlɈb<&D4 q}Uů#e|A9F`pbeU<حF/,9HD;J`)LhKl9ϧ|ummiL8#'UEjSaNYIFѫۿDXg ΰ )nv}wm3eE ?;DPɢkEVdaf*%Y.bܑk|gq3It:@<-jީrHЅoXik0qR pWFI,S)ky*9mlNّ2ցԎp,ѳ̸~>AjO_ܓyU~̠{-Q健.Ј4L.V's!uHI{pd ]3=_l}םf{nGCJ-*:Fw1iBVeOcMWD"]o[z17x,)u<808ʕ(] d=hƺi"/#M T{L5 ׋Ux|cmo~}뵣y4گpw'y+PIc#(ȴsX"xl*u9*pJ? 5cn)w 0zP9d;,LH]5 Rǂ]=/SV_VV{`kV5~& ζϒE=h T^{]#g}ZlfUA Xщ"5Α/;Qa]"4Wh9ԜHѿ%o_<.]āC+nCcK' h_4GK4.  &0zYlyEyW tkWU)ںKܓUȷBhδJ#:.*r deh]P- i1p@ꠔxY,aPE%sSԲxqGhȜ x x'FC40>F_)*8YպeD#>#/!OVG/b1Nu"SH3i5gO R 0;N$Ab AJ؛L"x1jƧM I8(MP[\O7,u4Fِ1% ܤ},v 5 %< 0ȿR>цi۹QԪZSPz 1q CHL1S)_PYIco#K@^au4!ԜT8ITx~C+o6Vtco$nNNv国=>dB< |t>5AH/Th5G/aҲ+B[Q.U@IIV&7 _F߂'D^RꦬYc<6/p}:ԃ/BT0c0YU7Mn/)zАR0+Aj0E/kd;AI_C ?ŅO d>S4ueMk2'F G\qȪ:@ o+ttdχ=[lp 8~+&!c@nןz2V?+ސx2/`ҹPq*JO 3pS$YPr6CRj"% ߶-w`!4Cܔ0=j:C"2UCmVW B|?NCFc[zSG׭ƬeӁw ^,LE[, . FF=NK<+ [Gr`Kޞ߰.$s G^c"=fn|v!ꏑբoߏv'jg%bo=mĞJ/7@]k joLz+mI 6SɭMɵï,E#[I_ p_f陫a5)Ș<ǎ(@l'0eN!/[JYk0{}2yK'6p* ʼnг%UF>mDm9Ae R?55#f<n'z"ͥ+0MކcN NU.A9[|gpQ{*I4b]O1ellY Cdx$ODQ;ZUˑ ήJqd._x&GMK&2wq__KuS?V4>X6-3 TXM6 ҉{]2kD%.&˫xz;cR0$>7"txNBhS;*u$k R5u3mj e׋ZY͉CȚH'TFZjQB^2@<<$Yʍs_/$N> ʓI$/jvPq8 EZX0&:-f%_m7Ky=Me-z',Y9 gm(z򨅥cZ&]q5Dt]X]JY;5AJ?Y!hu5m +Waʉr94⯰f!xKz;2&,wĊS3^U_Nl8F fcObzUE8MMr "6B+Q{jX8i{X[~3Z;! 0d  xfUd)?,\n8E="_ P5AF Ѱ?ϒbd'aJ7񸹹,%PtT*t kތ0HDXZnijH¦|~X0)6ѓGui[ikp0g٣zpf])7T`n)j<{ \h!6ddL. g .v*s}ʼnn]X]wHΒʼ?;'L :1 ^xVgQVR%`gYZ07fbf43350eb20c78e21e3c880ce16e2193a1046 29b0c1eef527a70648010c1a77bc57b3054d5527 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5d13452a27983e538d261502826594d743acaaa7 5ee230635355a48cc812996c21fd20f797f8c6e8 7b6ec139de0a604f475d62d05f428136b3946790 7fe389180a718836fb9ab643c894780ea69160bb 805122a57d3a0b2bdac0a95906f3bffa1d16f815 857060ed8c59d8e65872a569304dd512a8049f5d 863f20fad8febb31be2313ace19b70216ed974fc 8bdfc81df497e23e2b530acccb397a660936bb61 915f2cac785ed88789894b5d7e581086ae5ce380 9482d80f8e7b6d882f212f19b6f42d222c5cf9fb 9a6e848cf7bbcec3ce6567527f9879425bc9a621 9b1f321658f3646bbc6f985f388fc2b2e09cd4db b394b94f00fd69962a31ef5d1297617398675dc0 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 ceb191a738ce340c0625ad49b38fd1b9582b424b cfb65f6a2cb4dc6833bf754cee194bd6a4b346fe d528ac61445ebf01d9c00ae78a93ed2a660aa700 df3fc9c9cd5e68fb92332d8bc39877c97204ac09 efb38344a46986ed1cab770e8beafe040322a6c17df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56