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 6 T<\ ]/ Tutorial:threads=2elapsed=34.785cpu=61.312gc=8.168factor=1.767zXZִF! a]ŗXf1-"oވ? VòSE{ l› M;CXf=JP` X|&E&=G`q炦k $E>tO xU5sXWL a=C=Z!ؠmFcB,:0ނһh"%5AKH[=8>g^n&I,}CjVcQYE:Pܱm L_"7RԴJ}<'id.:i\XÀa4ypLEJ JJ(ĉ KQ[ 飨T]E.c:GhGVMmHW9Ĝzr@Ie+4nD:3m險^-D|Mz:`6\zXq|3k8s 6aCSR Y@+Ys{-ݷ4jl`x=qVhθvU}ͩ򣟑T:2?B&ipSUK/D3ankRζӺPš 1ytBWL(z#ΐ' hWh"3 {b1vHa0<X7׋DĩOTL}e4[VIGUhSr `Kt4-^5>Kd+tFZ.(R1$?V̓a·GiW>?81ҪmFN?_"d\*6!t|A1f} "gHf&ÙR<7lsj\aG u]66D(~bX3ܦ- /ZYhk4g͓.S- 5v=Jv A%LvJ͜Ʊ"M4K"mἻ$ 0?7{0` ?*/JX+buWzF?Y(EEeIWJo DsN|pK,À|1!|@bqz빐>9P4SxܱgYZ7zXZִF! ]ŗXi%9(P/WBsڵ2ј&!ݿEv& Phl)]8Uڔƴ"$F㿳E;©p1l)&}*XB­u\,<˧*m=26`I(|ap"cX5sgmT&yAXH >a\K1u#ίgHd93£[>@{1ɉu!k#+Zɯ.˜W(^ e6$[os9YFOsԮVeH5oX ӓL;`SyM24YZ=kW΢$ӂȵVE.vHٕ##v WLm?=s)p6D}E8"{n t!/Lڛ R 4xn?BUMoJyp ]9Dva{&0yY9g­Be0[ -$`jX8~(0KM0A=]rL|r|$tiӰFh;搊5B53tL+OHb*`gOsOnYrh P6]"tjn@,}2G*PgN>rذS_(Ԅz%<bts® EQM:yl6%su tbnyAsfѺ["w$-bon ABKEUS>;iwIgcLPEeV/Nxar$L.`q;'aPi?~zܚ^Fcهn{h}lܿ&܊3k}i}h gBgƷR.s)T/ii'KiEbdxR{NN+l+A,Jվ7cƑէ-b `O9!}'进&A=Fu@T3k //\Ҿֵׇ1/ne}⦺#v%`*ɮZ,Fs2{)D_nIH -$}/0eM ޝRps;UnƟK6b4UEQאx@#]4G(\o675MX-]=Q#,E|4ɧo]`Joʹ(E>y~Hzġn\(*|_f%2; 9m{ؐiނ&ٯ&?|/*ClgYZ11d0634ccadfef0b54ae77a3d5fc43868ce036aa5f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2