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 G3 \TT ]S]Applicative_Lifting:threads=2elapsed=35.908cpu=62.052gc=4.000factor=1.737zXZִF! Tf]ŗXf1-/6vRZ]^IuL` l^ϚW I۪B6GaePA^m[s0*> {k0p[¶lI?vh}:XV{^],CdAR ,c0]#=^n>ǖ "-q])v7bO lM([3x ob0q #M`Wv{GBxqY"pKf;B8j t]!ekqRw?rziBN  3 Applicative_Lifting  4kKk+&U㍙JZm ʖ1Su@aȆ_zs\tt]Nb.h[bjJ+8U%Ƌ6x Vetиy 0ҶНGߣ\-ͺC#{YY?WdSy|VE$`_p4~C\JɅ*?"TK"R/mt"5k<[w^qJJsQģUgN樓B/2VX7_ P$x= ~>}_+eRET{ɕOȒhΘ j3fb$G˘GpIsYl3<NH HCpSmJ@dqlè@{-0ثrmY*[-bv5U[6D4ǶfL3f!48%a{?EY9ԈwU:YPJׯ$oV݋덫._TgYZ7zXZִF! @]ŗXiɟ*Q?rͿY!?ID(@[YJbn_+ez5V!35V _4gb B̄=l=f'dZ+ZrvB[H %,ՍA( @(o$PT LBhvn$q"qe#{.\^\R|_Q~@i"=}0 d=/u͌(+z_Pk Aݲnnm,QP=@\=нA[)m{hg .б׷^Z,f-BV: T"OJ&Sֵ6F"gr,y! ;KR^]C-"]۳oIyOa#tۊOdB4z _Yy)j>4|}`Oqܻvf.L?$U|R6{2PipS@'j=WPېt`!#Qzއˎw[V6t6Q3$1B/31sM PN#T{ H,٩p^w $v+EUOOu]3 zQT3_:Ýb,,Vc}-Lj?#* 97a:_-JuHOQ^PA"G8tVIP J(E1Vn䰹%o٪d@o|{ 82LnLёAaPM6Vk[AD9KLվ]p00rc!-kbQ2}JσGy}ӣRg-7|;Tv|bD'URttp)YSG"\ŢۏJN+8A9 +kX<05 IcwR( ݞCg&)%d=eemP}/!ȨG>mƸdHQG9(er|˱EbAE[-zM<›X$¢3>NIqdOlXC ڧdTJ|DZ70t|q!uT(o?*gW;wo~8TA Dp5p$4?#5jT܏ 3:ͽ*m.zC4`cJBh"^8X_iMpY$fe >'3@)AM R3IbȢr+x>XOo9NYEߕ6;FC?kT.RXqM4#rUs FUWo?>?I]D,S ڡ(1R7Bjܩzi'\Kfv>lVo2>p9W%NmLwF4 =N/:uiqkSg2ZWm6\hRBvz@+"!#Ó g_* )i