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  [ [-dD ]% AutoFocus-Stream:threads=2elapsed=60.009cpu=105.604gc=2.016factor=1.767zXZִF! Q]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2C#6S)!=:gPbi{.!Z#|yӍ{{%ڼv{`|j{$G-biv ^eE,FDzg˰a&Nj/ *$'ĹƅjC|xS`߭!xPVUYU~o<>`OZtښNW2z00ZX/z8A~*yR,lhuXψ*# YF,^l!G3el14°5gRz#ik6y "NN㴈LV 4@ƚMd􄖣V;[QI`tH},?3 C`^X>uYܚ_NkU-B(  J[ ض. Ex5zJ#Hğ 3nMВuVչK9~wӺ{F &la*}|5l֑SuD o>d\gFtq|1g6tɹ MF Bs򂡝AZ ) ڃZJ_6{+ n}CDau"H`L0vHR \Uiѧ_}R*_E[ksWCÉ&< }ISՔmxDI0|"-O\:` MR%0R:Z -ERxMWvD @DJׅ1% q Q7zκ=ZE$llJd|,' ,E*J Y5~y,kd2G S(e/e%b^'r$nC˯90k|ZmjƯYvYqZIo#UJ:mXF {+ʺ F/ߥnrXOl:md ȗ 6!d_5}Qochgcʮ!K-`O1I{TBdMvv#.T" ")=g,"ލet Ë/cfQQ9xXh4]a_c ԙU CLbl-%6%%V=6G=/DOד^̙9+T{zYsevf?Y x8>R2:rrE - AutoFocus-Stream  wI!ܢLjZEmK&+B L69:PM@k0^{1Lc |)* $D>yҲ7.d(:UDsM@^9֌1w%?]Nd N6 I!`gYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 it[ALjO' \iRk ͍{6tx=" 6 `Je2먲 3mNw~ڒuح'JO܍pیUށ \gYZ7zXZִF! 6 <]ŗXi%;31$DuZm##9q}!k2g-d/PO;+sz%a1}LD-5u*r<:7LF6ٖIv?Saw*F>TZY WЕ^= FS_Eh>A( hU&f9w^u\,ڄWKѲ0Ts.o'.m~!s7AcP(s> w|"G ߼B s?4ͷb.N_B66-sh@mucfe8lF-W J?lZ"]Hٴz;U0!t~tPOij^s:V_&=W>g=HB"p]t:.bi̋ʁRG_p0ܴ:Tעk$|~?=% \/[)"f~?__Nژ lWvvVeap_'Ps3I5GFTa0>d>SXLXd9  P;c7S(0VG[k&KA4噷Th^$%lpC& XQ8勯W gh`0u/Sg)1D,CA2GR(r+KG7neS^S1V\Ubҋ˲G/s:&@Rh˧I ut`]l5h%\[F% H썴1MboaPLϕ_7UD@ W:FJ{5`CGDžڋ ǒѯM|/?]O@毓xV6>`%%cFeCw<5U@Л} &7X(S2c {!]zW,@S / ;{8BI#-iix4TɟtMp6Saȅ_!# 3 - kjr9۾~>B2v8IwFlu|jh|t* ;UyWSڨ^C4Tk `>S0O_.$e{ŒS6 >hWpNh\lxZ)⑍!zGh*'kIͽkNe_M` 47: K5b(vOK\SJ IYčpJUɅNKtV]Ǚ|g ,hۄLCLD5 hR| i><;JpGڛMߨAIUDFzmz*c,REʢ5&3w!;9:eJHi>II}rq}ڼw55V8;^g TxsW4=O&q^7hb~I xoKbŀ< !#9o6rOF7,(c8-}*'pn1 \H !WƇZom]{1]ճm%! 9Co"_>R?)!l.m[L_7b_%Zs_ h%NZִo.P&YE"2*s ` _A0Li6F[cD3:J-EG?΅6c"9|=_D6%19{,w\.΂'p)DrOFrxR~_|cip6 M]>FjS Mwq24)kj+2k k8LLNLR{9~3ҵ,,ȱŅ{a$' ۱w2DhQ@ޖZ"@$5uW}s͒jӴWםnd0CCq@ǽC %]!u91(\>J h\ T@hj\ۯbPqTlnЎm]'hR\@ XxS 0ȯ.=^DJnX-.S/8C!@yW݂kZ8m6R]ܷcAbqpBW?oi\Q,ir۬E֥m&k^'