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 B' D % Tree-Automata:threads=2elapsed=33.040cpu=60.352gc=2.804factor=1.837zXZִ ' Tree-AutomataF! ]ŗXf1-/6vR[lNq!P{csQl]ęW'ףhAYB6COeG4RR930VGbʞXdx0_11Lb=-/b<~f_=\6Ed$F;U'=6/'BI'WVX*Lhh= _#̂ ~c/BWS،'j[A? B>7 cq̽N0,tvg>*.$u't2·BpĭМUH2#Rˇ>[ hnVi;is8F`VV) +\xrrk28jJKz$ٸ3K Žxd޽|a>[ں $8ALg)yӁ'+7;) .k%q ̷U #1LDjk:C𼅧X+$aU!0PxRc1WT+QBekRnSpF)ؽQ7((3<QKHCξ1=0 &<a_/BDʈc95l=(+\O~0s nVg<a1cZ_e+XaqGɛ7BwLf†&/lAuVʞ/ޣݬX1Rޞh2 rl sf'v`ɩMD`i@.Ogwrpl *-tFBPFv-w%sSo6r0/%Im$ObV ̌KpIt+7\b{4ٖZ͊íi$tHˑ@ku."v)_j3p-0p&ih1ӂmjKkɝ満$ylBkkÝ w{iaNʨ;+[ó[SJ}^/>{[Q>,ۄ" )D.RР52TOb"%PbniGl,Y n9U/9w*Io|Ӵ5n#Yc:#6z7/ӍMdx04$m][ =zU &ØK0#"o mV'eȅ J"6 e^Nq 4Թ#]fVs+3jA m>3s%o[;|e%#crNw_TCNP%znjt?rJUҟ{>`'~QFxTX懾q[>9Ƣ`뿧!V!4/#kUKAa3JXxqi<Иü>˧=)bs[; WQmߣ]TEt:cS{+1QZ(;#);b% 824M;zda3v"Gg+@Ӝߢ3qIw%Q]T:[ bt(<C+!iVk7O[kȇ41 J.xrŽ3 $ s#3VLVE Y6x}< ^ /Hǿ{ka0WYi(BM4gwS͢Yt&nbp]8iw\&^|)Ach/g4PKrbeo)z,ɻWo9NU[T9yldANýаNaeYQGMD~bSHVMVHp`5Ş?8n|tlЯ:/o )>fa:%J`p:/YWӀ -K;8E>vYYx7;CbDFς}]lG9e^|cMJ\s*!"нquDzn{{n0l(=; (dku6&Y tJԴؤO0qQ;K*9#< RWI4r'}p }Ӗ+e"k 7IadkGo-D6B2Ki~p9qҋ݄QXEaK Mޚa_+Ϲb߽z" E<"3 4udWt\fu@^dPXh~aӍ,zhq §I.#&6Dg}ɡY~xTxyțT2(ꡕgŴWJ2"B?c Ll35śͬ׳_-AWn`> HvM|]& ~` ~D>- /#R1 P{ͯ43@s_y3rv&F MRXo*]iЪ Hy)[$F$i,L;))d1$7{ƚӶ UĘLM)hS6e"Y.j􃊅˛$trc'81T-%ڀ(v({XD"n(3%Ũhci2l;qJV %/MZO0@NL" =*B5 ~?*69LS{k`5l֡F*,f@gv}zȡ`zy ꉾ`+ kqнVU)*R IrEtSgQhљY\k[e)"%ac8+"nA(Lβ> Cev5; n_{o}1LoFqOԣw y7(yP FoZ, M]3 B'n 3՟H@6@C@v6'!XCBmn|iXÂVvڋ*䞠)g/nO`PSd,`vX$f?jVCv F4b`юd)UaeI |PZt"kFZr\Ҥ+y\0c2Ódw)mN!gYZ7zXZִF! ]ŗXi%zx:i,5=wXK]a77ը)Vϔ1(٧)bw@[0Daȑ$x r|6ߘ[Rw':*۰ϡsJD%XM3U/@$ $&PX /ڃf)AڝnnɾQT;b}z4zM?;kC^+|FtZNrUl708OS'^yE֏"%)щN!UStU)^Fws.c-E (-Yߎ!K  6XkAjϣ̶pV`@Q7M]kܡIq?@'k4(9l;(69q(ၑ2m[zӟh=3`V~ԛm JXMD8bK;Q24T,ࠣDnd=Zb0 jqϖ^9ܹ]!0A?(^ЏdoF'^ѓ)bWۭ׺]};.~]Ex\NhP@LuIU|7O!#K`(D9\p K4 mfE FA0E*)XXY(<xdž.Ej8cvp)#OTzzN˚!iʏׇ̹-C)tÛ{ L7fG5MBr?˖;,fTIϸ'2߃mb!nBˋLQ" 90;.jy4.vۛ#Iɏ搪֪ȱz_ ˭ EC4'XR =WVTDiTƅP&#?~OC:!R8OBdmE3ѵ9\~@q N)ˋ*"AgYZ087a8bf4272df345025ccd0e4fca4134de43fc84 1870f020de3129faafd1aedac9c133b74f8f16ee 1c0286b9f92af61756bc77c363409f25aba8595b 4592185e600fb7146b1b61310aa01dfe60588acb 575be2b199753eeae2a6161bd5238095102c32f8 619f6b8246a487b5525aff0a4d20d64a270ff3f9 70e84d86e16886c1f82c603a41fe69d721a48e71 745b10f59fd8b7501d3e7de1d5559b3773dc2131 7d1b95dd68ecd261456dc46b20faa076287fc375 de99f67245cd832093c0b48899a742ad2a82e388 e397fbfb1d5da7c5e680e15249118d6f9d52e0a9c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 beb8f9054dc0aa7e99e6a3cfa5f6cd75671a887c 296cc97e2d4b39cb394f472facabd6be0a26f630 7f3152b3d1938c0f14785785d6f4e87442176f96