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 >  ]]]ZF:threads=6elapsed=12.701cpu=38.368gc=2.032factor=3.027zXZִF! \]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw] 7G}Lmv:nFoĆtw!KZ+ agآ쭲i_COߖDϩxBjIQ'2khO 0`$gх\wkJCC{ YwKgOǾxfjE2,x %[gn9yS{TJk~n:v*By?1c\{1tx&CYVVq/Ս F4wYg=ÒaDh%|hqyձmDo 3OcRs4@SѸ i);&k/9v;d9-͉п^I Fso=YWݒէCh$ͬ0|}+HO-&gYZ7zXZִF! ;]ŗXiɟ 1FE`穵CO]X)U4"|'RJm5.SOSڊKEr-,xKLD rS[ڿug E !4e$\&N6BܑS0`'G@&f,Ӫ ( -pX) :LzFo..3Od=koͳ!W!07p=a!JLa.]g,#jBIa{T { BV AmwEcO zK&Z`c$ʵos Ѝg-藑=xL}53AiaOT" 2I_@:Ȥ?()"F o9U)v| CH /_@=-SF< i^enWt3Ow:01(H>;Mdl4o8^ȟ^mZE]z %#%CT\2!Td0XK{DdQQ؛Tp`Bc[;y-D9t6m>K^D/]>g{XUA#{qSU\:Yul=?!<۱|Ŕc.l_h"s]E]HT?#=v[L{G'[ZKwܔe/S0Fl˳"}=sI'w}=t51)@&r#=ae.4|5(PĽ ef]+WէwT ҵ͕l٦z}A.GxcDZxFcrM G,"u"9"LE.|,,Ay0AYb6$PREjs8!?KB`Ȃ+%K>ӡJtURdڥc P +ޟ!sP'SK#q1rm''/Rܨp Fuޭ-Zfs?^%ILۗLGT/iʉۈ< #dQxZ9E$G :cy̰L_s::]+~{ DlpXVQzPY!^|K̑wb$/\m\uK2RtVM@sbqS!3^݆3AyDpx}\;ߴ[[v+7m|7I|=!ᄤ{NVQ2\L,Tg'Gd!"V9-Xƭtna%n) z!b:RgYZdd4a76cbeaf59a9fa1e398059c1fcca9674815111667ce1fcb30adc5ce6fcdb5feb10204550c27ec7660eec4dd95d1f13c4dc159e7a50f1e83f84a1d  ZF