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 F; |D / FocusStreamsCaseStudies:threads=2elapsed=26.893cpu=52.028gc=1.520factor=1.937zXZִF! Ȟ w]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp36> J|/g'qa1z06`3''j&D;σ𦋯RXF ]#oQϐu\-C)JXgG_^A|1?FEDCL$>,Rk\`\s\ O\w⽾H(d oT2X7-Gp25cv@#5P!!AGˌraX= рѵm 1?uV X]=|W2D_v _f/( ; FocusStreamsCaseStudiesRѱFn";}~ćd7wFAo*l\Q\R{aa_?ii >cԑק5lEЀں :ݵ2qTTA:n83ǖ/X`Y0k(5&\X?㭓Aks1C$ycJvn>H`%fX86BHE%hi]aIvC" Lp|p;擳OC.(ϜP sґAسsS,YE_ 9顶Z< &Wk׉2E&|N%c*#^pV,ԀPV=0)SB97C ׀ڠqa M!VGi}ZϦs5b9afK.}{C\9'!!v?xS:+^d7S &}u)uE7L;<@$ 2> $(fyї7%}SI [Ў)@ ES\e1s g/*uϓ Aґ#;yQ4|ur,|V#g4!+i6D+XھHI(L,UDW"E@s^7!$>7KC|H(VZ*΅HNͨ Pq H\yzX6d<5b >O%nnBĽT'J~\^yuHkdt[è|5fvcΧ]u?Y lK4J3`u ?B_ \~kI [ R'$̔k ł)QFgi2il?IfǪAe|n6W{p膋±^@'>]j6Ϡh~衎&_3ja?he9vS:̜/c:[^ G_ԖYңlY u'͍a;P{M!!ΧL&?WAʂ-h';#ٙX =E?)2؍ ^kmH @.X  >Ļ_" = !NORT۫C^_O3$to d)+ܨz谁ҸsVvgʓ AW]7'jTylkL>d->:ހn)UK~WoW 7g ﵤZ6_~\-Cuéi9D ^LB O2Z2<ų"pjEF/^l\ mXT8|cøNd'$M;)iG |N)9Mp4wlu=^ uio% 2 8ag j>E6@Ĺ eH#DOk(~{c^ۂ^@7l녪#txnL#XjA@ tC{;ŦRLOO#dd{& }VQvH urWS[ mZuE ~!w 둸3z?:*l%mpLZ"Cx@2Ѓ|y5 +7it+`^$Gt4Q wGЧvPj&`]K8@5?Szջd |\BM'}<~B! &RE%P|/Dtj +"C +x}Tc5fq1iIrw3_I~a$EX51~">[EKrDʨ0'7DiXƭ0dLOQ;fi1F:-d1}C d ӿ w';,1^5"(GVI% rƚK}. Iwl|N_Jɦ0/-źFGP'5U0Vg7~D3JvsNFX!X5Ԧ8+mN;)g!'5J%gIݨ/xힹ*Sj)?Z%5"H+/N,9~4 Tc2՘!9{ _=A]#]JYxyR3[PFn;5p#"/軖Z%aDz왺>r)h<{m='~=GDb:mi"{!] ی0SC/&&^R`\YNY?iq/Du3?E0TB=-77oD0,!C]La νrq09ʦ$KbM(˟%fې k/b5q4T [O>.U+l\dw&%\>UaٗtA}gk\lAV$|.bkVwܴYݧ7RkUNx5zɵA_/i4c,9$-ɗ D4QJ9 HDQc:uq Y!aLV+\[ׯ4^zݯv ~e'NT)'%812NY^THl m( t`oo };i&*4JcCNڨ*L7K䞉]tp Hƴs>6.'[t.FeQlwJ[|•%]Y{$ -a+X,æl;^BzN$5u gIs6zC)eg28~YDƗB!ŵa% ^VKbt7۠I,9}=Y7, a"b-%:dfe;r5=E [ŠcFn+i; e30Quu.r;#Ye-gȡ^EXwe'5PIm|ԛ{gg;gTu=GRhF/2t Q}HF5J ^TQOYҸ倧!1fs#hAy<\00qp!*rzz^tlo+ NroMqt,,X?''(%r7篾:\;!3O1H(R%/khg!>qtIbDS;;Ժ`3ٽjSXx4jj\ ݡ=z M-rR<іrNЕN8t"]XUq S?p2t܆н2 #$T1j;9^+r F1K GG}> .^@jL%/dB`?P҅+YkKmiM*ha7%<-S ^BO^fq:2oyin"^x4/<8V!-s+:ЩY$ s`'E}tjv|r+,.pzTA*ǚ[gYZ03e4b951248dc7e993fbf002cbe4738a35fbf0a9 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 ff899b2e4f98ad75d656383013645a23887dbb0e878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449