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 dd; ,|l ]/ FocusStreamsCaseStudies:threads=2elapsed=30.742cpu=48.688gc=1.684factor=1.587zXZִF! ]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[o;1wބ ;BSˆ h9\/N0"򺼌|KБ2Z_˜ɭxGvFDCFب̒,rrF[kRJdk _Yj!gT{SîdBfr /r)jPM8nHhтwTA_@+) /Vfl*?]=PR ܾ\nUBpd뗄" ^B'4GAw4u+mVw`)Mܔe,ph.;W$kMU)N{yn]t2["*lVl#MF$*Knm#򽨝H@F NM +ю~Nhv߱&u|١ʏ񘽙]ľtAEjrYx}l,~Rph0q-л\Nظ93Z9FF]ķ?B1IQ򻈔P _[tm<nZ9 NgYZ7zXZִF! &]ŗXi%;уs@O{47: K1T!QdP 'nz;"wt2HSs#i')ɰOOdA6׽[o Zp^e~&C}"@KR4*;Y:ѭFƜ%df-I PʇY?pGXyre͊žPB܍!;Q z?eliqb3ȭ' ,0Pām[hOQSL | hOr@/rFȮsMi#pQi6ʎ?#dAR=6!>qGb =]#coF;(@meM-\n`p>6 &%6>.{.9]Zy1Ř*z+(EoSNl&WhxeU M'/:j?@ q3=4w٣ teQ^X>荙XI_ʂ3 -_Q-PC@zI$CdtQ׀<+V4o ?(KyG藢 l*PkcF P]~DZ%5e}}Cqck~QBd1-VEb°~1DKǹj5~ g_b[Tj?"KhHA~kD4ڔM?w_thSZ<*Þvv$БPQnIxjKʦaR&kaeWw5GF;[Fb*R1fI&D,KD]k*S'@0_O]bu@JpTqS"8sp'Iڐl_ރ T!GJxbґaYc}EiH ya1oGS,[''1]Ks0ϋR"eNGnԣjvj"cbCZ=Dt !!t+!b 0'W,3Q.p|QlZn#2J`{} :y)"dYeBYZ&#TŕO{KFp[;\+HpU "I F{>r-Ν 7ipuFbĒ?{׆"ϻ!Qze{Dcr hE2c{=x9ir:lZߗ F:]h^ d)LJW?^n~Nzf^;\'YKP&d>MyPwm9{i.\E J!0`W .<%$%'Y-)dYX>ǰ*{c{]FL [ӈUTTA D?0:Թ9ӿqr 8o")w<S1o3m9qkbM:Ea%?qo</12 ncc" X#'2;l@l| ]PoqbR<#"ۖvD-ex}+UQ']T{g ?_| z/&K'\d~.SM@pi ho0I$,bgYZ8c1dd34b0601f7e1a64e5e164bd53b5eb5dff6fe79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 ; FocusStreamsCaseStudies