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 GG6+ 4$4 ] HOL-Analysis-ex:threads=2elapsed=35.893cpu=43.896gc=0.536factor=1.227zXZִF! Q]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'f>6I;B(޻cD~-vp3DΆ J)4pRO}WKzl>/.[ip08$zη@Jݖ[gq4g FI׵1DxjjYg{iJh_54ð| TV+ ;ROszfO<ȺG'e7Jfwȴ|,tb\4ܫɱ:`,ygYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.625cpu=1.248gc=0.000JI+ kS T}YZ7zXZִF! uR]ŗXi%;"PhL(E}̟ _e`~=6=޶0O9 M1I]!GELF5'|j& yc>!Z u[!\T=JjFp -\VqPsw˪OM%C`eUҍJWL{;sju]^$3θz=[2i4S` kGo8<oe ?WvZCxs|k3Q݉`{XGO ~PveG!b:w}wh"5qBq F>0搇_NcF,V6i:4gy/mRBg-x+u+#6;T?r"ڇ)"bXK CN=qb`M%R_l3p; Xv H K7P3ð%*/ǫݼH!N+OCp ȵ.k#JG$DxK7̾-r[Jcʓ/j l `BW(:2*ypoi$R]o~J-/fn /nm|& ZtT3m%Ϸx&e['Zl:ǿ$NE$nr(qvGNitXtbuoJWqRZSjD>JeR.pm1ݲT$3|_?'Cjhr,FG*!eznŗ *}jGvu#U*o7|.h0ѫD>Ӧ_M+._`a5̊W'ohDz\~bJ6,&Q b*^: jzmP0M魋\6o `Jnթ,R b.WBH#XX[0S2]^v V3hƒ+-jü<LnrT&:tpt'=\Vo]׹Q6po!1Ocf㧴Y BͰw>}RDж+/v< |C)?Tk`!)]֎)7- ȧo`¡X!8t˹f,H%@%}n|MJ-,LfC7<kfz.)gP$]UC{jnbIot *c}u u2rIY˺KƕnU1_A@ٌH%OPRz)Ɓi `BN&carb1F= v3ydårpbBRzǎw&B-u 7ڹ[Unb&$Zet.Dz)?pc&[d}[_S`u'ۂ-0\u++}nוm*qxO2ɠFf$@x=Xﱮ !+_b j40c feod#j(<iLСYrKwCx >o  Zݔ,9\߉Fnv˹9j <7S4uby!X` .b~\δ^yTSU@0rߪ]^`:f"]iJ<ҁ҇BʴҔɖnWagW VIF[Îyo2lPtW]%`þ;֏¤čg6ݯR f8iVO?w^ϰ{j²Dt:֘=x"ӑAc4\\U&hr& Ԧ1"zB"QAgYZc081e5594b9091b01fde9ec44f72fb129c6984f4c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 7de213ae87e5db0120d9ce2641eff5145ac1979d + HOL-Analysis-ex