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 a) ,L ]S Dynamic_Tables:threads=4elapsed=5.437cpu=16.988gc=0.480factor=3.127zXZִF! P]ŗXf[&M[Q5N,;XYRtd/ϣ ho{f0:]Sk?)afċJƮwv|~x0Y"x㺸KvնVL™9ڻ}zb9EPXtÂdO-;8h$d$w)8w9th&  賞71t <)NV3|*Če=]+EW؏^=wG6УWѥDI iaWtXp4Ij ȧ&lA}ݡ6JquDUs2ST'1jԪG|)6qgYZ7zXZִF! ^]ŗXiɟ:4+m.a9o;<mj}2/btFJ#ZZ̷%eRnLJ_ aGYu`l)#ަhz~gYZ7zXZִF! 1H]ŗXi%G̉Svtusc $F_ !1tk?j\]K0(V.t1Ѣ]nm f~BFJRMWT'!gar|[o%IEl߇0'80/ج l}|y jNFzZ$=Ʉ$qHC <ؒP%kěhC$`i쉚N=\n)%f`W<=)S(ZvcK!7'>d1|e"CwfyObKrp`rJ:")|kLkdp<E0\q|3  {Qug&("^ "(sI09,בBkldžVa;ky/g 14R~R &}MCh5*ܽ]BL]():xP3IL1DnOx^8@+g-Quم吧89Sk_uMf |C+ʉ{:Rr_i+,:3{ġP{PmBۀ_e>K'HL?Javk\ @?J1i:6<|"&ʘI/@lagRL^[EA |'8_Q VN|Wϼa@ r%#ayTN$ˀ*gu^TWyLrjŧRh7Vs@cmuq.?qŬ`ϸwGGЯdX+^i9htu %\yR!Cpgjq@)t4Iskz Nn[6VE! @flErkzepϛdD"0?ʑF͌