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  # \d ] Rewriting_Z:threads=4elapsed=27.685cpu=72.328gc=2.984factor=2.617zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMRbA[~&}ߣaQmrFFm*@r0h.+\p =-wFZCfN.XC^# hP4ʹVf0꽋~2Æi~"k% YJ(<@% D&Hu1`8]՗ukv ޑ2i 顗ƼKOn!   "P;(膩͏'ʒ=GoZC8ɝ=,ɓ^%8!&VBK D~*A7zp)^n9^hC!Yrp“3z # Rewriting_Z  c f¡^G?KFYۼ(_}$ý¸]~CvQ! QJ}dia+ݜ rVіӑnGcNmR$Uy݌yM|Ŝ@%R -f[y-ed^Ls'Ѫ/ /gOdM97AW9˲X;UԌ`R"c|׆{DH2w|6Uc }RSc&v~vۓ}#S)L/#H qdgK'{&i$e""G6xp/.ޭ:!a)'tۙxMVjOLb-Ԧ0  )h $; j3ki︌[RW(׏Y;j߭h 7u\A]:`z/([KH=5V*L-0lj ;Af[7zkisp)Oڪg]B^ꤑ'I[*dWX@f\m">C``8ƒY4g@s0TOH Ϥ央FxU!}]7xkd}L`=%۱gYZ7zXZִF! f]ŗXiɟCrhi^IxDY?Av|8 !kWp5пMSmx6Xh +Wʋgگݶ^2[1OޠC0]X)H0iGxJu |=ƫ.5CvN|48)䅆7#Rf^Wω&-, h7ug|=Va4R8giu$[)2vgZ-zì\_8DE2kkq_/sy 4U-^mz?$]A|}a7)/3YיEP;oio4AzcgYZ7zXZִF! ୙ ]ŗXi%B ˖ꀍ_Q3 jt?lצ MXGpens])֢+:^^Tb>SGOS ntK&cxt|(5f<1V@C6Ԝ'be{SzC"@LZ9%T5fWk[?Ku%οnf47@sdi "Bvk{kH3ie4J(ҍ`24NɽH&?ѢىeJRwH:qCw`s8-/""*t8moTUqrX >^WD7%p T,稿"]=a l13IJ9Oޕhj[|0O7rFo.,DŽqɲs3m2VV r᳍%}Fh ,oF 0Wz&"@uAVKV;6\-XLFdZ>x)XB'W_~ )J .WXF0ꇂu PMpM)^J9`IUBT%>?Ncg.tzQ\u/Oۚ)|tƲBnW=qB4RaDm`mJ9z%/jNվ%v`6q]s S?R7!)s\iI"B6cP0 4{Y],M3c 6  ""`=g%@X|XKz8'K_ݸ)Ck(ܓgdGJ!h [hir2izDv^1!\ФK;BRpq"|XKTV1ğOjJ,l^ħhݼV`>;RA[讐,SDAd.Q1_i|=ti3!7n4D`>{.P0@U;c V#v5s؁~o gDb-E)3:7?}Ӌ ͮM)ۥ$eX4j3+ :=)UT .LnqG2):'#Mh /5*0H ^v_GTcR"F+Q .Ж=`yEӚ}mhUB)=@$'/dj4d:F0JqZ4B$^k8]׬S7ʴ6.Ez04Cxھl"*#ы.+v@(l]۾^u. tmwfbcdBb )4w#T'%Vt2?fB 9/k9WX -3ui@w6w  Ŝ OD曏\ڌ[z K[OJVme4hDwt&~ܑohޕzU6L1trfD%2`91#QDk:vY2TYڙq=l5n z,Jb?jC8kD8/ڥ'ғ9TEMxWz ag5nN]'}P@$^S9;q/! -[UsBI Q|Tfb%H5ǫ$ףڴ}[^H ,a%׸,^l/kHЕk,T=ؕѝF¬`NuQ0  1WQԔ%ț} T'Ńe>NWJ1o* HT8y9$IA>TQa+=فvq'zk!5TnQ[LⴇWHXp9)gvECR ]-H0E*{RܰC<cG@L XPnCƖd-wqB`rMx- ah>fɏM.QO` c@f1 { ٲj&&Hl{V M|_i3lzNBe\N8.}¸̗q3$5J]#Qi%?C8ZpTVrn}hma@(ԴӼ@'25y%A㤅j(}\E