SQLite format 3@ .  YYQ77Atableisabelle_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, "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 W; \ / FocusStreamsCaseStudies:threads=2elapsed=27.114cpu=52.668gc=1.664factor=1.947zXZִF! C ]ŗXf1-/6vRZõ7ioN]*meVU'f]ݹٹ%jN3r>S[1Q16X\Z' 6 iΏC%R .! \߻\l!\7\_u>ݒ']7aazz1ݪձ78CMDYcCj:CHLf? J_ '-4k\J9NPX6^XQ<$g%7T$1*~Hq ց '%'V@pKfg 2\OSw:՚RW,m)0:)٘WZ\[e9`, i4d[l᳔{smm5i[n'9%G~iW0uv*qVNzIEp$(n՞ ꬁIAyTAV&NTIPfW…_FOaJâs Wh2w GVf죐˛d[1}`|Xs~\C{Ytg/skA'ӥc)\<H}T3C;VU.2"oz=&b7,q%D8 R,xs:> Yp$=l:_Q?͞'YE9xFT~T)ѷyalw/j]6:ǝ~Ǜ& v_^G#=JZZj-tmxI'&303b2 _Yx:cG^ U: u "*zռe4?.>&e&SL}H]lY>&j]svffU?6$?fOF *qy|mZZIvCꖫn~f5-6s \Aͺ$d"}EY{M[7o< /63q_*IUF:o#FIg`;uP_3x(۞V tN#.$7Bb=oòɘ9Je0KEc>,fe=SuQmw &?qM"cb=WSq9á-1bh|^Ô^??*0L>{SI: Gb۬tǟ/ݫ'>u- WX?J3Nswn ]Çm5əZX]j_ %ҧgU^Zl*;Hb<4/CYdS39돍^PIpɶe_l^jU`uӯ?!kes0Pc:<E T~d-L1"`H~M9 ʦ郌+^H@'##lϊ|0n$NTtaqpVߨ@H* ~Kn!QV˥}hb]ՏL~sUŖE`!8mYUb+Զ7'QA:jbx¬#\ب\>sJkM^*PcOqTM< ̱]>8 o>6Y71y@Bs.x4ۏLLUN<8Ԩ g_941K(E UuhUm1C\!([Zn3" ; FocusStreamsCaseStudiesxv-#Yƭ >BSeֿ4saL~E`[iUF2wf`!%!(/ x6 \_~%:YЍ 0* af1C1N (_??,Ta* m(Sk>;N|KKI]Q%1Զy.N!AAn@(yy6(Y?Й rch@n6x xRQ ; xsĸI֨GϻI" t\O$!BQD.Bm%v0i5<KWFGJD XM&m?t^'m+TZU0Q'M2?]WiHI4{ @IHlx ]! YMRjPN]"?K.620:ćCAҹ1v(5 5#6dbybD1O?cFtT3?/!\Ҝ $Uִ#MѴvĜԱgYZ7zXZִF! P|]ŗXi%s8"pհ%Mx&9 b>O#Ӽ|'Y(]:lWP\ۺ~S}O+aA8s$M649Uiq(,_ppL羃Oq:f'@; ޣVM;W1AK{^8 P@H?T,\^}b2 oܯ=1t  $ Pc'_%pG a"Z)% !.]@&'V+ ^~X>ܿ+PlG+T#2kW`I[ @{YDi8Tms٧'][=;l70>BPˆkzYRᬒ+@ҰpF\~]m@|^tQmaK`D3F&%imSոyq%lz:r5&IvzqaaLO:bt/Xix <:(]PmұJ^ PɸrybyA.> p}^.ϐ^FA{}Ğ|_ vy-Z!xhiݒ(فqGs{4`#)$'. iTUB,qK _#"wZ315Òyݏ>k!f9wLXMM4JU6Y:1g_K#ǡR}E)`_ 4z|RX8RkM{|TYJ&:pҩF YlRjLn( Ez9[w|-ABqOѸ R #Rr!hJR,}D( q;%֒>FY*-J{m57J_\yAoq;!cNkeo2 H8dt=`?^v?#&ྷ21RN"J{nQiܖ`F/ãŦeF]3,?q>QT"C?;1%D {kJ 0B ?FJtH7)SD~-7v{@|y16OS/ 2< 'H6j~F3Llc 4DBP5|I ԼƯF=y2T*/rxĢƔq^Ymnb8Wv81aYh{!k6_RqIyCOP& XjbHA5s.pUV)*>}uMO+IP ̱xs\C0dK@lzI26;2Jt!PњzVjgYZ03e4b951248dc7e993fbf002cbe4738a35fbf0a9 09fe151ee7ae8c5edb0c1c76cccda6f857ea291d 13261e3a930d666d896158e611ad0d78666a86f6 168f34b62fe86f724cab97898791b791ca9db850 2cdac3546b3df48e09fb344d1cb67b3a26482ab7 2d47a23e30bddd9de2c7755e4763b82bf32b3c45 4a6596e25887e374a629812d5e92b3801290d81b 4e467ba37662819b54e7df2ef7eaefb83941a28a 550ce984963b32c668e027f4f3f4fdded215fdf3 637a19c8de137591f78ed9935bc27b487fbdd321 6df2b5a08c195ef8eb110bf3361b00557eefce79 72c29b1ad8f0e185d4058f53eb6527748c41016b 73c7120ad9e1d881ee3c16c3c400dd09026136c0 73e30c957894a9b242029199b0e8804bdf564c2c 77796c901a4cf60141645d9b09b1542466485ec9 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa ad274f165d5e39e02b96a3f6b210314b1077aafa b10387f4f30ba9d4e6951eefbe1ddb74ff81429e d662d9af79d7ac5c81c54b7af259d5a1c9f02617 dd46e151727c0fcf6fd63ae0af56a289c61f6202 e675823f8c1d5353fd1e1e053333837846e002d8 f0c7171a87128fac54fcbc912ac821520af4cd45 f63d3cd31bcbacff77fb8c0d8e1505dbb24f24c2 f888e9219d044791b2ff6250ea85b631f77e913e f888e9219d044791b2ff6250ea85b631f77e913e fd56f38e2dd0675ea3fb971befd6c20f3cd56b32 fe3d32d1d203eaceaa7129897a9dbd805c208d2f ff899b2e4f98ad75d656383013645a23887dbb0e9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9