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  tT< ]S Show:threads=2elapsed=38.864cpu=61.752gc=2.500factor=1.597zXZִF! /]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF6|NjcIanct/ iW.9O1ܘK!݃]6JR[\!nOM9ƲM.g(sq.!c8ԭtdEiɨtnXEh"oɘiRz`c틠x C*8BjLoD;_LHZ@Ώ_ s/~]wpEm [x[qD:ҶYQ(C+΀a7X͖A'66 9kNj7 g_Dy:kɾu=NٿvG#ϒ%6'k{ZL/-6QjpshhLׁK箍uUYşv FJ! s}:L;%EŽhAϿNJKgr%-sL󮄤a#)ՋyĒoȳ >jm#>ɍfgm CߖS!u|U{d璸{?Pt-pflԎ5^wԝᶋ\drvkEZ5Y* ři 6ޘw. FB"HUj;C( Cq&,ү'L|4t Ip2ҟ.& !eھ@m{kbtLؕ齑.ޚ'osixJ#  fo> {Νx:rڡcISIxD %ﯡM2M']mMIƮ3f*%(fט?%"YyYJ8 қխ/42`]in*jr-FvhO5d05680~4c)_p,O%uˢS1ѱ($92,>S(] ٢45<I{~K U:`Gh`_=z/j_N5ظ Em_A~*(Q03BMcoZ - K -a^a+HP2weNV`ra_M#c R҂؎8}fQ4 o5M9ϜNnK!̧sz@ IX>6uF f12ICyL'7Il/jZx10FsaRr@w ;//Te,QӫH".)% ϕJbVɦQM"I1+B&@9`μh xh|M-D֨GQ: A97A>b"mvE꾬d%c5.8*wv?r6,*sZ/@`A7Kl[ Zv Ў@]𵐓/-MN۷cߌ]w^nźT < U~IJoo[s KV ͫQ)#6-܊/TkoŠ[̼].YSt4R"]~vŚņڼ ܱKLWswdRso4K;`eˉb$B}8> eWh;3z`xm K >9>"W@ͧK`b}05$!|yՋ 535 MF@vY=i3(S񗾭` hjYG, BGރ>AUgG24HE}Qvvtfc*!>6/\$[c-Pt\S*j}$/FlYC2I4 K5 Eqַ@܀-9gwffr9 -3%eJp锒)Be_4!Z,qboUbc&]P8E͒H8#!L(,*C1t~PoTA\z"zqZǡ8ƈ*1[xKV( TlnsT &98[H|wղg)@'CI;S1ŸDt/2_72=G[lLVD; "&Sg$to 1 ̬VNg'==}wX'4/(VR@lq6UG |Pzԗ'P0q:k_(2b2θ