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  - $l nQx:!@F~"R\"ټ!<B$Pă5   HOL-UNITY  ۼع`Kr,r_g\/fBZ`Y9[ UH}Qڞ/*%%/̃kݶ;,MF }{J<{o6<(xLߍ)0~5- vx50;dY|3CpZBA> FX)m)2RƀIHgoOy4Ϗ |/I%(Ʌ?0̐r1~}_nAMc~?< n4p )oB LU1Qqc,M6ob,.iX  e8wA*Xu=x=qϬL=0ۉ0^Q L1eI>LoٷFjidNz xJГI[Ef%To(Q}aQ [:dKH<9M+(j(݊oJD%`qJ|.%H' ]W>zF6YB{8CK( 3lt?mrJ`(Rk's䡀7z6g{8 njZ6Nwذ&4 \A76'7yq r7ty'ko?E T-Ǻc\i2(-U;sRp-J#^^w9d_ OQߘ]v9JI>Įȑ9z`, qE~&"u;CL&> n]̫4N'+_u)Կ-6+ tS' d JT]iXT NԞ~RCl"j7MlI{z Io:n0o9 -fUlަODڬRǝ g`\xIo& wD`6 D$3֦s3M9Y&8+@ `W^ Wi.ƻ~7n$yӣg2w{K3+R#C lLgYZ7zXZִF! ;]ŗXiɟ1'x^܎e-| y7I/h>_LԝUD>zu^y^PvƂ{]}ffLtz?(~խS.մYÉ.բ~Qo.y3&#A7,m͍mO^DQ]_.RǯvlIl^Օk+63GϼQEl}Gg) ;:T,c!yqgn='y >S9?9)+`P8$Ӡy"E6RB>CͪĐ$7Z"lcqɮ]&YY;0Ҋz]mxSR*`!*o<YX0Bh&*B~oK(L0iHǺ_=.5Ųڙܼnf U\s^jgut{SEU*,%Gp٣WgKr Ő /^b X&Ba2hsx& mW)L/jp<ޔN`iF,bx X!<,9&=|`A!)Wq^wD ͼHv@kN ,Sa :t|={O0Bx L= Zeʉ|RJ)u~-V%W.qԁr$n:z w p`-„HTۆ1(B@*y^mmpv$@J7p0Ne_y)ɗٟ۳e3mv(W_lЩ\Nz;tp`0ߩY!l[߫7?"EC] n1y3zD'~$똢U{}<=>CF:WW9+Vy2^\x⷗("﫠qN;@dY !ΊS%r e9V30hOjJ  b,P>`q0*@D[s%0Xb};ɲ"P*># H*)#'d%QP!^BmDu7rШNq=P;6J8b=ӗ>T Dρ1?CfQ͓w]-kT:yt) ~rZlΪ4G4\< EeOs0:45*AEnL`$Ya ,*5:insȧŪTuF^[I  .g(\7t"o5g!*,AtiO񹞗ڦ#D$y}cLI{Iuř{.C>֔'x ޲Sffn|Ly駳DG'@aBߴȒ/Apz2obͽF3 xڠ։Xmjf\0/a(#'< xGz"S  HFO6shja. Rzz=#Yލw6?Ơ/q$?88tDx/Ѭ;J^m !M SŠoz$j ԮX+w{Z#S<_'cTlۍkxei%7)\aP n\C8j#ضXGhJ&qWpj u2*󠋙=?eh>1l-tRkK[EgV4L}P@6qɉ>T߂8F)+n`|t0 N8`1vJ0Ah >\; qC'D҇>Xi1O!/< B'A"K{F3*꠺19^\GL/gYZ461032015ada5eb10b3441fc8c21d60e471520ed6aadefe1122163e4dcc89994df87a16956357ee3 34b129f0039b76e6afee09ca991dade98e8798b8 f74426d42f41fbd2828a7d26cd4e1eda568e57a9 7e0b4092cfe9bb0ded4e3d890fd155739bc6d288