SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^^% `;Gؽ8n򭖈:)FuKȾ"1-I4:}WTF :F<'6mrUUt۝ⱗ*Β}dHU~H(lTwC:RQp&^Gsiɢx3><2@1 @9W+[u`˘! {'X4빃ȏc+ y1sV1Dl]fFN#)/940\( ؁)'ъ{'&ҏw9l kCkH8zh0Oy @Q)]=XFϯH!A]gcgQSxOLh(xLDzet}; ETf&`zR!GaV#4dhWmQ8f Y 4 qh *g);GhoPr=r Cs6ʀHlxdl ⥪HW9)}![9-`kPv_\9S%Ot?Qc`с5ֿy*IYңɠ+PxZ*w,cQ)$A>`7hsԱqA|n1ȎD ;-z2ahu7PutOɽzw?]NWWsqPryۡRoZ& Dmϻ :4 J.Yzċjhm>\A9:c+Jn]z *!kgY wT# t߂LG-.u#*XlA)_ڑ65+zoF_sg/&ښ3'ߒB}B&[._6@)~1ʫ So6^l urkȥ}!I pp U[b]47QУ_GVl031Rn=Ů{`.o.ȻKl8K \MS6_~JB~\}U&)Usp},}ʱ50S\`q~C|!F ov j Ӳ?GF[#0(G)#@.?^R rsס_qW(b:+$]OliuX^{nd,7Ly+Cr֒}Y$,R?nJ '?Y2ȍJ G%STRϼ`" i~ 7Z *(ʗ]MBwVu-<ffޝ*"eHf.e 0a1&-&G$^ǣ:b%zWql48/|ęv(]˟gMkVR(dG}˯Bb9^2?ˢvgu5)[};["+<:q{}Li w5ȠKQ7ۡM. v6Ӥۡy3Fz.!xq`2Y}z;1VWvHκ񪐂UVs(*bڣ-[aTW(HϿe9iԿ&}.6VHA(|(ndJ(a{ g̕xUشw@[E_u~7 kO_CQI_նA jff(EU1z~sBxhauC +nl878v^f{Q/u˜%8!Pьe l*X6g7x Ivp';"oPj368b)ԗ/r3Y?Hh#hv]f6fDP2%)6 03(Gms`gnwhcX-|MP+wO2 j$;vJܥtxJ>IЅE8bN/y R0j+T;>/b,SiM%Laf,29;ዔ;'FxzlX ײyT Mv!<)`RʼrkTg.dwz<UK3qK hPf幍W S0olU { ͦ}&K0œVT55[kpVF^wji+9_L8ϋ~^G@mWuP-ǻ_M>F8 lƢ-9 `;m[p G(L9M9fDG¦QesTEBs-ܛI^0#S،ěkƒ0l_̷Țq8CZ6i0{z%BV 5GJ),NFlNoMHQ֍bwM5XCV8&Yp}^)9f_>XV;5Ɐ&ϲ ڵ!\x%݅/öߧQ*FoJۇAvݽ:從;_<21e}2g*ռc/]u!rg|);kW%e(y:Ws+knX#l jPѐ܈x_*,Y5ƥMtSpF 莚9]J6QsrMy{s4.mLF826R` "4bB %"V.NM vפ]iJ~`)[XOL#p̈c\_`Ky9y\8~n'shdٵj UA︐HKdq`eɈ$,,{??:o&ȄWPy̹QR d:gJ]a'џ^Gz*cN5 u_n~!qz>Ct>3qz4]j2-ļY0= @d0y5,[~{Y;9k@sg9ܽS*Y6WԤ@jƅ5LT x<7(a*D݃Ju*0]7>(W<"irC OP {oH {N9ћ)?OLk2Y0l- tggYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 1a991e74bf569c20a5e08125f4f5f6a81d551b59 1c40359cd3b1449d103902d7eeff39fcf5ac75fd 20ebb6cbda9a73b97a6b9f2d7e86df788d36e65d 34221437a109a5594ba7786476b5abb5979a2647 48df2e34c52cfbdd85c8fc777543850c662b389a 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 6ca5888c24e8690d8c520b193151133dfd55ccd5 76257fdf757bceeb5f7da0284ca9e0422058891a 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 a120cde963232dcdf0fdaa95e25874c8f0d33d44 a6d881014016ac510413e96c94577bf126ea335f afdbc1703bcd7f3f333c2e1178fb64486e56a6cc b9c5555005d2457d66592f71382507c4831b3f89 e46110e63087064fd6f9b57da83636706a45edc77df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56