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 hh/T ]S]Deep_Learning_Lib:threads=2elapsed=195.321cpu=349.480gc=17.284factor=1.797zXZִF! KF]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zYߎG4XO?(1C N*tdJp]Tg2h[ڸR7O()OJ\"XOJO}W'tuӓ doգfLVoVŽ6};پuSYCl3ṵC$i $( GM.DF5-IįO*;4rkST*$qg%}SIoXԜ 4Ʉ$,fqs4)Fqr)^k5{CLPTk,f_ٕ \nUR@krvrSTؾn'ffg1.);m8ז\y;p*r(a3ƥ;>;@n4w?!V2->;>wNgƮC}vV%g';osѨqU)Ҟ.=(V|>Ep8}G7v%nܦvv{ެ.>d~1 gBZ'9E"%=͕WO}?;S _J:)Og*UGwPD'/}1Ek:e_$?QVq9}_ߌB<ݟ-AQΒ`qm2 Szڛuf NhףVPO5wþ8f7 ql}KW\qf(+= \Ї(Fo՛l4!M>ruWJܚ񧯚&9AlKL0 Ȗ G55/^/Қ3] 'Ǫ(xBFBCf ,AT-ΠzP$6Wxb@3,>ٗ'LOx_V}J{V4UՀrҼVW!wۋ.υN B;)S$f.QwB9hZ<0ĜK8 J.Q.Z{^Ghyk;^ں4vn·!D0j?ײΛ&@;:`N#μEy/s 7mQ弤+j"yZS Bd<9?C_m Η-ٌ:%ysR./_dʦ_oi( x|-zbGm e7j>hf M]rieDҵ t W%\oݑ lD>.sG.Қ)n&mb+0] z"5 S!4`;Tc"+Iz !<.JyPr Dz1s6z }r2ݱa;jC|k|Es~nJ %wjYYOZ$Օ h#񟲻 nVq[uDVXu~Y%a bu:OvgDNh11yDR胁EMOK}"m !7`P5J Cs_-v2;|.z&m!M3XOrR T2: #FkLKl`3:GE-tT*ΔOݯ؅؀SGN='UZѥK+(!KCmN=gݎw{gs!” ֻohzܑWٴ\pFh%:Liv?Aο8k]߁5OH8zi`]Ji/Sogze5 ϽE>ȼ}, cؚcm[,+I_Dg4}Apo3tEB8qD(  u5]P:g] 9Yƴ07!AL[P4QSQUwsxeuP5e3*DD0Y!HqTQp+Y 6Du \K|9鳎&o)t6iٌ_&um).lSYN#vvjcOa-n-h2;Wm°MS[ ekC7t<2 Ը7+ҸeEMS!tgH Ek/@ w} j>(Dp+ " GBl6Ԕ 1zQ*;!hKYO?!Ì9Ц"mX^p~؉IV!kp ') 7{Q3IL'@sJ%;ϵz&ʺqdg!D ܵ᤯:l4n-ںUu!$BOh%4qܡK>sGTH.>ݕFcI}Aa}#'[X/!h~\("M1dy"^ >2r.PKLV% q%6di5 Agxl(p 7gz5@kzLKg7RXmœA|}#.g`I}s\@W+WiՒ27UD*Y|C٭_s8ے􁰡Yϟ&F]2P ib 2Cy8z&$>dpOP]pX׺95(< c( P=ub-H[g:;D U?_+:_C1ۀo6pBQ2kL6Ϻz9§t(>̂^>VQ-eK<}l:4OsBB}Q ){N33K'P.:_%CٍB&)\uHΚ 2utwPl^GN99-ӹ2@RkKv]&keu* 5MOn֘nݗJA|PMW[|vMN.pkQ㋡s:%hZA&q4;2حKߟ ( ~$$\rr+A2z: ٪wZK r䩪 NPĢЖ%cUS&\V#Ce3, u YnLan4ThN1f }`82^X{Zrp('_(]Y_Q=2^4\0a4:զc^nh; x۸6}/G]1f׭p ÂPsH,^=;)P!%,RMbϏvNrOqG{ (K1 @#"Q9(&>o^F%ރq#N / Deep_Learning_Libt#-IXT,K5GHg! m 1p~{3@\SQonԕml[,,kw2R՞oՑ ~VѴ+_}IDv|UZ4m8R몿>,Zr!M OЇzNQVsߊU;% ImNtL[w+Y_Z!{ؔrKuǟeղ5L|y3 'tf0牎P3Gv']dM=v(8"V4Iv%)s+B,FfO5%n~b.~BWs߳V^ǫ6^FJ ~Q)s'`\1:p@%Sb.!/[D^9*huff)2ûŎj4u|oN*Jf#qE9줦T'6ǻn$@tIYaI8PUWc|ERsG[}>6bClڐO!SCKBfkFHUDpޯ 4Wgsh[͆Yvm׿5IFӴ:P‰1Ͷ=%"3e ?/ -\YtX:Ղ#+3;tVm8.9!^o 8 cOkgM[6ke"> Es<M ?r}0l<-h *&F)L ?l2k2YKeq/&sd.B>/vH*rL-'7ZU VgϚq?1M=JZ܎y[z Mh~d}" -9gqš=K郱=HH-z}a2u:>6 (^N KZ .*c4H;52NLYca{`zFGwoP5Shg.y!xъLxfb5oCIwK>wȇ BRJVO[-byv(ʕGKn; ^-7Vm&w)󮺋98tg l>1RgDR$`H{mw7G^‹8谈#G`ߡ+>Usr&zjKہU'?|G2;D2s#Jdk?êd=I!6P-go-P>S:$ɵѤ;]j@>EYϹ Bt FE9I=45;S(GiCl9nLˁ")U1 tE߶2}s#K$IjƬ(@de< YօŐz;3O|P0&4X1Ԣ!7Qcϵv5Cзh3 O;Iۂ(5șvb %>RNPfpפ&WW2aj~ZIx!aTlH䊸Q؁ڛڽetl)]>B䏅W-AI.YD Ƀleb%nKyXVKٝ\,ECh4擹m&ZFF$e<OX7!J..d:Ԇצd*Ŏ`pD(s8 u>@^{Vx]]xH=}_=eL EG spaK̠:ԒEù\"AAȈ,Ny".Fja6If('?HSX u#-g;gut.'`Ӻpeګgqdwfb,C#X#`~o7aE+_[ u%6|_NvԏzE^M|YV9-Os='o(ZiF(0i/cM ՖݒݻNa4Of}mbaCzh҅0n/piA5b=&Q}IO49C5+w^O,_p#p;}_Jm:!+k d}Zg8ߔ҃C *>qܼ%c\`AJ!h #0-Cs1o67Q|#3g`Pxꦜztkg'eQoKXG͍tz /[h*M/?Lnkj;~9 (;̃T:{Ro^{<9 Cԡ|BV"5o9&W_ڌUv ='Q?;Sb= ,=ޙ+G#V{5dh;![HI,Sfe, @_ߔh1(\zwṄ!`U"NF{l&cGkNk%w?;>FW  'qJ)qBu|vOPP:UV D|֖CθT 9Y+7pGܢ+LDX|@=q +߽*ЧÚAhT5 I:EΫ M4&4\:֑bvd_ !Acq˔d4irmH|ybޖ>o x5x@984߸,G.}'O@k۩RDԵHSGpCA"6̵UK]|']G˥),|sĞxnVS$OƸ/~h(cZA"e|~Iż2ƷKa*Eךu7A[KPlrwA˕$?7 _1)2[7ϊa錌;Ӷ UJO+;T15%a{c #^Y} \]qr\J$:v+20NyY]X{lX~"/t"7T8a)goqX'  pOQ,Ny +NWHtA/ӳR[>h@[?N-5[V(zؖr WR]wcPc_/1re:7Ɵ}hD["('#rj5oH"m鶺VoY9"@ b0 ?ծ d';g3j?LGcE'#[H ś#`!wJ!+Ɲ%Q=MEQe54kn,=%/d+KԼ/Zn0n P%ܓ6—9#br} yŠd. 8O_P̨.[̒pًXbxX^ڶHS:9`tW_9ui8ضx"G2"揬h4AEs|rK'$|(IgD2g&OW,{|PWM! Λ8;=F#*26-Ր3(Wފ|Cd.u`PO89`\>/UVw]}vNu6dI G]ad #E!)52FJr¡N~|$$GMj`wSDמ ų)88DXe5oHhKsE4)0}{)sbܑb~./wWp1rz:Z @%Nd+WwS^V@`%w"9FtWho+`Bfnlͺ`DWN驄Ὰ1n_ lC8D##Sɇf͊h :@A\ږ g|:' Y#'/S-=tC"{=;Jea墢e*Yc3ivKO @oo$$``湓4 Ν1ORPpƊ}*;ҟkNMV1OC xn`Qhxu@$o{MGdޢ _OrN^.,UPi;?K#MP,inx@Z0Psׯ~*NV 8VC#[3ͨ|9Xy}龸/f+\_;KgM0A^ǰ'S,Z :aqi)_5$0`TO"; wPV0?!IZԙE9ID؀T6\<=9ka(jB-.xRF93ޅ#mW@ICJ8sᔷ#kv݇\ϿO>EgmT'`Y)(껲wIr$_,+MMJ\I/\a!tNi19c?m:y&>2M^ku ʔ@ި^>W OިeNb?c&Ka6XCv1K7d$ܻm EB_(7y1~vw+ږ G]Jv(i1|6=rȇYr`2huUͮI j2N^6Cm/7U ݃|ꪻv9ޝ]NIa+bB\`OrwX E\Ĺ%>QFN+7usY[xBF؏x`BnP]%~Yfkb:Gs՟xT'<ǸojZY%@kjhtL n#N@^mv+>x@xC em%}r2͖41 إ-- 0=:b>M]L.4QئqlY]|ųN Szю$m|x}]U> 累T6M E; F"60,3יrF?/4˴bzӦskz-8APPbkGo$TrhDL(no3rw#ma *A 4"u̪ag'!]<ˢ<;X֩96|DU]OQ!sgQ@[Or["*dMJRU*ko @5]F& ,WjR{NG26 쓓8l/ׂ~KVm4H m~LI4H(zz~0qzoA pl\K}-Eo슘0;֍Fν| OJ.ʫ/4:%_= tY/; '#c칬Bs5X(~gRxkh [#^#8AL8nc)z\ȓOcՖGU@/+F@%ҩj:ƕH_yldu|;߯ 4~Gs$gĊ)5 ӺH{ йa9 tzqY5xLAJZ#P;lGKwեKI$6Ô/V@g :z{(NH.$T8!۫\{~%7!`'M|*ѽ#i?SnkDNj⧢J|72 c9F2rijCi]ֶ.~t `UNq{^/I,~nJ%/G{҅,i;NU"mߎ@Jɠp;1[8 "m'"} F'@ Iu5)XzkdcK7 k< Zז_8"+9?9P izKZ8'^1NhM,lWWQns^3ŃM9cWU8bzCHgg&3 St>m`akOXd`tz4A0q?V1@:)ѨG@bzEL?'Ft]3\}X)<+] e#bx$ ]v0~m)z>~y/1{o1UڬQQ}Q[.rT5؂:(75AX$3f9r vA:ɛivB@j~\=4vvNGc]ɦ?$ V)pPcdj鎯cNh9LmbHߐn}=+,K<ɹH pz;NWiH66Y{k !#&.`=QxTKmurq?A*c(b{$#3&N=M4)5ˈkT#V辣`WrEx[ŧbv}՚:@>)(mbW"%KWtx𒆳 5|o]s+>a{"JXH9^2V`#$^Ar&E(oQ\(kc/BIKP7w5;IkT7P b\7uo*צV$)L]N8b={PAJxZXΌlgR,I:~! ytpEo* D_mPo=Uir[Z13~ 2 wxNf]&#> :Xh꯺LS=n "V3}@U_) r n-lDǼܻ`?N~# HI+ MzNkܽ; S_*?6hVuA܁'<8/td8i HUT nXM%s&rYҎN~kaie_dZFŎ1] 6 Ȕ%L,eYQNh12ϑ';wpLY&:oc. Y5O>Z^BTD+P#eH=B4+bA; BCZ"ot b{έ.&36|N"|l)lj* N<3Y8 ?p#=olY՘'KK@+tcZktk/Yqqqv'具]KШt#Ƭ6^Sm ']Sgie5>$vKʋY0oz 8^oAދMrH"6LTWtQlX1=OZ-XP- -:LV/nϠbKd5C=3\q?gnNNq WCibz@µ_l!{m1{hEtma@]["Bb(贫BN;xj L%v`\f%Az`UЃX>~k3&aa?C(w6wHD/ ݡ)ܺPj5jjٗx3TNg(bɮcHCzCj  4-K a*땢xCD؋CT c08ƈԱW~WGr5߽V&/׶ÞXŻ6hQ,K)wcTO%-jx[Bz!o@B)^gFEㇳ3l0mF҂{'$3=ID  $PL0%Q=a8 !@ 0e|ͯhoۺ5#v іyYl R?&㉳P;;2e[~ 'a0P3ô(?!ơ0۹N:1:RNٿzO؍ho-4C-P (Sk\ߍPXLo/A0+K бgYZ9d8e5e70e01dbad7773114af74c3ebb2d33cb190ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 e80462241ac3de8d4540cd4173ab1f28a290f55c b7c4b18b2f66c2d4ea976d640e744bd66d0f58b67ff1ab322630e2111d410fa48aa1b28e9e75e0d9