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 tt]7L O HOL-Datatype_Examples:threads=6elapsed=82.821cpu=301.872gc=27.928factor=3.647zXZִF! ʽ] 7 HOL-Datatype_ExamplesŗXf1-q恈&!&ʁDݪsy|NˣCGV2yR=q7q ֟]fp3 [K7'42Q'$ӈ%A * q*Csj{Si@Q։= s~R@3+V EIh憅4Vc1ۣe:Dxaצ}d)'&kl>žZïݺyîJuIJ3 m'qw<>m>2Pr.Vri'f@FpBgaݗ;} |UnV]S"˕O] -Cb?*-҆J8ĆTwV?$mh J@`C)%(E&H#[0kx8k x[F~)tOcvNIr9ЕbЖt:h6)AS94cQ1N܂e?GisZn%-TlXS^g9П$ƙМ+zdmx<|ymk>jaEtۻp 2)kJWq:xaꍆMcGOa)V@Xϋ9]ߏfmOGi>jܞwX]xWnJ"qGsf m :c+흁&,^)\(vd A]64K䛁&#3ROXm&%GS-{l4};DTL֙<]m a -x {*ϕs9/'/iZi3YÖ?{b!@t yFϥt?/|T Z%@2T] ZNwmfс/%҈׿sح5"TAmSHWpK:7Y T6G޲ ue]| {aH( 0Td$~Ƃɲ{*Ndsx r{ꋴQkMnh02|&J ?y_Iۢ1늼\dKS'.]FZh_A"~0m.u]/K]nm VFŻ䍋轉䜜.0Z}R+\Vf^?sD[-$ AǷ'~Юνڽ9W QsT 1/=Z/?b vRL"R1|48W{tA8 & HGа=MOƿKQ܃l0`8u^wfKd |KSR (]q?ۖ;,=ŠoqHB "dQ"Xf҂s7|.ґ@/ز%o ;6Qb~H41Q`!O?MP?_O}W?qS+zɵVN~5?`!5KĖƚ)Zja*ffcv/|7lT+H|;3PS!\6 &ƴ.*q6(w5;";0E~|"GG'C79}:mN m֚ւPtfhvWX+{VFNG^R$t`Ir_$Ag#f[GA;%;QZRNU`d3^v[i-OCOpIh"i}s1&N)3qH. SG8}t9:M=<)mi\2lxՠLr4ޥZ.Xs!׹ ^Jޛ5J۽X]pkj"[j._KW3Mh 50mLq.1*~BZ d2˅")a8&!kނ*0t8)5b~b(̪ e ^1 JEm髼MdDt[p>ț ښS@VU,l4MƫA9 dJ^3pLb:-=Um'>,˗J9?ƺpA=3=vO.%aֲEQ<]Ƞ&&01)*Y;I)o޵X0F xv$gRV 3*>_'M\KۚA2ۏEG dg0ɛw]RςRM*\{Dj/iqܣP>5jDu-uq2@ uPzz^g\ tE%)=? gW5[MSu+iid l-!W A/ @bO QAd)v1N/OՇ#Rl.ޣ'xc۵ 񔙻:b%㾰jcQ`c{{\o:U/Cr3F:`$\%+>ܨ:KKHLO<ƹKo+b}ZM0qhlblv!Ěrx~K07v(]e,\ސ،lni2[JL }"O8FOqcBc\SXݽi#;ٸBJ?Na h" T!~' Y閖XD4$“NZ-GdC-)bgi'?7gR?/V{фl.Et[jF}th;~ {[a?dռM9XSnosrUC")̦wGr9OJrcue0Y̾)Ra 0;|91Rd⹳_#kO&|˲K |ק`=|^}l*vx@;;GIc5P'Q4)[ (%w!-_A~ e['gpNW3Ԁ*E]:wYKB*2ދeMQ)_Bt87'ClMJV5e% AnLIvxmrBKA3(Q䈶Mx{l,J ^~思u˵nq -<)<IS$j E-BĿQBցusuP)gSZ`*q8h% )qEwJŦ0UAm8\ Z|෸ pC>PW&A25="b=LPkYMB oz1"4kPJ} ˡ tz< xRkZHerȳLUeg1w}$Xb~o;|4‘nqZBT? y^5 fڵQ$KO:]j29j A-l[f+ԉjh.xb. z?f|IfZ. z%#@nkj i.K_]Z`Atoff'x Z5I . K!KUlT ~&@T29[hFX9Fl#&,6+xҸ1huws5VkO_EEC6U.$mtSH|X-쭯.oH\Ѓ\; ^UTEk-ȥ#^j.8ǕFE"m:'mXW :N/>0F.fO Vd{=܍D(Kou#&:2Y5CǷ\|cY`܋Yj) /S+kS–x)Yc©PTQQ 8:S K|mJ~sDikbC Z?hϡFa-lM4"/@%j2f==|s?c LP%0ӷFy$8?v z" .!zمq>.Yʹ1mh7$nV$?83[?vk3 MwfxPvKt"ҫM;P֧hD(2K+ʢ헧r1׶ڧ\nQD{\!O)^{ ,=6MT9kyJh[&etPաo8C⨵>Řs|k= 3' ELvW쓊RħiEܴE9GN- O^>VL9]XF $=l8XOf8UD Ri᯾;nXćTn%Da1M그MVݳxKIB0ntm$-oYfLS[*"WƗw'2 9,w8,d%}G1`z"Bǂʌ.n{M9km}DњÌ0,NF>WU^G!uAiy6rd)܃PaE#H_%4K @9%s!e 'ohC 2 8P]IyJHM- #į <${3).5KHҙ+^J.;aZo=7l'aJޓuUsGvRΐ/%CS\/'[TEՏZq=dl :S'"P!Ns {&d0%ۂ/]9[M8ԙDؾ!b\!@@qK D8 .&,gB!6`4ܲba'L"iOJ Ѐ?X}X x $RPa,M~pbQP|`JjL641:v!Hg(8XċmM, m_PE-9I&I;OF͖GFe/ɫYglaLk;pa-JɀCڮ{LVB`Myu d"ď*Q8ҵ ̜O,2s cj#Zwπh„zabg/ؠhB7q88\D]i,-{W!H8Coͻr m Koz(6T huXt.r4ml|$ 6 Ll[f<,:_$R]^ːI>(:)픰!rH;bkPsEQoaoh mz5 pyOuFn;6𬛫IiOcϬZ8V+SjPp=F`w+d{h_`@ ~D\Ym22=9*UEѣ͇2^ѹl: A >m<=qϏ,PH |7j^&*S@?|tKR4bL3yҌRߖi}Ѵ.O2yj}GJLo$|EZ ^'UeBEBc =;y_xXvޛ0+-3~C`GiB}ל3o[okI!^M!AT夒tO rYD.k]YI=T em!3;XhI/ЬtjQf-ÃyY'k{?1)bҁ(Q>;U&P0zn1ܚ`*#~4OWD{JٰLGxTl?e(+d\۰i G҉ݙt>jPR;J qk1 pEsD