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 Q/L$$ ]S]Deep_Learning_Lib:threads=2elapsed=194.428cpu=346.828gc=17.832factor=1.787zXZִF! ]]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY΋V,Fٮ- @C9_?6} ~)u}<e8:SzE;֎v /Z=#.]:*,sP) Uk%(xXCWO1 lK \:M3 lȭ9ED0$K:Q!D~1FdiOFZq;>@mIE9u @ ķGo䯊1-(pZkW;zn2:lI˞sL2d |7û-2QL&b# Њ0$3%HeX.@^3¨S%BlWGIm\7̇YV[[ "= y0C0& ~vZJyzS X.yK!{W>F׹1>k>6m%_T[ߚ >:[O;L *H"?[gi q_{dkqu@B=)i(}}܌A N"q17BRm<\gH`Ӊ @Th\z=%i-m)G S^O0j:"PHJ鹥MIq oҩ-_K>UϸVb3^ܭyVt\sիcnE v=ܣBt\@4 J 連/-\ӯ\߷pRޠ@ؾ#Y)j{*l>窏(*f<|UWީFVܒI@wx2fjYNXܻ2KM{esI\#9h9UnJAcv]]Ge?'zW˾aerڟR"6aCDn^5#v=v#6*_Wav!!B Ev!K_`Ʉbtv<{c`[*3SA㴓,4tAs8\ ܊Ũi,`T4_rsm'}"h*2nC" +/_J,؁SG h;.9u?RH4b<YD^L:JXe[M/-4l8sg̉~ߘVyc^Ly|+}+@YS)u l[|7Aioea -8Xg? !e I.bIAyႨJWD<Q`e)G[ǧkX4cuh Ǚϟ|'Ս\Zs.pBİ)GjMOHwܾnU#3qlj9]!rn7l@Bc[\gݑ)ZhgHmliiwQVH X{32^N:!jHReP$A:7bu윥L?p"}8*z8yXۉa!sxx,A=G. XwdԆ}ߟ9IÓ()O$5I#0}㲒;HB Dϓyʩ؀pe9M_օh6ܜ!j\)#AUji@vn4(Yaݯ@SAZ& /MHۉ` ńSzeƷ&Rkc2F-а6Qww,-VLlѽ)G&.p 1ŃCY\Ń`"| o煪7WL q ܤ27ݥmGYr>~v%5.Ԩv48YV.Od{&j1DnVS !8 jLQ?>A0GG5 $k<1J!." ;.b8F}lDrLcwUU :& %16BB^ /ݔR*b}VM:hvGj/NL9Gq=ri_WO+\Fx.V VAWy]$`)̿%>@}9Bg) pnoiN8Pu7HmކTAiXU%6 _R/1nm(k=Ą7.#w`L0+|EGm QYK n\W[vLhEJtViu` *̤ / Deep_Learning_LibX(bɸ6(d+}v,CИuZi8Ixb 8H díyOE#i]Np5љ'+𻑖SF>\NBo)_8?Fͫ/rjt0(ӛ]ҍt`qBaZJL`^^рl]LA;,P ͜ƭ@C}a.<#fZ( \`.AGgE:CXa#%" <֩'3=׳61@Xo@>qtUW)*xьBhmx~׆DX^$#ɕy\_+t~’'0?biMqwH g:%piHm1GT$@-⁁OxNݢdVtMF>V wO)Ĥ=V{C0& ¢@ EpN{qK~2q۴Ip~_>7h(BNj)^#]9 t)}lR+LFW5܃*T%$RHU*S#tΎռAVǹ G3~Zfd F*kV'nM)qm#KӨ0~&k~z6૜X%g Z\+Pk9rྔE^hࣆҘH+ݹ[-[16e bB'ϔ0E:Z\{! XKgA0ZTϖD\5{T3K_/S|B TVnޗLrG(%i"aje%䭧Ld:ښ\-F\hT8SȔ E{\ˠMs斸 e~KZ.T%aI54sABN)ܝ{aU<|iܬnm[A\ I[&Y▛jr;z~f9&^(ˏ(*7k4]I4>L'|s= z2ߞmN%[(B0\ +t %n01HO(M j/ʝC fDE.!fnEz 0N:ΜfgC7$WP+&NbgYZ7zXZִF! L]ŗXiɟ1˦r!W!4CČ*OG\+x;A ſhwP*e4#$ʉ G 0A/zѲh[yˣ]VϹӁK00"X>0CYV}ъdmcMaY2ḍSf}0թ-q@=.oeEXUMC亟>s&9:WJٿHj`$XS`V,s(zRޒW=;\5Ń) ~{XN97-r 6`\X^Avp]U@m#xM{c) +u鷫Ui7\ɻQDKX15Ub>c5lWB9bl񒕿$2E_RhPiq@D09tGf}?w,?  %VnloҖhփT *k_2)r)ÂY|q5uTgҔ,,bX!p[l2mDTU>{cִ7ŅaM%VCd$}R:afvt;'pmqY27WEmaG whyw`'SEVVRK 8\,?jě}L(;x Ң C_i谓͕z03N%A lxa{ ˮi)me*L6طgdžנozv#=U+4uQodi56dΰxM^(T8QK͐nOR'W- cֿb/KA%%{`%ȥ].YզP Ӳ DZr-e,~/,z-K4l N;1w~v0SK )0.?hɸkZOq׈(&o޻9,; > [jbe eS3'zAJ#c:c6vbEzt 1CjY=r7)P" 3"JB8n"),?\CnKD'-UtӼTR*gp^ɻ&ݔ3 ZtFFJ9V~{.c]O4mXM]H{B$1 $wsA%~ UO+t{tƊ詀-JewZGO9BYW9=B>Q2,H6&9]F`GWd"/{–4A 1߿©'`p5 а1eN@<'vJݺ}f/HKXۢ|͈PB8S([%NGܨOOL=lDM ܪܪsx{L;){5*@n9|,g' /-9k}gφ+v&\BEwBN#5ofYff5“ ~)|ukXS|+;g5"RQc("e7M$ k]C>Ѝ)#3z?5 y\{GD, +Q72*:ٵJ_Q^KQ=lYNcӓ;fY"uF8iBvbAǎݘphګrڷ\@^rN,.r\O %2g)BwQ7WbwM-Q\{@(x>:Kd=?Kj ǎvG^ SsB:qBy;-ZLq$v.Y!VɊ!iNT4c6I⽃m%N?nlsF3}O_"zx;S*|JxUyv9=:ޅ3'F ȡ<ҧ>qA/"93?j%BZ6+d黿/{A7SAT;93u$J.^#Tc/l /0"E{+$k $L=mD7Njy9A`R9{?7Y .b>)?`ԀrYX tť'żH+!'T\jA%Ԇ"&; 7p` mz*"4',Ae˯7Aur,؎YGIXpHO 2-1.lQw^0n'Z0m KQ;H8O:Qxw;e9gz[~f i윢N1N'pO4rG"Ae_f+4;Axn Md[\ҡUkb$N\'K1ߗX^cԙCOq"+Cov[_f&Ae;JSy'͖q`BJ_ t%.װ51zQZPWeօQ'טu8;Vz꾋p㷋z1ԙ9w:`sJaa'"(]r|F$2*SqZⓌ_CJnBPj;uD cL 3He.v1v sXƋ(:M 0dp S?EUy\lu#l[j-kHi>k@f~b>UT-?afQt(:tP{2e߳~r8޲FA'U!Yy#v`M*!qjaߊ)卷H3ҧl󼾨]6i%tJ7&-oӴ@bL`4K&%QC7F CT#*eSC8F.DЊ]9{A֍g[i:!rIn3W4Xҗ'u㽷sHjma|gz)Rߥ6K?~us%jsO|걪tD5"I:WHaG _VJo5XKZMX|HwP{W2VrYl(Vl~gob5 wRgiH:k935ޚQCs.,l8>RvǕ\C`L xkw$!gyX9ɗ` ‹Z8uh"FjYp۷B_`9О Meoljվ[gz**?{/9l(}Gpb[ď< ƒ/*,awN>EoOxC0>[}lj7SYM/jv>^BeG=4]hCcjs30 jTS*¨!rC6ځ4_qMM !W0u+S8kG+b _g)tr|Vxp{0Mmm{rb)z^7D:X-|>)CӃ4J8UqhVo`>cQk{Aele81}YuĻB=/xNrt{_` \h Pb~Ԑc*炮e!F62׽+Xf͒^)#Z.{B:_QԭXmn@wz3q?6Zb4LKwJ>ts63q1\vl@s/̓$ySƶI"PƒxgJ{"98d~pzުSٵ] e,B$=ϡ&lz4n皭\"XevyjF% È(%\ :3hѱwsWR3@T; 12~(uaT#UuܩcpۧXg0ԏS~/-tƋ|uekd;}UB5_K\ίokd&@u6<"">& G(z]^teHܓXuKaQ* xQ"`iQT[)\u/IuSm^:Imՙ 8#ԦŊJ^wDu{EQ."Wqd|k<O\NC|F*D&r3ݧE|D)<*TTKU$,ٴ0sU|@(qBtWb<[x4ILz@;j_s-Rp/:ͷ!dܑ)3찍SΝH~15v6kmg 9B۲ ͸Jql-;R>2Cg=eT -y9Zs@6~{34;u@o\&۹mrHy 9ev]y(CGseGl7ݚS\^7 Ch$*gc}upr,RRRk+듿O׽ꝞbmD$?n"nj/.,zOwJ,*~a1YA?MSr2Q&)]# Z# &n dv 9znAV`̓+/*3T[,J{fѬjRTpn\yÒޫ~G'q|V&.ǎЍ`4SsA($^ ?{[6_~@e"J@~9ғV,&) 엓!8rÓ߁j^~Nm$!-x#Q1`ՠxn=gNŐii8B.KqSFz}::e\! z--gĞS ck.+YvTn hl.`9%Xő;S=䳹oCaDW ?!ʖ3wx"s`eY\>1CuE'׹,}!

Ԯ*irE}4H4\.Qfe{-SuW8 H>s&HC̏U'\;V%,6nl8NnO S]6_rS>Ҳ@&=34J&n|<w\ܟ%#vmsrhdim+ SU2CS[F6 ?8Y VEq.YTC#WgBr.4/!FsѰ? N q\WҺQgnŀvLL*=v;7zR=9U!Qˇ*,