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  E'TD ] UpDown_Scheme:threads=4elapsed=27.443cpu=104.376gc=2.768factor=3.807zXZִF! B]ŗXf1-q恉<]d %S TzA=0 e"o"#MryMYMc[{ٚ@}KR â F4~)QLr ?\p4mxP'4u 6&QO 3uߠh< ̗*} HWY TDlvrO'tٻy4##1^<Κ|7  qt}k7x~Oڤ9R#츻z*_qpO>#jKͺFł{9(ڞԷN'aӫ' 9óA~E(-2-fkB cdP/TByQBUsP խFDD:"1TD~zbQP$2ehʸH$`T83#xkWXCE;:\LjAv9C3x"Z@Hia2lFIx5\FGJIROUTy/59Hư&_o[">u?V^l9 m.ZN ݹ..+ffɶAssEF4E@iAa 2Fظ*D+xFBHrCES-:Ւ:33DQ"P$P=&p}72T#s[ƶX6A3&L߱VG[bjQ7H6,0}m4Rfn4$&8MMtpKW:+2wmI̝LؐCRmUV|`bE^%юg0;U#&ܨ,\+ 9Qr0ݹp- RJC4N1|K3j4i eC@stBx#`gYZ7zXZִF! ౫ Z]ŗXi%B۾׃cLdNנ?h{ՊpY1i\$ayVss'P`vԭXj@61 ׷=}xB?LfB^"XycV!W:4 y5'bQV3aWJ(6†yKꋥH_g;9Y0*-L\%p. QEs!u2! k 7+? O?h8QmCx&Sd7sCp)Depnm^>aYb"Kۡ3BEt%U9TW{2Eȯ[jޝ~@7֨K͘j?hb1%89 "ԵTѩ0.cc#p  ^ g8gZMN@}\<{#sdt(Dl269xkKM8&B !Ĉk X6f7Ļ2dIL{}kǨXfWxz(-gC]rڧXwZ/1}|#T^HaBo1 P7Uu@}!f3;vݐ)X;I6q+/7S$ w$ZNN0z;)ÖjNG8FzffW[ČPj\a2 ]v=7 0oX .DŅ_fB=$%ug־i-_Mo+ﳝ0h K#!Z5߯{<{xl/+ܖ mi^u{Ϗ"y\!S Wlf7) \!Vs !R{VJ^Ya ]W̓/>hɃVJ}L:e*Cv\VkǙ7S\| dGȏDWV ;r~v0LZpH~\fƍ!^}.i{X!I_myXN7pAHsh3 eؽGcY4k uu\ Kcv@:CF$:c ( XRo^b&;w*NTBlD(})/:'U5-iwYنU[^2IG˸l.(j=!ڧӢܲZӤjKn"tb*5U\U4 M hz)ep \&g*w3;_ T\cÍ^Rd%ԫ7zRD{;N xyvb쥢`S]!ϫ_婻2ܺtVsd1Q888f'E_&t9yV}ɰ@CUqhR~)׾-Zeh"U]XyǵIv7091DZh`#o&4X#܃Ȓz9ȶ)^İpaF5jf`=_{ rjvkDv*ϗ)>  3IZ C`YUI| 'ysB}tсAzj}DdsdM/K YW*N % ,; N)BKX]n6IP1Pb*7DX$vֹhcI!H'GΖ8[ QQ QN$% {,W-*nH }="zcT7ΟGQ,hW[w ],|ue`Ep1&I]pA툸kc䌸J:KPAN9eQC9!=lca}-ϙ :`'a-{D;?$@\C쨉m-Bl#K b KK`Azi@An3o'[;,-c"@ 9 C/&Q(7+]5LҐɈ.AK "a? @_œߡy+8mL՗Y:0ݠfQS[(_R2 EHYqب|Kʠ\–6VNoԠiGI4J?+ib5vtxp1TN,QG>ɔZ -BK=]|Mmz'2[;.{rݹA<ۃ*=5R?;ζRX$;qR}ʟdD>`^/92vV7&I^O`ka4^D͇\Xq \naEK粃Oޘ මt :Y=g6I-MV;D,3W#pf7{"K@)t`4.A]N @le쉮 |‚.J5f+/T[G3+s o6Jb=qgYZ01ae4e6415a7751b43bde0ae3224ceb13d1d0e3d76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 2ba2648cd2e9eefa4e482a87a5d42b21c90574a9