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 E$ mS Formula_Derivatives-Examples:threads=2elapsed=64.033cpu=124.012gc=17.292factor=1. E Formula_Derivatives-Examples947zXZִF! +9]ŗXf1-/6vRZKƯiWٙ*P59#;4GxHP0 =#g1f) Fܻ;D0yI-L+<77EOG¨[3{X"m|\s~x|Ս*GkaG=z:MpZ8"ի3l>#Y--#Y=M[0ٕ{Fk,Soh57D&h@ub# aDF0C"-c^Gz#Y˖YXFg+P}P5~D``UΊC!}?}o"ޚ[R17Կ Uг$&#Auv{  ;p]'SnJduSIE759I:7ظKO'idZ޶;O|O6-!P`Pf@G*`^cٱذ ݴm5"  .NgЗ*1[à2" ]Af@~}r8 [WXz+:cEi/5zVuuM6Lze'wi44zRdg"߇lɝ >\\bg-e? 1{1HVU vU0|HDϵ;#ˀeٛ@)OWA[GxH2ROv |>L̛ QPVgYZ7zXZִF! ]ŗXi%:$qzHwx$ @ ^Jk᥀4 '(=JPp=TQ 6 @,+ h{%'ˏ(P: ȞS<ͤ\juu虜B$-gUyJSS 柇^\3 9*B܎; 5P&ʆ̩9 i~ޚE9L]8. s혺Ej{y@;{nNeTf6Ti$_1މ [K t2E@|/oDg3K@#si3JRK.@  υC@S}>'- I ׊AX2I4CS"?li.e܇I6-&FM1\ U8+ QKXTJעl!;@ω$tk19oj#0& #C5^1&?FMkø^/6,A>l!-DoB, Sޝu`W8Dڪ32?7\qEV#L"dg̘9, IL?a ϗv QbE lyd7"ĎfQBc$2VY;XYSCOD lu(5Hb x֬.xeqC>#S>tvnl)pixEwD 7[y<ݏ4SJ,Cש #Ǝo+V퐏EžU:%\Jq;8ci(fzͩFD?R6p/`7ct2從] ?IY.@ $#=9ƒg2ފn.qM7G7=˰^C@LyP' ,֖zrޅ̕TF)u!V耾?'[ŗ{X.&ete рiJG$ձĿ'k1dȅs&?p<ԧpEa gVh  &G,GpI0#n62 lRbL(ؗQY+4)>S*lYμ-|'|azWNŮO;(Ug2~䗢aG Eðfzvث=9L+..] #r1xdyG?l4W! ;7 uWm^aݴQ~Y@_{BYP_,> BYd\s?bb4T b-^\G(^ 3?kV> Qj)YBu%!7ڳR;g\8]t\g{i2 %Ձ> IMN G}Z^o'sYh0՛rTТBk󠰱\.Ahvaʐt O*gE @}lm_8Ư}o2 h+CGԒJ C5da4Io e5߲"`}wS_7\Ķ,0O r^ ^VD|];iR4Zq*ڛ=SbbK!w1K#QEb6f 䦇JYehRq!rCڎ~ mnpT+(hߐZƋ-IRMj;#~j*=vxٶ|*iWwn7grqM9 p!jx<7e{+OSe#m0+?d`%3HYmigA\磅`YpW=sc'JiZٯ<g$6I8ȾPV@q(ܣuIe,. RR??*Z/DB9w2`:+P