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 7 D\| ]/ WHATandWHERE_Security:threads=4elapsed=22.901cpu=78.104gc=2.060factor=3.417zXZִF! %]ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?Bq+:+0DHL17,>+V(ixBYa0 ѐ")9{{ywR.HJGXdlCQX /Õa ̲iF܃J?z9ܪ[{ok/beW-4,Gٸx#,czy4C2h_Dji0J7iϫ&Om II'.WפIE!=HF9UMXqrL6Jnfed3 w\dTgf 7 WHATandWHERE_Security  dd? LljʠFc:mrB5'pU%tn3EuPpwaZ]XA[: PZ"E݀?; #TJ0~Z|yYv%Y±T0fHu{:W4Q'ͼ\+wy7u <w}.\p k).\3E*:/Rvmr`cN<ɿڬK6bDT,~oA+~樱Zuhgժ:Exag^pIhA'ڒ{g}#Iq0 VUq L~]G)ĝO @s%+i¥KiX q7EXCGRQe {zF[)Sߘc*cL@ۆF摻,D>.3;lժv@,~[毞U((2L~Lr d,H?Du%O*(Я1^,sX܌i^&'51oGUV;zsefw;,?%6sM{֢up"Xi~I&c0[U~ f@ʄ01>E`ESQ嶯8c`%fvj@6H5gYZ7zXZִF! ]ŗXi%ES3v)nj`)/ȲdL]鲹rT.$Mu)xq -"!ݿX1#v1Li1lsdIj_˾P (Pp&>X'1*a_Tw%q d &Bn8}}K_H1IdhP}6Yiw{ {ARF@]}En9o-7pq-ߠa3E)mT.W'$'h{ђS;O:m f0dtSz8c6J lG#AȐLmN }@OcZ~?pXVtAe Ȝ6n4k{?dcLS>Mw͏fƐ|7{gA lx7t*3(6lhua*AH ~ Cwa'泮4 -ovCn'Sj? f3j֮"BK6`pvkxB噫jR'>2~AܽT?wڔуP^_bf< Szpw3:aٵts!#/Z^U4W+d~n|6ҍaZy=UǨ` }5%ŨmU嗟 LϏWVm]pLDs~ӊZ*$㺜2ȼ`wW [dLrfNFqE>.Ov4lekw{_ OƘ;MgH0| >Q!ɚ%6 OUX._| ;'qZTB۷WKe}$եYQpiG4s_BVaD.*MRV&wthR5^7O<,Χ*Y6iI¾'w!0%D i/ީ),'%%=łrŖYpT 4H`8`E`&a}Y8xZv5"9zFyr@CFaUUA_څvR^