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  1 \\ ]S Valuation:threads=2elapsed=64.169cpu=99.200gc=6.832factor=1.557zXZִF! =]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\(^S@#˽pM=p~TԲ`@jR8iu3| X@f#aK}:s=?g7gg@G?fQwUU'f.<1|K@͒ ʃ$NwĒE,ZAPxl$*1U/4vwC*Xj A'z3-ޡ|?a)DN$-jO #r)wCa ULwb)E#HCy/tK2'_2`,U mKq,ƫqyikD!<7sŕs0E_V Y&=2,ӃЖC8U;f+CAϗJO0Hw E1EM,oI@/(S0D(R`yyGu ڵaG[>ڀgmD^ИN[Zگ}^C#z2CIW[f_{0Ny(/^]mY]XOu8x!iEŲo?w|@96q2F)n](nCQֲ Z}Ą1@ Y\B7h,b| WfߓȅL|m"c¨o>4O7c8*/s:xh*," [G@aӔD.)S9 5l20)_X&wR<|T")wp`A1.m{'I0[QįfK `G |7d10d e^"mS`8V\!jU'}UWd"ɨk>Q]l_eV(>!J\7= A Y*/87.:K {.l"䁰Mn)Q6&@3KP*]sܐ 6Ac3.UbDArpǃsx ,hQ mȏaF@B>ZV= {'8GgYZ7zXZִF! f]ŗXiɟ9tfZ6Ͻ ,۪_G1/1ϖ4^i+F(7m\k|fzD/Oʮ.@F O9W.XP]gYZ7zXZִ   Valuation  F! H]ŗXi%>ge𙀳Y/'1*n1kyI +HŪ<(MmJ,2-7JTٳ@W_I?HiW`Bf`O0c!-43r=ôzQL@ ?ڇuni\O?̀gu>@y]2.%Ѡ>}ЀPy)/< yr aA*ty yj94uX~VFx1c#9p$ޔO`{|c%<^ lUn]$ve+“r;~$d*aUf/Syj"׈':E#|sI6Hws1_!R"51mjWD$4pW%9휤j)Xd͞jgj+$ij/ϿGQ:<0}_I[ -uSwmX aoz¼}o/OFo7CC(gUr}0>?nhYXh9zw72>S2w6H4#5D+)sgQ̘?y]Nz^Y ʧCn gi(:0;frG3PRZ_u PщyE崛{J!"iCt'C/!qv;Ta'*CWsrC}˝nYixx( #+)+_ףSڗ̍2i^[#YcROrGU 2$dS雺:BOhXyZVv Ş\)':A ڱhRUBx"v]o/'}\ *i!@4S.;hD*-+% H07KE[ܳ.v^bÙ J 1e;qٽ O&1Me߿.O aT_1q ~'˼glw/)cXo[AnmCyCn4]MӲХ mk7蘓F9y.sOOO/gOI^ټ\M$nH2hVu`4l HˉԶAskt8!2`iȒ)|8Ps$bVw15/=anڀt9'ǿD䢮3H9Di_iUD#>';ҀA:"qp}h ,+ QRe i^/ PXbd.=&o쓼Oy#VF(dX=a"= 6S{ƌqpM]#p/KyCWsk S](o?2:@n\Ѷ^ĝU؆UCx׀\3}gJ? I=emMjgunPEizg$.Ђ~F_VZYI,+}j L$>(CW1P,t_dV ?1S>;Eä Oq۰og88ۉ0ܨB6o`c( I2Āh u`&*qL4=βz3foʨ%9&s/n?+LEnO/*]` hB8(Z'U5rGSmGIMVo6it0 Ha8j H@`Z߄Iwk=$<)D?gW<*'?:1z6U>Q^\-WB͔Mzu~+]]'ڡg=_n O`eͬ a$ $t6־JaQk^3O4ډWWƅ8TH>Ag{y Vbq!ejlɳKVEnt=u#/"Ror͉ESrBE=-<} 얜D=L:;,1Ҝ݈F VёB{tyjLJr3[>Frxz^ꁰxQ 0pXsA07 Ɂ$6k'Li8C苌>#YV=R͛[j;R[ K4`O2IXg%plL^=I;q#O:p$" ݈y,4[Kl) nN%l鳈%z{EPn]uWN+lS#tvJb7ȠZa=v^tfYOv8I>=Pgyp)Q.[C*5I}]q8Wj72}=} Un,:S0  vMoˎ2g8[ڗBPxQӘedH&2)%@"xd]ƒYoC4!`ͪBW|9xI.@nlqhٲpa!KDb캡cZ?yQ# @JUBL/`K dvP煼~nmK( :_l*lV8]ͅƕĂ|_7ӝvA?2U]zd o⦇r EHoH; MY%aXбq0Ę1t(>YPrA{ۛcH&LNUC@a