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 pp ; D|< ]/ FocusStreamsCaseStudies:threads=2elapsed=30.786cpu=47.360gc=1.428factor=1.547zXZִF! =]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[p^Qe׼OקO22EBsyȑABEk5vlfz7y/h clӁHAR[q>,3h+[Z q'_)͘Dn+gIbzEz>[^9FI%xôu֓ы2j HS1Q,:1F1˾.bi# H-\*˗4cN:ǃʰտ/ xBԂauJQecE+i$-0'Bԭp7g<(__ϦAU**$RPpz; Lw8fO9>RW(*'J t!mĐx%.1eD&3 8DzNoaʷ>oӚG@edm {.# S% (2$㣦t,`+Ԩ6]/wB\E3s`0/>|$U'6B;0wgYZ7zXZִF! 6]ŗXiɟ/L526غMp9έ!sWC; d/5'kU.]u{* Tცtտ%mنl>D@djN4Ki=Z |ˢ?2i3 ;Hv~ ԅ:F4uݷ)wb[$ sMAӄsd?q#Es(96|r)R BB8~~Ffb|2l7E po,aJoZn_wo*`DŖBC1#jǃMֶ]Dqoj ٌ:89dꎁcQ#n2i$vG%}!CW/ve򚘍AZu@Dϩ_N`yVI33 nKFE/ӢA!~,J^p xy}oxʇpl!Qd*N#\5^gŊеpz∎{^YB͌;G%zԻ!}t!TX8Z5tʬnw~t: R(要-#sƻeBKb4w$R8%7fX]ahT>؎{.mӓM@_yfK_pӏ=d $@oMneBά fOͤ ws^!gŸ磺8`uj|'~uC!E^9Y.a;@$Z}/~ii?߱06gmWsuʤꍼc$.M/b>HWN~fvhE_([K@LÑ`ESBm*iVopvP'4}wB]rrr/Дq]&_ԇob2;\6_*d@D/bTfrafu9. =^=).k )d</R~S^Lz_l+[óyG@KH &DUi -b%ɈnHqg v9&#!H:W@N$3`x0ҕh^2!W:hH#f4n^sԥ~-N[KmMȏ w {r%=v_=nZg'ބU=sCs~biyW;T\ yKFf6Q.6E`mi*~GɍW&[/#ZK\?m)8uHh!:"4Ee@'nj4J/~xPS$ɗv.Wa p^ 烻0T@@=}+ۮf~]z-_GcߗۇM7sN=ՠU>#L>< tߐo5`(T.oWh$[Cxa %p̩Y^`T͕qJzpsDԧ ?3S<"[[b vCW/z⸘DW}:ƃ e0Ym&®`{z*ǜ@떤f<-z{Vdt<2a&B)0-j1&wbTt`RC!f|1T'0q"/X\\rf.YyQo)`_3ZG`ɳ: M,䦰Ov:Sr F֭"6u4vҬ&M`@ABPQ{N ml[s]>DW}Lq=Kz:k&{7>'njђcGxb[b?3'U$Ki.!hp L;Cy~dPUl,83+KOм‹~X*5+AI'X6-UOY;aq߀MRrb >K/4{Z(YA8^)ղ#Kg* Jt}1I7ɢbwpwbZ!gYZ0ffa431c5379bb398f22602ced3c4f0fcb77c91500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 ; FocusStreamsCaseStudies