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 m1
AVY?ӜT/Kivd/ !`'D0@@Op\lW!2Ҵ$$?#֩/irZSPw{-!.2x[~yHq o8,lU `d Le|̨dfCvݱ猢mnВS>ٳgOѼyzv6NhLկbs@5Xެؚ47fXW>t'N$Q~;gaRzp벐!v}cc8U3?yυ8E+}a 7çʔ. AG>ڹW>"3;Vo.uKEbі<lpƐ$T{s{pA|i0y 'E[^+Hfoy^yK]ur K`Fu䥺1V9$hQ a5t#Cfּ'&\qΛL7_TE| dqQhC^V0ui~r[Iwtz<(]YXsfC8OgkCb/&VffWgf}ű . @#z΄%ѡlqŜ (݄k*ے%{; ss#|>UC/Ā8B¡戄eog I]V5lI}^%6GYۉ)k# >*ԯz./l#ޔ%,HcQ@A avtf<>I( OT ^k$.UbAZtcJnEG{*Bm)Wٱ޼FoLSxV!,{ѓ d"ʈT+)"g3Үi''P^6W1?P43;u-´l5\}vHH3C-6  F.kL ÈXsh|~:?SLj8F?)#lH<6JîNLS{-5DR@9W.ľՠұgYZ7zXZִF! +]ŗXiɟ1$Cܨ }X 670B"`}CXoD_Sfw2 q qG'ƴwI M>F^K_dB -1釋%Zq2B,p[f" \Ȍ.'bq ⚰jiL: i63mm:%fgыz|C:$U5vO&IZ[wgkv^m f>0`hEeK vT,I`a68$rgz0#|7츋m;"|O0&^b:z lf•9DtPV7ZJNw՞FFw{Ѕ d`G?ߐol^37R9?"iWӈx?kglqUggڍ#U}uJ%Fw? \P (0Xl"}JFpƊː*{'._S3}'vJ=~0 3D&5d? u͌\bI`L4@lMTm=P|0 p8=O[ԩ̅OO[_;bSu0 -R c")^E}Mק]oS:@F@3W A=0pU#z as'=iBS1sĹ,/Z$c/_}{U!7mEL$YpQ v%a{dPCp&i-]vZ;rcb\ϓgDj2\R|O~pvVrJv# qde$4"W{g52,$W3.C)UVR@v58)G ^?s1ո^y'`@j?X4ux3;mq-.tg`Jc2¢>cjֶ'{X.qx}<\/p<*+CLK ȱZbb;6٢ьz2fv%s-qzh dkxH&ƁXW/<8R䪫(jjK䫖"G{/6)FTv+(J:AP;W|Y֠BOoϵp"M]kBTpI+2D pSH%.Ayy|e@N<'Jwĩ+PNwLJ^-ܴ΃>bW ezƔ E~הbՃB$|Qv6;񏒈Gyzs̼Y0Hd^JX&>$ydCo3uFOkQZ0ӏ/}3.mtB8.-![>*ڔ[")O_w-bkҫOC W&^hMɡS _d`$?I#$k7<B> MԱOr^?A5k,#?OkLһ`,} D£rX>:&H\U.%Ya.5|Qi2Z賾CWhʙ_arI{By"CJ8LoZL'Lj#c=n0xO-@LVZ07F)6  PudԬ.U$  /gYZd3285b1bfa16986b7c299233674d7317c6aa6eab632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf ca6f8106185d335e0987e63132ec96cba44ad44f 999dc9fb1a79bc2556ab1fa66a674af162d487f9