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   s1 $$ ]% Stream_Fusion_Code:threads=2elapsed=16.482cpu=29.680gc=1.248factor=1.807zXZִF! " ]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]Q i(໙{;_y $Cw3ժ3#tA^#̏^0([4=fGw~RhCp_+Sz4( چ4 Ҁd::Diu.53-%ϓDÈrP5]AYFcgaJF6#9o?.4umT!e_W6:>IS䁱J8l8ϟ?+sf SZX.!fLP'.c;=eƭ?jZTixEiM!e!lW(Bh@~g:ޔ&  헎>wQ뭱rhoD-mUk$;bO,Iv$c݊t{0֗vh XKD]H@Oz>9궟|S{eϫm{HJ~u(̆]6%D|jƙMRwmǎ}ZҪ.c4xp8%^,&e8,ԭ:SLe?m]ev 8#6EeױgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+{S"e[4x 8.q.z(dQ 2I{;A.=3`.]"I)7.f)f4gqr ٨c)8uhJ Ӯ`tmy#AARtBɡ%Z5VȽk2Z$֩EE}֫_7Ѝ/STPBBt|W\ RU=g|מ! =D˴؍zu8^Dɬ&d3x`%`߂6]C`-C˸%6g;CR_9on3lb!?)݃\ъmsbq;=e>Rh9$NSʑ%GE5|4aosuibT$\I{FA/nl YWԍ#">DZZxd,΃=yO&6A5}[