SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ||h/tL 1w]Deep_Learning_Lib:threads=2elapsed=140.501cpu=263.676gc=11.128factor=1.887zXZִF! '691]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_+}8 d2ȤyŌ8Kə5啧55f]s;PWciwi?*RNߒP\ÎFf6b(-Xm% :%@Ik>Dq%8&)…*F|_NL$]K-M ycm:һI:=17/~Բ\R[i}"eVT=ZUEeõ t^O/@X3ǏƑ B=5!;S^ |!1fz{[w?"n~J}g<1KBFqV6`5~Zn&CQ%*adZ%bt۞s :)L" :Cqkys>[ȵYD0Ru$Ù&qX4S9FxX?ЀzYrv-*0JLxX3t[/Zu2.b J2J"Te ӵc$]##+Ò'`(tj}kX61J҂l1 IBs"ok܀L=cX" f"v1iո FMfֵ*xp>oY[u){֛/9VD8u| bU1!cW~|uɠn+ ͭgy57.Ai`bEq3;ѠM9tF|Ti^ju.mbϓH( H)O%%Ӹb tt&tXФvV^C ry)D-k@u?6o}tK}NɰHMB re{7fAVr1Lskpu$R['Y?Š%L?b_^Gn3k\==ߤ TWA5%u*.VWM׀bN527@4'l2㟛P}5`U]S3yE7%Uz SS\VSL Gv9:H} 0gRs&+Pbތ(Wl\E"[KpL+"K΄&n1DԽ9FB>pgi1XJws;GcޗߺvDgztַBL;9-2i t䜢Ҙ'6Y)nPuz|uUk"4Zh9IMa*ϸXip͜:%p>ͫq`w^ R+Q~yPѝx2P]>'92ˆȳriGǏ%0QքGP؍ 6 Ɖ|qim E%n9]W{Y+WfcT+&NȻ#yl2TZ؟" w1}+"e9ȅc[D(@ }nkA@L-d94I4sPb*]ɕ+%of|f5j`$vw!ec_ajee4KV_o;܆omIׯZ̙*#|St/sD-y`S&mC1΍RQ?iPH:WsxDܺW"|CCOPzS$wkw?LW{-[1]t-l[(+7\a™A6a3dE3be_:0;;]3l[Sz"2n]T z_ξ`#Mzm%'2 s慝-ܐk RVN )t>'bː8)K&VbO?O iuS}ؓisJޔ iub7^ ?]뽀U2y{C8`!6L[hPܩ4dnm9\|7OjXXbA' :d$!..:oO M_8&Q-t?LXnd0Jn#lxf`)t^tQQ1 _BmTjGOrsMggt=^Ax M`bN᝘pݴs21f. yuNR!`~$Qۻ\U!ȍ^X>%:KH5=^{kl6,"3\.I{,B h Yc!kv e"6PA.~oچے\B|H;0BEtЫ*E*mNIi!9b+Է!r| /t!RC쉺3Ih]n^':paeyaX C9E~u nm2z|ãij @ fx\@;eo;\ 7M犃jR|1F<F"y5SY*5YĀXd[h@q9AqՂcfd p038_cIwjy0#A-^NL'f6L#acYO穞q>CdyG]CEݻS$60"rL%jvl= \Z\[6/jƳm\1Ec*<4QK6a7 bFA%Z-V>N?:q*9fO6?11V\pKp$ Sh OVZ{N\Xm9?)]J;+ iO.OVAhB᣾;ߝ lFE슯P @i"#F}eӸaJ?|Ov"Kcʎ,)q7P&7)CHe`=&ȅO w܅ֳlMx4sLG 'n4 %gj3T2lpɞӚ(bx kOY"PekQJ.*Cjc, \[A=f L@fi6\L|;r / Deep_Learning_Lib%,zY|%%ue;X"Q3|BC<IL:Ed4cN$#&'0{oO^?j˹nw|hTX&2]. ݛڍak/*p IJ >8NhSI%y .)х6+ڦ` H{Ոh%j09JuʆX.JQwgE[$-&{*gN˯9"xØڈJ-j&x`kǿ";~C!|Wqw%_rل ^ȿauٵB8S|7 ~=a꺣'ȂWi3ecUrFKޭry_օ7NWS?h'GhWX{e>7gN@vV= ܕ4'\qTPy3mIDBmR!NXB%JJ\¨z:IIW 2`I?Dq*%Ϳ0`зh;%@ }s'N4:=$ČUBbE-Zp𲕚Xfe3# <-#\)ק{ Oܬ}L^ oO]F۽:clM8Q 6,BsXn7DΕ?-OGۈR[ș(2ᤀD R&f7}_UٶIl}]5$;IgQ"PDcFc0~_-,JxvH*A[5Q;x2+ah|h6j]{aWiEfL&էJ@Әz0i2Tv|Pyc͎}:}[oQĄH-tyP8-|նH.ǹ?Zf"(=7 2"]tIVcX? @)\(͸ٌڧ3 _pDfQeJ oV_` q,/i!r?V}#^~B}A-ZcSY( \7/.!B& %>a; 2\  ɑe┗m@>RhYT *{)e>N+%ci4 toܚ&Ds~:,%5GOwG}߬4&9+.4@|`isWhF[4t.C:EKdW[=ip2ՋFB r%%lPՑ-\ LH͊XR c'X\۩4y|b݆U|}?Z79JϜ\@cF-a9urN_Y)e@q0S{#^:  FҪε/2VjnEԟڛz䁗ͻe\mΨ 7gg=WcCX=>ds["`(QYY}9zX?@!GU*hVk͢]A~PF%$Guxl ͡yȁXG* 7* 7mc['l|!o5E(S响pik]W+,GE ,|Ƀtlܪw@3la{3=EmJM4Ik Aѝv@d58dFx b}yvԨ-3-jV 9{xt1ymqIL/)ޙ:Ag:SlUͬD~/?)'+,Om"<&E?ĄqwtSX@*XjbWMK|t\*4:@g,ĢƲ(Gx{y1ņlnR&lPR )Bsg,۾E t`yu'ӊ*lvש*tI+ChuIOIP0B '} )I&ecuт[ :^ә՛xaZ:?.zǏyZ9A`sSÊ4s1D{Y+=e#q  *+tqdz]mϙ] liӳ뺘e UM[PVZTs" ݥBwAGa4sŤiP=\_$z?X|0)ב6WvYZ:/蠾W7x=QR[5$_t/xXsf~g, HB_t:~[(4ЧTl}c@jXIuH5FݧJ68yϚ]nl(ᬝH5o ޗ(|ܶO,'Đ@čQ"2 D|4=}NI(}a]Pr.H9m>"3;+8FR{Gl+A]`#ާȽg\vs/K*h/2{w uB.wp+0цF/#ȺV 50UPK*[>Sl(߇lƶ_M:@tD`,CMiM {}~a޵ 쥺&[]{A[Ih⎱G7(}A|Q! `9|cGRa2k9(=eTe\"ͽ^b$ h]ga t!EY D dl]p6\my kQo[ ClĎNXIK^砻hxV夓#ޮ$#^5*i%kr94S(|T,>=jc4p=ʞn F˴Yq£ >j? URLYu!j/MH+*v"xVVp"꫚ZHǹpo?-:͌`" '4Ǚ/EZQQ]ϣ$框1X@rGWd_H׏Z(Mb:ᦔ.G$1hE@`&9F~H~%6čv:֨qr-a)c^5 _BcKE~4VR1)qAFv?M?ϩPк {NcTg\me0ԯGZ 1X70TpcDKȥyyW,k6}D~!B BR_2SXyo0a{W>šޡ^a 'uNJG~w'AA>-ɣ:%\*L9}E)TPdEk("^X*N]QvS_cs>qC1: ͈<-7'ǮKWA$[iLpgהJs;ޝF=H_ [{}HOA3/;|3mvDxVw73GkpZ $K3}VH(#Э-!1tnIEos hԇYu./ݸ(uId.\:/Wp31 KB3/wSCQ=K= $v&>V/%>pxd@M~Jh/R|xQ),6(G+␟ܜ̫t4R +[K_4ҭi;/[D{\Tvҡ&f"L;RjcCH\e#"ӹ>͵h-Aa&RV$Mxxy;~=O̕J0 4O"[|i2<㳍K3Ч^Œ"?EuOǕt?."7GJ{DQ˒H$| Ah#@eG&h^_G^B[_DHk6̭CudPEX۷kϻi:=o/ ![b0i-;$nX6tF7=B~VqЏ;?Y\H:=C Nj 0$H82qLk_w؟Po{V*-LVWq5D{\ODr<w*uߥRQc0QIԂv3D IڛՇ@q|̊Q@cyl l|P5÷ N.+V" JItG\zd P~+}up h[ꤶ4eַ"z]߯ cH&lK5wnk%URRe16R. 51uU?WPm N@aXÇzs5 4nB`hYy4]8J{N&JRZ%-dNTn]Y[揅E7g@ |]j)]PkF]ӓ~9DRމs``pt酓Lb1ޗхd\8YTAR"):sR{!>﵁ٿ¡dg IdH =;Ǫ(oBiEnك%i|H]"J>`hzn{: +kE[lI9´OpK„g@>u~mE@<=qhdP.+YOonCAq5gMDp8Vb\@pۍq@ҭzϗţws$!:I~9_51F/MS" *kJj'S?)˖f6 $~)^;߯a.T dg*m@$\ ڸ{Œ™ࣽL7FAUF ?tx ؗYo+82li"=o_,+v3]qRA͚TwYd72(%$mm80yh;t7ՔF~n'@9<4F= PU.*Rd&RcQbTh0_ee}'x.fmGG r)oj"w?w5 T S)GM4NNݏ_&ӳfpNF4&p"**g,buO'3iŔ-BDCr -ΌMQ4 ~M!FT+nY)1#XYy;3_FyWKt'(wȼ_g DY}cft&օk p 9^Jͷ 4\Aiq2;Kij) JȦP*M2jBTMbф]>pRmdh lW_;.qLMH1MiXΚS  Y Dp(_ـ#10y ׾iO|Z{9 &kEF~/V,h(7OCߕSEH'w=wt3U!tp#D-Q2~2- `dqaи<:&SҎCVln g5_('^6ef-6(ICrE!ICHce[&FYB M$Mx sJdoQ_%Ԅ3LvOާ4ySe3<؀QĄltg8,@r ^3Өn26=׀P.n(Ƌ˾)@ Q~gJޗ}<=ue=h/5TК=&I"^BU՝_"6)>e Ծng˸hڹMpXg -f7n%yP)um4' w%K}EΖZ @:;TAW$.[1hS Ϭ?$ilHIՑT|M¼BE4 k~{!7 `!SFN;#nq,0gD5/VB~X[PP$㏟5'_ ݝ!FVe?hojeok~ޫ$A(j5 P,"vr"?Ru]٦J\xn%ڤfM$nݺ9q\$ &PXpOeSJk_!OE?`z_n<" h/TxZja.-$xEwdtifPA87 ƹa ˿ ) iCk`OwSK爰nx̿0-Ys8l } NVߊ2N,n,8ci^URz1Enrg9V`bҙ3 iLF}8e(w v ٞh.؏qVG{jB3]7ؔph'TݢT,e`g.sJ/3st< >kn;Ncb5,Z ePu ౽Fݢ8s!h! OklH(LϤ!R@ws~݇0h-%%oF4n^I%"@=ōoRoqlmP7 [b@\65Dwxe>DUPBDqL| ,+i1o(l̰> :bS\"{d fvdU,PW)7)BRyς ԖzBŨ՘A1lZcLVT NH>a}I&qg>:wzii8<}n9l<}򨆑 Xa~tY)O$w0(+Lƻ!RwNgװ^€,As; g<ÄAF4+#!3N9d EnTuEC@4/Wi0W{Z " $_WD%3y2m c IKb ̔˛=(K@hKnH?_WyKԿr79Q8-F&.@ޒXzXe0˒ke<%q$hf.Á1^]BNi$5mKL#.^ Zc kqWa a)R[ dEJ㞶zmF!fI F̫hY#p 3CF/0F3$&6tr![Rkc='},8x+ait 5܍#AwMRvRݲ6>qꋰs^9B!:!Uސ{[YDjw/&|h+| -6*͝௪ TS0Rr(|R={@uAc8Lh,(lJ7ڃY08 }a0|al1}6>OZ[<v_F"Υ. ,) }Sneńu8FmlQ[b}j'"Jj'\#tʇFxWwX`9Yu#|Eal6`%Fzm"xy~YfvWWn(^tC=Fy7NicN-V:D2_< [ ?*fo@ٽ4'COmOXi-"{/Xq $1f#iQD?^9hIK+_dR7`{a(Kr3gOCir }ZgYZ7zXZִF! ]ŗXi% żiyc/ҚAg]MbE.u-N78i{rN^I~Su'O;,fz\Mdd~YM,:.g_\Mۑt3BֺYTf9smgۤI38EBH "y j_Bڿk` ʎ$GriMWZGu1w3@ =s<vbMu]؜)RBN9=@{ ?X3|84}xT͂:'oa'u܇s(|w&p"D,u*&!vr?Y gQFM%2QPJ L̉xq3!pLȝZ\i٧1foy<(| \tg %Q]ėylRj);yUs>Q+eS219AȺ5',S!X;5~+jI^N/C,=I7$v\n QLB¦a(XdhG ?Bc!AR\m:DK޹37Q˓QHѡ:$)acfq߄83P50tj|`6LD@a[T]Z%ߎŀT-ps5Hmh[ߠ(il8䔡ERбK 9JM ]Bf2d OEaʃ+7uy381d7!&eXjȫ08m!a6K<ߖ"?!;iaʢ촢Md61gB?\_YA~8k Jf(Wр!cXͦۉsmy]onKW^r,Y"1##M`NY6Aą44󶺇pAf .lM~V*'?# ~x zyP+Rɍ)s9pβ4(MF Ic_xf]s{)sa␼v/54eڕ9@5 sMLZ;m6[T1c<9>`6pӟ-cg\-9 rT<ڮ-Kp0!}],EzSmh}3ʠ$CPB-+1sG v˔m)gpNX=Y0~\XM9[9_i133xJQEI (EH{gV O/l2^  3Tד)|Xjr3 GqÇyЉEI܌v5]kOz͊n)WdPmiȹ0[k@5 ]W2 o+\!6N*Bw̾ڒq V,u@^,3 ZC) eZ.Y2:֗= 8='L |Ak\F]'C b{'/TONC+ @)3c\*mfۀ/yq޻c\_}n-%)lW.Hn:!vZâ˽1]jOyRX3i PL>@-iH~Tqt7y>r@*Z VHeb&8᧌ N8YѦqX #sNx&u\,b Wg❹sMɯW죤xQD,]Һzfz/;F}:b=b#eW")mD{BJtU),KE:; naF2dQt?F: BAݑ=kJCiG{]/4Nxٌx>V6I-Ӌ4mG T~)ko~gbC][ªyb]#lM0uqO<"{jH9u% E1L QZ5Oqf Zw(aP9>UaF֟0[Dc3p}eKZC|ؖɋ:x`kk"¯Dn Nf91jNlwX@T}@:ڳs 3+>EYQA%@TqMUQ.% \ùTԓ$ LOl)`l0z#JCF*vɂQ`Kw|Vݠi223R9+GB!ix_ cjTp[]`y^uEKk iִm3~ ۽QZ9HëmpE5Bc3Mܘ-pZڙlqB\'یGQi)H.gYaGkp` e&I^$:Q r!h^\羦iwՅ0(K411gG  7~a9Cڽ2%$u3buWVCQ<}󏄾wo2f^\ = ULH`!SY`d!H f]VZڌ|I <9n ˚n:jKa"h_KrVh3Ӹ o Y fMTtFMZ=D65f ׆Ob*;{G c'm`+pxeШD%`:< ̪γ~\caݰ0hjG-hԏtvsu*(G0M 3M YQIRTQşRo=x eCN[Cu.-?-L?{Lp[v/2_)U0Q*J>[iRڒ+6۵z߯F&:RLy-ᯙ@ڎw-Ҁo%mAYo)L(jgGO[)N[_7uYFu1j~[>݅^pg69LL(`Zb:G_[hl%dx(/S^D]ߐ {OlבF^u{[N*dn\@QRgzs3 wO8tW)%D쓟XudZL,#S!$‰E"zxƗ=auST]H9t\ E [#z/a 7bыP|> }lGlEлJޙGmޓFl,CH1Dr339 J=T[2MIMNC3g(Ճya(^tOp[1š%58u3C^0420aVﰏόcܽn܊G0S6Ws 3݄q_`澼T'9S. 'm$mѭ:76 F_L`-bA‹ EjPc{1OC:n5c* = )E;U ])qFMu㖶?A0!k BݮP^C}}5 ]Zi?ƺN|+uY5?;pvdwJ uS1^3Ffx 1-䶏[n"84..|r ]b ,*#DxB]|IF 0+k WrZxGܭ47ZsnҢV^ublo+kwC.HzԹ*M+˧eLJ0ΟJ9[ԗr0а;}>/Q=+x*_Zr\3OS߁ J H(K[kεG)8?,uڭjcb+_ܾVZpUknnxi ̳N; bd`0x0_μ4jld 0?(RԃԖp;ԉ] אP~;x*6=W[rAIIUg ~,&aYQsD.|?/LAdޛYPVV֨QNJ" Bō2Ό˓L(|xs5!&.6lj4s˴Vf#y Sxi*u/ҦP|p1ִvM̒C|W