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  )  O]Kleene_Algebra:threads=2elapsed=50.158cpu=86.524gc=3.620factor=1.737zXZִF! <]ŗXf1-/6vRZcm#kƣOw|ё ̮/`R׳(xv?[U~\؟EVٴ_Rg^UY]{^'zL(gۚ2\*rĨmY0lwPTG#[墚2NK2~q얘̇??X3N*jdX)栢r 2zBk59.БH.귇Q'JD\ ;̥c4)g\:M@A.)Wo9-H<.ޣ}¾D AԺ3{ArR`> 5AUGI}J I* )n.}s"*䗇xho M9AG/H$JHOpIӹ$L;Dfp=9YVJلl]8QM^n2ōֆX/_K_6481>`e{k{'s*5~vg1 vb)ܩeXW^/SbiՈCH:9.h{|WCuH#UyPRl>21VE@Xkhf|{c Ot[ s(ǪK9'1k\*NْDʛot&s*&/3B!Ŀ; X|)/Y k+~˝u9WcUVAhL _FP`?*5{1 n5FpZ4s78Re*/xK9/EӬ!T,hH=%Hb ؠ'ƮbiRZG(^%Ma`1mlIrcoq߰2sq SpҫK`ެɥt [7i<' Qx6LۆX1 '@4 4R$]BLޝ߲q"!l0ކD4hu(PLsi2Yp`4Wrь?K!u0\KzWmVXW`|]/ NĦ0 0;Nk҅oRT+76stwXRW7fd5 LsOО[-tJuA7y._Z /!VjV'w[%ꜟɟ( Oӽv32 NsB9$>xdmi~@Ƞ*oh+zUяM)ѝvW a!j@.@E =VmnI(](Xb@x}5*r\h"}j8^t&Nc2Ki`H&MLl7 %Qcsi蟲T=y?=~ _? gȻ_9K'o#lM}ͧyzqP[RLstn),gtm*BaAwn~/TAWA•f* A]0`c][`֒^8gH\cS3Z  rzM~qOz.-%wJ'&+/h,qd;Y#`XcTE:$|@G0VPNzz۰́m6b?'~E >~9г3iz%T4oitnߩB{2wvfT9ԋg2IR]8J ~&qMgkQ&JBvgGy,~ϼ,m EoBV~j4q* 6R ҂B& 5?mK`p$0}l۳8bF5mJ~y̛$.dgنԕZ|졯$KH/l#Yϛ'(5)p-qGkBz"d‹:۳b4\"VFMΎ4Wo3#CF2QLM>. r987H& QPу.Dd4 C\;Pȡ=碳Q'UFs곞J0tOh~p%/QغiCYDg"*G9Թ>7ѝȳ*".<;XT $ .U1Z\U}6C~@Ǡj밉 La7ag{̘,'d]жuUin4sT(M̜ۛN/K`}mG阞lʎ\o2'ZMSuB{=3*8R#c6cID}JJ$a+Ax\snva>ejek<9L;tnLPYefﯩp̕?6A~*MN$ˈ|t:=%V4ebWyOny*x_Mw߳~qdUXaX x7L)vur% a .S`0W[.i1/ `F؁VT#KCbŖɡcPkï (͘3E[[Ai\PESEB1ҔCNkKol>讪uujJoXMW-g7>k٢@6G`G_ʃL} ŵ 6Xpn$;X1x6$o˄Etمgx0ꉹ*p9t:HHwdkc8k)|`e?lK˙IqO)VRSxR*t8v_{?=njԤru-DQ:_Kꀌ,1VcVO2lb 1w!;kҼ/wg U])3UF癓8Km ?#E/`^`8{bɿkt+! g+UJ9VOrU ?i8K]q-nUFB%vJIm]|I5P_ WuQΟ 5,+K!1O2a<+&1FmJ+b'1JO!١ "ح7g>f<' `#{LnJj R =jtԶ/RQ0UrgTUy$b6r,ڈmy?N #(SiM/Ɩ]{%oo~N}nSCLm?l%ڻFA3Rו|)p=bw' ҙ~9ڸWb:$JMi74Wѭs4遴܁.[+jʈsI5DuNz9訐6# u!DGh.4.擦[OZNF_ A.rA/YTq/xDZ3YW@A3ʙApw $bB/BhTBkf-;ww^$e9)՚F=SQO8-L? ҈'`<\rX(3iCR7m:`M" Bwo"#UϬdt%~["+MWVDٞTݯl< E tbmDP9xlBUM {HtZ:!5< Rs>y0ll}LB|a$r#ͥm8~^{s٧e:K’Kn܆4hкR he[eJ)hlTw@x$Q 7$ngH*W\ML&T*2ң%}\3]']Zoև86ͱ?1rb*?h paw0PãP:p6%ZlzaM,Y+󥺛Sze{co!`x-N]M^R[B.akkm8''`HV]?sz#YU lcimTKi Gz&tHecviL> LQcqgp?i!wXCGt0Dg[;*(JwGVLtL1~~GN8'(D6,srK.v1We!-r)"x1icDfFGy#}g{@M1]\\E1G"چ_m۰?_S`lɹ4ִ6,#1.KRUq3Ip5>rR.RƸ ~v?Uc"ZMXH>;.xb8* . Mdʌ7M!,ۯNs3UF2`v߯}TU0CߝW]H"v. _5m}1 42,YȀW菂7M"VPI>3 .Vv밆v?_.Ma sF##1Ρz6Ӷ%3 7ԑ0ޓ1:er nMiـ=̤d]ǩ58͇[s2B_s Fm|0u RRP-U#l6,*$4o#eG!+8B6 #cmΔ -κT+48zޙAqR>{Y'@vE `J(D  v!Z FW@5|D.J#'asP^>< 9!n=$B0[^q;wfgYZ0ab132e9f4fd8f53f897a38a4f54ac98799b35ef 0fa087ce214c5e05cd7f5a4a0e7fe2367a406222 3b58d39d4a543179e542eaf16ad3e167c64ac5ab 3f2e524db02d38ddaa7716509b9b60091324e69b 3f4d3110988b4016ade5621622b4f454b6e45976 6336c14be5559c86dbb6ee2dcee1c82c9e10d1bf 65102202305cb25ffc3eed9deee8f87d1e70978d 66f83d671014d369c83f6acd3bd48708ec20f2de 68d6a2f833ce7c69e1c463c4b64747340f37398f 77e07cf9939e92a3b870a41858e48a1dd11f67b4 8fa267177ee89a0390ee736df2332b137b347402 a74c0ce085be073068ff778380acaf69d62d799d acaf4e3eda1cf3a06e9db623f8d290143d038cca ada87a3c192f25c0f3378430405307d589ab2919 b2f38bc333d08f737b915aa71148f5315e7527c2 d5700083070016081d8bcf0efb4a4d3e5ee5825b da90d2248626bcab0abb5398afbd17e2a4c62a61 ed3bd98045c61bccb9e7ac4e721b5bc90163ebded7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 d57bac779b5b488848d380f44507ec94d26f5b25f073f7a52816d7314e464035326a3889904aece9