SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 vE \D w/ Name_Carrying_Type_Inference:threads=2elapsed=22.692cpu=40.184gc=1.468factor=1.777zXZִF! _e]ŗXf1-/6vR[ְ8vd6 F^HfeLs 'ڜökD\SjK8WsM Pأkӡ# iYr;!"\hQU%^* WgK:?%U)>[c*쫻⠐[a#()M):t'x3nE~) rOV$[vK F8ι*ai<+MJAi*hUhsT xQDn/)=kOjٜ9"ߛp6d_L[O]_4M}A,>mv^{ڮͫY72q txB͈*"YTׅٸڭrIFzJ\Wlu18V?+iRr_i*81G_` /X$i{k*]p 7AMo[g1ڌ\axʵq-#qw:iٺig?u?ԙ3bl=.bHllI^߂"S-${2⩪GG2s>cQ"qa2ȫ#03մ9ԧ0t {0S&]lhZܾcl> Fqؘ#]6ةMT8ҾM ,T#}]1)(zwhE εV2!:7xne{[:#uu[џI_K q^SFv\& N8Auz$eIT\Xz{4rl= NL!ճ9-8gG{gS ݡg+ǵQ!n,RШX+F12΄g||Nkۉ1L9M6b9$ʸ.8-P}K!*OxX^qMv:BVOWp&gNUB Qg2H,xe%*g &HyRRòsJ:i_NKWNXUGM-yʙvx.ql;tR[DSZF&@֛"2')f(>[DqSJws vE_I@Oyq9x[ p+%dZ4LrOV)9xi0mHhLj8?DkU(oLN۷ X] &9P)O:M EoBҭhW"$%.o}z] )%-lѡ-I9Eο8p0$ j`\:$ b1Gs7_"] ן &5[LDžjYtSdS@̓LKu>5Q 5FUH8 iz)#SߌDyDy4 ,`{UBԶ0B9$wVVk1St'Ψ3ϺC]*jDY6ڡ~9NqWIhǑZ\T[jb\lm6mwRAQ[znDЉ͚ԽeSQ=0= 2W<br\ *`2KX"8I sֹgV_a&1,]v+2}fBTzʜERc!L/f%# :ЬgYZ102e91e88ea466703e1de74bca953256179affea 148b964a2c838a65820297769832f0a4b0980c80 73a60939939b91cf59ebae3ccfd3d8699fb9f9ff 8f7514f7f3c6cde1df8cca0137f6c6b563ac7ff9 9b8582db3b4568558b0d9f198972e936b8720ee6 f164fc0ffdeec85d10239d06ea0b9303feb82fae554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 E Name_Carrying_Type_Inference