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 \7dD ] HOL-Datatype_Examples:threads=2elapsed=159.854cpu=316.764gc=43.636factor=1.987zXZִF! L]ŗXf1-q恈&!&ʁ`H*d0q~GỮlCmǫv@ 8?5 aOѯq8E-vyW#=$AvP!، |+]{ʮ,<7=s\BܳӁMT8QUi0{Cw:}J<#L-J22+,e kD'drmL6x%V.ȝ^ b:A`/ _vzH Ϝ./:@8\Beʝt'=VZpHUgυ6c3%MjhQW( #h 7z'o!G ]d!lL׳"BN-@MЩ6l$:T7 ϱSH4Z#5T+}"o F~۷`v%ZWe6GZet. 0xAm}ݱ=r,N#x;dfV1N>e\GyPh, I%YׅvvFq2-|qgI?aG$cwD9 jY!Lb!#k Gk76ôį( q&< Ʀ'/9 o*Ld5KDE]^'UNv4:h+w-` :9O"y*=@ xkAoɊ#ķLaCֲؾO`PM=ѮHR#k+YJbX[ǞwWrͣ@Y'wFnOCw0{{elhoC\i'9uIU9OwER8Q{xb~LoaҊpe۔W ;s{Xy~ފ*ϱωif6KulH?! Ul<ИW@:](I Ex ~#z+(K#XF>"JbMp"4+abs[̯\W8[uew%O<"ফ@F"E*͊˕0±/e$7l+7Xz.h:ؑM ޳2@X_O S@& "̱֝6Y`ٙHWb@~CMd(CިkDc=eU|>a"3 bg>-z ungYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cKƩ TZcPl! BԊyB0001~+DXֱ0 iH 85Npįծ.~)ãdzG<~,+J8v>A^!UԥH5ɧcQ#s-rDmSnMck(^X|NV Ij5w/'{ٽDقsEwHW =Jr n>w`^zvlq$4lZ4c$c֪ a.gѪrnunm^1 V ,ngYZ7zXZִF!  E]ŗXi%;chXER4:闷S'~@wv鞈8FdDa *ISL ZkB'Z(FdX]NXdQFTs팉v+OϧXd>@b5,(9/WqEVd!ZɃv [ DAOd/:%p73A￑w]}dx}w| sA1mD'+;C0Bvы}F:p{5"zǩ0 4clA]I[F('$yph?lp<%ܜb%LLՑo`ؕ/3DT6XZgUpGg $m ż4 u*-#9)p%XW,lQ ԛLÇKzmǂRB¿Jq,k&^tPbBf"QFq$"W>"Y1!cc'zs;"?IMx/ 0noV'bCC 4DiҠd)cvMȘbAX.^LDsX<5geB+ \O'3U5QYjܘNl[)"3Uu#Y,sI(0I,Jd`IΔ>;O;w2LXwi QRs~WA9d7C*:8`DX̛M_4^+j %&$kj_[K@dl`.7 b4E{1n㉝\Zɩ]}=|ےN^Z64)'WZ\w9e%M[Uhǚ`fQqGFf$󆍂^o, M7mVzdJ--X[8L;o4 Ml[R YW>3 bh6x_W+_c prz ÏO:=eK@>#޷\ N^'_R=}F冺.=fnT)׶̶Cz/znpuX1- PxD@ƬXI0nU5b.P񮌃C1LۡmS-㕶r Ög C\kS'(fENd_ cFذFu\'a8 Ar|'x~$A1(JD1,ڽٖ1úJSEPVqBjI bҩwĪtBJlR &́:Th9}mz}vPTZˊSXCE#(a18yg("tT+E8xQ34-^m0~ZNGηC<;±?E-^W䪈,a8},e@֓d˺viO1ii.=hM]8D|rO)b ҳ e6G$S)*VhivӼs {M+qIN'-;;j܄Y/ge(.`g'AN!Ϭ=]%q7pA^&85WNl.{]бn!`"&Td{DRrR)BtDG;mD @8 2*;YsgµPzd@?߀ +SC!c܉+2$75bM$/Ԟj􍶉.|[&tĢg6*gZ!Nٗ0jiaeW##ҧnӣ],sF0 ^jf\w} *{{4FO~1Ђ+2oN~/W4e{O%n`C "g:Š -nvc>0:; PgRΊv&l;{ԹvQB/D]K.'zk.v> 7k@v|ҋ)B3T87> F:@`ՠ2x:〷*'|J{U$*h:PZs h@p}k |@.&SiG?ш boM' m8AqEʋMyr[nl%>dZvv>:4cznNO3僱ϩoq,zXۜh>EhP1MANO:,BY,v:٫"jTDI"X5Ѧx%ү#q9 y (#͚FF#JʠhO_NLɕH w<}tUI ,סp}հ w\;T)$ ەه}/}V6hka~&Q+}mv29̿mJ$,[yuŹ>ZiXmzZYFvg8ҔӪr9b?qR[ޢ-D@KujZvv(jmMЌ$&R^m0"~\{)Ix/'kEuO%z!STYP~5\['lDq*t#ρ>q)?"6_G@1=ojZK:o&k/h1|]h-G%~] ت.ݎlC6vӦ[G^&]m /h4K ngןM UG[T͜zꭹ@Ogpku0*:>oYބݨOwSkl+ Y} fb←h8"CeUgaeY7_-Q];SN1هL'??@*-rl:kI8jƳ D.~d=)$̖E9H6 10zdJMWZX_#Pl5&\a25w>h*v߿*1hSHkg"&,5VX^Mv dshHbq]9lTg{ҝ̆G\(ܛ$J~o#l'G3F<;.FI[e Q{* !wۢ/Cԅ .Ag| z,iNR^t;doVg~&=hfs(o2bi$W?_P#!Ǟ,!$3k+z>gUʈębRbl~Kb&*ܩE_}T&SUP<(: MĢ ;\ǀ5lGHړz԰K2(f_G$HO%3o !)¿qY4PX% rLV]T٩Il}%OA~i°MX'vjZ$Frh׃e5m6V*܁z"$BzP|y}9e[^L b9MFɳ>2۔r&xV}qR}Br?ԕ \?63Z]cl0J5}ў59/ z1FG2Sԗ[5wDIh YqnyܢGǑ|XijĔZ7.]v0sl%p>8,?~6RVh}xU6IH@؊"W^U~dώ5~VAe+݇^*;`QWOM#ʀjWK6&0› `-PphrR@c jl8&λƔ!tsE[]c&kZ30$(gB?FwGi>r~To$Yu 1|Mܭ狢6՝ͣ`qU*E "1+ m+z*)0W|3,k+I ]%2&@x5{Jav8UFCX'6x˿Xa.ղșuXRC/ȟ_ c@q1[b &Ec= :b\xX-yΗʋ%3*mq(zQ_llc5FqJkT# 5`۞˥gPOT dm9KYUm$zNJ(abml݉s=z@'SWŁO"+8ghY! "4s,i.=fJ6!m,CjJP Jͷ_C~ZzH뱯<UZ9PI_L&3r A3j6> _v#bQ*[-8$aD=gX%dBٓh=['V)1tLQ6Ӛ p|Օk-2Js1NQFwVHNb vaj86HYs'9HY:oXw'?MF–MA@MSp-!k@}r7DxWpX8a#95"e5\񭵛IӞzF9xX$Jt M*{5kL FacP ?[8TStpIX%"`;L<׳$\VwiV-lNXoA^zH[\To[iخsD\Vc{诫ZMʻI^e"ޅ.&)9NY͈sq-*kА;p3gw# % /&,zJ:) (@ |ޤ 4v]&FWEe֝V3D`99FS 'R,RX>>T^ .W6ơb;GMyI.;Ȏr.[ ݻb,1DKtqByd>m0; c]x/띪-~h6/Ƨ&FL)q/I*MXs՜κx,F)c7BC=CG"ov74#tqlc&cT."w=EVwYj'NEԾ2naZ JxWC.<3#R\F.A4\ʫZuCǎ]w1N٫.}Y\|-Cv.|,=ݲzfFԝ~B<OV׳G?8"hwM4guFo4-33F_a2s!{Pڥ V?&C4axO%sGg&88EwBHg`5j~D%vn\GxحnSx-tUJkS M.>u`y{+/6ņCU@N-VK=sA?J'3:,CU0q5t;5,״ĕ?Yk:<9JGW^oc%w%\M.r7_NSX-LJɊ1r^P><@^z