SQLite format 3@ .  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 & L, ] Separata:threads=4elapsed=8.877cpu=29.308gc=0.688factor=3.307zXZִF! 8]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^\9q=x15 ) E=';"#~8v1BtuKFr#^Kua۞cka([$t2B֩4r@ k.*%'GHo on)P9j:ə}!pUxQjȊ̅9]W4VE\C-̆1mn=&*KͰV61-}L(d1vx*2rkEnLh/8<\専g3GW4Q^3taH2.wzJ`?$IAZh˱gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KKZ?1|*G+R}z+SZK08mo3,aGWM|2E ֜= p/i v̦-#MbgLbfށ+K ZN_cxgYZ7zXZִF! E;]ŗXi%Bx7_[rzfk[`oKSN6Fږ > pKgbk#VB!nLo^"zajڢ BAVҋTP 6$w /W7%m$Q|*`/]y^і~&05L2[! 4;\їH|zz(R%xjFNb,w=EpGu 9YDˎ~4?-##Zu|pG5=oP,#?ϒҸOC_.t|*ۏQ̫I<>"'*i=KB땑T4$xty#tRrҴ<'9 UCس+T+ A~zdqkaG=ֆ(YƵ7V""o='X !WK65뗊G@IySGwztW'B](^AMypB %Xh Q5D>  TK0M;ԘQ؃-Ykze2^_›A6-a̧YƑ)Sg)0mw^jMeߊXJ,{\+램(>3aP$Y=*ȷLv=jm~{2Tေbݿnf1LƴvFm82G6i|$(|'[E\ |BuSU6