SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 )-$|| ]S Density_Compiler:threads=2elapsed=98.796cpu=192.064gc=4.532factor=1.947zXZִF! b ]ŗXf1-/6vRZ _j 🁳68d0 Xϫ wߏ94xB9rI!yZ e!cR ݸ2b #wAs0} QdKĵf$`6bـF̮Icqm8O0!3Biң*w)?*ZՐu~7S2eڼ:^ o\  C(xs~"x_"5̊2^G|4}v z}%@p°X9W2-h1`4_jk`U*ޔ 񞶷.3NAl0sl)/hWEٷR&I zl - Density_CompilerlO[6DyBf} B!4W 5ab7Ǣ~:2h^{h9 -̐TڿRUF A;m%Ph=R2HqvߔMvksJF&5QαksoV9sMt+EAۗ48s+,-吚vOّ^THs8{I vST=iLD02ڂ~'H`yQZ::n:?RRIj9$I5!;#γlk,At#Lہn~AS #j: kǹR֛ꐝvPrX(iB\ҡ F"F E ;qRdT%:VsE"I))pZ8͆Tl*u3: '}{筘CLp,OEf^pok!hwNj~1*-~!,t }+SU(  SJ@Ee1Ev9"/Pԭ05yG> ?1P:p&M!@ff6F. T ?ZN&p/=^)eSIl>/]u[x|w{Z[x&^cr0@4lqs+{yv@koNdҀ|m-Gډ\ 1xbKVH; 0פ2iYY:2 \VEZt[Jvy=q[/20=5r ܨAg-wn&: `15ʼnYm=J|/q :'+N ۞ZVZ PCTk_:vHytt4F8OQ.V^jj?2@ 弄qkݮK3 +Ș)u/v$WՔ$YvY_ͽ t $G4D7졳.?^hsr.s|QTs[=] 5\f,Sc|ysgu-L2ȳaXr30?-cT1JI* 4LO!q0hINag{0xґڷMH8qpp*#5pve$v%jRAWYTI*+hs όٹ7ĹūD[TTBVdz'f\h]aN$3zE]f.ߛİ3Ę" zp ;gdv;1hROJ^GB%p6C" Z^TTswѨQ{\> sA8tHh'@bFLCs}'hNt4jԖC xq + "8&Pjעz2Dlx VǢvJadBX^"@d -0Q!\:2H&<ǂv6[E7 7Fg` *E ><fkZY|NJX.uC&YJv{PkMå,:~9H5yt⹾14abvLkäﻀ?̯`N}=u0'sB.] dGSm: XqpQ,šÝ4mqe7:s.kB%PDrO9:h2-*xG?q=7ZgV'"]3Җe0I͊TQ:Q-0-U9HdtfqDER$ (te$9ߔ kԧ 8Œ>4CaxZ0}\hml >>F^uZ,e4Io +l*z˜(}WW,S]~GgM Tҁsuʱz%fi0]!7jԷ#_|8ћDZE`{Q7슂;!c aUM/]fv<^Iw Ȳ I|+2S"g 0o/V\y&h/=Nua$^8SOhsW|E:EV9K͝F8!&MfEb. 2oPȗOSz 0P|s5ɂfσn?(WK'g4BF)+b4;]iN&)ƒȜۿ:Vsex/ ؿ@Z~iA */VǡㅐcʈxJ /t@`Bb дӀpF'U g[ZےQ9arB3{M.A5~@,Gj6AA v|*o]Zơ V%#qlHz 7c#i00ս#UΐM"M3F%sZpI;8TdW nçbHl͝g(POy_@G+#[p&7C[sc)KAN])pjV;-u3V+(]/IFWOgMt3d2Oc7T襰sZLX| B`*]S $‚;P)L!yfza%ܧ҆* Xqd0zwMQ]8_a|Az`;^KA0-?9.#;KwBkoZpA5b 'iR~JyMC^ Xw>ͳkM]@2z@:VB.x`Dh^ηM |C %Bb3(R#\6L` pݑl̔J'0xjC+9d$u,@vD)&)9h,wqySr-wywzZ,AbV1Ei=] ! ᰚpǢVŗ==g-|@< rKpLlx1C]vs2lʌsiZdI0BV7, pplpm. ]DI_x Ӡ [",y1 wK k垹)Q_eh.`t%E-o~D^xaXC!;Qsb& VT{(@  ;V!ET);&zrj|"HJLxKKN8-=[.[^"qXCJ4e9QgjS*}hr@Opx_#m t;/[&XS[L9\P 'ktY _ gS>2^Mϰe XLMBĴW}H/Z" önO < (w%43 fYYь3/[DWYgxr";0m‹`IЗ cZHh WvF)fl\q7 7VgUsQEywN[K%ZkPfc"v~&m`j U]W`Rj\TpjrJQٛKR+1Z0`Zz7TwC+ζ\ W]F* (FPhy I߹M]"]7!\4;/LLJ4@\M7HL-_FU?-~_SJr: )܁^%(ݞ[~Yx!ڹ8:vYG%bW']EP d 6e$Őq!̝q:ir4 A$R'nۺtCIdlu(D=NqW @6v2b`<[a_/X y 8PR9YA%f#vyz ~BO}AXrmg&Λʉx(‖2NFn9InLB%IbB \8**gm}ڰ .@8f $mWvAn؉K3;&_X Gvx#zEɲKГ ¹VбUIƈLyDp"‰eAB2{$-Cj \u6.{mY&ejx[$`B)tgK9a>Xa=wȤ8JoĂunB08>Es0/8!X^r~XC?|ooqU{PebHO+D a=)=Uj[7b0;7.8+gf{+ty-!JujCuJjL9D4nđ0ۙN%?gI'Ġq@ A ۸dy#Ϲxl@28e\Q9O߂-qFW?wOu6AeY&e$S NuB;%NtVݹgJnC6eJ5`jViPP'pCp ț\NW,rρN