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 u- |tl ]/ ZF-Constructible:threads=4elapsed=8.603cpu=28.728gc=2.576factor=3.347zXZִF! 8]ŗXf1-W5"~ H:Fi{3g]US۶/QlWKQŌDo)-1T#(ku<^y L"6r(9OȜ88VkS4Xf,_֗q`-j;Na)x3ӏ+a/L8em&7"È&ry(3Mcd{Yvw?iA>]XlN 3܂D}Aűʉ j-5!]%E4i@ĺ'X+#bt\Kwv@&gd_( JcA)'Ľ1؋^;&őAoyP#~&{SFpw ?).iTTʸ胊JxL/{8@iټ 4|?ZHf<2aJzuک+h]`'`LشkˁBu/*&`EGg_ݬ4~&8{PFq2 $⚶R(h߱gYZ7zXZִF! t]ŗXiɟ95ZrY!Zg>3gAKr# vEr4PM-^؍PNX>KX^؎2{:M](lL6Y.\0 $6ޢgOhh  vzEgYZ7zXZִF! No]ŗXi%B:`!}ja96vYk)| p4~a80f̸3q^K=uIW/qV/340>Ί#ӭ.wj22E? ~n|#~f2cH`μۚk'W :b\=D> (jtu=f,/6"JLho\(@59 ?7ځft*a oA^x^>׃? 2_<.CϧO xňꖉOHqD(yQs@cT p YoEp֠ojnGYÜ%],"112\"z7@ZV7n=K%++)0%:3(4AZN B\prih߾yذaS>A+fI$8:~^rN ծ^[˄6C[8t٥,{  ㏝̜]?˵wAc` z7UGWږLJΥ@/ҩC>I9N=!gWkoZ$:y[ֶҪ *$[Of;=gev,>Kk$nX䈗g"1H-_aI6ǒfo {!Ё_;PqN *Aw5}Cnَܺ$N*O>HjuOh9H<`,VȔ 8RX˩2F捻= rK/eܚ*7,+9S9SC=;-kQ琂$}BcNOJկ!ӆa~MgBӠxjPW}H17 ׏OuY+l`u[xoUzu.-!iS:*fT1vkL> Gjw_0emܧY