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 {{ | ]]]ZF:threads=6elapsed=12.461cpu=38.136gc=2.080factor=3.067zXZִF! \]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw%Ihe¸6?3߾x >W+]J='/@?#v =vP-8wV2J3& 0uT}z\#y0q; 7ȹHrWA) ^0f!]`KMG8I_ TP0޼QXc TL'1ް.'.>P*ͦcRLt kђ'@@r+1|.3\ь24G_EE/I 3\BaU(Y\y߾iu^w6k1:A%cqh,5TCV^z8zQ*|s+գ-YgYZ7zXZִF! <]ŗXiɟ 1FE`穵S$,"k<m/$iO @UjTȕovK`g9EAR4zr}[ 6!E۱!WXN]$Qe-C=Uj SғelASj.E$0I$!Zt]dbc@kOűT_]WPK]5] JK+ǐbA+9$\ Wk Bijl4TkT0+qK ^rSScrDMjV/De4>$/983DuP 7PVj% a+h]ԶzeepR%vQW0| 蔽?S%#?i[@p @RcPjLp:?OlH[H@R3s5dd Ɉ8|yDzb6(~o40Ffp'qX 44qv•+R = cċ\}l 5QgYZ7zXZִF! >]ŗXi%;szɛT+𰇳KT&L;bW\/ˈ=`$K>A:8mQ]kia%U򵱾8EUB%W5# $_sMNpEvXE$a>^(X"`OHhz{um)P"-t0z(;g1p4fxv5{O^fR8ˠ.OFf f3hw\q BĴ+ Pa.&Epndʘ!6F>g<6`:UVP,ai+ыWgqF ao&,EMBУ I@'@$:N闶ރT>׈]PdFɿ6;(ڋlYy;IX{4X̅$ܕ%:5;+Mb^酜wAjj]Z>'02\;$Ѡ)-}]K ҕ+QtG7ZY˕O%}4PseutLBrOifvNe/C͞O  z`Vb]r/ښ;:cӫO0>uʤZ6 fx/9{DR򽿧t'+ ,YЛ(.Dv(Nh OT”fiA?y'5 44U“}:_ع^:8xg'LkR'9viMT,t!,by;4'6::4  lΔBd U/bCĽUՏGtޗ"| ;6jOO1aQ>HOuB:mH3Ҫ.1{4?t]~g_޻,D9FhOD?#A#N,MTˢ&dHOt܇U_rʗii4z5?AtIn#):?val"Vt~B_4=껽j<8 *P2|z&dd$dR4]% 8OD́>AܿGM #sGA{?昑t)G5^6e7#[7E_@%1:6lR ӿRgE ګrMn/*Q_ yȜ!آ .`,2NpR }4gYZ12a06d98d588dfe446d66b958386e89027d4cafd2b741fa2ed8a0e813cd5871c2da862936da19705a14ae0494bcaf539be5a42c1edbf54a4e5027d1d  ZF