SQLite format 3@ . BBh77otableisabelle_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  ) tL, ]]Kleene_Algebra:threads=2elapsed=50.266cpu=84.524gc=3.728factor=1.687zXZִF! >]ŗXf1-/6vRZcm#kƣOw C/팪¼;o{'&:&mAx_׊Sm%s+*,(Rff*>zu$ƚH~I尞19 cGi[Cπѡp^o.%n)H\5Ưe4xZ",X_r]}pߒ:Ki7Hds2Z%SNԂ' 53P;GеEl&?6q02`~1%=h751KLeS]U/c%l)w6F+(BZcHT%-+!3ƛt*HDy4Vx~ ѵ<\~ *PI];u\@iz@HA}T_mTC|<-6\[9 cl4.DeYpel_N-f8ɒ4 m!o =oIOA_r;TbO[Ź zɵu^xA=x=ixL%QM 2End$JH8_P6MGiutP;በ!' 62+P  ,9b4n70Du.7Q/3kn$Kص&9M,ﲉGꬊeR\9%1蛾2 j4@OF7I]L i8E:OӪqS sZqU"BxPġLX<51kQ ` ) Kleene_Algebra;ސ3g$!\\V\!/ʆWKIVم;Oіuhdƥgtt䝅R@IaqCqvTiw~٧{v}Z8G5CH~˯4VrZ9-bbp1 pRKz{ DyўhpQ$ (迀7^a7 "qwhn7Y}[m 3\10SjKc`>7kF>ƀQKHO-tgqb3!WEȵ A<뱵IEjSWR4V0 }c$gYZ7zXZִF! ]]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]w@v{dV!6p6a0Mjv|̵-1.Qx"+<1xMkZƽlø#cdvT8WxKڪtC%BƞK|sl%p#w!v89y:`܉4@%x? SadWi"w bf[JėW * sWPړesRKn;^t; 3ˍ1:੦%rQ ;HB陧Sve~m_%_԰g? _eTgYZ7zXZִF! ]ŗXi%9(Pύm~tV* cGBNyjL*J ITC6lf2/Z>򢐫{>;PMn%IVAYZc.#wj&bdOk>qzEA1-\˜W83+LcRBQ⤖Yd}㞁Ă =K3#oc?f+olǿ!u/~* ^tD^mKRˬe6wA7~o.? :,5-{K<>.q's#+ V:*}lKGZ4p%O?GY`!5|W$U[6}^ɬv1g-c,f@*z{x ,&#!SQl/852k-`cZZ# BYҶ`)+dp? ַ4jZPiQ =/:-o'q&E -"CuԻV%'47&#ؿo@0Rj` \]L~c(W*iBAXӾaUN+lZ"PPc>[+i7fq\zQq)%: &Ϝؠ m$bJ89r⽥~ uqE둴VH<72y$K}sBUe՝ 7|g}hY^(@iDgP?LGV cѭߺE ^] S-8T݋7j1ePZqU,ϑ#4AE7&an!ngm?޼]>%VнcJA%qE3e[.u[HYY`0f*!*+y9RK>Z6+f*Fr[3؈+ yhzm&rRrx ~yhi@a`۔Ɯe9>P<)%J~qx+eNzEał\Z&[б"bœ@=}@ qCT+y//96X'E %WMm^A&aG.4|Q4f_DW7%K%bm?dƴ{ڎJ)NX̌v B͕Ū^qK=w%⋘eA8?~:%2><9' #@Y/ 9M1E@S;t:Rm)C]7ײ_cKGl7~5=?vzz =FU> O&}[~@L3Ʋ7H}<ͬ ?a|MwOw؅?|'?}X_V`h?NѶiΘO KoVr?1 4sfޮ۽wmIؔ|~1?^Vz "! zۛ͝SLii1x2A7WmtC? Eᾄ :oPc}VO)&0QɥF5,='%O