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 ||E D|$ ]% InformationFlowSlicing_Inter:threads=4elapsed=15.669cpu=50.344gc=2.568factor=3.217zXZִF! u]ŗXf[&KvE{!Gx/d ՜Y;[hmOd؍.x`dM4>fޞ€G^Nlõ C~R.kve_ = 5yrg'psMIo1wMC Ua4p4|<6+ׁHܪc U5x5Djx9-E\CHFs(04s W7\E*u!&*&X„0ۭ?|0#>'T}JE +հjU[, []R(@so|F`M ZYdvhטl(TU`wTZU9Nd.{ʼn OfdB ~I)-MӤ7_6x$E+լӰ$ϯIHӍfN/:X,cQjù_>u'5Ժy6RZi0ijLz^! Y4Od[m:g:y! Z]ZBݤ-)M94M&I c;a+ /F߂(;gG"**Ax(ɳex߳L>sx\fF׺KQJgtr*mclYaTxLj,օkw(%gYZ7zXZִF! b]ŗXi%B4%at-eX")}& b]୬?WؾeOC+&jx`05%%/ 'ھH)pՏKDa$2כޠN`EtRyl[Rz0av= J !֜]<_|V핪)t9}6{Ɵw'R#ϓ9s'`Y3D֚?\y`p)7jf)5!.?5Iv' .zV + [|\nlX ƲRS& 0j?IM\wD2=ńAbr=j8F]u;ٮ|VNKa r7L!q8%Xdz= /ljazC>(ɢ -p^O~Ѩg';N"_w(,'x)[(⫓5GZ.~e3C 8*/e)p|VV >g^np6bP-p$T=8gz_k$++Yty*SɆi_cߪ^Nh[qF1cƏMtZzIzAwl=۵Qt~e'2dSYtqxI+ɒ PP=jRzaaB6gb 0}M|-d-:}Yh+c]H