SQLite format 3@ .0:  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 GB\Yqiăx-":e$:LJIM܎74[u.'{l ygO@"ȲA•Ƶu'KS/r[țAfch?&A&Cf٬\K<5157EO9#m-HHhns?@s(lEe&dWrS˝7)M avVS5d Uy;gccg,aL|bDŽGG/W<6r.~O8Znd^IJ.^CQgIJ]qG:U#=xT*ۊ5WhJ}W@}dM 6^f o%l1p ăhTƾSz_?= /`c/Bhz<`we#\HAӶ5UӲ<(o{"H64F'^~pNX8.ẈIu۹\8 ѐSt3ld640S A )|RI/<g@-?E v%X;!zr.'x5 >zEܽ>ͤg,C>قHw|>7>X $#3Z9ˍG1s8-ZT68WBe,oŽD7ʏ!f-^*`=*C@'O)jƌjdv௞R^E_&I.}4#}?;ٷ0 tf=Mcakpy9 +G0h0]S_;cUͪd̪EԺٕW>72U}I< 0mَ/AH=c=e8نp:nDds4I{#mzG=$Y x4) QnƘǁkQ:Z6a*+|6^¡V!ۂzx f+4KKgEx }vyrU?l^'ښ0̇ъ{#O}۞Z ޡ䴧 zb϶%X pC wUP z (I`'O#%*J>ߺ0>dB@S0. ''SGes82&sg0x0Nߩ8 DlaT?hSȂy)Yȉ}bYl2qyZA#9 jXd2k!4,+7J9u#oB\ V;|3{bOE >T:EVsw4J1 JMI(k!F^]zuYd2Em5KF4<+lY y⼉F#,@[vӠãǢ@όmRkT6966_Tv: +1L/<J 0 ,e٘r 60G Jn#H_8?}O^aZ,9r aF3h2 I zD~±=I,cjR .o{}QfH[Q'?=[σTi$5m:kk$h3gW橭aXh I kϸv !씚R 'Y-Q愹JG- 3ow.7ɝhvH kW+x ]` Ln^w=)}Z8wF,J,m#eFc\.y*˹AI7V2y&ߜ@ 蟃ŵOj G q7iLteZ5UBcn/`G 3*4Cv 3&˯%WM 8~CǼP┷Xp/g v"9Z/j$%ʊucXy!t"Mn'*a9=-gYZ7zXZִF! I]ŗXiɟ˕:Wl[aFk _)%̕N'!scE S-IwOq2^=@ߞ, ?xEP$Y~gC9BDLJs^EwD˄itP#xsY '< wh>A%>R?d+E=΋S]o ;ĿrD8Ī8O7%t^׹%d \2;e~Nj(RPgR>3@_6Tl^~0bLfS!#?qd*o< 5YHB~|ZײCV(6 +wlqkra0OO0Zo'-;_=6` 1N[222B9tro #_8=|9ݘ{#5N;}V?6Ǯ_C`ܝMbG ͕92h`k5̊9EnWT;kokjWJ]IޑM&o;)B/+V˜HUo;lp軕 )ɻM/+;&щGz68̥جll Ξ,ѓҔMx+h8[",Zr%c$#I*!̅> xt}ު'|QG:" Fo AD X#2m6K"P]H]+GRy 0}?ȌS7A}l+G[t8SNTGi$==w뺝ĻՆȾv (ϐÑ|c,9*;Xǩ/.K@j$UmD?ehBli!h17NiuRyIΓ}2V<[Z%Q^9fYoL: EGQ=;nM*hO5g<ce{gr]?xKA*w!xɧ1!BܔU`Ə? wŖ-h肁E2?;w^Ⴍq.)V7!3 7"~fݍЂ)3<g7)EfIH''lK'u@f .S| rPwcvX«.p ,qJ &halZg`weU2[wQV78II I O ^-6ϊ'<7fH*&^$LF$Y7jSf>(FѤ3C(7^#:5N. 8;Ԃ1SE@s ~Vd Z͋vp?X=t!3P#n)cLީFA*gZ& xW é-hkVq]x*;3yZH1˰cf`n?kW:?JiTz+\Qƒmĝe=^f5.8>|'{1.16 Edj བZ‏}#Q!Mɮuk;qn\[P:H63¼/\@~lxcWQzhM5;ˌK'ڀ1ie` f̣Wl058(;z, XC-uMx޿ؒYv&6.֩Sg~usK phƨa/σsKmIƗsjrqojL%^dodsf`tvL9RK-:r(01:ocw^$|ђ\*3+l_h2+ N@miM kgd&D5r"(X sa;Z-הJ(=>\ MPjnj*`bIG˻Hj:i7c"([ >Ʃjw?'A3Dl d9Xﰾ/v\Av֧!g"@ѽn*7#[N\i$5Jo,wi ^͎,jl!>y.D}X%cg,>hD@,(" 38xrڷsW).*ȩOQvܘp/eʫ )KFiXi ݤW>=3 MࢶA(ΜS"$D+5vc R4E iq<淬YlP(kx6NKnN%E@d=Ba%W>^KЉsΔ<_= Du3lΊ@B5zE~?{cdJ2@8g5ƹS >_SsdiU~FԓٍO0e0)A xcC&/ԧN