SQLite format 3@ .  YYQ77Atableisabelle_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, "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   L S PCF:threads=2elapsed=67.057cpu=99.444gc=2.788factor=1.487zXZִF! $]ŗXf1-/6vR[1Iq@>=s(qKgslYN*25ѫO ! ݯTL^: pM^^C4Y#@dF!.@cV~ ><8ߴredJxc)DeW*)/n6 i,BA | 4TJT >e<ķB&Oxnu 9 œWPZtDK޸dsrK6Y$(A\j@=Z4,MC|Pb}isC)&x# H>]-FLICMI5([A6'ci146?V3SlDfc8t}$GyWJɼ.QTJ ٸ`ݤ,uKp>pjNZ;: >}үȊg ˏܠp@zAl ) I_џ K}bo--Z4sje~֖!j]TO%)mY":0yIf =bI6'lA(؇N` `lCRg )Tud=,)7@ TF'`ά4Y]uj?>ᬁ<@u%,{gEZYn֦4O%iZUyPlѕ_-^,HbkgYZ7zXZִF! A ]ŗXi%6氆3JAѥ~.o$I@}x]_[\%=TU^U+  PCF_R~]EV%U.8Ӌ\|9r̈́E7kG4޽Gp2gj gb}(2 ф |d~=N^nQ#zMt? _* *tPl0f(@?=SI30s $np7)H{諺=dD~a[LDaJ`ڼNX_hgGS\2 Pj>USӰ_ńtOqWj';l7\LILV4t:{WJ%ѵ`#`(iJ,Nb??tIٕk VqKF;9b!U+n@{X6f ¹ukdF?¿ԯw!WwpRlbvf)5vL`"95qDA(@?"'ItcLkΡmd†tnI憏gy8\d=QԮ.Y#Xn{=a`*j%>1l<72I5E):cjD+><\Ao8EeCRsխ rTKhB̵S,w,UNsjsP[uWXtl]{DUΩz%MbF;[Yʺ^)^y.&F%jH(s-]qMϸx//22e4'%lGNA%s2 JzSqQ΂[!F߸&;KT_|&HcӖ!?*'3hk$P+5{ߖ#x-_{*altpZMoJXDh v7%@5?y,h𱆂"! Abv,r2B!\>EoY/B-!וQCG9BwZDpCÐURHn͢ "Md? oN3H6ϞT( ry2V#huB]z񴝽&40?I:Ɣx7q\J:}3Kj o$ӫH䓞m!5)uS78d!$G:@HTՕZ-L"z X&s@'lݛa@,䫺_>,oyhurN|ro55I<i05y^J@lnښ5$ȓ5a6q9&utXa&Vr=/D-۶szВFP%Py`VnK2L z6&4mF |c#H_\զ[O]lFU([ssP5^3jx(HZ,%WQ5WL lqbT,+w Vs8yfW*7H:H秝R{0Iɧ@e8r0ʕFU=S^Ƣֺ&V1-ѪGyOVA> r /~4§ j:l ʛ A ĥ SkQJ{6пAW!˵0V}27BZ,]8hJ%LvK MH\GҬm ;8B1^Ahg.dAT+FxrXc z!8*R1-0N.&Yp8dE3 : Lᨉ.{u2 q*} @ TjzA^|>n=jW$pW^{)D d8PgW*?OPxs e>wWivL3QLѓރ#YTО {\(~_!fH̆O%-,%ĥ!Ko<%YrT&5V-z ]'HTfP~38+\N\ʝ% @M0򻕏`jBIȿp;]}^