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 s/ \$ ]HOLCF-HOL-Library:threads=2elapsed=15.905cpu=30.304gc=1.400factor=1.917zXZ / HOLCF-HOL-LibraryִF! h]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,{jmA<Jub@ijJ ;{h4@_zٶ&xGd#l'w[P E MfGOCƳE(t] nH9y wߚ&;C?@ ~"{IM!&`)cV Yuڡ @Xْ5:}*Praɴz! 7\U@)<ʶ..Ť,KK Ty }7{`&pNL*&D5UukD]`d>&..nhL󁐽0-wEt? (ŒU˿$p5}2[`Afzln1 (B:x8/,NF4صqoLs-FC~USE/jc\&kӋ>Gm }$e"-oLu KgIke]݁W"6CG'9l$+Ƀ`š,0# %6K]4bD?o|1͈bĤ|2*p&67Rq8`Tf~fsQLP@po<)HZUADWJsLoW31?ZjHr;t akھָܔiP!rZ:^`1~>|)YbзXj[j>Wtb6M5i^cm*IkM9qNb Zx5} ;rR(qL0{H\ i)]IgLQ=u$ @DF}1 !毥$°O׸D8||zK ZZt<;Is8&fE9r.œ-X\׿ ls1Z#|tg(ZM9Y x  $X_q\5 |/Bxrqf3ӄɅSqZ\=LO:#o8cF“hTnL w9KidD%F r?vM*W)C}w"GP<#4o<|\" #C Ky|8Գ_1%* %"ù+[=w" XԗاvkxPt#'>(i.6B~lRdhʃki'6]t+PWԹe [^|[ :,mNgSE+K 5Hw(Kd>c.gkPxub R x TDFfJĄFk A:Eܠqa)awQ_۔uG>YKK dd1M_zr?_amtƠ" V\. -do@Il8 CAyh֭qg]Y*(_60cA &ң;lLhLL/eKq%ްj;Kz[0PaB$~H eRh';q"Д6uЫkE0ײ 7m!GJEG%BYH̰Ƌ:JYbUV{13%]/Gh2 *_CuMdh`mDe2H"E{n{*ISf2Mz RzKLP}* m9vq@upɿލ)~cyAvp^|Q)ě8,b vIl(r _9fB#a'a!xSMD%%q'cAQ%`zCT 5xۚg O7ρIk4G9QJdm-d6FN2*;SGA#jqс{%53a9ŭ&kj(A5ԨR_8a=G >=]qu""M$ֹm"!Uv'6ͱr /q:K(ZBO#Qdݣ0pq (gMC820?Z9 y& atl`EsBϊke$x.Q>eI~ٹ#)"-ܴQh"wxg@_ز>eR;q-aAFo#ͥ,uJ}NZ$?NtwbϪrZ13ZљӧGG7@{#ޑpNuᅃаA9#{,Ιн-%`L ­ ih^z[[HEFl6ۙvHt^/0C()ƴ`C!F6&m3΋PnZ zSQ+ ms6f0T⽊Ke+D,h{]qUiv =EQY:^9Yقܝ]PnM/xZ{yO ybĽpH8Q3T"@ ;j  U̔- 3wkYevi<[;^!aJbsM#WdgXلlۤ0؍gYZ7zXZִF! KM]ŗXi%T(\m ON5#ƃz5D6}y{8ӳ,__=snP Ov+q;V w'gm1wSN9D.(Y~;7dlkՃYn~B,$l'V(I׈'2&WQЫ^u-l0_&|'L  `}ag)j>a )U OT:Պ'{8fبnjKH0} ,ST|K'Ŭ]BB6mG",]qkC:.@ /Gqg/>"Ftt>z38B"J|tElCH1/vݒNi9 R?QPH g@Y'4ھ/N:,iGZ\*ÜĀl"Rگ E2it<6F%YE. ;$Z/W5 T.J>eV0b2i&-#, KSuK9P]L<\:a1P@kMT)-z_72[씔c\!1S12`VȔM?D ['5*L8 1WKA08~Xǐ7&z4RMǢ0C$aM㿡JW~k01/m^N冰5\/˽ q'L6;KQ5'(O}^G@ =P6wTGr/+E*1TRqc]@89䰐ci%n0;[*ŧm$[5~nWp]i\"򼪷≳}~[mP.9yInSWUC,[u8Bgo W^"=Mߧ`( A M{$:IXZ i7 ~EQm }:,*˟ZiV3 ΖgYZ1bc701f8eb6474e542db12a6b783a92904024b2b 34221437a109a5594ba7786476b5abb5979a2647 5115babcf82b51329a1890394e7d219241d1cfc9 5f3249c9a2080df051ec979e03e69f7b6c37b568 6a1b07b082500f00f6c3b1326fbbeedb536bae44 82fce86746f9061205d625fb926c1da3b71e3bc1 890928a818e7bbe5990ffea1ddacc3672c7195f3 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 ad3e0430353cf9dd719486ae796d190d5e13f04d b9c5555005d2457d66592f71382507c4831b3f89 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d590558ac27bd56791168a8179e1e46d592628cd ea2803e6ad062cad8ab0bf6f40be7356c48a14ad878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5c0e078edacc5c944f795beb4c8b643ee0eca7ec6fe7de5450536a73b14e26a6fa65d087119d2daf