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 ii dD, ] Datatypes:threads=2elapsed=48.696cpu=68.804gc=5.292factor=1.417zXZִF! }]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$m7gZh:Q%T=]z:<2m+`i/I'>[+F}AҖ'D"][Qp݈S {-D/3 v׿7!z! ሥwV\:.DI6h{A&7ĘЃmPt,R({J,j:iJ8mׯd /^591k 6UhQ|/ \rHr^"k>0jv'i/ud{yr/2w8" N}#~l |{ XA ~KJ2dDisۏap0pCܴgYZ7zXZִF! \]ŗXiɟ&zLoxq,ͱt3x2NgYZ7zXZִF! M ]ŗXi%96BmO++Ok]i.{ihs琺l HYLj0*߱o^~RGMt4UM8! lTO hWFd)a[xE FŌI"t|G-\STNk{@0#x6M.8L}BФ ne!o!<*t=Z;^幱ЙJ_]#]=nb%7(mmT c'жq_B$eԗʇ+52&rWR{nVE֖*M7'6|.Ӊ!>*!TLq>Ꭱ%G9ErQ$eD6ZeBª7ѤwC|:[L#G0a/fXu|n"WF׼<52#\K~+a:Hi0;Dk8|W7qdnLcK/ BD"5ZtKqZSa5U-sFIOUc.7"٭= Xٵ/u|hX}!_mQtėEm:6vbˆѧӓ:s8O(={X:=uYx NfɅ ؑxg |K;z :2*h[-Uҝg⿹H}f%KqKxI2n?!)} pS޲Yh'~G9Zu݉-ڕt]e j³G|?Pd|)ۮ OHDA?Vl}Ӡ5M_xXHh P&<Qg?!UPڗ H\G`m<* Ƅ`Lhfa)c_7 V[;Br$@{l?`^f%Ebѷh`=c!k_Ń%g@BkCmSU9Z-r1$$WłBß>%d> K :/B %сK~:@RҔl7bP]uIO9A}wnЙns-;`[̗15Hf=X@q+-F(ȡx_MF8ydvJg6muu?i‰/'5Y73T/$,k n'N)!0lNZC_>(Gl2^ hy].~T5fw>l)Wݦٺ KH`X QzBXU]OttuLf/N[PxZ= 傠*0&Q-2't^9U?6Є>C 9pX^sZYp{AYuM6B\IfhpwTR:Wo )eGopD癧 fB޵=aToqö"д ̨)<=#Jw>{KЫ@DN UpD  tg"d.Mq%űHPy| cN#'o6M(r3id&Fa>TVí!0d׷мx*:kR;'ny`}Oׄ|[ ( /uHK@+eA 2515ȷeȻ!rך,(zODLW{ Q5:Zw6Fb<JxʗBJCcuz9/RFc ps!nȧRE5d%|VhӸhEQBm{_>Q Db\y9Zs+"NQ۴0yu t9uu** DI&B9>wFSaBԍn/D G;Y -KYF sz~ƸgOс@/?2Rկn,eB9BԆ3",.]i1u0Ph'LTnBw!EcHp)=O݌2AԂ$>@[.φ}N|W-:\DδﶪgYZef87fd19e4e973824b797d26b676edb48450f89931bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 335fd30c7bba826813aac0fb24e7ebb1383cdf29   Datatypes