SQLite format 3@ .0:  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 b 4l4 ]]]ZF:threads=6elapsed=12.199cpu=45.756gc=2.844factor=3.757zXZִF! PR]ŗXf1-) enȈA XR„)Hb\z* 1-*UxMeʨIό0}\ٳ,▆Mr)B 4[˯@o#<Mkg8ov*9PKr LMq5Hb6*RtTlY]㵔C?> fG=4xp;Hân\nZpكx[ǫ:)m4/kBL'S޹JVЁ6B1H6kiuY3nwgT/glbW03{-Iq@LY\^ ;djOtqZꀿpD \s" mAhvP8!f;NIa.R|Lo+øCE LY ۣoґ?-DUI]93LBwy(GAG8$:+./`tL}gŹüXwX POgYZ7zXZִF! .]ŗXiɟ 1FE`空3JIk1RN'¤!ߕ$2efWA4U[dV/Óqݚw4B[1ϭްf;RShמ-raMw"/M\TW%E;䍆T<v1GAM̝̊m' Py9So\:؜:@yPҩPxeMGy|d #oo͐}mxf}ofZu@O?oUwFC.oY_2|5Q 8jQ/ 6}lG6nζίeY6xS=/^Ygr!Rح'xkVX(&]r[T Á Vn+fjL=է\)j8N:|XRLw"lIzT-^ϵo!T.Lda<=zd:U"zFW+W_̰mw/vҐ4F9[n`^EbsJvJ,)gYZ7zXZִF! F Q]ŗXi%Gز[$7aJ6R+n{KijF&wD3\PpPJZlP/_*oQ?)3g E!JO[?``$tN9R:R7<VDVolIn,mC1U߰7$) *`kbѥPh/9֞&z1UE,egI[kpjFeg?^gf u9𽸙1,8j?&Mjv:dJg@!/"G@knjyflc&(ЀD+/9/~Ū3)JQ{K2[hLD4$}m!`4R`h q\{ A5=Rx+g LƩ~K~Rh]Rۗ1ᛧ&;z7'TfO~$ejUz@Q6B!bw=/]Ok9<{Ln$}rs:)_.SY\[cB} 2 ' x\lb ,A=ڐ*2`$>1 ܶQj ~2s%4YQ$7-'֞룻W1kU:l:7;gxEE3Ok)e^1;!۶YZDy( Ԍ.*CC0o;QskdZl6n@ K4{o|pI0e5ZZ apW Oq9C˱gJ,E޵΄:/I{S¡RHŨ_3Y鸭W9n6g GEpsC>m4ܓQ6%ǘvrR4<^ ?2cK(Ĩ߂D'5F8d"$BMwMtc_4 ;2NGuSun}o=([x:DW>3-AւvNf"Sw 0-]DbeV(%C,,%mHW j-8N2ijS8 -dhc_Q< .-tay>A9ڵ@ :[Utw )So\cI9H^?Ѝ$8A@{;x~a1^˶Y&f=rh}&BIw|p׃p ÌxBgYZc6dd2df49e6d4d6d071449773790ea88f45fe1a3ee6ad39af305f89937086a6f882fd17679ba7ecb96111c10e7bff60c0b50fc9b2c0def17d28f59dc  ZF