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  C C%/T<, ]S]Deep_Learning_Lib:threads=2elapsed=214.025cpu=381.504gc=19.088factor=1.787zXZִF! c]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY)i~Ȃ!ạ&Pj7藘Z)WQ_obIBFJη￐CQ ⍋l \%պ֋!q0MIF힭%ӽȺ 962D_&_ayܱwoJ|ܨ{ S!^UrnHaQ7l)٭==M:^cv0RϽwFOٸir, wS^B"t* VCvwުT"Qײ^&@Q=FC5{6֫u@D2g}kn'Y@8X@1M_=c^`DNDg c8?ߺL%=3`}y;d%`8ι7>P=I$vͪBM^@jL+F*Z{-)1FU&g{n+_{oK-@\ w-;N#E:x[[xyQ1~4dGlݢ>bri+j;p)ycCI&@ɠ#( @[-uZ]cXZ_/ҮvQ5<#uMH(pSS!' *#uI{ ]d 1JGY:LbгƭbUb˜lJ(RͩsMϹo Cx Cڥ@e\}O-N`I7WCKg{$(p?9l`p9?eA[igaTz^TWbvx9?1m8rrlӱ[l]C^97Չ$S G<|;Gx0/?)ˮl;Pq^tB%^ Vu1{VH[iGTk[WQNfJXvcXt16'в72d[,L_ >U稹bW bl?ȫ)y5j"66Ɩ`V~zGw JytR  rw;@,x{3 9v%;"VRm6K5BaO"$ڄnDPgw~GI1S ]F M_T4[Fl3!p7NPy 8^V(. W,VyM],uLAQ~ L~+?yh,n+&AyETcTa|&=/tǧ^YrRhV4{FhNkٖʴ`Z2"A?I6+؋sY@rp/{BkH5E@$RvgUpDT;~[FкU`Q1gkV$isGgS^jdԝXZ.j6^%78ehspqsfe@ hȫq3uP"rO$x@Cc/5`m*{ׅrY+8j;7%U(P|n[{ 7*,#\n܁i/z)0`RCwR!-g$DM@8K"GJ&Ut]9U+3Qܧ1{ /q6o1{k) ?yD}H&DK *Ai1,bf,Y ݀H>9:3>zΥҰا0Zށ[Z91c`NUƘ>m'7@L8C{n6A_0g| \i뮠Ce|xAT9IJO^3~<"!4l3LqvGEcA\.- 3v5!8]wOLM8OǻZlwkC2mE[,tg pMh#$#dH*oЖVV.Ѵ8!@0AhR/ zPpv`;@8s\Fط $\@"p,?j!Fhy\Î#@H-˩Wڳ*'AjQ"$nVkZ88u ˫\aP 4kfx{Au 3Rb$>-K1זM  xeH H3:N|6\0}?5BP3cG\H?*3t9;K隳G=wiLE)A" m/⸾Lm>20{8a:U!x/d8< fc%/#G_E.څrL3\̡botmx'6a.+_p8YλeNZ~͙7zC5M'@FfdO6I8ș xD%O |!E+Sac6kr%rDwOMPBxKY̮1z h1Npz7CJ`bs: sz *蒫"Ъ#Qi8o1n]ÕB)`д9&tЯڿV:Jk?;>µ({s9]k_ף2+=CrDxB WwO.C~m#,gW\T~s/g7&hТ6M6}-io>MQ[-VC3R3tEƐVa瘆j R)܆Ըy3fV43FxoGU^"[a mIXfqډNd2m@1SvJ2\)ˇ/yQ^rYYZJ#15\v^KU.Ar񐲱zPG?vķ6xM3E)qu+'!}-"d$*)b ]O);"h>oC"`s f`&6VDݻWR=>)_}gv#p.R+uwe'-'@ +$2X fS|ko؟D&{C1(+OhKZqc#{Ry/2^İIGQ7R^RRMAD<_ha\>ǫy|"*GqF !q{]yfv[$R:jI<hbGogOOR;W.^X;4„{֙ꎳcrusXa];88(wB,ژnN8: nﳩ:5|+̀9fJ'DZy\m9Ĩ2B 滿[_Dee AnF%y0VĠvBӞ*B& 슕T;fZZmzs('e(#ۄ8$.$rI4X/j$QO](lRgYZ7zXZִF! W]ŗXiɟ1˦r!W!4CČ*OG\Z3YslDSo44_6{ߘ锲:*Zq"hɥ>JId f(֕ܟ^ͷ D hctv2BZޔ<W(MHyU}D.n$B!YQ =8j)Pco͍~k`Ȃ)ƳYj芚쮠Ӂ$!r5@D>tWՃj)ESI[wm??C؞p ^gp '7iex+"~sebGnb~_ +К_;E J뿿NKBѶ;W%BW!RA8a^`h^gmFZ\Y™FdrR^CG!1:TQ5Ƴ!a9/@,h\ GeE_uނTEБuD9sLM~̽$OiIDPp1 n/m7ȍΎ&C8=$/<]"^CN84DP6N{bŒw沖ſNa/҉uTNK+i><x= mP ʺY;!15Yt-6n>TֆIu @0 2 S~a@gonV^+E= UīcJ\]G7x]8[kx0<@fk /$sN& M0>gm!o^|mAѠ~/8|LpO>ufTRžVHGXmtu ʸ mBĎ2X6il0v9ȇ4ߐ7B WBȵ \u# |o! kgZa4e(=ΌRKi:Ѓ T X2~;?vbZ2G`QHa({-oO/B`{9] 1#/=BFd.O@V(Ts("CZ_QזltXD5hkAWx 'cǞ2ܥĻ}2J&^3^fk2cB.2v\ j+uOPe'ĉ*pVwc>f`0Gy/0~na~9Y&'BX/r~k^J`[9v3KA\ć7rC#xuC!cq PF.wt M˽ڤf,cb}K$  y0hg 9ˈ34wCTFar9}(m]FWmij hVWUoE IƍID,8*S#L'< .OBkSQRHwu iS+d؄^%>Ygӓ@:)|T FTZ+[uiv&X=W%cHZse eQ"ÓRewʨS,6UV씭V*x<ݲ"ʺ EF[*.o!v喅b6`|e--7 H| & *O$q+K)KhKsv$=Sp-Xm>uaW*6VKc>:7kI0t9+x8U4z|So='q.'>.ye?vmXR^rb{';^is`|W(m=*˩) v:)R8!-WCSAd(z٣ R+\ky^'w,6 *ur1]k\D͉/t z4}]4ҩ,43@P}~;x]=ۀBlwnd ==8p牔& W hN/lvx pNN#O8x,`+ L0mpNATEk~tVKꢏ4@?\df-noDo< l#Γki1to%C6"R2^v~L~9Wr,Mߛ`UO rYROp>.o<*k8>kG5(|eq] WQ[ۨ;pU1UQq Hp[.+)TSGL=DrPpݐ6ޙ&'EEO< Wðv^ĺT9[k^Fg9.g46\"bn>zuG):t4 ?>{CF\C.2z4HM AlC΄=x~>AE=ve0T<^P*<@z~7"iVKCzL5Qp"s;j$Bs.ى"{OFf8W_J3mJ [oaW,Ymvd4lq˜gv2/2 qv1/)f}wR="R4e"qwG9% :'4ʲ_my!A"^YsݍqE PP2Eld>,iFL#TMRo8#bkVKX۱_Zr^ϐdzSAn-ZT°>!d nq%Y8Jw":]ǾJwcO9ߛ* ¤QmĸE]j.T^i 6>zisfDv$A/G 1O7z_>K+5U΁*op@qA,W''*e"q'p?X(Ce+4Tpڋn#0IJHn5PMq٬~Yu&YvH:$7 l y<f΍dftZ46& Ede*J]\(pa՗R}BN}jk؁[9hU>27oQӃn̫-s}:sq7lB gk.k\Ks~,ſO2+\Bܟ^eK5y9ZġMY,j"c0(wm So~y 8J,zgp^Qh z/xHW rPNf69Wn<| MybIо [o=%_ca ъv8&m%?)vj IAV! (h(}|߳_v4 odQ`@ElaO3c{ԽdXp2NPUÉD%uCiۗʟ#vE3Ōв-( o˿]CR pKW <Ǭ Q*O߾e*DrNcDq]._Kg*l:_% (>EF;`,= ;tgA0 Z1rZDz,=߇H V0+3N|RJS/z"c4d7O69n*q~ ZV"Af2l9LJhR^Ō8ط= Pdzoy{?rV2Y;u ]N +V3 E[FrOE+sTs^Y?:"ht^?I7l(C&.P7޲&3^i/&Bȩ:S@zw Ǘ ʸM(aThں 7R"V@띏Dɂ"{^F@Qb"][C=t^'q ׉.-'Ջ~Pw]pcR&[qJdO4o4-Qk(vԀKlrC'4X)n…u1։  7\xoa^ٸs!:ߔ3cSdhN  kD ' [ 1?xt!^JB͘AJRB֋t|c1EuY[H ^wCQ`@c$F>aZ5+$;# dP |Y H P>npn;rScwɇ+1{A}`0%DOH^SB 7]'żz?s%fl<_,Lǃ &=m ?hpO75m ƻ >`'>d*s>kH0MҦ]_@?޲q6F: '=Plv@CIZd 3K}d-~|p$[\n nGxG ړB i¨Rߗ(-%wʭk%>vJsGޒ*$L8 ۙ6NWx$ʫnTESz'a9/8*WT+d&m(q8E_db:[B%V5ȆVb,X/u6xī .#TkLl|^rvge,@'R^VϬM_,udD'奒'5edN(U^+STטO]sO-iH `ȉXsg\A;}Ù[u`z;ZJȊ8  =Yޢ3E;+;"kٔf`ZF$G s%(46VMw*PWP;bDpd?i KɌFZpƏWlN1%٫YtR^2нHI琛0)CRE^i*Ix0$ bUؼ~P爽'HL?MHXʜaP{Se.!h9C1ܒȴ*%wKf&%J U%hYڠ3*@\5MB3=Cbkvsb8lA>o*tŋw$(Ptx+M43hrWR`!wҌ{ l9\ 142X S$>&` g$&ŕ# a91B^<0Kv_FMas4 cWgq-/G]^A4R3 Oj1cCӞ뗐y 7|wK+/M}ض1dŅH*/dULռxV =Ex`Өk(ګ-%F,`xۃO>NQȈ! ތ`7[/Wa:RSgc2[F,wWnvVD֟+q>GO.esl~gN#AI(b姃Ʈ^r`5H8|VQaaI1%ΨWO :Jp>=U~1Ɵ CRiʓ(LFw3f?q!<;ǒ+ńE(~wD7A}"gHk7yhCrm]jHـ@"۹F~k9}f~[;Zf5O=8C*(y=v i4`^*vU ʘ3܎zԍ^Nzx˨%0Qx1kOxI<ߡYx5_ÆoAo' oj NUgFI}J53UKPBZ_&@do?]8J~?o̪^tP-A g)bhb "G+<*#h<cOGA/0IhAX8hܿ,EgփK"yPFAэi&n\|_n*?`H`[H9憵ȏ$,LGugs/5QnF}MbsTDIݟ0{xhxXFN F?c`H/F]2g6 JQ4t]0ն{6S`RXXy uLYBxIp]k)/S`W8S$ R:`ubۘt:Ur=)JT^YZNg! GyI G87 OM3\ CeC*n$ v((4@ۘGm }6#.8Xi91Ki۰塊T`8W[-!k zX%_ka12$7zՄ'iݴkVh !CZIE![(Ll1H $|V1W3(lāE ;6NY7;Z^% fŝVF4FpMoƃ 5,d{\+. /42K ӊ(wz-[NLW٩I_ȑzb?6+QJgYZff49bfafec06a0ad27215140e89d90724af38fd0d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 6dc5e2d880388f6ebb4721373e1be4f7149a3e3f 56b2ca276c24a37c5827363462572e2a1413e3d42427f9d26b4147029911c4dcaa3603540dc1c2b3