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 55H; 4dd ]% Special_Function_Bounds:threads=2elapsed=39.463cpu=63.356gc=1.436factor=1.617zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;N~9-ټƨɄW.=(Z _4Y;znoWB kotX ވMf$mTbXE-OodY-&k]hG]^V?W_4?Lr[ 8~%dtǼ xC"֩wYG'@M~4() $٤ Ff <~-0夵{rImnJXƄ{uP2Hv 2>:\%‚QA:n"Y:U ZB3ēU8CgZ˨V+۬j)ĭ<"?"\RQl/|#ڗWTg|]m@Vkԑl֡|d$ӕ,&0Dْv$/0yI7s=Ip) $TkVKyAɷ7YgYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -Ǖ>w\9{$+^b[?= @`&VEFO}B 1iM#À6=WjK=E-K'<ENvQ%Bc Z \8|%ՙ5gYZ7zXZִF! a i]ŗXi%>gN\[^< hoM8rc`@챤5!c j]lE"G8$o\"+P3o7#|eEs\06$Zg䟩X҆Ëї7:"CVS3} @ 9,[ 6ޖld#cȥd>NV4 ɉћJ{9x/x0)"7=~ قH=-XKCa3MS"_TIw?V"ZeO# Pd YKbo?:?WmlC7͟ 8e!-~R:S2;9Lt#TXHMGPFrxJcN0<7xeDC7Xx.eZPh(3e d -3a`Ya2-yu_Jc z CYJ'pm%5\]̱6 l4.F(3I~qPѠpp&U B 3 mgVlSĽMQk+/ʹO/),9/c:5g먂u-Rn%^oQy{Bf~9'yԳ &ͬ~e{&Ng?G.NL1LAI8]HCYjM7cZ3 q ו2ucY[<x|ڱghpbps;J>O_2Lu\fp?V|3gxR&2rq]K:@l+Cr7cin[)eβ6O+̘,tndh5XFƚyi'bH +@K # ݶ@AcVǐt׮$2 6?ܲ{ y!װ)+O`kaC=ӮK4^t@efo88 x=H]Fk2(T3[zU6adzA2_$jHD!y4_U`ٝѲZ sT(2ܴ&k8R %VYH#jTu(N\ށUfR]gHJox\aTOOQ) })qx{j.a +S}hPiZ*)t{oI ;é]Պy>>E4&ۍE66@ RՑ@ ӅЂz4̖Q/`wB mc-QάPӽ{[C^l_ںRFea<#K u] .Dȹ`尡F9!Y$G! |>P;cSޝBH.;a Om0sWH3=IiE=.^j1]iV~9xÂir߷+vt)VP`.J9ll[;1긳Bǜ>>%F/&B8JٶnI.$d !6O撺)o7cSH& h[O"S}CIpQ>Gc鐫'ʙ%K^^.Ds_M2y KܕwitOXdQV:4s$B (ĵdKP(Q"UGq!fZn'"V\Q+]!=UqC;)!W'Tjj)~l硫q|n/