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 </d 1w]Deep_Learning_Lib:threads=2elapsed=141.825cpu=263.176gc=11.188factor=1.867zXZִF! x8)]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T7Mk:"+  2L%`ի%m4VLw?ctL{2.4*"hq9']DkeGz;˜AIx?Ljk{0lN52@Dybᗓ[h 3h~iYfQݪ.B u b.^ZExS=1fѥ?oVFXp#'R" &tzƥ ̵F] Q*=\|ws$*fJ&sHF@SZ?t{Ѿ%4ώg*|E#<&6o"oY}HN={x-]"1!+ժF̾q!eps[932/TCg)a7DΞq[En]LkyJN8.oOc݈|-*cqm _gB7ȿ.=4qwk,7 ź^v9,s0F`;-&h&vmcc[# K]Dӏ崠7ԗTVGP)փϏ-}b3Rf#T9uTRg&(nXaTUUPg:X s{*M$%uZ.Yb<-9MF-2UP4tAimj:;r*; ~qOb ҙ8K21 ىHSSg B@3"9Gy,o/2S~x{|>!qXzS"#d/.w9Lh{N_*Y41": |6 cr`HaJqOlt9HP8"MJCht}Y+m›'(OhNaygU;$WEh%.פglG"ӭNǘZˊ}^#\@NRMz fҨF~FG "oN*,4}I6r݆.?)!gg[Fw>de+3pz#eCMRYn:/M_6Ϊ}0{XZrq/c54WS;飊1$ǷFɲUqN¶$ZM)&)dI`IfZEFQ56Tj}7bvG@8ߗyZwnP'O}<4izbUPBXjC5wJ3 VwTCT0 MFjf'l*Lt+3ͅW"rӡ]XÐ1d2>"+y{\S>HAW7T͎ԧ/xB#kpWVEڦr Qot&[ wjmv^*$0Bԣַk%W6&i:ag% u ;Nf%f=oPl3{p'Hpt2'N_L= @6i`r_dg'ۆ|+lOg;*Q BƪHTfwv,N>^1&VNW>`@Ue `bGÛ9~}BTY4 `z cq n>VR]z%W7;vz^q+I?,j ̅ "oDWI ܳ ٟ"6l&{CvixɖQ0"t=BïX c>R" [Jjl+l61$QQzX?w6y0o-p/YiDZO~]Y=C]Qȅ{}ʓAB8 $:oJȸQZWmc_4y΋:߼^^J{^840BuëDoT 3{@{s!D '[;e@P5>oԕ(dh°R5kF}q%mV ua9m]ZǣNͯ)X1`X!B z lokMB,/ 7E 6`KHD 6O~IiV utr [2cXn=@g@lg4XzRHvlK<-r(|Si7-|0h6\.%Pۯ$+URxDZ!ޑHWo$gHx3rNXǚcTU/g2?2qdZp / Deep_Learning_Lib(GILRg䕧WkN iOԐ~Gs) t#Ǟ3kuHL)Be3T+IdNP8m #`gl4n({+VM6& !َY.2(NZ|SB=kVW?*sܾ1W whSuMYBs8r{ĀVo̴GC޹[CV/_K([y_O6QXiZi~U7T7-@\Sn5W}?k0ԦQB޷%Ķޅ>թC0ID!1e|#afX'/vCW WvTK˜d!UodC&)lEմo>&L8)&׎1 X!  W9eJےpiChş{ƧF} y ɜZsf:y@:&T1_yH+@J I!ڴYx+-rx,H l΂N$<\ᯠIrz7%t$fX|_ln]^'hѸ3"Ъ;d7D6`FgBm:ߢ`5W0ޟqJ#kr|%r&2|^QĜX W3$ X1Q$JvqyC~[~em"EUS#@bHZ@pJ(decEc`%1Roo9F5RU NuEeNIƜ]G<|Vo[x´֩]۽MP[:ȟw)GBNCS&<Ad& P >LݔȠyVjLp^]K3Zv?6 5TUR3Ze#Em@jZ0"Bn `bְ\ُ&Aib"XlY\C(&jc==αLd G -f7042탂Zߍb_ ‡2ʄѻR+@fQWQ.Yޤ.1Yj?U@:.gAWstz,32B)%w7 kqD'GL5]FOr}MWOV.vnJO+e~B_H?<^F%!/Fse_v8@ ;Ju]m tDl[p@>Ii 5D(7)\~ұ$aÉ-4x>GXj&ЛзﲏX] AɍT#܆y#'KX=TkQ(tbɿ+88B27pFEՊ|8ԻfT,3mfNb/3Lְ!J%咒Kp_&oA! ~')"uco~8VܾI  %k1ӿosnjx *L9Fr\غџBY(zϲۑC0r]qtڇ@ }15KGJ& +ݦ#k~;[^>&i{lzT+ˊxQ@㩍DO-UN}Una1'>/=G? tbSz۞&x+=0 \n}Ŗ%̈Y!<& M5Mrcz6<>}-΃cDN!!Ub% /l4$UlS%Q:~/*ZRvfTs{fe Aޅ:Er'Ai)_mWkqQEy1Yz} W+;T)_bIi'#=!plDmbKs=hCP8cd&taP|~O$5_̀)ms$g&NZMo'󡱱)O׳={g5Kҥ'3]r H}J'e.IO:Yz,],tIݔ HQDV~cLͶ*7!MB qipa,R R㖝oqfb_sRm}t7321= "W[WSgr2"[2uX -mh( ?ܬf${[|>9 Z Wje}&'IQr'τ9cA8*L+uBqIݧ;r<E Mn0fPE@ohl`/h+V(2gihl$nXF_DZXwo Y~r?h9e O y-V2@@44GA\ůeڝ;%օ 5Fӫ[Dݭ.\ q!0\奍ׁj׾D@"CgQ,| .gppvi2)2K  EϜwUsB2jBY@\IeR&8V.>~jAW戦)n1eΪ1 _F%r0|:f~QqЭ(fSnDYH4 ]V@ Lf0qv`dcFBıBtF}R!g:6t2x/WZH39:݌ͮOg$3llzVB^w-n:+~o#7k䐰)]cn4BAw'oFHP= [+̪vJ2ϖ7mUK?^Ϣ]&y' & L8Uj p5eIŮ{ | P, k z 9֔=wb~QԒeu3kUZ(՟Ȼ :.g6 T&"][|J-G*AY @\"s.WU^\t4=;3/w:Ҡ j>G/R/5H[ypjUS!u=6% +/A]96Fw]e(᳷lOߐQ<^2M;"yfaQD&䠊9/yiGijLxbemA?w].;nn}/X2 Vjy|/6BaOU@ތG+Ho$PRy4e( 'fk=q~L9˄=a  KE^p/9nY>k'OG L"Um{i@" ͧ?R[:ms?}|.[)X-9v]׋KA?VpΎ;RjqޠuTia~M2ލ̇+_pT ̖0O>#V=? \AX#hNZocX$܍$IsC-D^.$zM8.!1T9 2T\7&pmVIU6< ;15]hD@x0-_*la!̙ (©;k nkXwLQ2%Wf5ا'-%1w0z|uJyBR x @x.ƦeaǨ}y FfQ 8A@W]1lD[> MKܩ>5,R:)C&p> U\2G.$_3R ip >rWT#GHTf} C汦ZFרgKx+.U(\؍ܽnEDF̋{E/l$wdq,cbmԈ{q٬6֧IB4 =H!odJc.J6T8]^g FI{^]}J%pĸR Cz3q pj `l8BaE DıCGlDv"}B: Q=^i}VȐjWdeg9'X|0 ?uVQfzwQ+4j&Rw7բe:V nWB2 gA7ՐXz jBiy׭'0) .9Fm[oPˉʕymM(CTNeב<Ax~ʾxԕrŘfxlBwvuovptGߚB^1gy 8֎5XOFLywHz1B@'-@א^c''1b f7`yj(J>O-Kd(L<\]b>[&(! z R/MZ":NtTKuR3b@JN-ρ6mx(s[f=eiM@%4``lDt٩>CLˤf|ݫ?%uVIAVUU{kC&)ՖTkC'c$txnaRxޢ-[e @{Cr0%>޾E^: E'݀ '!b%5 uЮVpj]eK(jOЏzP\\ХJS:(ߙAFm" qȞ= Ȇ攟/)3:ك8t>j'%lYd#o] leTS_I%6;^i\1Vo>N{8lvHrYqNWI'[a~v'n^k}\J ';L;Z`)84/ٌ 6tRɀm) R =z$&'+d*6 8eXKrЏ>IBE6ڽƛ,1;`vRcXGRl)9 JE"ޓeK<~8bfEF3&ȕ ` JDwk0 ItD?t@L)zS8^|{{r9)ܠnh-(|}d9$*yޮ,2RLLm8I­ @  DEwl`(L7*32B/nndB@W ҦȗEьWKoAy)v^sh=(RbhL ˠKv{T Y!h3՝â bDu,VA8# SD__4HA*F8 K} A` Ŵ:jxShR|틜(H2 CSEj[P#"\ɲ;]" w6{H6DCfA<@(M*/4T=lDA~9/sM˥1B 8oܙ$NV NUuv[)36-T6q}7tbz)씬?`Qve*!6*īxhR:to yyweaGCI B 6ҝ]=#Q`$ަ`~8r& ?p&]lR{aE ]HgHbb7+p3C}vKlٷ $lǐbِ9ⴀu\ 9 `Of-ҜH\|dOA2t_#FgW-`d"saHn}oT$`'fzR*+@Z*r1&џ@)<"jU()ՙڀ "\[0L4i—L7܏SH .{Ԡ߭BIi=H,XVuLx^x nUA L.\߸?z?SXr1;yxǝ,F C+Rcgn'%#;79bßb*Wii^vyM~uUanj$k4-9JE!r*­ӄįVDYgaW:6{oZc56I*0@En(0n`ҋ&᭢κY}`{ElB[cvTG=l$g\ny| }s'Vl&f LDtL|zlaklپx!)F}dˎߔre{Jib6gGP)R]B$:8H7+<WPKPG6\bL1vMj؟@fsY|^J .ʓ!7 H[y197d(`xq+[16?8[*Ϸm ! #zrBdJLzU!gu5"`zIXt'FAKvfgײnn)`ƕ_T$ |ZYz vjj5V$ lIYt49epnC .(o~_kjb{֪y'IsKR*o *eĢ&P_0Kq ]&hg؋xK5̖sH 6_*l?V޵NT\Z?99U  ̶G:z,q1pYȇqAe,n!`st7vdsܽԭ▜86[ 0ߔɩJє5oևA*v-1 4N~{KSxGz&Z7Cn>˷d$K::}@k'sMjj ͱ}AyL("jZ]DTnX-g,z_N)nrdl2%獷p $S'gYZ7zXZִF! ℡]ŗXi%9cfbT,e瓈I  wj[_qcz#$ lťJH ){DPtKTX ؞j_S3O%Ί' _rTXbmi}ɇ; DY/x};++PqT_啒!>3չc80ZL-;2\OԹD{m5 -Uvy<{szÃIb?k*$Q-zOW+8kIJ7-a#'2"$8&EBTi*mTJ7/amE7,c2אw:.uXqhOchV>.F95Ƹ+sDݳWR@QjI]]_npz]y5''bίGϘ 1= uCgɪgӇWrR f9V "Rfe|D-~ǔ}5~:{tY+nєlP>F{$ ݡaJV̯4;qvQVtB-}OţdeYOE Nk˶giKa r-{iDW_}@,޹lLaKL:Rzy~ RyiJ~F4'CșUEV 3*a3P{;$ v? 1bJ_$"&/Z\Is[Y|`O]Y8sQG93ٴƇje|Dz6kMtxH"=P#-Ng^K=TA.]tE"[&KxcYqo≩sOxH >O(s wá6} NTn%"-כ]iO[U:BGOQȤMMP&هg"VYz7ݵ0PCG*g%)%v{b}/l}U%! Wri>39uv=tꪅ4ሾʍ f)>w":AνF;3懊Q;%6 y.Y}x[E,Si^_:4R0 W~PpKnJ˨`,8}| )rXU|UY%+a%h1zFJqaV;f*rW'S*f֑㾽CJ;c롟5B#,W|&<3'픟'g8=nb>YAD; "jnAdO4 Aes6, ӚT/j{Ϝw?6f4] pԬ"$0Z"nJXPqOboUh{Н b3Dqӊ9{X]{8BHt`@hZ6;QN殅U&"AocUgd)} "cF34b_a- 3iO'@5'rC|ҝ[a'Ks` { %r?1Trn%p쩝[v\jDzR@hhuu8kU3:sr̠n;?jZ&{8繫զ OW*BgmNN flZ/(<4 rU{H׋uM蒥]CevF>y(!Q+oʏF N)2z@+Q$3atv0]Q˛Y1Dd-*NdXW<LyM%m,F &cN3Ŕ!%[.+Җiijlu.{ݤ|CE9˪:*f&$9>ȾIA!X8x8"?XʛFq] y"HAKciaWgO_Tq]ysɃ0!E~s6 /Ԥ6FjU)ep'_8к͉2,PrMu'{{bek9ԻzXVZF˼Ӗ(1DEM|9%H{K O:2bkjJ77 / KⰁ Su-@]j<@{eSYYcʆ[LK&HlQٶ͝qS(gcW^vJ!0[gDON07VB)JWN6]햄ZZ" 5g%{|$(9oV >ẃX:HZ[*zF~KER5W>$:tѣ HƇxCUJtb F:Q .Y,Uh0@M)F=dS>F bgX(ZfnE$9_BIr 4mhRh=%k/Ixٝd0h)X cs\,xnOfռV[-$8,T yc| r]䭴Rxϛo?grsYAhIHfi^8$1l`GG(E~x*L? SȦNJֵNG'BUy@=`ib }*TJ^#Z~"<ƮZJR.fO㬵nvǓcM>ߘ'3,hh>&2*Y|_4Kz$=줯*6Nur#,h*}xwhD8{o?: r_žŹ>ʟ翪^HAX=H#_o,Cc)p O34Ei ,'(9ˊKyv-" &Ty<yS<H&TSRr.C{x]6X1Ϻ t\tHImu+1؏ō־֔<)a@`~SG0#qp#6Em.R/@<7шt0Aq 5Ⱥcf27-7‹W{"o_Q,_~\$sKQLHNu$lKT%q0n+\`%]/rDdn蚽$uIQ0[=$wMĔ?FviQV )"3+$q9&o"3Cp7уC&5O&]8 _RP(Uנ€H rh7UDD_}!ʃjK6$f.}Vh^l/-U@`AKõ-K̽@\jE[ĺb"~yWx_P"պ_S;\%ww#J`:q99\.3cS'gЁMeѝUy`ݾZShQKDp! $%2$Wux^f\PV,b]{X'vG|e&