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 Y/T< ]S]Deep_Learning_Lib:threads=2elapsed=214.997cpu=381.804gc=20.628factor=1.787zXZִF! 5c]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY.PLs"oP͜9ZgԤ՘u8yʂg COF )tX~ꦟ&QWf{`3^O/\*ɀW&ZDE-L0mO˸+I#תv^ॗ 7x0O=|?} BS$DKmxuۨ 1|)Ⱦ BNs@W gAjBfM#x+1P""H[&{Dayoe / Deep_Learning_Lib|S3${"E8 [\V}>Fgpa90;]0Od+=AIr%ɀz1@H_Vl$ I^ũb lß.D-Qh`,ckZJmcf{: PUo%k;s%Z0b[яj!7?r47}1 , lWuOݵ}% XJk&+uuR3@p3b,}X wm!xW#A)gt.tOѽx6)+7usMRi9d*{^e "e| `]ތB\DҞ|c =U(ֻ}ɫVBc" ~`\!AC%k^5CC@~ ?a$ƫ5)8 [XծXe{Os'c>vwNx("/݅")B~iV k X6ʝPIBekxQ(eklVKxoXu8DI?B^"uJ)u6@ ULJ՜B2}}Or41*VAԌRN:3֐%_2S1<$"a#c^Q|h&Ks@Yĕ@!˼b W!UCϙw+DԢr-5# Ϧ:@._3wpE.Zaj/bEA|@{"8*k -k8xZ^K{Z8q&?3\#''%@{5+^#G5_BX!>O-g_ǦA&ݷ܁AwX^y5ZZL\-Q{/{Wg8sxWw&p;efRL:je#_:|rpuvo1+jR-xG/2վ dhh4>|>wk@aB&!~&֝#p=XrQ!hP 6W8Da%`hP\i!޴grbiN$lεv{OL9#h IW"D]>hW;=aOǽ}zfZ^s_H@F+Gr%+#ST,%4>L]V7=6xS/ch>eчnȣ,;Ph[i̟2~g=ür~mF|+gFKUv OIbAɇD16ul(XxuX?olA)URe,%?KA\zHa=2>odw;c4 D[@즪/#jd> Hj+nlFq9.D8 xmJjq*zDi3)&d %8,'aS_9!Y|̭3_c 7R_y':awjyXblmT'w9⌨&1(L6CQ2lSřCUDs #_&,WM^ӀͅR^ڧgG3oWFU@".M N D{Y&5wNjjHxf06lM^Y(o -+w1o ZhUʎbXeDFHy~l u-җfw[ʍ2rc4ta@Sg}C M ΨX"ô[}JB"ߢD?Nf NlѠ>|٘`P%Afe=f2z^ 9aͷZIgX,Bď a)-czM6koэi1s+ zf `ƾhy^N+~9N-'+wEPY3ŋg7#׺_o7B4 vT1|j?+ʊ3kBG6ՙynhSl"1Ͱ\#<}p(&tDLٌέt`.y'upM=3MZ'qhm?@ݠvTۛemfh{41Ta3+q}a59,=P"gqoW.s1+|ҰuxľJFƟGA{)PJ丌;|^3O³z<)n@z|ߗu;3 qLt|Y\fLXV<49` h z"E%0V]peC}a4^akQ~v)*̃S#VҊwPcwL4XHaWKP$=m9~9e+S5ճ/miZi۳L9u= Tˈ!kӽ/]^1 mF3X [)żFcG}}P,ױrIY$ Fg%٥Z!j猉ȝ;@&LueMkZ@v}&C눪 Ѩzv760P{ mͤft2FrB1_OCN7K f=ZiqK ~hKZP,u9Fl&Rwxv!_Dߨ5Q!UƐi|SǙ)aXw&!Mo"eS-GB@suTէ: Xz68&TPH^0L@L* gP/35i]|e]]f\fKm DszſY H,=_!Ý󸧞# n 5A_l3˜UiiYv૬ kxwnpwl9\?db0/8jC4X@u1a6Os?dv쉂5.X"ӛjeY^ .}5~M!9e` ސ(+v .EwfZRሕHeUXGA8\|Oz3h 8ب;=n!kaݞw<σ [Q͠\f -jKtQyEu1^]1 0䁘|ġ4ժL Ydt[_=ۆ6XvW o>Q7B"vm&lne|g 2g7PӚ%7> }lbT)k^ %ߖ"Lo>N>ЉG4,%Eu {|OD@(`oC',ndHR{C!va}<(F9\Me! 0C)Qm.8 XEG<n\)nq\E8_X:\b\@Mc <4Emt=d ,sc9f)f7.Rz#Е_4+wM~"h RJ[m//5DᏯla04|G > $fm9xߦ'aA;y^eg%"Ao ޿yϘе\Ϟmq\$R =E!@4Lk^O+aȟ`5R)װRo} !T`)*(&nᏋ~-c/5f`qs ˕=^DZxbVW U 7i|24[,u-y&L~UzŤDayOP*57,Q7 Dj EE ث!e"|&]($J^0Ip!Pws|t  p [LT6yb"οM]+@uع6;?kJ1(P! Qx`ZMiGA`( aa8g+bQwQ׍_Z֧(AsZ4~`\Y3 kKÊPeCʶ|Ц^taor!1`VDLuN?@E=Tt mǴy1ΑM0gҬ0AKl\hJc%Xt ڇpJR04<+( EgYZ7zXZִF! V]ŗXiɟ1˦r!W!4CČ*OG\,o^<5w©[{ܚ";n5*VΒ|KE ?Qo.5dHFq`d-jQ񙱰CeXP zeO4\5!뽽Tpr}*nEmּoW;y%-TN^oݱz67ؗf< =d+߸DuL&ڟcSTp,DgEl4h_#ȿLB*{|cl"ԑX>4)cT=#]{uw1g@??sV4%ZфM֓00jB(ȉjg|{dBc"۴;%%@uB[ݱ-h 0wLЛ&1/g|v^1.Y,x /⏚@\gez%F啕ήZbٌ r5Λz7{O` i;/uy/:M@>_ L-pZϗ)*rRn@AÅ|3BCN^D g;ɠ>Q~%LyaٱgYZ7zXZִF! c(]ŗXi%9(ORݨ`b.Ӈolxeteķo\7a'Q4b]7^-e&[+HF0eOFw+D*mV‘܁9-\;6K(7g)"^{ӥ.w}j`\+og7B0#ScQw]},0EKL*ģ܂U!Ky xWkRMd&W+R^+ #C=JfR<9)0bS:vH ~erJ]KlPu6H&:oP`ufAG­ (6g 39KɻljQ Jc"^V X@&\Z*)\)ƚUj55awfy0-})&:eՒ`_ ޜUi/πLkNJ8-k6+dlbaT_}p%`rag/$spg N.OVbeAJE0g2Ll \[1Ee^k!2vUmw2k[;gi>U YaIR,h:RK_S_S7+X5U<01+ҥ$|5BTv yx=t%x~pSFԷ`dzxyT> cdJ~N,DV'}UW#R5U@"&X v2"Qap@MYK6 n*0sG,㪧׬t] DUT$PpJԈ񨭲y@i s2ORSnp%xH PЇPTFZ-[zkjƒ{8슮& t}`r&H%ܐ T蔕* 'z6+ϙߕ,&;=HHꎟ#j ;qƦw+ e< : kΩE#12-h; *x\$K}G#m嘏dѱ{h9=sɤ>|M%^u9XrCST$u-ޝ=ٱdynWۅoSdd%Eӓ=Z&tfѝ#裢$gDa=$t]J쪱2ġ7OH jβ3$筲OlmDeZ q=xrt~2⫩Tr.2[ҼIT~gT7cN0 [5V \/9d3 f%15OenK)%i+.a8ObR\&gƶ,A=ᵘݮ)7툁Z=UU/6n'|s4fޔv3qkEx5v_ǃUbsOwq  ?Iĭ|狸; \E,6DOM(Ucu~_e:Vd`GP3ڛHܛIX'X꭛7w$ '@0ԁm l,jp6nߒlpcΛVO5P;1 #mU3y5'ۅ6}7ތ]iDN\D/o'1卧XC9D<_YE RMr%@>E vRCuLb ;yx8npY: ov96 H8ǎ3SD=d㷩\q;<>KG)iuKa 5&JBc}窵z)-f tnל=9'_ʶۉX~jqS[RwV#Tg` ( N3rRBf'3v&3pq.@] 3:oRk'7h[@)xBK3i*KuV6gʷг|Mb i5|.2x Ə* 0!,ļU.v5@Z,DOV-?DM3d}~~vr=M{vY9h@, \`Zb`2Dz Y wfCQ?BuF%E n i),-FTi {.uaL9+l=%˩n,E7'd:8cX>\ o|FS҂By*?H?r \|[mNlq^%@l3}Qy.ON TxE-I.(y|4hǜ_)F)HOb?!*F,&wěTShٴ e,t<)y5O>P=g>El+$'G큯.Bi+-#]éw27dk;&eC["lzy/ɚ<Vv\ kn.vt>Qȩ`1/3:_`WJ^*!_pCLo .Ju;97W xkiߚD'-EK}z¼v_ɋ|/&ryR2=QqRS5C1^b'͑nQuZX[Jy_ Ŏ09MoKgf8IB$ c b6m/f>LV/5扞ɏ?n9FɲJqBYm /JnUWpu3?OEě#C2?a0e|ϿpWwN$dwX*+) `U 2xE]fñ#=%j6ƿ g:9qvKT~;N RDeZWB=2-bp#<ʡBeY2ɢbDCXl8]oRA<*`ZyvnQv Oصm=Fx.,v@+CN(lՒ&ym66kc!vleTU^I {cR;w|:8bjpғPF~EQss~Zͺ#H8~l-DH|p-oHNIq{Zi8qwIEDe$"_r\ICz\宝Ч 'a]W}uEܺpZ_?n8g3.fIu] faru6%L8 `*v6Ap( |TR ]nS:c07fr)^N6~ffp|MA[N*,QޑxąfB;mmakPfӥF9P+Uk[PjnєO'ƅE!'+.2>-&=7 F0+h"ʳxfhT'0 ;E,E坮кorѾji>OE'J:'3X41Ȅ#ǙW,>3Y[Wq{gG1Aאָ@Q~]iٳNTן6'#iF=9UZ?iviMZ ]P:jDڛ1ym>\o9]kŧ ??=z9 *Vܞ_xV{a}yi{|2GxHFa_Nea#OeXg3bs$ZJUW\k> 9o0!hWb2)sO^Օ\x}yb*4n"nEq2>:J?2 UX/m_@+"KxBUgC«Wi7E:V=η kMHm]b]V{=c^ VPy >=lk%zfEsz ^T" B8a˾ލrpl~bQɡҏ|BL+%-ZPFWqkvb7qܔѣWP4ߒq߃Ru([sלW{D8T%3Om8ay>&aɳ|͜O) Ɓ[Erx?_pqQT: U)lKTy'1 qg 6CyG'ϖ' (Cku:= ǟӠ#C:;800(5ay{q'I+@X^!!XU2=rkV!0w% >aW!;'{%\@v#t(e3@DSOhY{1-߲Nƨ'M;vIv8P5QY~ppfmLDxnG{~0n +`рQTH >Ugn?:"d <]#Q(KSZ7d$@_^2] G/|^s9F~Uo?l4qdv+3L} VRE#SO)w֓ų ~yQ1egsv/"3Ez6. /8OˉkT|It ->7+FM @m@} dl+FLz%iނeqo uGA4w.X<մMX4%ZAdN2'hf0bFh-06/^pܯc9/ZC~ێ9GiU]nz+dlV4ٱI$I КGUyi+5s-y1ל^N{)rly4ZODiMہAW^`^C]IQXY&_n%s5U[ 5r~ 3-N ~ޱ,SXOW@qI{o\ =4qGׂEEm/p2*P_\ 2?Z]RZjɲj!z)W## vO:POz)wk6b40o63al\ 3q6Q3V*}CUY2MzXtbzc==@ʊ Zo<7>Tb[J[QR:3gگV4A ުxo&nhח0(.8)[v>-RFq[b$LFG-?^"Y5mH*ԕ Έ!n3_z}UwOz{B7ؗ4~_Pyy JtB>>)OX3%xx4"8bpw6 & V%>~Mp)?M!@MJD3\V{?e`/·Xf/)V̲~#;(IGJ+i{*ItWu)XZ<+t}ly|ȆCedQ8_[޼tJ! d#Qq/]ͤ:Kzƍ=/p@J#V{Vq9,y)MA.f<+ա&Ya 3G>kR:)([P@/ 1]YglN$٢״~7r:<0h?/.9K$LItQ'zI9u*j: m^AMiA"BeL3_Ix1PD23Z]. g%s}n?픥)T!Ú\j;xH/Ñ'Mdb0D"hz|iȿS;yj2W )<&ǵ8 [*Ef.4GkY ->^04m>H+j!,.TpۤQD&\Ji#gCԛx> g)hT!nB'Dѵ=KE4ͫ~8_`k:ohGVtciyb521Wi.rw̟OL'Y<2 X)ͦb/Yb.J- 6y!'zIC#&zS2*>QFpg'ֲg& yGQ(\e|T!uca1WMH[raRvA&~^:vlpHS\e2th~HdF*?cCG6^5h/ߠ,5g"-BQk~S{ί;jP~'W>?~pPfC6oF4l7CpUE5![Yk?BX Gx$_"NwgڞTMKlXReEEmp*B|ê)~G=H}Y9悧i!ܧSemd ڊoi5( \K֦f}Qz$4ZjҫZݲ"Eŵ@Bܳ1d'[G1f=vHE~ s#Bfk;6r0 !N7.rCI'f>aNڗ"SYD 7W85p'`Vy$H` nD27lpMG7qU:otwȬ˯JkfxxuΤVLϭcD+ Cam]|Ck<^ ,2h\a_IJk'?9uNJW? Csv4N" ׏W>6>-{Æ6BlC1ڒ8T!°J 9s<>H6&ăW0+iB:H7MՠD+`oRq