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  , ,I+ ,ll ]/ Decl_Sem_Fun_PL:threads=2elapsed=40.223cpu=76.836gc=7.492factor=1.917zXZִF! %)]ŗXf1-/6vRZLҨ2y1;B=Cr؆G4B c_]>FLaj,+zQ9:JYk*f8c0%UBw9%Q6$eDa 2[q'ːY$2wlofhcPgi;yV6b.WPO?VoB*@p 3?^S}R ھm%+{)Coĭq.&ď淭=EAY;ߟ0 =^x}y c!TT sc*;U'גB + Decl_Sem_Fun_PL  qr-?i,r`%P{by-7{t=B;2VRSC{yIʚ2˂"JZ/12/ᒷH?{}zOénD΃ojh̢| Ocj4(hkE^S8cgRUmx_3^_syR"( @'RGo[#4h6s9ֿ+)/ɈYwrbۘ2fT*يrjz6 4k2V'n+xvKLi9ft>B5G%\  JgYZ7zXZִF! 0]ŗXiɟ1˦r~KunύNN{D#G"cov pN#hNx8Q)1u%tZHL YQ[V> 1J ]n8R)~} Tj;%Yc_ se#D üSA) 6(*Um5eG挓"b /V jjx,ɉT TޙFHkn.%ko,'R ~ج0,wc0⡒7sh dtϵ%lqudC%_N!^3B}cbLiF}0蹓]eK'[J1' W 7P32@oP0VDg$|.:xރZ6a&/ešIeZ z|" =P6uyS-CDcKMD>:7 =p[)B)rE@`?H Z)h^ٶO?_E i<0R袺4;HgYZ7zXZִF! n]ŗXi%>go?hZn A!B7[$tw;]N;_q&^D29E" a2 _f  T mTQBn$5R NQD6-8n?D%~9e[g,jvՙevlm5|6 zyaC :HH> ߜI,~u0؞GK s]R63a\܏H %v!+aixuyG/y^Nӱ*ᙜcȝBQC5nM%@]I̾d˳P85tOPMx+doW?jiޒݾtrB.F H:<2qq_I[؍wor[已4h܈pp{yzx}4Zt&J,?PF ^u(fA`zSLaR$:^80iFlM1_(lbĐdiߢtr@569G Ҝ"s47Nkx_q)cbs?}x`?U˓C응#qjQftKYj*09yc?5tt^ ]3 u_d%HCRՃpN]#H(+NG<&dJt] j˦I'{ӲCc(٤)G/-]R 'ʃ1`hVȻ^i?#e4ƺP.aZ{jcLyH?oVd!lڌA%O 1`y ynO,]`oE᳎dvΏ ^<&ZgJv"J@\.@O :͓"r;Kb!ppW(P]In!}|ēTT[IZ/Eg/Gvb z̈uṘCJ %y?I{-} cVal8xrf6keT_yt=p|ztr0yZ߀j*@~W"ou(HV$Mფypu. nXFY-G6VJ:P\O3&=;*jEqG!d޸.JᔝI5E2e)%+B@ש' #p %̹oK ,O (A}}-L}ԽCfI#_o:D- ~N W^4# {1|D ~;J|3H)jP0%ʹ(s@/:k m"aT_%8O;)kN`lnl2=V?2[*NXYRnNef6ȉ*8kmGF]Hn,|ҟST?rL$BaDUњ!ahwџ'jH _ "u0R'T[QtvV洗#7D̑/{-|/XI% n:0`R r)"֭$"M|=ΉM3pdx8LmT6nI(,L$]FM&iw#] fhraZϝxݤ)?Q#8tJONSlO-n_M*H,b|yA:Y+邩ECS٧v}I¥\*g7aN'duxW]$uN&0 'rth P^TO?򂳙(qԇ`<"+u479WÍO=]uE 0ߖd2%vZ(*/ѓa5r/+,`M3uX\ a v h?|Wpt/g.+wRZ" 7qZS & gZ>saS(}bL:0)"j7Z❛B%%\G#Z%DTPTeh\<^pɓR'\v> ~əP{? # t` 3&U#A# 9ޭCKq**?x nAuXhE2XANs"[*< "w(O'!K `ɕ ugYZ2b683256ca0c26eab5f0e26215ff7edc0ec9758197833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3