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 $y'V L0`z% H!hPw<.̝6gD־ Ol~]6]#D E+fٺ񮏺Xmr .z}ϱgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduʛN2:рt䗠ݷ2?鵾} ]\GʸQۖѩ?k[r\ ax{WCNӔIRAkQ[lCl\I"嬅E[KZVp#4nA6N4<4m[v?MTy LHِ~$hݧ-5mi(d-`Z@+@AO̭4W:E0&gYZ7zXZִF! @]ŗXi%>g.#ik R@Hfb ڛu 1([vRz~ςvb~mrD;>@F( o{n~3I* ǁmʶӽHvp԰lgVG3sJ 1n[!+v|Xd@LmĒʳЖ`˿g%#uqrxa dQjk.'HڙGٸ2\Lq ԤZqf ?&7B?8%X9󖳞w6H9.+ ʪ}[1oI)ުS8ץe>.P->z4Rm(f7ɓ.S5Td@]~ZP^/٥l_pȌ T"`@qDG#X9Vxtd~3r| Kj@a8 6aX\(moYe<cjZM[mե@%3kBE!ew [ g)GxS |M0x`*6Ab9rx56R/"}J`ã"9~1-)>aR'tzpss# D32r+\6NX9r( !! rL!|GRDaC]* CqmECFU۔eƲ+0׆'`Mв)8H,n0;9^_W Y-8遇3?0 |g5 yƛv(KLjJ:fD$ǃv:[ H|MAT]ꉝnfL