SQLite format 3@ .;  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 v LlD ]]]ZF:threads=6elapsed=12.514cpu=46.144gc=2.932factor=3.697zXZִF! @_]ŗXf1-) enȈA XR„u(x3uyvu3j{N:ؑfJa} XZL ([v7 _gP7N$2^㓌j D_!j#n>eARn i9n'Y#um!8DFJ< ܫbz(vr[!{:؈Io)N\+HR=]Bj7_L{jHl!hm|-!PZKaNN뤎ܮ| Cؠ6vG`q䫟fFs3D5anwui*&gBU_0s*#sfRp+)(3sǍeS䤌vy">̡ %D7m =f d.܊؝_I&4yT~M\EV:9HǓPa #V)xj^R]vW?C*뢇`vY/!RyfHr1UU UK\~oxSdd'7)K8HMgYZ7zXZִF! -]ŗXiɟ 1FE`空.]X.DZ==ohJehTnA-lF;ϓ{{g|Ή{PA,xEw>aL_Wo1%֛S}JM& ށ:L۠N0U,f*W8~ݥ{B'ӖHb!J#US;6'_Zm-%u5[xJG).= Y%31 Ň 7PM`Kq\/랏 tp#xЁiZOU Q0"+:6}x#nYIJ( ۬XoDЊ7&7lO\{W\OJQ XLˉےF%a.y3{ˮsS>fZ1'5<>0[-'LoSR$ 冓ݯ-QȊU0xKÞ!?ll1§ǷMe-ιIrwQ0/|6(>=nGEد7J}Yb !YdX,1czC/3 d5|gK\:_s21UA2P)Vs;V^.lDc4| $4D&*PVN >V\1${..*! .y6En*$, |rd~fPֲ[ Fp^LyV5#4b".b'M 4#.Hf.KpԬkFvꠝĞ(Y4OU%lFLБʠQˉJa ez-%zp@6W07GWI”sv]-,h.=D4,#$t]xً|W卥D+lLi'ų' c~:yl;ekr Qe^ cyieWyk)3w Xf?{ar"}Ғ]M/$_8TK{qƭ+lF\?,H!צ-IU$XXP. t8<0)e u2/1Ucy8PC0(߳؏PpC>A۾I# 8+c"@kEhlxʓ|)$y]L; בLx@d8+dY1~:>;1ԓwP"f췼#sӶ*#