SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 ^5LD ]% Collections_Examples:threads=2elapsed=92.139cpu=178.044gc=7.780factor=1.937zXZִF! V]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM?L@: %|4媎c;>lލ{z>"nMom\cpwcFj%<} ۲93U7ONn&\ɇɿ%Y7YCic =pƀY3M5T$Ug7ysbX2P&+FL:_OOοhD7{@qxӈ\jh&ncPwA׊i廎d'}웞%Z\NePBӽ$YepXөPRsIu"N+HᏨ16(E vqѥFH1.Z6qi!(tH, 5GRޱfc'į%$FaeZcKZG8\aףxLoZG NR xJrn˦Bޞ"h4U{9_چd/~^%{Z( UؔW8r:bK2^ǀ)OeQ!_XL"z9`'>>q: 7 `]Q6!'y: Wqc@V"E]Wnf~4vf4D-t'=D0yn'{ 0C( 6Z f(w-Ɇάu?!xԜO;) j|h8ŻW𔗁-m~) r5(W[ΡT?1hw/|7[]7=d ^U_'.Du19%s$oe4G,in7DN+Kn=w1&Jq~)૓aALVνC,UtVr\zߨ1Lt~JzЮCH( Av"jY71pX ZQ0x#7cnX|='p'dGrM'}!sH5Dq3:Q8/?[\gYZ7zXZִF! ]ŗXiɟlAC?H 7[ zwWG&k55ڱKNuOoWf-WGSMޕ5dnSp 6mH`tmiDF,<^6싊(%_Y U2Y)8|Jj(pg >λ9dgEO\rA'1E8A~*u:`%)/F6D%wQ#C,o@0΃< &R9-Z`hk(Wj5K6 phPzx.p{jd..A=t BUFDi£&@!߰07Ǚ\ gKr!¯'ӰSڅk`G~olI$a!r4FI8kcLӽ >:ZϪSgʔ*<1 r&P 2pgYZ7zXZִF! H]ŗXi%9*]qV\Tl [$oa{#jO:ˬ.sWcXrLIp7Lܥy#Gp&#~ <"k4V@΄ߑM7;vChjKWH>#{!sU$=9eǂ|3[6ȏ(r|9ug"!2p'z@9^ϳNLU8)qxst"*M|a5 Ƚ00F %+=y,AnU']N[,\[gjАNIxR'7>>β]uҷ %ϣP F@jՂ+#o_RC# APN>͍ms5m% nBPm 8 @>]'3\T@>y:tb)%h(-SfZ`Er`/k52, h[ 4?Z}އτJꪴwA[ "*Z fGv/,N2ѯ]rW} zL{A4\{|l?+`9\ޛ vP|W6`i F s=$]>cEoXc5.}~' 5 Collections_ExamplesIMm3=:D'-.6HzAfy"oMkF:; "a6bu'=Mnnݼ_UEh?7[uyd _|ִFAT|P2t!sx<yORe,bW%'I3v@o)c|F c^^͝JWY+5?PR'OcQ_?i8юQE5a,[aGfΞwn0Ps55ġɥ0L7{ P ԥH(TkI!r` )dB!»&Nqp]RcG??TC?~PNN9YlqUޓ$1*h"C;SR9@ı.c#f|nvZ8 3WAQ ݥ,:suM:G**pfZ"!jϹ?HKI!RfZ4!.Q*J&]:6}STƖwbEKtb$_@sJUft&pdc>vMDmk=C`U^ 7f,]&$EGt=uTǸ}O +ln/SK-dgU1cP*􉾻4s"}0:?(}#yvi$mFˌhu.j{jPK|O*ꦃ wG~t`Uhw$"aEe 4CB?*6ϛEO+Ez{}@i * X}1]>%x.<HɁ=Ɵ"$?c݌wnzƉg/N;䅑PYCZm ږE0BEO@ B2pҢA6D.AXfA6M'rpWYQ %.B~Ro;e؈RC=wVhJO]Q*{l>V4nA}RrJ3=pȄg?:PuΪ k#V9ڞh >J {רFלt_n2M4sRdgR#q^"Qxu&I#Vsg;%ic)xHTYQ\PCt{`xQ64 |AF N.c;ѢΛEZDŭqK+&rƚY)(;Iv,Hd?F7 V棨$F,`\pdyX ꘋE)IUZ"ؒNv~ Y^^#>B&X4Ec^|2c.]M CV}rmk+>ȩ V!qg$<*  6]QWyzm]\5Tq!t7xtETKpEgN.]O'b;++zu8}g}\R>Eu>o(ls=~x>l:ʬzJH2>kl[Wb=,sG=6lOwdc0)S`$黻%˼o;ѧ--䕝]h W4@+_ `ݗZza)~N??ӠP04cZDI tڞ̅+JSe(?%܀Μ6ٴ_M)1XPNa_O/Ekg z Ҵ/2#E{R0z\[9+N꛿+éXpV[O:xc4lN}wA"1}j;CӣMgR9e{nDz9qԜO-Q{h ],ŬX`JCdoC. .+2"E;TLd ۵0@/r̒J|\K xZ"g%ƒbr t.Q,o,t"O -;`7iF>G?niv|VK!XGm3x8JL0TƔVlal5%ƫlY1^ $Ur)ژg9 iAY7ӟa?zry{FY#j` n8MM!eV nF<NWEs9WcoΒPLmshn|=Hf$|JLziNnptK>a4HPRrhY^nA<ϡ7a= i^lծTaAX zF,Xz w(n\w%\Lm>A! jp?R"a(OZ~XdOSAp뼘p'ix2!6摹itf _H;e(_,5§9SXUiF\nu5B/ĈHв_ů(% Xn^}̕Q36)3> v®U(N1NYNmݜS(u"7rH+iY '6s>|P HkPd,CbpR"'a^'/|G2!K@ZI+ 'qқk~v Z7#! m,L=lv0`54o\ol3b{Sgwz$hgYZ35d30b03f15159d1e119becffcd631f67deea68a325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 a0228b29f8b6e8701dd9bbfdb51f1826e98b35cd 304edd6d559dee773fdcac95a8524d19d6b01abb c78d45dc74543de2e0aa9c37a3330349c1928424