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  /\, 1w]Deep_Learning_Lib:threads=2elapsed=164.333cpu=277.100gc=11.008factor=1.697zXZִF! ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVOHRS)QCtcPiGW!u)(p}gh z; 0"f!ِc4MF=_zrU&1h 3QT{h'yi*z ei/ dRH#kX67JWObˣs`uKY$,ϧ#wr!F^ΥRA?YA{ е S{fM'ZA vm!摅oE@ϥSqnvm5#S]vjrTļ` 6m 0Th׈pqFuR{3ua&Z,nא#UKx%WK|2C~e7V{m=oSm?G@bO`,ϛOi2/iK&N?./e]ȒKxX8QՂ5=wBlFxmIm۳.6 Shx@NmMT@G޳J7-6t𵂶)k*nz(Pam;1NEmH}O%Sy,tP#}FHnE%U/0xKX[-8pTc\ɬM٠k=ϐ݁n'I s*knӵzu#c-f)Qj CEF~%8:bhQ:C)`~k0$[?VWZ;6 _wxU:b6E^tfn4'l[^Oݳs}ij8-$(=B)~ٴѴb2Mic RO$7QkzKϫkRުYag V)`$C::mh|?M,yNz]eG: 3ỉׇ]rߧbt I+cq%i,g\ jN4|eѐE헩tbg YdebIDśU>>iYiY5"ۃ! E !1#^2:a-l}!N̳K~5m4eO9L[i%CK4kZS:/ /qVqOO @}2KSpXT1Osk-?U٬)ear>?ÈaZAb ս Yp'T?K ?Հ|dQ''lTPW\d%,J$Y=Yԕƶh /^6x"ŧO0' ;U% ].#j.%nn WA0rF#>B~S`[EԵͥ=@3[;ʔ7u C W%Ÿ!Z/mnG/1 -I6l&Z|Ű><4ѿ.};֖ Mfģ&%10Bad2?t+ZBE 7W-a2!c{V &FyDW', rLoԖDSk(S~>i2z#!ۛSihmbkNT+q?2+2q4|*4`!",n)1 @LgE6MoAAOd Cim.NsiİoBb|M_(8.cn˂ȥZ«t6htq*Ea碩vRd*F>1L] 3m3Sg&4Xn_,Hr9U`7 +i96})z̢_tI^uK[TH]_쉾G=; =?ʈŃpDhkp:UpY?GWY=d=Ҫ̴P IFb\򀒽\32 Y2d&$e;UͨT4߷ƴ?9ҰC؊Ƣ$]@ˬGfgw31Q:.{ߝƉtT PSU^f$MN}9} / Deep_Learning_Lib\18og1q)^:4'YXSĚ4{ h4q=Ec^*6W{RIL+ѢCO;/(yCHjǃ鴿7f|_g!aH*a\db׋ن;OzƓk+-Oe(¡"S͚["k-f=^k7o{<:9  $3y) 'm̳;oSRr,9-Y6*G 8w 5s^]V@3y-`M' B{ZX&1|*dB|:ULa"3Lœ^o EvGѮ}5qNk 4;h9Bk@xiqjZ5u^dV#`,Y`''Hi h6!/&ɾl6 <NIɿs37K^3lTGjcHjD$p!w7e%M7N@/ݔݣ(P 햻#pTpFh)Tcjg{[4^:TkUP2)j}Oi(w2c`fo?z*z,ڌ d2Od7|"4 _6h5}x&zZn_K,嵣{)k7Vf7B@FQ]0W!U.4'p9rr 9; J Pq#JQ ;{_]èQY}YwρQm+K? Dwrk򶣝 H䧻$]~4}8qiB"2u8e ][ɫjTszm*J˃1&@jT? Cu#Պi`IMz) B> 0`i5΀B8)PBq8sw_]Tvi׉q,L/amPtGVNmrN;v!oJ!Q7 sfh_|T T f.0 M k9O)%=Y>{WGr_F:[pUf;jͣ~^# BƱAA=G>ӱUV7lMv%:H.g1Υ|_ʌX447RJ:O &|؄i)$U^ icUFږ}?BgN5L߀.j7xŸIL ?;6V (c+#J9?@EgǫȴB+0e@Y9=>=B+`f.c?B%v^UˁZ\m+O:^DSPevdJqb+陋*:Z>q:@ 1m4(JzYjE4D4Z#M vfD=ޕ3cb葋a $nۻ)Cm" Q9ylSﬔ.Hr_@A$?`FȁihB9Gʶ2!=jg2Wd8Уdž7RZFb);Eoi|D/#M*xJyյnSR-pf N@?Әo~p_Y&4pqS:*tRJo$Q'ISOhc-3@~ܗ`yԚ?Q~/?{DnJ;cZ67Qt2|ON|p铗o!S4~oKŠVIvRvj2PB+t8熆a, %{ˉLc'mnjQm-i' ŚLx*rkh_Yѣΰh=R PNۧƖF<Ag)L5Uq|ZѸeBxeu,@5rM" ^PKv䄗:SM]ý i=d nv'W=>jNE\čPh5B75Q<^mS߀p`i0OYtT0yrXηV˲P5h}4F~}4-y+_ (:k"^\0V;G̀IrBRZ9&aW#_1-uQo^)+A?y t9b(tK7}erS/3]ycv~>JLn۲m!iEsKg{{| AH[uF?o{华.J4J;6TkˆL7ɟ H0Z PD!IˈQ= x!^$3*J8ɳO;@m( k&!qc21f# M[b*:v.72)s`hJH] @qkkN؃a:?Z =އN[>D\&k?z71s$1Dr:i{kk'GN2ΙYl6Fۼ{*U.'#~Byg|RF[3q TD)lU|?_K~EAhZCAM6>՗*Pzr!q" ?RLT9_kJS#SXXQkX8f|#8bgVV4d!M汪yO5ٗBj[_-6;G[Ծ>困HFk ͷ*FCK| v+&St8}~OtO= ֜٥>XP_#Әi OUs%b7@2 1$XIoc:Ri 8tUCm(XC6jl&u5[j\|tvݬ5`ln#߻d- c-1/XI-J0)m? 67L"Ho%CAƤ‚%%Ày]WOe<"#&PG8Imgw&MUke (%4tzI`ׄ&5%5.3cCf8k<xA5CtPEFnir.Ov SIy3f|f3 j Pht́YiNWƢ&KEVˈK˿%kd0ۛW}E'W}}x2Ep}(AѝP)Au&aM j">sZO` /) ۷QɳTݨV F[Te[q ?~F {8vB;{S\J6<\9f3qowhlPڄJ%]ZWj?龑JZMrg5sGyݎlX֟~FM?:IJ`YఫHH)נݝkD1dfݽg{ 䪳'brP CW`<,o|sFZ. iZT*K{gژReDU ϤV:W1!ХcTҀ+K7=߅_N_Guo&?kS2}&YͩQ[rۨ@t +J "&4]bb=o ᓀu8gťaO BVj|!bK;1S*=!7):s"GOerXю؏*筌IGr7a` M: 3eqKȺHMQN\6K=+44IבP'=:&8"WґGw]CEZ,[ŴZ|6 :ٿI;{ F%^)2qsMAY-;rP6!iK'j}v|P 8f@Ů)J6' lW$Mýd"͍7hu㪣K:,5ҙ&i검>j|沇 C|$F5MWBu`T f ')_d!F|hf 3Fp/6ݠ h}CezB j흣]cJdd߂"9F9a)YoϪLI`B>; m;0iwVJ ~v*qYC_3((AihH|x ӡob:'/mlp疺Wߩ`=Js,%ŷj[7<9Flw|?J?sevY"0t /k APRCvC5(^kaMYiKX*6%Klu V%VO\nkPz$&.pZ !" c bHeςk" {fOzo,ŭ޹5~v?~TxS~Q(j)l+)EaШ2[D]Ű}TFJ<>m&$KtEdb2z⺻s8Gߺ֘> c@z@2{*(a%Al@<3g\H.oZ0/H6 0:kj\'[^$u kp_ҮR^Y/]ѭd!_l1H!WN0ž,K|hCNLx6 Zzj=ᇢ1]8Or qt:W) rd?0(t,{F9Iesn62Tb lzcp-%$M%DAK5&Dfo K"&ŝx5$nv]w`b7ف`Գz[(-vI䫝{e=- L<^Vi07QxB [D= pkΞdeh4mɝEaq+P djBF= )(GoprQ^p9<#/ߑyovBUݘ@%n֓ ECr1^PCV^la#Ct{=s8,I{H΅mrad&sڧ@UxQvh*Õ풎?95Upb,/4L\})My+x,kt&c:=S -ww?BeUo~' v,A@nWwǝY[nf0J?Yz"n?fkV\/VQtA+"ޫvE#'qB~fi>g/,:HBX-OjQ&2_s5,O{)XB26;/G'գѮDSi=s^3uXΪRp;  ÿ {<_+B3o:HcA|Ư:#E9>: ZJnG3W#{]+YܡpB7h3 Z;t4F#:FE֜ " Dd#^C!߻I<~3ޫzP[i2G6пb }r}[!mg85g}bKĺ{ Y:澄Vl+g`G OXSPD7xDRI#uBRAK3''v6QO5?HlT?*x z!S0oFL/# 56m88=#nʣ1 ʋ"0X<9*#}Fi&zNcgo}lP MI F=BRw,A˾9 [zHU1|Ŭ$BRadٍT'~u t N\uw-MsM<Fh=O4 PV$aD\';ǝ"f'3I+0i?) DV[n>Eԟ}Fr#CO!SLžL[Q3j#hЧQc /;$GVIY[B#d ? `mp&q^.V|480zx^7;cF2b0)ÜG!KD]y ~]P:aswB2uċtDPY9*p\Si} x~q ־ '?d&s I"ba%K?#,Թ|3wP`mf:Ne 45.J{=Gz ڥ^R^#q_Dfr&V3gnn|獔=N-]OmkL[3; "a];}]D0۱ZGfBw7[(I|J+9ǍB2 +U~i?l)"_'BYq `PlRX>%+gG&u9a,е&A!].1G@2wʡOkPi"bg$Q _P~73i{S&=Lpo (rv w=/bw/ D6RZֈ{MԸ p"_j/& uw&EݿrlR$ϯZjP=es[%($˅`֡hIݡO3zB!\B܁̰&N/-\Se~Lw( +<O c7]ob]M5a"YbUPF?.OLk[tx!G՚1&=^jhrqQy6A+Zp&; k.JTʉE\'w,8wӐU2LEuxb0M!0V'j[eMѬnpZ )E;렸SXn@A%K g{Z<(l8T/t d-nMg(D0@4z})lHh]Ձ #MmmEGoÈY{ȼ!Wok{Iiбȏ_iZ)Ej0KD܄8 bezA\M$pOT<)EAȪ'0Ԩk)M?Ve?KbƓ5*%x%F@يz?4O=GVm, "# hw.v訰amaa)'zcG\q kb|8PܘlԶ&4 Ӯ0b2'LEχO![gU4{z Zg0 4`>5nfS[z*Ì:Ğ x(sM:?K~!oTz`ݝrlRea/"1-%&~W/BB.&4`A Q&zmF IID %?A-gYZ0c02ceead20f10236d7275425ef59dfbc5021710 285d17beaea4c49771c4594a1209e9fce3c09a9e 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 2c3e480de7d0907848a1519cdd85a3213e0d892e 3245cfeac2613b419ff643cf72db5edf625cf117 4226cc455fa452546f7fd4622b7c865ab8e54250 422c5cb07b88b52f2b335ef98f379f3465f4e2f9 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4c267769d2ce2866f82eb5938b0314f9a97f375a 52edb41329863c9ae149b9f908ee4716838e81bd 5a83e2526c04c3d1c976574dbc7bbecdc7d9ad7c 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 8aefc9b67109956542535e583bb6b75d0af7dac3 8f710aabfbcf62badfb0243b903a5fb3230beab1 9423cfbe33c446e9427e1802bee1b228805a86ed 9be135482787781b9b22fbc99fe61b777b1c0add a678b853ec4bb4657ca0c5d68cfafb497eadc305 aa54cd237205284e0431bc94a8f83d36b27f106c b27225000730ce58c79b3a9ebb8525a6b4955a5a b702f26889736c3bd426c6e9f167fa1972379448 c0a8f4df891951f43e67a343f72afb8642cadb34 c84783fb29526ce883108f7d0451c93533bbfc84 d24042c72c86184e62b759731a5f80ae517a1700 ffc84c1be563c401109cd08cba36147d94a4a62ce4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 59803954f05cefc5f62ca1ab8b43e1f15a1eedf5 0c69e7ea9e00de00ffa65c0625e0990adb806646c84f0011d701040a542fe2116ebf2ac6379cfff1