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  l l/tT ]w]Deep_Learning_Lib:threads=2elapsed=159.557cpu=279.000gc=12.264factor=1.757zXZִF! 1]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja ZOhr==~n=*ez۠Ԭ5+IEr*;^`s#qmFs.Op f4|{SA%m|0$glvZ?R&u"%bY-!+]vrcysx%Q8VVwokrU\AQEr vcWխLKPg wD/lJlCdD}#DI iĬ(I\,ł-x]E_%X jƻ{@|'o ?|KqٽB#t FGh)!8?j\;A)MI=X~[y$_CA h]rpPU'`e"JM#Gᑦ2y0a UqIM 6cF+Be*Qℚ6t*HGdXJ>|FRqEmc`0#kRq~ !"w B2if/g5;"2\۞;ifnP@|%%$X@pчLfp<!e 'M7dP%1u☦ kN۵{~rHm{ZoH 7c=xCԭ_t 9sL",6C7vُr+y``Ô,<#(U5#5i2f~B:QЯŢ'c2"򬭧+0tuaciywIʼ$MZe@Z\-mU/~0]ׅ~vPon_'gs>O] hkg.@NK>۫"9jxeA+^Qt~RGkv 4AT۔`VyP Sb(Qg4|h5\zJV!UZ0зUvn 6&MNV):L8i7c>JBB/6̼lz2?eeHL(at/ RBiqTf_[ m K|"n'C 1LwxcY(70 dvU~,[Hd)W/ıkڙJIENi:aB/8^]jY,Q?q9>Ԗ&/*j"[JM{:}iBɉ ~e^}eOeva4PA9klݫ+] $މ ;s+r9I+:v$IeeH( d(7􉓬=C[}M58wN=vnmįR.voO@h*& uٍww}"gm3*tJUa&{QgHF9ΥgsN|9|f#Y,l?V8Jb**]?@^-<*~WH^)f6x}{Y3=A rI7mxd˒$`J LpZb}In3_\{qg4mRzj0xҚD8N3[ hIgYZ7zXZִF! O!#]ŗXi%6.d?^fn-1!*TMA3}t&2P_QA@;|Rh!p @C!P>}~ =*/En'qc҄şѣ'&*6q!<-5n+bR7Yx|q%n>⁓z\O^ϢlX[N 6,"X2 d NQv$ܖY5s(?a@ ɵK.ċ`NGȀGCyrCn ^4·3=PDzB.z{S9^+}؝kAhibȀՆxED?&^M8rm/cys$ЦJMB׀VUUs.+纤U^nx&f<{~B\%f@ k3EDjtIݑV/Ĕ t O($Z<'X#:yFiWx&|8d(U˝3VҽiAi~iby*QGH g‚%G76@ 5)q RƜU3#ġۥb:̤b]iV/}\DjܛC或t}F;|u3暀" "Zv)z\:+J DV,LD~w8P*!{J@t_I=ػ;S&֫d?gl"#2ɱ cIF0ųشfAbrBkEEd:jheSnk+5/悩7=t@#sʬ֯)@3W(b_Jbn.>l%=jl8?i.30@%bS# ^irLm^ l˿?}_{'fŽz)q/ڃ<_/*Ņa:8PWpIViי^b7_TYLlyeՅ ۸y4}šgNIEOَ9h_>K!^۾B.jGN-+$=I{8\@HP7kb! }o{Ağ0K kl{f~7%lD uw`1+N,wa\/a%~<̳sgêoH_əݧ}8 $fx`Wk?j]lqҰxg{<s6HZ cqjM=6zc^L/^ l8H~<*zo/g',ZvM7f m䇹n@S> usZfNX^NnY8qC:r2fx-ހ X;}o{ZRkyr?\GynXka!2YC)-8}:2OF-( T1O6G"] Mΰ:>>=hJ-~ DU2C%NM]}8jd_> 9X,0&$R=oLG)rImhuEn>Y9AB*9AdQ߶4+]1w5p!Y~x=@ Tn/gR |K!#s2`h XCa(Xxty,|;3]A`/"۹|WOf!}JhJ R«F?!gc_ZI8.sndu} %Zd>`.>BîrX7ޯ1}<X6D9o7%+MS nc*=RPeTBo1k/aK4nȖ8, (lYugTRnOEEG+9F~3NQ/AWTyMa0ʅ.P2E.Ji-j.VʳftvU5ox]a!QsdR?FN2>LPkkM,Rݑ!gW5YYB`k,>x%I]By1o 8sn8TrJ|u-XdʿEii ttefb OSVQqX[ j*Z**a֏S$Ymg9J1`v| -]Ÿ+C&`VpŔl0*ֹ8-aq!(ʺq[DV7b ڻ^%:\0Byo{@as<}RZν0؍IUPu]/5$tٌ1*OĆ6pLLrKae'J (FeYTeV)gatῘ3&$)nGMs]^~dY׃AR Nrfd rBO~Ж펴M130Rl TmɼiQ]Hqg5Har_ Y_xFΒxr$Ϫ/5a_Hۋ.MU tݲj/HiU)#d_HuÕB0RJUHr 终oD.ͫaK6557\aP$o2N(XiY|,4"|2kw6)G殪G]5_0 n+גּ H;ֆqZr^9g϶ck| aX7ݪJoa!Ƅ4y'WS>QAh^BqssT")I[JGrܮz}@uBgÐcOg-ON)L 6N+x)ydvUDpO:㝐hA)%=>,xnvk )KY1fRPX1"I#峎|[۫(JjcNDcZ_Xg5|e \[BJl<'?vPv_`i*qgi~T)Cu&2̚3,AۚZ~ZoDrh6AJ; ޢՈ]'-Н[L'MKSڔp/Env3`s}2E}\qѸJE^I:7{ǯNE2[q] ŸY <53DxOƊ.uLv&Z?" |* 1v4B:/3wa~9uC+p$Pvl0n zuCLwgQ!es"=d| lޤ=CH58ja W+ Cѩ1ܑ*r5gj_khCD(HG~ꍦ.|M ؂ %\}.0YުTGa4+"KZm `jPE.4]it}gN\N)aĜ,rr!yTUc@MJS ls$5Y d9M=?T>-,t1j@!.6}2 9M29~+0TTdSڨl;`-1J@#)k͊a9r|'EWKu5OSvx}dW%TZ#e 2_3=ُv5׭:M5BzF7jB]ddz"c"YTڅh@ uvZQ$uquaddg:6iN'|ȋMjRJFCJa%:}=9Ļ.{?QWWvgq'vF'+>VDԌdr=Y}˿)R{ vradRH#Q- d S2r$ }5HkT8H^Tf`imSV9Y o+?hH+{8o%M~x1}Ȏ-tfE%?R^GD[4ꍿӧx $D_Jl&ɚz@{'jkEAV)?J09aUߴ T>z_TѢ ۶gYi>\ʫLB@"t\Iv4&T_:E%4lt`㕪'׉JIǛ\ B}be.fQ/+acj 2<(ٱ]$9NXd\2$f{M9wZ?eҏcSR{TCSm$Bpw65@XlJrE @yD"CCy|\\f @g!qike΁jKJ?8x XV#&60:T^Yu+#%£wX+H5z | )RK֒ހ+I>Ij6@:E^`9\&i2bY~Kɶ󞋋99^nz1W] 3Rl}X-qCc1o$' ٗ!ˤ@"k }}EjA+Ȕ0n,`1!cI e u?$hO~,{6"ɡN QUWM;Q#K]6Fwk:8$\@|i?Ä-8I'eǓj]x zl(o5nx߁@s~p*W >;jmT9:INf i401W̐P!sO|{hO61 ,koF&禶ҴBVyxTzfSxvlK VGk2}F=Q9 Zq-=ܪJK#WߨM*blP;E8 z r輦TI++Xۻ}đ[x*[%׈ZH&ηeɒlɂ"glsρ=w81:&skk1c q;YO#o*Jqc#h4>o@nۧpm%_,\gYHf!B<^$dYƱZ@;Dyr M<>/qRq Tk40˃߄_ݪ֕a`&p3`[$`⦗rV 9hDV MZ'zQ gE1OZ#mI ORj'Jk| ZBϞ@S|AԤ 6ߡ#8^'"5l\ m!a`W'{A a;fxm!AuTy{WTd!t HARMWsI/%3w5Vo2<{ dH7݄&~A'Li%F{%+jqdO.'?)-T~/^j4WC<_{Xr; ''j!L;&.pZ[Ҩ5dCA׫tk^x8!t+4xlD EBв x4 gYZ0acbc668c3c8913b37de9a9a65505adbb565b4df0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75 71b61bb1af1b6239c53bd9e18a9914ea83e4037c4468811008e4783285bb3bd53f48ef19203b36b8