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 j d\D ] ZF-UNITY:threads=6elapsed=5.970cpu=31.472gc=1.320factor=5.277zXZִF! j]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb:ˆx 5UTDa-a=fD4Ƈ꼦 ]X2}[[[Ge& &[Dtzkwg("#}If5v|bK^ pSuvIxM?7讔h9u9$!0<{%LY5;?1i`7\u_\ISLaꀏQ.P16zsXȬvh;ă/c[ BUtUț:ݦ!\1pcA³@ ՚KӘIB s`Ԁm,v@}*Z(5b-u{e7,84LB& >oU^cBg++#~\~Ċٲ'ŵ %Zmvj̶`>oy_e]yeseܗ~(+4 rݗP@(Sȗz)!ήQ@ G0 JO\Yb?h//UB_,7>PSⵟ`>TYJqKc'͙2#:≦gYZ7zXZִF! hh]ŗXiɟ9 i:4V;}A<<ګMP7$P`Zvª {/])CGBxَ̒z(BŢu~o*KbR^f9(ab}Etj+Œ7N>0R51mnafc$A?"{ |R0%0:M (lEg!wƷ& 4t"J;h-t؝*"w_RǃnX=I/Li"@yWegUgF?Qg-e F'|']!sl.n pxm9BO:Y+RE7)A?4k9j s4gYZ7zXZִF! cZ]ŗXi%@fBN镏(/Q>AJ[vZ!NʍܜZlܪ)aϓz( xB ?fQLzْ2>gèq".RN0,hFM? |vaI/U;x~~~Ag5`Tԫt ⪫PD\?1(xU.Mվ5><[|^waB pCZv%m=^mPW?&![U&gWBH+ie&|SS 7N01q[(# v}+x3#DC?co'~[WbI="ȔXׯftˆ: 2$d^/ɳ4 d6gYZc85bb35389649dde0956040f19e67bea715a8076ddf058c9f10e05f4106827b25b4f95ca1cedad49 60cc5eff8d371ffe4d24c00ab6b80f1621604fd0 044c4053220a3ae934e6d0a44f7c61d94c2fde33   ZF-UNITY