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 ..7 L  Category2:threads=2elapsed=19.061cpu=33.660gc=2.076factor=1.777zXZִF! G]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gʆcE   Category2bΉgj JH.ܦTkrٷ^cBVÂaVOYFhdC-h)dU#QrG&zc:P 3+Sy;᭔"op_ړYu7JrNI%}V)"&GcfӇrT<!H'҉\2y#̶iSC9.խwt](1 57#{IQ Iql|5'>v&{cm5}(&q ؒ.Mcbãs"bݧ>0.W\icT3hIɛ8e9Js5v5i^Vx֠~ze%9j'9xͼ%t80Y]di2ΚX<`AQc7f+tP]` :ibwCˠq| yIK{ kdӄU߹ʪ<%B-Q6,vpUߘ1{ yO-sRڧt*e](-D2&W^ϠSHC)Whku"L ]&K)&Y1MU#9bY^7J2ue}ަւCetJ9зͼ_phӫWܺ+bLM {`Ϸ[c12\ADlB^?6v_4Nҍf.>$I}?k&^:oF qzy d<7q:Iǘ^Mop ̇'OȲz`snd}d]-HkӸG&T]YZ(Ъ5ÜH"Id5C v1ĞQ+-{nj%3l3!<}; ?W-W׬&S?VYimmїcE \ BN)7N%d g(s65nr{5\Rfy hǻAhvd{h,ɍwCB"d;퇋uIԒ콸(7Pa{Gxi٘b:'B™3vh|j-ˢ<&[Z/T(7;ocA !ց"=>joq_˴ .,ycW22b^=*FTUc$zhn@Y)n4^ rm~J#ftf=IB{&5#]I͋gburD0G??q2+p|sepXn\N8+fswVjWeM段NLLY#N3*IJlˣ&+OS/5Gզ9F+Q`8$ڐ hV X7y&t#2WZ\a J e7{f{քۺ9"edKmXY5gxƞpRпM$q+5{1>zj]'T͑rP2љd JE\t޻ymLҨxmē$ˤ֊s5OEl).>2#, 4m1sxOh+]@%-;zCh=!D N}Xu5+5׊dR|-'WԊ>+͐Dc8=!>.rlοg/~Si;3[b4f΄@,߽̓B\ agT/"+.VA7WV݁jG>_"K妬ءDysE"\qb_0*/k ='6\ݮ)K~lx`y8҇d3"Kf:K=j3-CM3a0#A,{C \Njc(o_`T,Y>>GTw>Y6Okv3vCWwT"ow;sWRJ0:7#Cy](8~nA=t㇑O@9eFiy@e+Oۈ"U} 2u15-U)G5<҈558{ńL4,k6oZ ߕmn+2< h^ڼolF@ݽLJf\.eR=?ԅk 6TJ S@Qŀ5%w0x9wevqAZk p[΍R*CP-5zFsE~F^tU6+?$g$*f{WE10 ؤUTp[hלƟ3wd.i8`JN>63JP.8》6\dÒԇrmNuƸ|및0pLrep )p9'gP3ulYȋV8@)gϺ̑`]˜/aqrfT^wU#cJh.Cc K#C C=bLoUQsBa`W ke"~ |KvǶZ$1S;?xp_D^sRrEݦnDY$A-Y7o^̦DZW +pL`X՘*R;ЈSJlÞc%Pl$EpJd:CTZӞz^MQ>DIk; {=R[Hǎfu^1d~5\̷+7(0髀œa*Zu+_ R-t?_:i'#й I;_ &_*r"ˉ{^NB.'c!;|Le&(?s h[QIܛvy%`45tDݳJ0KTB,Q_i;V{ !#Nn"ˁrSl}QvAU) )hnC&^[-aoSq:k>Zrol@M&,^ mM޺'t:>pUꭞd2I;(ô+Ǝ2t?2IЏQ)0@~ &%zؓZG8GS9މiL(,3S鴜3=B-Noz55)#KuMhJr-.B_4Ho$kv%!fK[|MtH` Y!%r;*Mrp2jus8Uf9b[ ]} S\owhvA\ &(l C.E} \ɱZ)&|p[W"ir(g=&!K\:ōtE_irKFwmW]LLftkq]EωUp5. Jߓ Ġq6Um9L?L?<0>ZT֋h2fɱZzmD9M7;M Wt?WۙT=мkd Pzk0 +0|D%&?6"i|5LXtQbO7 RR VVPC*05(7C L gYZ00cc22d1e149de2b56ecc5c1b1c9acde14f756c4 1a85d643ff9daa78dc2008ddb49d7c4038929bd2 2eb5625e56755fda5ce3401b40beed5169cd2f93 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 8d27736d7b5020008fcc2f11d1d6e066fbf5fce1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d c5e40c169c35a0861c6b29bd1a845974a762f502 f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f