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 v; t, / FocusStreamsCaseStudies:threads=2elapsed=26.819cpu=51.628gc=1.548factor=1.937zXZִF!  ]ŗXf1-/6vRZõ7ioN]*meVU'f]ݹٹ%jN3r>S[1Q16X\Z'ֽh60{aF 0M=[>unn ;p ]C;{QqokpKԃSrl+,1?,ȏlwSB(?h=O>\Aї pį!C>cd^0ܾ~Ly?)q!-Cg6rQOՖ@:ih$^O0?7Ӹ!xcJ~F5dw2Z ֱ]>H ; FocusStreamsCaseStudies9>zg~@+om-0o>Дf۸H"]Tgy~uIJ2ϟbl ρ@Sfc8S] +"zYX߅.zi#z:qD8$gUtHfJBh:V,$R>2&n~*v{n] C\DyK&KHUﷂr/p?EʀxDBc4/PDqqU S]P=l?e]&rfy1K E jTT_ľZ/VprC3M "gD+9ﱌco' =1RT`9~Rw&GdI @g^4 1]Df$R.RCJ&n.bҶN?\\%##"[=ށ^6%~L}~ŏ`pU?w%u-#͠B;\g :'jr[ >kIkHhʆa)O(I=ֆB)C(:@%9mtкuZOBQH%"ٕco7œ,>uZa^*8#q#(֟iXt;U4W}_S 9. hEU<ÓBWe!RG%3{hn#ZYRkuEA=T&|EF9?^꒽TEfOu'l<EٶwW1x` J=ɮ".?va̾FfTZK{PH{nׄ&1Yu]"Ѽqxˢ{=l':wWHA;OMn3T{ZZ-&г+DOXp&2lArx>  T,&ĞXEdY.>.zG{{ĨDkdjwAqM>ytI8Qar }YТ d}i@t\5}VL}Mt\BsT\ƐLox/܋_WJ4膢]B.# 4¢+^|E+O?SzGH^Aj:=E|3+r*Sz_L>n2ՏY$ύ" zhŹoK7Si嶟 Q1Afjh[(X:Fn \pZc gVN~lN}cQJpzV в QAk Ԛ^ۀۿzSk{٦}:΅RX̜X )wാPQr#uA69A?I;lh6=떥2 eb%TEt jؓOiK#':*GdV*Cafu|G䁔ĥ#·$k ;m-3*U\~XPC]:B]>+6!قd"jտz +?CHoVX'-Q nk9zј *..)L NTcl$SRGYv7X5i z{bJQvk2)Pu6 ;< ?N1俧G16(‰dc:s[xdֺ~aVTku9NŶv}[H?"NN j/ԴRs)3!;f7b8d"nxugE_dž~ÐCY9ꮃϷ{^5V3xN%f^eɯC')wMВ]c壚כs\4mnJ: =j5:ȂC^LX>|cJM$=OGdOh ߦ 2Ѕ˪;O?{h>"4JIf-^mIbPPA7bSeyNuQG13'nj6 s#qx0ʉf6&uܴ?NUV"uo;㎳eW^ۖ$lR<M}| .qqN`~1 à'\W ݗ&7 W.1S(qI=1-kd@4 FT_B7C QW6_FN,=Ϫ#oܙXK3MAF+[0w L"}oxR1:*哻B=!g/rӑ‚ʚ:&gm0r1/2IL8 H \yKe.fǣJ (^bwm,Qjȿ郁M5ˮ~r@.'nz A#fo^zV?[`b4kqn>_ shv 58~NF~dۼPC-Qp0@/[*`.w%/C`;E5!%;Ø?:,&. ayys(}ug4qy ,vRM l;˳zɯ|z{?>ExHOo[,dmY E36*^|ixgT{!x8yh~n@% x26uӁ+ >SHԟW38 ) ̯7pVDv+qZ CQ&B1Y6W]÷f9+(XPb־;VI:eo,);ltuu3!oO`]9KT7!x V3X=g\˜`!y7'\^ Ng1pRhPref;WQ͗`$owyzUXUgCW| *g by&Dv~ ]0֦S;.0^s=+Mz(gҫ֯ .V[.!p6RqEu^)^):}}zH5hR=I3Ҏ&cy7 NrhMH:hcG+~r9бgPni0鑿ݽRM-ڛ|0'~٫/TEu1^7TNm(q J.Wz_K:-ax"":ܖ &$Ғ~h NMФ\X0bB,RbaӜH^GL9~H~VC6sN/#?HPes^,t$Gm^h: