SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 Dl ] HOL-Imperative_HOL:threads=6elapsed=37.231cpu=71.536gc=2.236factor=1.927zXZִF! -]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}+DŒm+a0je 塚u$܁+ {4=[m3f)>Xbpd#`Ż@G{\MkqOtu&5\aŶ堽4Z]u7*~Os; `M"]օ XEPW?L]GdvjJ\>[H7yK4"wy+Di FFҜ_"}W6~X5FicmUoFZMX.2IO 1 HOL-Imperative_HOL  B]DW]=(oԟřrXjc&leFOΌf;|EǙse_Gz`U1}_I;LPo>? spۇEA^[+Uln: ]4'IƳ|]*バuf\4Nׁ˼8jB#9LEǂШj%Y:_f3zQzt50v-:/Ĭ/# eK vm2l:FT|c֤g^yRק% ~wdhl |R`)~EﲳS$mK5wd2Oy+_驟rj?D<`^/Mj-GU. =LH5C fGiĔmYBq27S!t<$vvA^#?X{]ӟu [gYZ7zXZִF! E]ŗXiɟ1nhЦx"n_8N]( eOtd=M \,dgjKd XAm% B#$T$lF!:qd3H^ogm!00ռrVmMp3^>ΜM̶3I󚊡hT/K 9a} _X`ljYCIױ5Pڬ9oY`pN DJޗJώ庖S=Q<Q^anϊ׮w 9h$'} ngYZ7zXZִF! o]ŗXi%@lXDIB`*dӂ   K]9:|=z>*v`C%#0bz`J^W⌣zC-c6!ť uM' jH`ٴ?+G:N$\w +4xc&7nVVCOB}1f < MDCLMaߓ:zA\~\N7sg$j5NKk0di'FٓXqP)h.M~Xs;vi-Ii@СVXXHr*B+ ocQBb]x~1\{WXMXh/`roLW-ƖO+c̗RkҖ?fΈDO3~ [}ӇhmDm!1Z˟<9yd26web 16Y<.ԤEQl,i(fX["Ȅ>N W,JOE-vfMFV~T\ Z KȀw]pv95fߚ}4Jjynd0exx-5 $'-l'+ nh)jV8oZce 9J!&cd?t~~b'Xt,ۈ/ʁF&ADHM? ȣ<޹ZACNYîlKgInw-TA8ٞ?\ x T-;J3z;̻ORqc1m.=[ 5M15EA<ցSQiC?i~1,9 _O_|4q5vS[{S<ԉHei!qVw15"xϏ:߃;٪m0Gځҏ@ڣ97rmūIGC^;tQrLk|f=V>"̼1˃LF43VKﻮڽ]kG/!hrD2Rqa:7MAVKysЍ>>Z{ͺ6߲ʠFz|xI%z5,z_@l1⽔ާUN }(݋:D`-D>3{GGXxU@ gz3a{Yi-}FB;&a99y]Lx5"Y6D"k\e^^ RET.A~C4z KɺGyMk')0XMqKBm<kBb]Yp4\ZߛɹlLdvP̧))( AՊþCt[E>$BP/[}ymaz2a7_M!ީRn}bHj&}.p2+Ap˦j KlN ?TW̳8sjuذ0Ń1+=ac2;G6rI\E)֢ Sh !HmM;2UŊ I}"6qϿuN9!e(/Jh?ZciM7א%y q`pXW )|r"!  M̯s9k-,ЀAYoP9ǯ"KA8`g_ a`B |i1]j_PòJnzSjѝ6!̆-OcMs2i*Rh?ä \i P|JzDf;-a{@6!Q.P*?Ҳ[Ah'cA@f;MT6> 9Yhs^H7#5I$RVѭ