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 QQ,% \D ]S Posix-Lexing:threads=8elapsed=12.555cpu=29.664gc=2.043factor=2.367zXZִF! O@]ŗXf[&q$/= :.@b҃&:YBdD6Bj`؄K}nU,X0VaiO}Q\۠z2JT3HcnS0MomqD%Y $+(Tzht 63v8o0:u>h[]_bFBNE )/lPw ZMH$ vQ^n&nmSδ%C#~;qߙ}5AVBĖ`ӐKa'J!eb Ʒ ZmN] &"#1zϣgYZ7zXZִF! e]ŗXiɟˏ6t-utD>ь@z?HS(p rX%.WŢ60 p>$]nT?ay1 Qw Q_0gYZ7zXZִF! M]ŗXi%>t{/_"_GtzrKu7=R 'w +|޾xA@ai%C.`|G^? :ђNդx#VmPl`^SRXE63]"yDmUK 6]n6SfCg:Jm\݅XmjoҰQg`dKXgea VH7\6x$)Ce;&cCxl>b%, bL?Kg+ܩl_Cvj m:\}SR yU>VTki@*Ϭ>{L?(Gپ:P ׅYXtNoC*}YY˄!"ЍXT&l5j,gB`R@FN`gQp 8s$Vp!`5i#~՗\*YrDw )k4)HsJ+-0%bt6[3 q=7|(bv.˲["s-:LI"hy׉UFW콌$;05nBwGn1PFVet}_;>NNx.UOp2jG%jX~/:LdXѐ/I0m/=yO.'#N>h/Bp@ }g*=wh@G;)U LI4KQ>ds{g E/>U$]w2ڞ8#tdxx!oi\ttKGc5Wqf33?ll!vtcgRGwo4cpͮ 8N~o#QDXC"шGwE#-w.?XxfY bS;uw\FU\zH#LV[ x}ћaY*E_k$Q8eqwe<$Tz:^2eTXl c,