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 v d ]]]ZF:threads=6elapsed=11.792cpu=38.060gc=2.016factor=3.237zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_T5H!&D8,edK11SY:? [xcPNy,88TJ=g}I9oO{YuLP뉲 eۆz>9 &'(j K-]binY E`ڂ K)_-`Eu!Ku/">o=}㪴b3D@H4TЖ3_g"?_R@3nr:ZF߱pqT\kT0n/IF Ϊӄ(,Cfj{.=>+a|Z!B mg*IP/9σ!$C @;، R&7A\nR1]R6Zs n(jAX&:JLp9l*ףWfjXpDhsB>t)A$lA(eE o^UzV(B~A~PkiB0:0Q0с'iEC\сFHG$ ]H߻Fd:`%q3'ZEtl>j4;6A O`W&hx%M5%SH~gK a&gn!Lm JpT0! aP'W{\*<zF7&Ra2TgYZ7zXZִF! 8]ŗXi%6\l`?泟 \!j˨!*?f{ŽQ`dbJߤeg8rT0.Mn 5iCe?6oK%"V]_(.;9x@X=/Lx]xzzg']PPq ˩mH`VFb higڗBq6'ޔGSqg&PH!Pqe\FZ[5oX_:0(}I ټInaglqlWL&h\<U\KשIÀt0f.i Im_,>:P 񶆉/1׳%;w9ȳ8LjQQ4FvLb;T~ΠAXoG/Kkef͐e׻̯IМ5bJۓ̝u|ZQ }&ޕ#Ҥ\OE eu.J`ug'ސ߇О(XiD;?$bF׸ OKb`ClT1z:)}wX-ϗz8W$Ũc69MB2ݢL,ܘD;2\*)UWhdEzIOK?-}@渟GK'wBclT;m=h9PM oGyZ4] {5*#Lb*&Nvl JnYHFj+Mh\ZW4ZR{|}$hhܿU Ñ20TE4GrATхN\x.DRЗ`/q4{lVA2p4\>Uj֗Iڋj-Oȑʲ ꇚP;د[&p !,mkBln]Բ(US%qnFސ_x}8h"R[n'Kp i}|<o}=c艹[QӐC"ذvcH-2\-5MR y?it iOޭ[0|>QSRxL=rV_ (]h6l;("  q!ԱgYZd1a65a7888b82f6673e196e3f5308fd33fd6136aeb06bb30852b87bf08fc9bc974d190b6e06c78baf4fce277c9c42ef9bba8f85f9536f0412a82bdc4  ZF