SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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  ; \l / FocusStreamsCaseStudies:threads=2elapsed=27.153cpu=52.120gc=1.520factor=1.927zXZִF! 7 ]ŗXf1-/6vRZõ7ioN]*meVU'f]ݹٹ%jN3r>S[1Q16X\Z'eCۆ=}(REtgͣn,n{:&`ÛnY;أb֕WHt kYmH\JǘpH8'U*ǩ[IXtw]QWNaX,,$_GBSoK7sbXHT97Ѧ``FX(⻲FKӏ7,xӝs'4(Oa(H2*_+8T2"N):_wEIGtSle 4F SYO2x8qa*,(B$# ; FocusStreamsCaseStudies\ݱ DL7(aIP/҅%?ң@ }Dal*;v>7,e6pR6o6Vl}=l@fl&r농WJ@bv83a8i)?Pfڈkc [;mD$Io~1!yBv6Lb^~aHt9̏PpGhH-IgfCI7-3(=&Ť 9p7U )lS|zdq[jwqo͔g"&v惀R9{~@ Izݨ"p'w6E?~0w_|8Vh,Skm1ZLuRdhg ,j͓ԲA?s="+%_H]zEmz^ų!nT]oT1 qp̱A HPpt)$F~3]:-T4鱡u e 35!lLF}g$79{Q'6{~'~ _t%&y\ݙmVF/ -qEz5scy-34A7.dWD/)x?fSdSןGmI%mr\DƜtƒO"Q1:7Ķ8,Cb,ȵʚ\iH+ݲ_k5#. K$tf/+bB^{KdGBW6 x  8rytwaC0I2؈fpa/^E8MZ/!Dv8;e *NHMk%cC?{fv}3ǮF82kFGҭ",@P5e= [F+mcb 2 qds|&P<Hခ̩F[{|HcŞ">8 זE | ʳi57NbOwʊ9!̣FM-k憈礛ཛྷab߭x0v `iv BzEM>yLP6-w@V'al{kG'{p*Hu2xS1¾KX/6vX{a,fUXij\lS@Ϻ1dZTpBl=7>y[ีeDK}PUQ #&& ~~eD"/~7KN{վS%OuWoZ7LECQF/8F>9r0Re"PW, +";; RxuS{/H3==2{;NFCCzH&uGrq; nyf( 2o+9,zV ?ɺMѣWЋ8Mq͜W@`?-33=|6zZ&VE*Uvq򚿪W}vϑ #њd4(pc}3*(ѳ=6D3S-p<;r}CE~!M_jӴ al †/]AL^v~ i KxRF|Yݗ >b|ŋyIS}㗪js&D'1 IVxYߤNz7B>B_e{X`ľ6;@-/d圹->k-_>eKe/f#,V]!~R?<{Sf ҶMۻfb+}^mLy.*h.]u@u.JGH6PyfEy?V;k?mW Y q zm=gBszp<(\}tϼz*%_n_)TuX/=v+2]&Q1;$IƼ}/(+mg":d 6YE |n˔IaS*)Plpkoc#1OZi6IZpoʒ~Î=07_u )^`3@(QnML ;&{"ILTƃ98!VrQ$LTl[٦9iK$vRW.(ƀo5 O>a̪a26?DQL]Nvc̓5ȡ76Ui LY#l[bdVvչ=8O}["؈Hמ! 5M-1N.(P18g°u[yku$!cb9׾^P]g^"sE#<͏Eb­n6">;c)75ދk 瑠ԥ@nȀ E q3+>Y~ TJg1_]<SϼP"HJQoo°&ea&GA2>MJHQczl opۗѧy\Eu^#QGK ki>vsOQ|%gtr"_Hfp/Ni_iG˺..\M@ LMAeç}BǂgT*u~ [B4P wS$Ap= 9eDZoGN۳!9f:gX4)ǡ13ϭpD7xTc@[:,X]vL8aE\~>lΪ(b`Q|5eue+<"!}f)v@^=A`|tlV(O 4Ch(0gYZ7zXZִF! ]ŗXi%m]iYw(gbnbݾqo=tjX%Xz < pֲMuG/QUu. *#H.?b+uI_my[)nT?/9,1ȟ^`t&ތ?L94,vV/Ш[y%pSl`WcXE;#;ZdvD0_Y2.* ʈ#1j 1KװA6xϭKZ*C!<~I ĘAe9Qf9@y*22BCg]Y0.tؘMhWQ@ܑ]PL3tс;(O r$nO'~@# `[t2!gRU%tO𵡳Xkn/Ď{̼Lbo*K -aFN8 7?Scw|'ZFȁyb^=gL=Śb|7bP@i r0b qa!fW,8,%|e>7loN퉚X3H| mcȩՎ\: cBbs][3|O {v@˗MEg_R6'|Pܧ)cZ|9B³ Eg o *280L7RkcKHHN T?Jo#yRzѸ8wP'S^opj>ㆀ(ЮZ6i5蛹bS oDِ@uTFcݕlI+4I⊫rZ n* p.GЕC]%ŘZ †8Xr>i\q>0BOH"lN}NES Bci(g6Pzꊜ˓LRCJ/Ы+wE5+L{a0?,G~Ek~郳 _Nx'oφɘjϠv&S~k7L$Oɜ] $G u 6(ȕ5{$q F"HƇc^.I1W RbZ/ܠzE[ps$r'M"nT㛻Hy]9:3"M+IKXJD[0Sm^t7#Nf~JS.pPb6?Ll&o al~X]t$]" ܚXGKFV/09,_W3W$טxv:3܆Aq|x ͝I>LNP8۷hk|DdY6q$}ڻҝz0_|@M`& ePPͲ@ 7<u?&!;/bۇ!cfHܝHeC}o:'xϧ)} u=&'E{v8? "I=FLK4=#]vdѕ~M'Ւ1dj2j! BV,=PlbZ@\#ޗ _UQ^32I((J_T  X WRm@k6t-=$|*M, X-{3` M UUIg|j@TgYZ03e4b951248dc7e993fbf002cbe4738a35fbf0a9 09fe151ee7ae8c5edb0c1c76cccda6f857ea291d 13261e3a930d666d896158e611ad0d78666a86f6 168f34b62fe86f724cab97898791b791ca9db850 2cdac3546b3df48e09fb344d1cb67b3a26482ab7 4a6596e25887e374a629812d5e92b3801290d81b 4e467ba37662819b54e7df2ef7eaefb83941a28a 550ce984963b32c668e027f4f3f4fdded215fdf3 637a19c8de137591f78ed9935bc27b487fbdd321 6df2b5a08c195ef8eb110bf3361b00557eefce79 7224248bc4b554ae84bed9406c29cada87aec612 72c29b1ad8f0e185d4058f53eb6527748c41016b 73c7120ad9e1d881ee3c16c3c400dd09026136c0 73e30c957894a9b242029199b0e8804bdf564c2c 77796c901a4cf60141645d9b09b1542466485ec9 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa ad274f165d5e39e02b96a3f6b210314b1077aafa b10387f4f30ba9d4e6951eefbe1ddb74ff81429e d662d9af79d7ac5c81c54b7af259d5a1c9f02617 dd46e151727c0fcf6fd63ae0af56a289c61f6202 e675823f8c1d5353fd1e1e053333837846e002d8 f0c7171a87128fac54fcbc912ac821520af4cd45 f63d3cd31bcbacff77fb8c0d8e1505dbb24f24c2 f888e9219d044791b2ff6250ea85b631f77e913e f888e9219d044791b2ff6250ea85b631f77e913e fd56f38e2dd0675ea3fb971befd6c20f3cd56b32 fe3d32d1d203eaceaa7129897a9dbd805c208d2f ff899b2e4f98ad75d656383013645a23887dbb0eb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d