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 BB , c]]ZF:threads=6elapsed=10.153cpu=35.088gc=2.236factor=3.467zXZִF! f ]ŗXf1-) enȈA T"%zav{DBUX}+#~K袹rXxo"}_Dv {"H+qbxoP3Ɂ. 3BX:3/~&ՃA+T ђZf`;*>o'-gs; γ<DY`Qz*nZ.L Z){:a.d/i&Uxo] 0krFن r,ZVG/pI8#t|9 Q!*Qdb`%u-AbeH0;eFӧ=?kBCD=/(Wg"GM6KR-}_{J⭦*u/\_N9 Ϣ+Vf Ju?GWqg]y<TpRRh\nOj'kV11(j<ɳ*['Ṅzy.*lGms A%qAs"ݲR9Q9 "RYiI[L3-^ V`Y*.$!T(XQXlz7Ne,?/{8c&LƟ[keC-Li*ey^.aq!gt>[[Ù n?_'ol,.#ɐ&=f/#^. ߎL2uZkw>G5.-^QCw?-+ײÒncM}F>o (z  ZFE'pTaXͪKJ%11M絟1d ;f6%(-틔gt Y~\TA”a{lpQ Iw. Tm^ ^yYHy:y4Tc<,d8)+( D:$oIܻ6F%{7̆`30#@D^Eo J>Bw0 RUF!c:/NJj@ԓ#!!Ѫnb N,M12,;{9 ~*JΫ9ȳ7rϸc֝KQR-`Ϛa`? L6Y\AA:%L}ΡC*ύJgT$طSR@+>qs\%+>qJ5{Nٮ&d:HvOCg*]՘t-^i{ KL H_J;<0\ѳnMz4ձJ.;xV)x2)s& ۇYj]G|yuջLvp'=T䑠>eIr OqSzB"yZRu 3v d#Hpph۰E<8)?;K|K+gɵVM X5uO7J[$1zHh#P}B̶S2<ll e)D$ӟQnz1jB&hZ[V\ҬG;P We>&ȯT'+BC!P|@k\ܼz`%Fgaqfك } շkTq0Zfv븆X@3Zǃ7?| w)~'sX`;h)GơmL/$ IS=$ RC b[]E* (钫8Lռ 7My'` on#gw్ ^Aɟ/-48:7 FAẞhU;WT'Cxq~1;(*1207)_)u92 2~}yy4o @R(B*p˟_0woepYXXӗ:P('M | V2 @^EȟЗ;5yvAZa Rz;6x37~P *2?9V qs!qp |خŠq<Ceq ݓJ`q3EsTk8?~ P@Hhl>lN~Mhu݃Ʋ4h!$ a!lUXM uB\2CO}# g  2ev_1K3