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   d0HN.Hm yJɷd!HoBѿE 5Xn!FltM'i'M>m^W*0%D'Dxh'P"9nsCS? Cќa7DWIZ @G(k41l/ÚT-u EܣW˘v)^xR0N2FG)*%ȭ3ECZs ydt;]oTRY%2i+tXoǽ(Ev|TL4@ Uo?!T`= ,D%;ƹ}Ih ;SFeFx\2r,tT 4mR{Ը3F<.zHE  lH?}pPaWH[XF5 mݨ^Q:C>/c|M1mPs668IChhCN|:G4z.\=p0yi*+oD) c2aiMh=ߩb 5&bH"Il*Ec6R7)QjyRGxqLlBrBh:en;vɱ0_yKRf'^0Its :_GuX*>GnYbޟn Zo §DR?U0e3 7%!jC>6oU[Dͩo0^+}eРPVE9G/4&_(|Y4GC=Hn74e (y%щW 2w4 =-qe1.ϒM.N 1p\ 7Ve7FVd{6o%P6ѣ<Tt%tGkejJqc=vit`ZipG׈+0cl#$Z`\JlKmߤ^PASLIU5?PYAc!A- m^dmթs=&21f ?沎Ş?yH_.ia_lN:\O{O; Ty[! hC;gYZ7zXZִF! ;]ŗXiɟ1'x^܎GzM8^8QdMmЀm?Ҽ;NpÚu|%!W M`0pW. @sH4 U^%ىo=nB0 wYr8aCFպW;sfwff~ ,XoqpGF_TTZrDŤU8ƚoxc6Mz{M+킒 {gC6&jx8kyqƽIgz.C[2Rjb羚38al{kMn[3*˪F ,G|ߺJy:3<lQx064q*F%Ro[XB"RUcZ\Oxug6P ެ M"ˁ;+Zp Bi)|bz*l1Ih93ǸgYZ7zXZִF! ^]ŗXi%>aVG:V2c y-m}KS"_?\P ("Ve7{\Kdpe awTƮpKu.4̒ vz;B\1MjJ!=16tť܋3 ~I~Lo X_J=7gLxih7pj{M(֍Nh!Wm4erc]5ōF0XWMbExugqfK=W[)؄{xΟKᾦݩ~mXl.wרn4"jftJE6-aW$lKcMTywV= :z貦Tď_!boMSjP@pShL3'mn[ʗI2;/%cA2?Tv>_X.尻*-,!"y,{/_TpƐ롸/V􆹟Svza`1~;;,'wr~ǞC#} %֝8V\pwrkBKtx`lĶ}lx =Fu[I#Kn**Y)t+SOJN;#LV|eUȷBw~-Q0X-Ƽ8&>FZd2VP} 0ޒD QK}]\TqKJD]NS[_Bnln fXtOuvOc}:5d&)Ц_Eq ؇T+CS=oN qq@uOSOMq09rqd)תC6F >2Xq w>qDDwm~XuSHqbD~s,}pR(U#00ro su/X2P5zaطYO$mnR#@}L)3)rA4!$2ZO+@lQ 񾾲4Ȕ< ]AoS y&pMl󊀿0~eO0Tѿv_fV] RSΩg%D#K%dn[ugsZg>J2RK&V:m҂3R63:;gL~t)W4zpL5!ӭfY_XI4}mc) b؀?jĀ DIҐbqՈ`Zb]p<՚Nuuȯͯ5FUl8bВUS,@M3+vGXxT]{̇/shؽ0WM 92x~ _i!De.VD̨T((1Q%<~*-_^:LiyȬn.V#A&£R{HEe sX@FlcI*B6la-'j p[ `@9k2 > ݌Hel\3dN#%*z~og>V7sNL,x@7AF£,7G 2Ɂcmڞly?6vQV[FzN|̲!+ Cb=`=s%}bpZ#!{g]I DXNy E,yHħ+W]gYZ431903457772de315978c23ecf49bd946faabd84963f5dbb395fbca1ebca428683961ef28be59393 27d8a2f2e6bd96d232df533b2f806252fe1eae7a b25a7482d85d598bd4d3ea67426031228d90b41c 0f8059b37ef8727787a8bc185c772351044bead6