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 77* 44 s/]HOL-Word:threads=6elapsed=8.846cpu=38.728gc=1.340factor=4.387zXZִF! ΟQ]ŗXf1-q恈͐7ӺV G-"7-?bt+#6).&qpZ[   HOL-Word|iN4eB ; N'S,&s'2a7%P1 5,~k)_~h^ؼs]H|X:AO TtO/5Z<FBoOLt˽^W1K,LeOwۏW1$ZM5DX[GoMf 6/`/ڏP\U>Nj!ȓ=7!B=\nd!c&qYC)'cLvEވUÝ\!ǐ|߁#D]eHZmd2!"6*[B1IW؊,!&029RqjonS~Quʶ&!~ Zh&Z`8S`3c Ms:Z΋lI_cG+_ݰv[шx@&79o".J6{sW@dGNQ"z X^D# \hC3d X 6bT$w٢L.|7y[<{F{f{#chu[5sTM @+n7RHet MY9rw歲o BåM5_e80BZoڱRbEt({O  1гG-0m}]GS]1NE u*^0]"VW!-hDŏs-X W+p P$I\M(ۍ܌YkwU@HUfLLx҈Ŏ08ʋcN(b?|evTC8oW8u1}}fcPNjTn(9^i3ga5X!}%dzia_3J,D˓1HF7S495W54( ;c&d |,t "КKWC_3~œJm9lT?!lu15USjO,)"f1:2Ve?~owʸoꌪÕx5}.frViW)ָ/n\G-tKg:;? +`=tYrr!9_PLOP<^uv)h.ix98B&0+[u2IFү1VgRp[lU D rdV^( ܓon7416kCD9Lem EZnXv6.3;!&oi,dzeKmDrxQG#(X S3t5E XPΩ]Lz93fT&$ڿtܰU2`ZK/j.z<Ǫ.~еObMpO>##iJ uz̰ \By6IěuƏ|ڋ5diUmQ"̃ Dl9AI#$OeC0 @bRWh;^2dkȺN/Ӄc};DH O5MrT޴NGH=Ru0"]xNMsDHg8s5ƠcU0'upZ|{ŊbnRz *NnVaHhKqH_}fo͜ݖejqc oڲhBL,퀂y9ѥEEìP-=0~Ə.IC%vh{4G؝ H(zJXa ߤYv]L"㥾r19\zXl,1`:.`DrZpyd7שSex:})Қ$;(593w ?ۙťz$KQmJ o/w7?ǁd_@B|0W :j1;YdeјUf7R-Y1 ddLgֺL*pƙd7e.^{FV^ɔw= BoK^YHJ3OّYnhJm_GeЍ>;\dQ'2h UȪ/~2#P":'o4ݔVIqzrM209v>(7QW5bc)ZjjE@N$M.b#/ndQ!|鍳qp(Ԇ(iDt2ד.ý߰@ n 7_=>5^5;Zؿ[V~U>|5m(1=>ѶDžFkr]<>7cpm4=D\uFJcc?s\l\D@WOPʖ̍;1n$~Nt:x.HK2l b'汪N]cN#ӯ Ew=?-Y⺦ .NL𙺶6k&zt!2 RȎ,ؚfH/D*=.g/"SFퟟM/Iİ^ாud8l! j:|E )<$nt $ֲQsl E1 q"qDםԌତL|7=>[Ǎ K /7 Pg[N8\mRM#t!=E`\Ϝ;:Q&AjB)IS3YJD8t{bā/~IJ2YL˓PT2 1_}.p2(сܰpAK.Xٳ, 2WTl: T7nQzqLW¤י"h΃ ;gYZ7zXZִF! ,]ŗXi%X1Lfbv p|Zەb;( }snk!@,ZD_m]AoD gq_xIBo]ꈜ"30)*+hb˄z{?{)NM郀1 i<eJB& B+1yD׼,&d^^쳎Q8j]w'Zl9ka7_;*u &^o ! ɐI#(~.38k4&wEr5^ϘO|&T<`.6I:Af:tz-+\Z1!fp1LU|Z+Ʒq\ \82΅JraAkF"ǷK]Sx]Mh\cQG):1R@0@-u{Z*s 9;F#%օb(j%Wܖcف2JI1E2 ߜ9] aL@Ԕ?c#CHcɧfƛ Ied:rhM<|i0\6U]IL+2fjs_øi/H-lŒ!}#|U [CaãG2Gkέ!p[&?j(X>*Ό If8$G*d̴7=UH%k5"-LРQ:g1%q,ȘuSLcpљ>[@Z;X_C߬Jυu` k[/KSwyTʥL ^8{nsz38Ȱ,9|Ii+ֽLr6o흯 B`꧇$h(Y@U`4J gxdHpj\]E[7$Yєp"#ߖ4>