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  U5td ]S SequentInvertibility:threads=2elapsed=54.419cpu=106.396gc=9.324factor=1.967zXZִF! -D1]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)k#eTwɞL¥ƴT>^h;8PPQuIo7S"yBbB.Td E8 ĤZ<[w{l;5 e8}K}:qjx+/>Mn'XKTXɥ/c߼ jV WjظqiI X T$WgZS(QOiyh(ށyS_筇KUںP$oɨY/!A:W }&>\7٧kX,أ0o^c+(6{̢/y'dϵ 5dUq7ͷ^^MF" OÜ{-}9o)hcJ/.QN_yAK"<zV4 x&{;"'כN5#r\|C1Db"xn4_$ZӲ%nG 5 SequentInvertibility  Ҡ,7 c' (XZd9loG?rՋ(q(ߒ܉3 ų̹|/ |бnax/#(Hc9m"0Z$'~gYZ7zXZִF! ]ŗXiɟBܖ& 5 £}EAm+c.!;xـ/Ż-ݥ6l-zͿ6C}1։c|;H:ͮg?7C&E|oD¾+y[+Q,@J38Jw }XR{'+Vz;ܴ.ϱgYZ7zXZִF! _ k]ŗXi%;w6dO2lgҫ0KQ*!}{v(ah7AзMx; =\:.9v[DcꌃD- E1 S<4=? ^9]I1(zV3/Bnnl<彴iG#0iX>LJHPjoAjC\ Dz0Y}h*_J"WAiL\騃i |30;%c;ESo5UāGDCC&%Vn<2a#V >S,4! V_ȃwۖHyHZMa`EHL]XbY;xj!L{vkC)= n[L%hVui.m}yH9=[HGp:*'6>+FΞv hJۯg/4hW"o16tNiıHWoe 8ntĒ .k IFFk oo,b&b#m۰^ǚ ;15~p"Gc ] J|!ad%Z(߻̏}_4Tx!Go\i?tXA#8A$vLLbM+Vt1;_mkԤsz"G^I:p[VGA&k2xK:ꀞ|,/&Q}ʰUӽV=AhQ#(#0YV $ /HuLCa ky!Z7^ԎP@n+Y"LtnuMIСK['keFjPJ:Gɻ%PKG6̽'Jjw@Eً 4 HVyL7HzNA0UW{aoiF,vNm26=7 ,Rc0#YW q̋ KriL)py.5LǻJ…@PpO?6kF5VCyu݄xӪM1qixjp-h39%P`Q@]-)ّqKăKIVE5o/tUoӥRk VaSPB91&f #>}x\L/U7m[X'oD?!\i;}IDO ?{Dɸ՚->DNlq尒Pŋ0oCYL .7e)bB/`^;  ykF`A1<j&"_+n$[4tO #q*I#% ,9-,]A^͂BZ>|/>dK8@>V Q1 ݘj[*FN[#wtyphf'9``4\"mrX}DpM @ ![>HbzW\(t.X^gtpPR`@sWsމ?DQ A6t Ҏ59E_}ps^v$+nC(Nfɑ42XݗYHX 6@l H"B5EY Ɠ8Lwd/rdМnf05 '6!a6?'Dk\? W+#n/(/vjVv̍Cs 0p8Ma3>,^4Ƕ8ԑp~] BUEdH5-J2t̅⸈w{ZD;kqZ4 SOux.#+l,DLagYZ8960aa7c65d7a316f41e70a186b7d39c67cc87c19667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65c 6bc7163ce4d3b4f24ad4dafbbce0bcad4ed1ed32 d9d748898fea6325922598ba941405415042305c