SQLite format 3@ .0:  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 SS* LTd ] ZF-UNITY:threads=6elapsed=5.688cpu=30.288gc=1.212factor=5.327zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb7ׅAfãhqX=`<5eVɗ \YF{Z "TBfkh~fOVG&27)wn" =JJlJ{5`7E6(n(*ovZ;%v7}&P Ys9cԱ ~ IFZ/@Y>B}Bfb?db ;iorkRl%=iQIȲeM'G :ؒWe?z4cr{1þx, !c3Xý#w=km;^d0, )A1bۏ׭,7YeM08EVXT<`wO Y . Jtsr9`ID;HCY;jWz1&0 %U6I<u? ĢCԗF 6Z,'١bx1 .g!DGlVQbC%q.q %{+2 ED>.[U>niHa_0K~Xj'igYZ7zXZִF! hc]ŗXiɟ9 i:4V;}A<<ګMP78Q)@{Jx,&AEqx:56-k+ .N-~# >? ;9 :(1 uğ أc{:U Vr0dLgXxmЌ~B4.T=R5wP隢lA ]¯an )69ɳ.x -9"e? #Y~w8pGR$ O0 i{ ":Wf`z&x/{hxlG?H'0}m5f.; QxٲD~nݒE/ל{|'AREf(s+~"Dq]ZB?fkl$!L/oVLj%;`jd  {~(qI.z ECG҅eoIZgA.J KhqO- _7bl-P5:Xn4uc%3YCh7J+pq9gz+7DdY̤Ɩ \]r-vP(Όu 0#ol?@R*6炫03LD tbW}U6%UtṴfgwp_XCU5l7 O >l* OhǨx*~)}:W1D PQ&(n!S1be~2%(`t3`Aj5yA;x@dI]:w`D-^ N ,C k&=8>ZJXLϻ 1!Iz q=.UOfEE9,ENŗ#(~3na^Ԃ ~ ^AeLQ%CeӉYy@ ܙ9X>1HgCl gYZ2cb8161d2ee14992bd3be8e96cd338091dbbea58902f55b990891c03dddf854b84aaabb24ee3cee3 a89c75749281b6c774e297569e8cfbd9d658f383 c14ef94045f256b2cb2fd5d3b24c4287ed502a74   ZF-UNITY