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 M) tD 5% Jordan_Hoelder:threads=2elapsed=19.716cpu=36.044gc=1.272factor=1.837zXZ ) Jordan_HoelderF! d]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃0<QTBo&(v|BdIu) W4=:a`/&1.Ei6OZXHN{D TckNw (pxFuB'5Cj|5#Llmi#oQVqJo+|?X@%̽EtהF_XkJf{VydcC#-^P^ԭn@ǢNmQs|3]*q.Ћ&ɛ~&00y6@XjզXP<"PEsc%E1ZC `SOj$vv mݚw+ø7n݌J ?6iЇ/Z &~0*mWHXnnD$1ZOixA9wJBENnV1(MCeá`@a9-(*Ӏ]LA,sװ;Su? 8pf=җ1t2/9&cc32?s٨wD-(y1Me0@HE?&tacle[4QtXc)cyl<MS,ƞrx߀u i~khg ڈՖ 4cz4FE|=~LV.";`EO̿Ҳ/W=UKꙏN5֝M[FOL A' Ly.2(O}I4!Ȥo5hK0&ѵN;Q ,H6mEW{ av4qW{3@McS57(7h2&r@8EO`<P)iNmDH[>TrRD| QZyF;Cf]Еse5݆ĭ YpY M$0lԨ?"[>wp2b9ȭol+; Jal_eI;S~_bAU'\b+:yN᜕|1x:?}נ)[l <|TL?-Gr0ƿzi_Jj}vi79Lbh,4wh_33(e}t!}ư!4۷hĘ]B9u \20'5+rSY/c\N$; lMn9?]Un<;mٕFjiPW!g'sf>2p /4c+3ȕFzJsSbK0Z|fhry.FIa3e{i ěd1ߖֵ`c5QN2=I$ި  8LE,=aXs*ӆ[hZD!?v/)X9z[L0<'=s1"U?ͣO |oOb/i1m}% ?7Z;g$P {& V*s@ yaX,l Gz54vcbZʢlzt7 H V(SpwQK} `%q>iZq9&߇Z|֙33ID@!:^Zo[>"t+Ds%x/O0:l3}:)'DtH[{NB`cG-5kΔeP 'j^?MZ]'cЌLLpZ7 Fm3S V G}sV @҄ x*ҍ_$y<?FNt: 1IlXgӥ*s*Xd<^zFAO&q-@8 r/^(5cGBp+~YILq1 <\KȐ)%P`Gks3Ep~(R a4 {kdC(J4Ex =Ra!_XT}hq |;F&$I„F8$Ԙ|BMnm'sa&ΙtJ6+/[GH4 kE,A}ͩ1nH:槝\J} %c|ƜA Nvs9I*vN|%B)O{J`-n.΂Lk5$ JmCFCf*]ښ9|a) XnNE[ri%/t;m׀ Gڦ\X,Qގ`8)pf^ՀKkIroaV =/v>vK#,DC%:Du!kN/5OOtѴa#E7-JSy8tnr5V3{`oH׉602uJ1#oƪW􈀚9Eo*9nξcW4]rC='QWWiT7Bibg;\DK; 2M}Z Zͣ;bHԭMfrbMY u$u lI Lgdk398w KY+r5PP)ۓ~C]4WN&N yLPh *e`w78hz;;YA4Rkxsy+j:w3d^±׺|8]Qb%\5Й-m ؎"g5 \M:~yQԂ-MO Ve(@J _#(u{xj] T:0SwtBɮaJp鈒_SұԶb[.ls怷nVЊOT ˳kw z (W_F>g .9 O~RDW}>l.LڝI̧ZH&N2zr5H=;Ma&F\&ˋT"0!FO9h '^dU?ҼI0PJQыT>z6,"@Qt,Rܚ(7k˜N#Vf.ߦכsh`(>ȍ8lO\]`rM,RRϏiF!Pa-G^|azcKqoqHN(B0~|b*>X؍#AkY!IPV6u$n+?}>@/I`Vl%2~A0k5v pCc툶gdQ>זCڻ/Jl"8$>5*{5'*V~Ty> Ðd~_C&u_5a]YlwRz"ߊ*u"q .S|!a3O|VluK=HZeIF]I Z. )Awۍ<= Hr2shn*΂%E/t>?SarFCySĉm1ݞvQy~>BsaV:HV:qf۬)Ϫwg\-t%lMdy` c~,~#95x qb;;-P}}C^d~\;a6nL_p[sXaIvbHeFĎ^]6E.rWu\O0XY-,v4r!9>XQ?_ aQ2Zqq2vbL$`=ڦ"7\^ItK*@$`3Sɺv:#,L=XKo RivM&q..@@M2%`O?EK2E $΀v2] %s;J2L;s<`nʜp7@s,{B+Q+p$GgYZ7zXZִF! g]ŗXi%R, AFSHz%ׁ4}~ xͨƝaDlOyyJ?`10H5'+ˍ1Waeln%!=c-5m&D<ZyVk&l}Z/iRZռVpT%t}IH:[r :eQj=,gTrNk—^roOKPķL7{PH"OeFsؕݧ1?q9TLև@6NXlo57JrUYݜ 6)4 )H?-~sr^/o|ށcIAi].H"DDz< <ı/؇PFf]tV pÛ-UaEYdlP{'r dw!666^MAne~Y FR\g^ ULI a6X}ZSq ܃uF|j7 A*.9&ZIj G=\Gbk69Zm/ﴪ36Stcƞ"Ϲ1ݻ;JIRRCȩ-%w1S x{@K*gIw]WA(WXZe%3|(D|F mop%r+G5${(WwԈw(}4-f:O^'eԴiOZg5ɡo 6N4No6irPW1VHXCuݑB!r`/]W-}m_{1x^lr`AuaK"4*CcybKnӣ`8-=\o >ll2׶rZ#X06ۛ;cIDD&vFVsn^l.+G/ ~pz ǂȿPQ8uFl)8M&蘿+WԒNq aѵ ?#' #Qg2×J?_ T84q'7M2u}' 60z2o`.iڟRי`e02fBd9@%??9O"^4As/)\|7+Y>5'Hx˼(lVD+[A\Btp2njnP f&9̮L;E}A50# ds&|TQg%j2 [5[)gJۥ k+0URq&E3 y MgYZ0012dfd3e886640dfcf2523b5dcff829a64d5363 0d4ca91b60be9500c90aee83710a5c32b25701d8 1a7e79d45868f2511c1360a7061092c3726fe930 4465ccd5b4a4a9c97df21605afa11aa4252017cc 707f7081877423ffbac6d7d75ee7625d5f888056 776a7603b7735c5547ce2f4f9d30bce956adf76c 7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2 8b3f99e8a85c8773c685eabb3fa2c5b88ab13269 8d413ec5196fa7479220c95ac4f71bbac2b0d693 b176700549ee0f4c8e3f968ae19d18603871de0f c0e02d76b3c21f3b457fc7b084784cf6be553187 c6d33f696908642619028f80d5d7707602192bd8 cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 5ad2f9166cfd8d4d2fa74648bcb36846d876bb60