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 HH5 Tt\ ] IOA:threads=6elapsed=7.341cpu=32.484gc=1.640factor=4.427zXZִF! (#]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K gFso,tɂ5iuj>7\@: ֞"JOlEPMxf=Dl:DYnCQ`p`]w8>Z e<,Weh@N|,~׃%յ u_Lg'kȧ c={6?`ٵ6wf\,sN껹'ˣz5PPRmXS7,1zGV)Ⳇ~TE%¯*SRX/RgJg6z^ iM# k?N\++%Xp{{/2h9oaP4$g3#Ȝby/G~zkR`U_9F7,odt@5}xp[kld,!/)8iۤ%TWPؽ?t"-$uϚT gձgYZ7zXZִF! `t]ŗXiɟdN'LvH۹Vf+y^Mdyfe[Ye76l!@6LpJ smpFm*Y3B5||qa "D:%D6fK :F"Ts /w4޵Bo3z?ב8c}9G]Ph|~: өwMsVBT~h֙~% ͌ [. m1I59wkvVyiR)Ż0Z7+0ڪYͷ Ip{z>la.GFXjqjГ$HfBP|Zs gYZ7zXZִF! )h]ŗXi%La#څh $ɎpKlA4 5?1]rmϸ'` *Ӡ۩|K-kLP ~"*զAy0޸ؔ)0.މ1X* B@̼dM˵&a? sBhg b}eoPLg\SN Gp,RSdCȻx3gh',䖊v#ˁT_~&*68)2u9Ni9$NOP4ޝN<*H!׊FXaCdN^N&jeʦYo&}f(S~ 9?֚{t= !Ϸ>)ˬ77yZ 4/.Wce1kH|)N3NO͞*$sQxc(9)7*~ϲOZ;U~WL0K+N(R@٬8Ĝ,nsc)^i`qJIFqf&NTiggv0T'BϪ)   W]g$o^t!i\t&,9,u6çơi/.yq:ϊ>S8F=VP."['X~9&'{Gᦷo=hr}E'A?m\'Z>rubND -\7;6)=6LNs