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 h DT / Tutorial:threads=2elapsed=34.949cpu=56.520gc=6.072factor=1.627zXZִF! vR ]ŗXf1-"oވ? VòSE{ l 0x6#$dO;ld2Zбʷ?pGꇰi<]s8n t.#>I?Q)EQ$~9rwM~2jn1Zx? VEFQ @tށ܃ndJZz6 'z-EM(xF%ucKI1 Y,V'L&w'tZʯ[85Rk+,̼_S(iUΘw6O }%@ EX!Y"b(! lE6   Tutorialb Qe>n7@ަBߔ-2펠5kz(eɻ#|͏Vc[Yf NJ}xz3a~l=`7N![@M>_6DaX*r$ bOkl{|_=py]2hJLhZe:;"^:M\'E{,% x5ۥ_dؓeAQy ^6w@jI :6Em0 3SX ħ)'2*QwC`1C'Nĥx?-TtRt_ #؋ \H3O˺rlHɢڣPg+֤5)P>HLw{k}A4[.bρ_s\m_!6er M91)u  {8sCPXѶK6-s>4KPZGOݾPɑ6HLIhu MA' ;bQslcr&{SI2(U:CAAhQ@O&A]Vw|?(kjN%E!gN7#p/piG$mjt]] wG"p6Iϵ}&FV@xr1 tM9`jg$S| 2cYvNd3`2"Z;җ% E `z9->/R՗xWpv*`ޚkXwV;|q.r4-nOȃog3{j6`{.ιJPĝ9$N #Xfh@IR\⿀%XߦHZ`ۓH;79j8H_b]bt:\b 0^1!Js Dd܉<ݾky$ mv=",G‰'Ox[v\@<\0Q8'-> 8%gYZ7zXZִF! ]ŗXi%JuKKR/3drop~(tNXͭQzxݐ.rA-5|vs %[FP=s ]C/ٕwm$\$sbkAwN0R}]lT9j%,oR@<0c0 aSY+gE3DGAxq쮶 0NVR+d% c[ >!.ARm;f&`p6seg 36fa)B[1~mM@ybѝ!=E @tW\~twa$bM0x3106VG=57, #1@p(pYۑ=r`bW}\\1 YBL߽.L‡ &d\ aY~"3T #=TW WLe@ZZu4;Q-o*`>x:7A<« (j֞81E|ylP/⪎DE!&4) N1gQXYCУCZx$J&XEe}L?$xhfߴzF^Owwb'NjQneq'~C`ggCeh&jOjkXELm3!>B8G/,R6|c{yRʈ8A"mA}2_@zWƏԣA'9o "3WƔ4UC#xOܿm2x!9}iyqvczJVvQ5zy"J *g@9N5̪^i;ȻNb]~? 2RMmaM:KPTPP!]|a܎I 2a(vuh9wz1ZnZE{;Is$ 30Hn?d,XZzK 4=mq_$=a\^q$<1! ~y6vYd\ *Y&&r(xZp6[C*&r=@y-iQOӭPVCR!m2䠙ԁzrE9$+U!:eDu$qVD'"~2-rڨ1p}qv45eu2Ϭ~9q-{wlvyI2fم=clm>Qٌ$0`8Z\hg@![ 2Z`<J7}9;R 9 1VmJA: G=LQeNF֪+:Oc/b#q(J>k Bq"1F˦0hAX _ N mV[Ϟo L 7՘T I9>=$J 7&QSgɋQ~N&M4C?r~gL<)|.n}n2e$|ՖkoBKtbIh#a#e^~Y&G {pҶ c=c d<ЩhÖNo^IYL['0 "Ԭh~iv˕,'BV7H c1%g5