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 MM  \ / Tutorial:threads=2elapsed=35.416cpu=69.544gc=9.148factor=1.967zXZִF! I ]ŗXf1-"oވ? VòSE{ l 0x6#$ 븷 rxܝ'X%_)S/ mC/`X93N8<U DM6Fsm._a:':7uVoL6ߗh(!QWm* l>T!"ܝ:ETId-v #{ʴ*xyM5 XbJO{B^Ǧ^t$vt[%{ZcuVf3Uy虽:,fWprDbU@ ׯbq]:*u4 1RkEFQ" 2EfX:z۸#bК6 `C? m_: ewF iq^ c%ss l+2,>0gחeny}-0boÿu ft#r'*z֟L^ziQw|1.cJ:QF 7ʳ*%\sp kp6foJ996En"]-y|-zc\9WrTb2I%AROP}vEf!^i@Q@~O@ Z%A~`V>Bef@s d3ia`RHS44[qC^JnH 2Rͪ|2GŴ`"t"jW}>2Gy^b$yǏ$|jl1؛;/Y?ـv<ލRXZN0ǥ rfpI=-?(_\qP>52H`žGh>J}rҸi ^f߻{xd3` u@ׁ 01TU="K-$^0@$<;-w:pÙWOn,8Bs kR5Q]+@߼x2s_-!4RȞ>foU _"[}LTv k?mx5)jgK@B)ΆEux-Pޞǐ}l>pjbQϰMSVh%rtGW)_?5- .&ij3 LV[p̹4PSƀ]rż<Bo@O9r}dUR-[En#*]skroKW9$ `>6j3{]M" K[?QcP3h# kMQБm'wb۷Ma`~/;⊿ so)#XiƗ -`EW__l+Y aFK˭7Âજ[sϸ_Ѣr2dIq`Wwju?hf1|š y}@qaI<7f~Zv4WfY`9Av5@9BٵD2\fDp| kKɃJy#Ɍ.BÓD,4δNjRWS7b \&QPs'pLDz4컹m.΢Gzy v|(:gpS7Ŀ#_Qd ZZx7gr$]89EUEqY"fǐrT=뾽mi\}B_"7g'E\)>^6|v;7zW$k(B<2Ez1Wwʀmv %gYZ7zXZִF! g]ŗXi%B4 H2~61~:^D xQ$MXr/=/l Yg_|?FOf>2 aJ~5Qկ_}mhҲ5a y Y7-Z^&ia7J})P?څJ0ȱM9w{±ccPy D9y )cOߵnҕۏerY))8]  D/j$&k2e u@QU! n✎I33sv"kՕuLoJmNf9YKg#Y>/2x~j 0H[UL5^ P2.I/B=uIӋ=!A{}&Uxf6 -[M-O*(ݾ Zu#toΫA$GYŪD"mc̄5zlf^o&>mz+x.[y}rOs" ?ᵨP B:fI8fW!Pdw'(Og©B_. ,lHIj TȒU 3]A{?<ٍ"_\"Tc*sR)΀5.8z>wcLDM $\7_y$nXd:tU׍,gyu KGV_ev'x T[w)8ٙPVp qǙo$k!]9||!y* h k!1w佾uV-9UiiZ@:P(u&ei23y_]Q-&-& $#Q6qbzPEdhv!7>f>se}.EFXS4шBY91f %V5cU˅xeTPl+?% R,ȼx X}2,ޮ:!EC\xn@y/ўVSuе.;a!c:xcZ;|.qݒϜAܩ[{a<=By fq1EOj> R9u?T^s uEHJ&تaZEIBF(DfS|7Wu"G,۠;l §ЗdP6C(1Xcw#*^᩼myM b>n7.@Sժ9XHa4Wv xfis&{5?ky'!iY6s`W zfi2_J(l:_i L(RYaы ]7"Z๎1΍™̀tm3t[ʮ_Yx Ux'J5 Qsf5$G;7[d9MGӐ1>Vp_T^>Yh zy0Q=fw (bN  /^ڏ6`9j\"c'߲ʅتk2I+Wۋ)cJDI [iƝaR=ΩLd"Zt36uZ )Q