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  7,, ]/ ComponentDependencies:threads=2elapsed=72.527cpu=138.280gc=6.020factor=1.917zXZִF! ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyxQ7D,1Wx&4ӈܢnzwěx#ǭvVu*PBA_VnVA & = œkX4oy݋}育Ut_t8 #(8CZմ>7 ea:ZrN_,R5PZCth);di;OtzBb%4u;C0lw\3O"oAKvY{3PPS<1%B2Y ͧoB#vhѥi5:gkIK_."ۏgtrNu5I“&F"/0]b%tlr7,ŧ؃8BSeܯ|Oz٥,Tt童'>ݍ3[cXOU_;zbe^a)ǣ ȲķragӉD'~]5uor+KWwH_1݋q )v]._qzP3EdWLƮ!NTA6?Ƹv)[΅L=dKٚ@XA̹k#_7P/;c(w&~vnv= 5]o3@|lLY[zs9,i)G_)k|QBAlVS$rhSؑyuu)l26 ѿҜ.Y#=_"^f"H-hQbr\'cn5˓IN GɊ8!۵}#ǘbx.ɬPpiW iỊ8$$H7.A^2 uI2* VI5ۺ}v "-`Kf"ZohF+5T}_ԓGZ vtl'$EKFX9+nv\A4ogg*ۻ O GZ~'g0ȩz`Z|}ܞ\}{ ]+ -l!ղ .na;? H2Ջ% @N^ HP"[kbg曯`^dD_:F8~\}'|c(jv@0b:d0$mp퐈J2uwW$04;Ryp=1"]In՘ cL-Y #;GzKI_o*ԾV ݔ7Tw!oL 3+a%a\aߞ 5nQR/@eB(7񫱼3ɷ.](Ii~CG32PaaA.`?5-Ύ-d = tJ`}ލ6eRQN8CĬn9ѵDENrǦj|fFb;gXxo[i;y~ q&0&>A)7PdLs놑6D n2Jb )}bNO[(x7YqZ:*Ԝ)QH?J4B7UJųYxpɌdD[0XlH{-J_5VP7,jc fiK/H! A U^\ <]tQ2rirTAIj@m{f=8xn7[p57[nC  Bkv2گ}YFgN> p'OgVA^hw)&q=w)'S$9ۑ%ll+HrHcys=>sw6&GѨ+#/rjZZAٕӨd[rva&:abD\JW?; s%nc^iX!At޲k 8]3p dDyipB}/5~◞8%ACsdގ#Kn|<( Af1Bp~eH^{ni4[ZÕY)gnڍ(?~?RpT>MV?I%=z6W;Gj:*-ngaZ/Cil$]d:ue/~`W^>V Bw|ь^ JyÌ>LLf}eIJU pVT{WהR3) vꕛ.E MZFsV2=[a+ۧ gⰚmmڨHˋ l'gXs(Iq|q{䶒X+c*&ÁӜe\p>Ik9 n#z"7P( (w04JxgY R0CKRFWYQ8t LImD[9mQPOb"'4QZ%jk,x3ʧ'KiǗ},Voˏ9'ws 8\6g, >&>G3r^=4'>+Ei *Ob<;Z@ >wK3Uh=^R偟M2 ?ݻ;#oyF\e]fg5;9.Zv+ȸ^ z%pvR-ܷ(<{p UkyEVQo*5ToyJxǒ$R;Mv>N81>Ob'1}!Bz!]96^čjexXii'I2%1MSQٝA4=)~= +%r)&W^sn@ZCYxS# \c+,NuްV6z v06'TeLPjrB&-6CJϖ[_6+3|UU`  CgYZb937633b25015f04696cae0836660a9f92d4e88700b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02