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 j1 t< ]% Stream_Fusion_Code:threads=8elapsed=9.576cpu=34.066gc=1.543factor=3.567zXZִF! -]ŗXf[&R g0Fw[e0OcN|٧{Y<J,KCD3 i2nC4{ yЯV@^]KR=cnU4 ,;%+I]Ëj"Ɯ!!R4aW:NZzS|)h..zt@GbUA'IC fߘl=I1p:{!JNo i#ⴊ"]nBִ?S2ެX'pZU[D'eyG;.ưz!$7.X(vKYo=cb%Ջ1%M-mZ.FSQȣcy~iev Ψd0>U0%)3 sUuLy)֓cqܨhTy<[pLx3<9Sx;lݘ"6ضJH+K$Iwf@E0Fx7^J່n{?09{1#*8BO @ ܢg6ug_[i[4]DZ sds&-7"!y#LH6tu\Xr9n5S:DoVGP%VS/;s4T6Tq_yL1$, iֳ2v X! $-vVbhV?!H wZ f:*gYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+{,y];|NreTEM N%F)a&3G r]uTay(R "8N+=tscPDNɱgYZ7zXZִF! F]ŗXi%>t{BYzNw-.Xc@C~\X hs/<D[}=ڽro9YhpS]>MxbjMe۹ܠG% >*=-LEJSv3Dxd!)JSKRìA=U80RgWfzVdpҁ=B{UWW,[藻g}t5Jjtҥ,.m Q[tb:Wq\z`  ^2[ h:{i6zGmN`<ܻP ψ(z^ ,pI ɝo>-MGU4yG ^*̐vDm/z ]/Emm;Jpxآ7-̾7#mZBbpű(Hucz)"9:5߮( ߷q-͎sݛq5apt֐)ĒftQw/C .Z3ʌ_1"qq3* X>+bN]Sֹs u7.ǎ¢~@XiML:e)UzOqjDW.0uq* p5:$4s!|e9N!z/&ѱ[[kS"ʘمBzZb;'dj̤w5.^ )X=굋JDld_ŐC)|-k6mtڤ`#uY{rmF\Tv +0qSZM=JNen岍> 0&{O vP''ƻoI<='Piw;?*"rϝf' ;GcgVwW TT‰$SKK(C1'ˮef+I=@K ֮+8}+mezm4b<@lFW/+A;G~ sfI rXo[2D'ZӤ'~]1*axO5SI4dqA޴O`+v&Okg#FAϸ2ǃY)A 6oSz}u9%a~< h