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 w L|4 ]% RSAPSS:threads=2elapsed=21.349cpu=40.128gc=1.516factor=1.887zXZִF! ?]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ᩼4-`?GNeo9yۀIݙ+2[p[A͌H XC~1=SǠUQO󷧐T7ڏ즂iyV? 58I+k7.-v22[K_\e:mµe rC5}?_ҫ5e=WOa"©S'iޅzy!G)"\nSt%t)?/#(y2 | Ѷ]-em.1+)Ɯ% S o.h$kG/WB5y0k57+hq[{e5! oĦ\~S,;4Ո*~*LeM(%%O,g Pz%5Y0ӉQu@Tt Ōssoˠjʊ{ ֘mXMj3zć+$ZӏʧNU* ē`X]>neԢ5qtXbבNˢ(x C ya_H[:QY0͍Yt.천5F !fy/ ki~&2cbCer0&gYZ7zXZִF! 3]ŗXiɟG@~W/o&;Y[[ HcJ$KzLnQ:>QwJpk2w@V|$엛Lz mu~`&!-^ʃ„ DaK~>Hz* sJ"5P)? =F"bQl!aK,H 'Me:98']NdsrLԵT_$2gYZ7zXZִF! n]ŗXi%9(PM(`RhdH[[u)[6k˼7߽3 XcQS%\R2!ލ"Q|21SV][*ה[*׀`qn?8Iadȃ2()؝T1NO<\.R.>Ü޳vJ!iB`'Qe󋢥,9P,Fp5E!Oa3Q\ӅK> skQ%d(>\mz(i{RKWe siYrEu`7a.dTYgGɖm:N̺5>j %݉go˂}VE^JW;E@vܺͰ%umA *-dQќT[ Ev!j tY6ϰ̚( йwJeI,~+Q\% 3.9ѠuZzBɢՒ5Q_EXwc  ̪B΅9-KĆn&8o ';gHP|a}RN'=Gp@N=d Ğ VK]K0Iv iJ,Z+o_mL3 B ֬z۴406@=J`#59mZFx) &8z[ OϜ$:R-C;(0I"Kjb`BksDf닀GZt f ev3F>N"dJU]_:yuzppN"vr",ٽkރ"n7Bڦ1lg ?d+e>1T1b`h6TS%\ >?+ {Y0W< ^=Ϭ˫=,\ Jj52*ב(DsgK O,C-­Nhq9'bY~/!5_rx̓O>U"/uLC[6"ry̭?ο!؄qҠt,'Жϖ^)(oIbDc54}`V(Y4=F|tN~arklW.$Za7%8:%KuM^2S?xA@;er5Y΍+hSć#dl.@}t5@vi8~8WB(|U#Ȗ wTjj)6ȴg:Q) K(KѨ[G|ٕ w\t0!&:4-På;29D _cƸB&= }gYZ18f5ba3787c87849392f9e480c7172fd15c435d2620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f 3347854b84efe13904c04d83cf7d9253205341e3 b461ddb8bba19c1a16c49de577cab9ac8b350d0a   RSAPSS