SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 1 dD ] HOL-Imperative_HOL:threads=6elapsed=35.558cpu=68.624gc=2.196factor=1.937zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}'g%`e"9sZ^` 0)RTK!^޳(4Ud_Tg&.)J BuSblВ:mfC F[y <ˁfw%˛ SkN$sxxR V'3VF2=B1/{ p9[+i_꺆S%]>{>hxإg6NhH|,YdxW\?W`Ia- 1 HOL-Imperative_HOL  maT (+']} Xـ*=\t}Ož|XEO9MWWYS>4ȴ=W.*YMg^i^5@X((uϏʊoCnS2sΚGvx`GܫN.:΢Knu\G5wR՟n,~}JbEu{Jإ/uz\pS\U_̒v#,FyM}b1({)Wa+'78Tnc@(I=i()K?~=|:lB.mSѩ S/; &۲!w刬<4I X4z{3B3% [.0d&--зZ@V'dF5/?鴷,,4wIf01]ővn`+R|p|:OzaNt/$zɱBX("eo(1Xi$%j__bxpg(xtZ@Swi<6u՝S5lmk 1ǣ{\$*_]S.HɍYQ#H%P[$D]AXX\ oe!mVj*TX4Io9fk 3V25tƚsnX\ōR Ba_^E@Ig a{GwŸ^DڑM7^VQ{= w56yK;WIrQZ)}bXx.l 6c3gd x _,TӱgYZ7zXZִF! B]ŗXiɟ1nhЦx"n_8N]( eOtd=M \,dwt+`ll2 X=}Ⱦb(&t2*<4ݡt"鴅ث W\Ϗ >U [dy+z%T>VI05{bY7ɣ7Wݗ[@lčzc-V"ϣɴԖ4:=y8z )դMƶ.0 ѻEo4@a{|hhܭlyG  0#gYZ7zXZִF! p[]ŗXi%>BT1 XajaE~i@kY~A|#ѐn](ƢIgdˡHZ:8=Ѣ]ڛe /~ol]vUIC`3T VYq ^/4$Yw:~^}׿evYEm^[5펋 Dn5$ O9-[|JW!Y ]+P>MY^ ϭ#McK΃ R<`w56~ɰ#p}V|6_(jʱǷrUJ]L B:hbRw I}tm\\3Ih1z N^' HOP7nY&:%܏N4^UN fg١`[\K槹dp<wF\ |JEg!i40."q3^>`xh⵵\M1T.;41Ʌ7ԵR? x;5 (A51VeַntH+#VǙ}eՈnߺF+JI:QzbT]~TљAa[ΎB-80/SQԄ*xnGV_ $a à @fEAK+KtbJUf%]¾3ñ ڴ0basK*_iР):>qz@,š_+ȴe$MHp9`cMa bu^hr|FYGiUȐs5c]SʉՂ45G,tiC7]j ʛƼaΗMn/5M$K5ōO3qN˱ŘPRʊ+l7 RR Uj7;A*Λ ٧)W^lFV xػ#]0q'v ]X!?015IeK?qyVVa\|eal!JdQ K7Ѩq rIa  lE}+VLm<9wjW;VM6X-blN; s\j)WjkP{/VrNH8)`=dcJvgh1댛 ̓ '*<*ʸ%p5ը)0RrDF}5w_$i E#dv$f]݊i2Cm$|A,nPtBc|;:Lɝ ICdv~B6v yic-Cg>P>l7:%nWP[aT6#;\ZC$,7"k]E}+kǝ%vf}|VG"crứ7