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 II+\D 5/ LightweightJava:threads=2elapsed=61.934cpu=105.444gc=4.596factor=1.707zXZִF! D]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I#^M3%|0 3gw OytU6i#{Gam70}!nbb횑C@DQ$];qodqUz{Wid |#/ >҃mSPҡU յِPM͸J bmlsl~ZcOӼ/䞁b,Uo6_<ԝud/Pu,>ͤHv/6akrZYξoA7 a3?̢\_҇}qlcr'OA㖯W ]AO$0-+WK/duVMU'u }\N=d,s1U2(@ 6xpLSBE& ] RZR*NP [Hk=Tkq:QrV + LightweightJava&izs XsNg 5h_@<=? % 0D(q i|B%^ ;k7B'$쪈u5\3|dYl39Qޟ^;k8]Ӏr9O!e5mWJ?  l\Uj85\%9f'z#[PwXAS7:Ա%O_֙qL}*u.-Uw}@m~YŖ*xkY w<ƽc>F>DEI1x@#7[cKL*%-/W>[ u2tN,gqkкWbku6Ymn%f~g n^#M9YQϲY_OlƴG[%33ogJB#%wt@IFN g<%u)%kC<JrÌ8 C[dj#{wH5ZXh~BQ]lG$Zd?>{h\bDmQ{ެۅk;dOA?GTŻ5 =o+ ]J079 q*NwLD7]H5Y7Ay41>hNV{7!%`Oq?mfh~ޖqwIUĂ vn\yh_>O,%XUTWiON9u9xb:HY: 8>X^>>r.uDxuL\Ks++ KKzF8Uy\zUz-ˡYbus!-뺌x'ռr9+Ch{>Ҋ/2+SNPۨNx+#~!8 3MH$0qf1KWOrjteC}O&)cB95+MVč,$y{'V(WI[rbbh7HP[?&QR{(p$jTjXat?~ϼ" n@{ 547rOs n]bO t&Lch#7tk_>NPRgGEA Ufk=!d4"|: GǤބc]LV@ oDxJ<#67:g O t8EK +'1&"b} |0Q4߃`oaiE_fYx8GwǮ^i; h pQxQ+ľː0~z,K5֎u[(ǍBcr wy2 i3^U8q̠akxDM$_G[#*933Ts/(#4E[T*3URC/:;A85d.MIbwr.}cVR_N{6x3 [yY"10WNlQ%wkcrKvntNydB9OdڳZFA`ؒxCrB6#OK |8S29r?R@P *djKDx /UlN0bTM)c7p˩b5Э(9 {s%IH~'0*;وAA;>y:\@,,7'P:n뵳ӻ*KF^wjl?=cA𡴗$,{!͹U ( ,tHHҲQLLI;Mz"WLim??5FS>[DbK\˜JJ" k}ǹƜ$ 8B%N([g$mk8xHsA@(ˌ 6-{G}<0V G&[5kS=LN<ǝn(claU1VwnOE0*2F搷ҫ>!0CScey&J# &Zĥ b|JIAUyu诜{N;( tt#Die .AdetnHotݫt!+%i:={ݳLOO$-Z#^8!:TҭSFՕtfX8njeRklnwejg'9d* (bGhl#'fp=NzD6h/}[_Uuf9LH<:HW"_.4ԝE`֣-'@Vnb$[EJn!Ѳ_PC +ݬB8 du|P]4sc Ѕ=\JW!5[]Iq ?dqs%f5oK 9qoԳU:H@.ޑ8ⳁ/'m -E Q~siZ5 B 'p%ӛ2Xu@ ]AږLn#۽Y_se|Hv&E ={nqWS`K4nt* q 4kE#z$۔C1%:*(v:OiL(H~6AVVTP}*z7I4}p a&㰌HeQqϠMۂO 6ooWWRȽ5ruE&XguE+PbUDABq1sU7kC.Yr ǘڽTD,R5cEAt'%[-؛X,ŽGO!Z=~˪bUN51rZykr4ѴiݥcWfY%q*,۳'JgC 0^ n89N+pz-!*DvMw'sF5!=1֭DrY w8GV}CgbK (ZqO@]X!z?O>OuX A(eQ6],?* ʗkcQTpꧺԡ`r3 2v"[wa\4ڤv~J8֬ivNPՌbE~=nƵ; 2$[%SnSyP1-cۀhew&R栏F5F1p^d&iזnoy.ygxMc>\ީdCBSܸ^*hH߱I`y$"~&wnWC -''"5+hfeB1 ig$;c}#RohD9Uq9#\j.Dl,H DqDB;m-LС>i^, *R A n͆bQ\̀rG{DAI\z@v=a:@2Z&\tHAkLI⵽,ŭR^ZRMt=̦yL@C^8?`IW»|jg'G;2|ǏNvbEz;|At /ߝID`{g++;iۭ@t3wQ#t7/U!l;LlXpNd reaI*~ Gzw!2$櫅~} CTc6ݔ,@H&K$T P Ր;Z f {+/}Pb4~pF2MuDÑBC(!Ʊ}?ڄ2NX6uZkKrF9~a!Fx53D JZ0isbҜݯ"x6:B7F&A a+c 2.|Yɮj~i#*ZҴD#Ԃy-w9H=+vd(wE kBAPmގ 6 }H!%*NVH8FAaCМp-k-n A8NYrpg,,3v`#ιf5_9p/B]cE߹TlҲ[L>xZr؁`7-a5żgYZ7zXZִF! $] ]ŗXi%Ho+LT"2nWMDE1i>_.8\i?~4u0$N̚ `3Q!Ɣj֬ >}y&ʚq-9KָXfCHrQsԇt '^[x"6Tw ugC:;]F&6!ytPY\C ޛpgmJ ]T.pcc-W`0}`+@]09atRGok)H`?r]AkŸDfk;nSD1UMEMfz+QuevHzP5[:,z5|f ([']zܩ/N<E67gq? }\#fPwIӁ'YxT}]^jAA,'}q&@\;[YT҅X1M\DVɖX$ 5nA~,Pl>B%.k [oW;MA; T'Z`X(OԶN߄u]䧕^}Y~az<(*FI VZir(CwgS#g$8Մ3uIY~;+5 |l f1OQZ{~#$KM9Z`l.f̬2䢟M)^kuTR.{ FiTgfˡLa K>4:(,|P s]WTW!jOpA{Wɂ 64At@Dbm+O޹ ~s(]\D7&j$HT3mYR8MtȤ&2"F%][ Gդe/]np~N>EѬ~Pk^ϟadt̆uPț $?`r>!?C#+I2~۫ ;hA~IJ|(K?.ƯqА)cŬ-`ooW"b f6_If7[}4w L@ma C\4nPkl7uQSzQQα Sne,VMStD}w[=5i-Kͮ[uWQV1%Pk#0aH'e6@jMv%RyL&$rd7e浄7rXNln@=OUub4@PafZSNIև.Q ڤ@ovuR`.qגIT~zgwT٩N{>aj& ]#i^} u'4Sj2f#EFlhf j/}lj)08|E nʙ`ǽ[)$7gU?Wy2l*b-)L˚P4BdRgY ʰ`[/[O{кyNH~;zCb.?[nK]1 '6ǶW @X̓V֛0Ie곔?`ؖsMY9jP&%njo?9hPwzJ;]e_D Vi+ۈktWd\m_ͪ՗ju A 7B]+<MM:P,gإ |bHbڶ17U|x&3V%=CwPȐZ<,8 *%-EDMyLgeV8#/I r8Bqy0<~dFةzLay;gc=;;z> si=g'ߪ ӟ2t.9؛tgD%(#Af 1F(cP`w2O}dGu`^/#Ԓ+wP>*MJE!: f #J(uCrh4Q#. Xh.@9̗bHFG|_٪ɱK۝JiR tQ*8o:7DJ/w9[KL p=ݮ$UPH%:Eؓg7B3 |K*tA2һo7PPE|-ga.'is+d.Ձux{Kn/fVѴ; }<#rmd<3uId1gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 311916cabc672824fbd18f36a74a9f62a6ae4fa1 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 721a87149a2cab64131b95157bb7352c8850ebd4 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 90d4b67aa28e20a56ac79a9eabe61bba293376fa 9cfab51a1f87d0d39dc1dd8a34686d11b2595af8 a6d881014016ac510413e96c94577bf126ea335f cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 e30c4e45bf127f2a757d4f3fc2479d2d6e22bb888c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07