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 1 d\, ]]Abstract-Rewriting:threads=2elapsed=37.262cpu=63.212gc=3.528factor=1.707zXZִF! j]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'``e.T\\ء? x$ձ1l kU#F2aS.ZARJ{+[:OM΀H $0<6P… {lbY%~m5w{i+PfBA8m">_F1=iR0|]n0 H0BƙhbH"D=l9!Ih7E%k|D /@f kTђj{h׺Wf˩3/, jw4 <W_S 1 Abstract-Rewriting  XRU<-ixxc>xFi-1\knnвz &Πrkg-:wkXY bM;ddIPpT'R0Y eD5A'[?? ffdE@_VNEOd~|e+@qJֳEYfS-rк Q1↗H$狏+.qq,0'&_|ͬv! @7˵E'P&F\]#NG D } LQ<ϧtU{nާyxe gVta4\їe%qKRI]ec7+B[3ީ(kdBxG&"$|9G94? gYZ7zXZִF! ']ŗXiɟCrhi^IxDY?Av|4uh- };gvzX'?YaAafEL` &\SPno(~=z0=v7P%R!#Vqg{hri`m]$ruKNN6vġpBy?fIq-׫w%|N/xy_YU"8w?* cF!F>a}[Cg1R4P"0ꯞ^Utõ0O.'p>wm9S]Gߟ}2=8lA/hy E+a%?f*7h:!*𓶡r`/}?.bqRdiIp\?D4(2;>GGc0OJ%21:uS#XQ:Bz6vs$26-CkE֔jd4\dVrA]<-XD 3 oTk&AfA\J$dyH~6h@Ro9(*IC_T˂l+ X?xO|ZPM5*h- D$ׁl;`js(xiǫuᕇh}t&!Y;_Ψ7XOo]KD:ʒ1a^UY } #Nfb7?D{QJϮu7R|~ePB.Ͷ/W.ag)5yjC}0Ex lDT,"AUy,ŷp~,dzHSN. -D9是n":.f?"DWD&՞[|ku]K c ۊ=NhI0XqWBwhv8ӈzb_F|xGغs;if׹R.!NArEͫ'{(ba mѐ-t*#/U9pq%-L_,aru'!=VPq)5O#"h?'\|P産6Y8hX9=v!)a]qhr 3c)G=7pռ*pQT@qVDKB"d f[ ^bذFn6>Mk,J Sw$67ou{RS4 V׮ѱ^KU?|b Fb/km1( ,gYXgJ}bBtP1X[7lnԈ2xXd9?&M[7@ 5|24l[:\j&7K޻%>CN%KWr FUcb[LyVy<$C(gI<+uJ6M9W-Cf[$GF`̺Ō%VaW5hLzʌqGy"K߂V]%=JС z-~?_DK-4U8??5~PRUD;=GYB:}-zĜW'F?S-˂b+>&dnA hDUyOCXhOAx|F{PNf:y!7K $7ޫYmUYygP|^j2UDkDˆd*蹹\l)_DiKz Z gk,6(ä}9i45=pډlj%BwOmG>l[xO8(&MyC(ʹX{PO\$k (3K{zR-ْ"~7NGe=nַA%/f3ˠGUOf~ Ш XML\Y6 xݥxr>Zl9v2>b7{gfvQ+s?JہO&6z&nfC[J^_+^5i8\ .l 4ͲM s(z)WTѩhI`W@VMM.K n_HM#q+h>IlXٍ6kʂű}lg_i}W$)ugFq΅r3uDapߋu>btvm߫NR\Օ`=g[My3P;g"ե4 v*gA:I.8g$~&*7 R4xTV- G6RT٨R3qD{DXi(?6·O !jHߔ2@Tih.bTSsC|g08