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 O | %w Lp:threads=2elapsed=36.915cpu=65.448gc=1.280factor=1.777zXZִF! ix]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gLߏ?(ݸ a0^ZnAح(pom&&*61io W2qY` 20e(ϔ`*OYh=Iv:|XJEiE;FѕcJoFg\:hj#*8{RYb8;$4ؾiY|1;zr떓FX4]̕p,>u Q-ZdMZ?Jb[4o_CxV0ꤘFۨcV. 1q!\"“>4\ӿu  LpXh}NPW;`@dlH7%JhUiIʏFRKZ){q&w(? -`s)Z/B`sٛaԇ%WlIjs ƓбT,6JS&3e5Gr}Bdpl &ޡ"5..pUMJ|tN~ RC3K^T2v!@, /]`JAk)ݏ's,0أfCu5$z:iLQ[}0Pd"#qKwߩ C%=־NoRh EK6|6e;5ڛmEF&/=b]PSkcs@ѧDZ쮪},BQ^}7t2p}9*,;ArDl NC&jއDI!]a:98o w3'r횺0v n6? n BU*^ =ñ2/N?^ԃQm卜s)<ĆA,vIU ,jh_!iG=,APUHlXd́dAl|{1д{S-t[t;k1|˳u:lX@cLpv7QFA_0(g8'ű2iQ}LLإlZde2XT~OI96B+-{99nUvd/v(a[И@y:]u=eP#ԣl)/(t57i3 d~ G]Ǭ!eTzCոAOh5Vnj%DLkJ?3R%}gȺ>ߙO:Im3Tᘜ8ﮑ@Cu_hq~b# (,TJSx7)?JMq$-p(+ect ɡGNZjM/D~["Y ^^\X1sb5HE5/qi3 TljVTxjVI"a'E#yTo48;sT=qУ1{ೋ@Ssoy%XXt@<7Nh0- $g0sL(?t /BSm93Ō65M k&x(pFa5wFkZ10 gEDi BgA5Ź' V.A35V1b,0UFGʞ·;+Q_Jq91j{3 K,% Ȼ3tuU>X{4hXFo3 8 Χ+@lĵK{%'T&WAcQ4Gq~TsfJ1%*;b䗚$Ǿ'sKa-H*(j)mF+K̳ co@a݄`9VeTg "lNi(90:  H*P&&J\:@Ƌ\qpuB=@ok1R+)!&F!1`zLHeCu;z3\Xb %ӳ?yHe1zaGpwV+<@můOWQ/)yfSFpm~z3FQ2̸bUT]zDxՏ%-51f7~a4[{HC#cʱk2^2drj>ŬhxkX_T({q[,]Elc;zC7 }P)b0%)) /fm,JMބyO}~CLf@ېQB3,L@ߟ?\ r9Oy~:$$dU4ȼ!Zdo_,' Q1L{Tb|CӾ5$Uԍhz 3#9XƂH7xЯֺy$`.<8U3f\gIuD"6Z8_#U4!n+ckdPdاt>?C-ӆ6 ?6IJk) 5;!nGe(I.eemH~}# `M+-!2S4\Ƅ),hoR&I'naa-? % ^< 4s@%s@V?|*h Dwʗ_uAӮM-u[퇽=m1O<ϝUQ(.1ANXE3*C 8h9|ge2Mmt|I! wCZ;-T}~Qςip~=邀:ᜭODGd 0|pD$՗q>cX/~ *¡<FbSݳ 9enR^T~5+5C CƢip@pląa$BO)L}TȔfTR"xѠ &`S9ӆ5ᩊ{oE^*"%{jgpvP&.PN<1ߏ8(VZf_6[XUQ;-( Mb<P1V =&d놼X6r1!s;rQ>}(w qM:RQG"7A' gR3wi"gݸ4իn'x:l (7$JtOQG6W)Y:[?^$zW>+ 2xdlLeU)QZ\2&.ZhS%w 37]l8N! [Pf ]{#qpҸ-jNs!Bm6(B?}EѨrEaㅞemG.%խw|4:Vx$!24#4 srLiMJitf$Ç/.XVc%d+❘,א҅{-"K+My*^E]Ȯ,Bx\ Bo7芉:p@]g5fDžkLe7kMZ:mGkcs-'EYQǼb@7p0Fz܉2uu ! av;OgBA#TއnA5&^AOge:ѢLxx[bGd@_Ȟq& 2!Ķo坩 ukeg*,$mЩe@@HT/}?HwBL_2+N3&xRc@gnz!ep GЊ'ټ]qZȶ;2~pkksΓ͂NfJ)2h~Å?^ xfq CPrqH֨xB:Q( 1 SC ';i?1I79ꥅ#xg-}LjkS\LYIVBe7II/"tP_K,lΩk<$R\cAY.Xy}KB#(piT`n/qͧ*laz 3BS-&nR{G6h]'yv>Dg҆E=W}f-,V.N ˡu;%sO7i6v}igcj v~3|1Xj *R"6nt2o-fy V,8׬]Ǻ!-"7P|Fb "p@| w*-CoZcYq1oEpIhfEG-6MZLn}^0eA) [W\}Tyoht}PrB1 gѶ,< c+ylgYZ7zXZִF! B]ŗXi%qlEo ߌE +D+-Ӎ_|U InmrU'!WGF./E-VU0!d<3!_AF6(ЭNjq<=N8R|@v){mګZV,^`zC $*D$-A5V&#J1ֱnRlo βBEj_ox  X@``8Y R=[ 2w(?v$w9]8(9B -z9]<@i[̧1d,pKK.Gݒz=jc]|}%CFeOu);7ReXN@Ӭ/JeƷ"h/KI-< .?SSF.̭D3F#cN>.YT?3ZsH5 Fp թg&!$_|x9iTN#E jK`Jsa]Aie1 =\B LyIm|OX$^ͶdeVC@Uئ ` qPw30jQmcr}> %ܲߦAHiA{G`E6Hd#n Z,XWCȭ&<*i)pCy?lk5h/uv _r8Nrׅy="'.w5#)?{o^7Y;oY&Yn(IIe E8I*s:vA}S:|@ϴ>yST##,*![ Qloˎzmjs ^z3^iT| 5^㒟+X8e.0 %~Į U>+4Y1MbzrȊ/˧y!gFКp=|)Xn@=J]KlM-#Uj{B0 |"(X=P+unuTqCUEH=|}b˟V}"w`"<[pU0IP­w3Un?7uuByߓ5 "YYc(.멷Oؚq>RPQLkŴZy~!`},#~˓>ݥR'zPwX!4P8Zg&/ҖIm䉷1VaeG+'>jթ^etL;)C]HpY9L'