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 j |d ]]]ZF:threads=6elapsed=12.343cpu=44.504gc=2.708factor=3.617zXZִF! 5]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tv2bWՋViho8 ALzNXro$E)G@~+ǏMZR#xpck>y{y![6:Ⱦ;yӏ6n5ŋr"!jgc;7kj,ZD0] ~D&}5!Z~5޻WZ+S\%&b3EǨ?mHL|M븗_] hї @nU b Tb uaM5z7v /6('am 2$;nzJJ6N(&|y)׈֡b_ެ{0P$3z ۨ! l'(l%#odfn$.6Ȉ0bz0C } Q! Ge|9Mt`Bʪc#YG8ZD mh܇آE.}߼,Q hQ#lv,Nr02,ߙx_Gj%Yj Pf|Szê՘Pw+s'{Dsi*BZ5TICG tj:*cYGL93"JiL4A7{ầs1\'Pz6T3>qF~\+1 d%(e~].PuN@5 jq6<Ãs[Ģx+ < Ep=٫;mWtQoԦ&$!.jb*ѰȟkJAipGJ P>:n]@g׋R?d_|/i}Z60+q&+ 0wdY둒*Ӌus}϶cb?Pp.>.n1ڪmƔ](d-ǯ"%OhӖhrbA\lE;9'wO튓!׳`KEzCR=[EeQSc͛;uT n* ʗl+Iji3>ͨ }2TYǒz+t'%i }dA ؿAQZrʯbuph TU?pwH]i` 筩ֶ