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 xx; \t ]/ FocusStreamsCaseStudies:threads=2elapsed=30.049cpu=48.096gc=1.764factor=1.607zXZִF! ]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[Ӆ#ۭIr#FbBz GE-7ԙ& QܴչE[F8ye:t5^2CyԮ(jG5faoCv$l݌h% fmE+v zΆF_ #_òl\AJ̠0J(8 3^h"0xe{M? `6ČFhaׂ͝yh[1+'hF~Mߜ QocCɍ p3ztg6B_F"YrrۑزWt863FKޕ}&(eͯQC #J,ZSYF>7|7D$k)@E2.?` J݌LxRjT [S֡Gq NfuBV,`W?"H ܮIa ó BsawT 1knԪ4p@ܗ@]mhVf0D#^3eͱ`J*]q;`[3 EM"˪1jȭey#di&,蟧6Vb$};Э|c/d_\m0%?a^' eV.4d6=8`[hlaMQ}(s!`4^uZHQ6܅F& e F s5'^W:O݁K^uV?<P^7 /f&dMSss8SN+;+| 5I1".A/".6>f|P!];gm34l6Qgc:g(`($پFnI9ݻ^W;7 a\8|96a[@ u+`BKԚKQzGDrؘ #·>?xY6k_ Vn}{-b(q6%S@`]@;>hSާ;6xO  LA{T%qh:SYÊFbu DžMk$ !IuFpPE[C6?պOb X x$~7m$ KZgE= R@S2|S{E9(;I%q1l*kL=݃ Oތ)]g/ƤK< ΈSJ0 `6u$qK[:P'i(?ItNFFfcɈF[K"Kuā?{3Jᢗ$ hT1XD h.rvZIĥgJ`'wK`Z&64MU@ݍsl?j_%)d`/W4چ,mD "-E1:FhQU$A:3AS W*Z(=-bcyKyS;0S. -&sG3vc=$>^?Kgj?-Ut;j}P"T zx"+Fܛp~t!=` XfGF]=R ~@_oyZvHNn;:?ܵ#:)cQ6}wm0.%576H -m]$Eq{XoW\D쮬?bu%q;+m .LI C?L| p!f6 Y:ז֔sQ;qICvTAf %ޗZi:5՚ys@u)Up1]2Sƴ 5BVc$VTH.L)d-%ʾ3}$TQʧ\]nʛqJ+rs֤cp%;gh"8/#In%k 5B }|wOކ3(0`wigkE,r/D&>d$M8]jc#LWth (3q:}s\ߩGevA&{DGS[A?Ub0&\lA 7 $B[èY)̒PDLg•НRO $W Qu1,e⣇a~(OݝmW)%N| %v!ʹ#Hz='oP[cTvkgYZ7dbf14bdc77bac6281a33ed438af70330ee93752273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 ; FocusStreamsCaseStudies