SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ; || ]/ FocusStreamsCaseStudies:threads=2elapsed=32.807cpu=51.504gc=1.708factor=1.577zXZִF! #7]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[yr<Ͽ;%*Kj!sAuaL&æ!7˔#. E 8|r0?` )N X~I^q3p%henz;\|莶P1q_9ARXWEJh.}^r H L= PU3_|w6L?l2hArj+W{@=3`x u>73T)oq:߭Zw!]2B,jN{Σ$d#-@y7I5  olVʄdk2(\frpJ EOK zS.uwX3耠.~UӁw _XsNF;g a]ʸ֔mk ?.pb')au# $I({ { <<[G12v?41Z~paa*ίX_575EbLhQԕ2|PPwŷ$OX`ӳrpU89$E}Sdv{oErbj™,UF;|e˦d\&~*#}QhlJo2n^tur!{tیn^A}q+vo bqYz&''aw;b DK1G-;=gYZ7zXZִF! 6]ŗXiɟ/L526غMp9έ!sWC; d/3.]>qDPthggǼpbX{3vc@:vHJss1OA },]iMdxfrz'*`4‘(Ѱ{{O,߉ܞKyB3JS6 RT *g(sB!|@nZjS`HrmױF52~riO\0|d %]X2{-A 5e,l.?g_- WK9t(ћY%g/vR3%MmdWMo(uݧpPAXϯ!:wP-`@تe,V:nOxz<F+)8Τ/U <L@.z޽RP1jzF5Ea 0qEeĒUn_I ۧĊ,J\vEׇ !@W">` VlX-vضd(T6!o3 W7N" X)5!*a쬌t+^*.:1:>vfk9G"-rZ D1_Y=3{g7`'k)PLHJӓ;e1K=B] 3Sq]`8fl\nդWX6^Z&Rm%@0ư_[UxM|?ޛRRN#\۫1++! cGو5lCzd%nCK%7S~Q#F7>5#];!TL\`jz)]:z*wCiMrv`58Kae fXbr\os ɹ$x5Uƻ&ͦjdsN{DJa,"!h8Ȩ:Q(н1Uf7нTRi=ſHl6VXz n!N`fh7~‹ճba'1X}O[ǔ/)!L1Pu 9\uq48wrr\ЎȂ` {+xG(k[ ջRE޴ةmTurK0]t ׌;+^N%G~FvHW|-ҩ-i@E/g)*ÿg;`/e}hg@TgW"V cKGeUs4ZtxN{4"g)m87rISF[^F<.A\滁Bz 0Tnjq !w~UG eoƒWQ>ghl??m.o1^ v"Zzb ;fS2NO|Qk$Ϟ<(v 6ޣ_ɱdI7bFCp͟doAs6$.B tOu!+І#R *iaK2 'ņ 4hAh ثw5ʡ_fgqɆ#"X#orrSxA0y 5V'hͶF#&=%ѯ;wo*n`3ن[ D(ZJI%ʚ]'8z \Xr] Z1كTtarb @DG(ē}ՀusvXaNP}& T6<^WW;w߬Kmnw厲vnKҨ/o!Hx0zh2)|"{g - ,3n]?%\ s¸OV:& (%Ϲ1Gv2|:)kRHKfr :w+ S28Nܬm+ЎM!Jf^"ii i!wcscT<;dCZᓁ<$ZS~MFZ -9f}Km2~I=뇨qGpR+E y|VjY+s:",c#S]]_Cã;!nlcw.4 !*>Lpr2t.AP7# cWʥR4 +a?` "lGnMIG׿VFF~oľ:M5yub%p7PFu$? _j|N8&ܬ !lfw0P!̚ژ-SgYZf203536b933290346dabc5c6ccba75ecbe174695665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ; FocusStreamsCaseStudies