SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  s tt\ ]]Word_Lib:threads=8elapsed=26.547cpu=80.125gc=4.672factor=3.027zXZִF! Cq]ŗXf1-/6vR[@WvG$<5F۱(W㣯$3Xu遧než [ZB@㾕cY?> #2M{3 &H*IDN~+"O\j"+e=?`{JBn"pk+=@/G_*Fv3rl%^@:U9}=*q~[p3:>AxӪ D }ŠA\H1JDED-YvA\&qo#t.5|V5uo: Py=SNy-z6oNwF)ğm(B̛Ի`}`s;{   Word_Lib  X<w\םܣmw5^5/zc}8K=׫ݫ0p䘣y6^M`SW[T4elr&ld?bG%{EH iM{R[}FQ 1Jn9¤ൖngE/ՖnTz`u_D"*lI(?㛥0B'dٺ"ԑvq˫VyUj#QԳfɆ5з9v0O?B|FTYύ=q?Xd|B3M r环ym 5U?lbJ}p*b(C r$GDjP]>gYZ7zXZִF! tr]ŗXiɟϨ:}(lZnFp~sZ&.b)fDH0{f\K%aS)[Le9.u8^qM.aa:c|B۸^w+M[X* d կZUE ѼZFD `gYZ7zXZִF! 0 ]ŗXi%Edx -30BWV7d0'ٽɐ'!P _k#j~wsȹ@M wv mPz~/Tp(sz-[ƌc wJG/@liƅLy8tW±UV˦: >M쑔>lcױQ:@!{Į ucROIGc}á#>zuC#كWP*wh <%Os/P"(ߗamC)&da޺_1[sUDwO뒣0ι%G/\gM |~xc悑Tۓ;\lDM9gƼ\(_^Ɛ*NJ +ł+{qrĝ|ham]5EƋ)u@fxƷ#>e&*Xx٘䳞Pjaj$Ed _U6\rUKtNzi+Z9U#>sd83}@,/U-ѸޒI51zCbI22!L.jpa97_k˹ WEW : ¸xthIYw<=-{K5 Z"flbl}s0~%ci"]kErHBԑ: Z^+JRn^B^²߳dv`Rs06h2Vs""tкdva?۞,[<.b|Mƣ!NpEUՠ}r +Ϟ`4.'J [R[?)*SM}=KYjDKO`JN2=#yYw6-}ǹ4ـa":ADA׼l\zq>_?Z/bg0xS`d 94W3Eľ;sm7%h]dDd0rdcQI\dbn} SX"tp7"7IuB5W8w@{I IjQX*h:N::Ɛcw jj;Q%݄Fjη{"]g=+W$yR{-W[ 9ZhZk.ӨaN{a" ߎ b)Mx?M3ޣG-M ;ŹgAwhir9x#rYy%(P;`=M( . :Ok3ce$-X.hD87xQ-qŸ:8ȵHdEʤjhkTiۣEuc\c ĎOCZ;:~'1:Nٶ񅟯4 pź|+ٺ:9xLڨֈデd¶B}Fnv\ŷuIm.+ &' ɇ@Τ~p4HkAbdJ aw>.?Ο#1lw/e[U@ 2v&xTz祘F_B"RBHGsid@=ѽ }Z%>IQSᰴ.CB9yI, "{{~= 2@"M _3fl`G3wd=`Zk fִ~:GFNǾZjq]