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 BB; l, ] Tycon:threads=4elapsed=6.829cpu=20.760gc=0.988factor=3.047zXZִF! ^]ŗXf[&~=BV ) a¾!H/8R_~djA- % }\Ӱa(| PDfM%ZNH!QuHsua׽ '$@LnbF~2lqZ0nlTQD :-zXћKZz8u\n'y؂Z8%=(Zڃܿ\b7~J7W:a5o7Q JWaKtMFϒ&iRł?) D]wqcz/%O@#!V+M LֆI {]YFж&bx?T_;;Q~?̼6VS%8ӓz_`a+I9Q[FUb5+wEoeTp(+>Z9BaHeEe0u[Br T?e?t"rcEKv|#gnrjgYZ7zXZִF! D]ŗXiɟyڳ&U2FHFֹ _Զ@OWw}@V5dӽLh+񜟬7md='g fI&D2xi" 2غ_\  [iTK+)@F;h⠑ig-(Q1q-|ϫA:mJ1ȹ]/_nVͼh)akqx~Rvr)9Y|I m66fdv#򠍑4'1ozgEUw#iq n8r 8xn8 x_޻D0#}FF X2gYZ7zXZִF! ?]ŗXi%I o9>`M\Ѡʿ {pbḺVO([U@,[==U]5j}#v[mmoRjǼG+[&[UJq<5\8=[;w3jgUx !>=yP:voH%x.J49#N0x.,oNwg@88rI5Pܺ2XiJ(\d,*=('Ot"w瞝p;O]PVlG O.3_ȬuP?o.FH\L0Agk݋/,b= 3EcέF~vR֎c.C:Oհ%΍#=jNBR$z8LU˽qrM}B5?p>r 6H(òv'rwEawj5$3hl| #.vi\egD. SpӍRF,)cp~^~-Accb/_r*.N"<0Pq[:c^ 9qzO^Kt\FS&~Ic qU!1xWuv<6D^l#ʅMF!`נ>D932f',486x#(z*0 I{ B=䧥GB G2I}Q~˳q*[uvuAi Q'o3Z%5/ 9 e@{,?3gEnzmZIh.!>CƢt\?",Aįn8GV$6Ǟ+HPmG?@:Y+iGςzKFkuhSH{Q/Q$Õ]ڔC,ƅGfIVYYw0ĺˣ{9ީ+9~wO 2~o'3O!]*l6aB1nmXl\"{[)dGX0!Eլ!?CwĂ(!H4P’ɬ(ԢF bt^{EzzpMpI?P9Р$ RR vgYZ46c744091a1e071ce52ce9b77e663d120e84b3cd5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 fa3934eebd2832ecee6bd7baaa64daafc4b2f37a  Tycon