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 j lt ]]]ZF:threads=6elapsed=12.394cpu=46.428gc=2.820factor=3.757zXZִF! m]ŗXf1-) enȈA XR„̪rYx Sԥ~)b0H>9zdԇ~@ fA~٤8@ET跈3U`זGr|\q 8gYZ7zXZִF! 4]ŗXiɟ 1FE`空?wLPxfedBN e9{sO9}B,'Jl;ﴙdG]r ww KjSB^V!׿ba13_UTR8k=ld3+iEV~e]͒};B֎@E Jx8bpuTK>4u}sDL[)MH }%vEkD&r\xh)XsN6ƗLߡ װW=}|֏M{ 2o5k joѶ=s:$G z}΀F ,VаthV9]l2Oza;`ɱ F eRuML;~l02$cwCw n 5I%)P DMdMD2*=@yG+WRXQ?6MR;#,.^džb>o'Oʂ/*\B@Y#/ ]4Lj\2F^ڼDgYZ7zXZִF! E<]ŗXi%GP%VNEL$Z=U6fݲilժӶah@aQg+7|ׇ:+-+N4֘&[84qA}R"%k:":NyQy^dАKr"0թu*B*;d~ILw֮`ʦq&85p{S]8U;#1wS3WPB) ~=G-̛ZHh{F[@V!W; wnja1܋)aUPV-&[:KAk7{-L/?^Î{r7HPɤC/.m7,`cR598Z<_&?ܵ[Oq_CvE>BQ)6VD@=W\A L, ާ䦬O~ $r~)c_=X.E(C4vقհ]AUMPFYUyiՎ;-$s!3hh82;eB9'Y+L(DcŐ8O\̣x̂| {!\<2xK$Oܽ43yuzwdPu!\4{r@8E^t <9]PǩHB abs"Y$:[tY'd:R NUF\`ty"t &{~EAruH tcd9.!UX.!bOsRRz|[.6,ݨKm/Fcc14jкQDD Muو X<ΓH7P3. oYe{Qȸ$98 !eb(r|hGWa A=dhxoay_o- PɄ+h-H/dJ,}+nٗC>A8yqAo g!?dzAj;&8&Es@Vc2Av*$Cʟ& s`M v_ [(gYZbea99fb0bd08b95bf75ace7e1bd251edeb2ee7b45ed84af47abc05e6415ee3f4ab9fbfc3e91721bc2202e0187a5b9a6147e1ddb5a189cc2ec1d15249  ZF