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 `` /$<, ]S]Deep_Learning_Lib:threads=2elapsed=198.138cpu=355.772gc=17.736factor=1.807zXZִF! ]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY* irFJCG#.:tf 3T}^+rS}o褥=f3否q."i5U|ڃΏRgAXӼ[ ]h 8̅8K&Qr$YDFY4uf^rH I&9T"E{ެĺvK ) 67Ο*o;x{P1F|##&\rirЪ h0]<Βɗ}vJ?y[ @=.HzMԃɣD),1\"ύǮ] )*aw| ê{ 2pmn _¾mF1[IUKHrb) qC} !CƢ-$42D`<٤ v,sӧ rkm)mHE_  ūgj]\PtмkޓKx@/j`*M 5C-ݥ ] }9'DgF!3A>0xeRx=%T!K_)d71FҋP(ҕaJ9qlmbu{3zq=!˗r %[-7·.dYItc$tY*dV6`[?5p{rOfqN md|I޶Q$;IA#Q2Fa;?$HDk(<0"mB;6 F/TK d/k/4a3 ӽZ{QjyG&nʠ8&s0 Xu#u2J$TL8ZbbrKI٠>G$\AΑ],6{ i~K&22 )հ?TĿ 8ua?ֳLg=:yqrSsHE8&' 2j8v!oVaNuhg#KR2qC\3BnaTK >*I U+y#xass&O@#UC0Ǎ!eksUMa@"#Ī(Fc5i4:Nݘo}7gK:cQU:+Ddh& 1 Wjd p9.+'i5A tԻ~,KmSǹ[)~'IrHӚ x>v85)3I7Ęމ {H\vjK1of-AuhqP3 o^M_Y.Kޠ+ui@9eSUiU@5hvh <"lî$ϝׯ}yn(xۀ6YT3m*RjDɡŰCpFk7`Ls8Kb! @썇GAݼp1:xx| L;5bm6p+SJ)4R{Q*NMh@ck"a[ıD_2L35 z 7j>עR)8 S>M _= )[셋):Pۦ>5D-D x+گ>]6Y\LPзvp)|^äĠeKgyq2]tD_q+ EǐqJqvR4բO@7Fgs86'٫ O&<)#bYNB~G.c/*"x!MLݦFG$Ͼ,[֒Ef ܦ"B9ۓB u>Ut<;6wg__xA Xt?O|k7Tsf.\|5hiO+qE@Sy`BiLF^GL$?⬑?0 k$ 2lWYƑMi  ٌ6cHu4 +v=?,?mae>ȭ|5A9t\Zv湜 @~A\%ۑj]M+dϥBqû@)OH>h@okTli{vBN!AIC ܭ<)SelJJߵEj*d![x껋Tw9WQS B5I*x=XQ[iʸ{.eY XZaAp6)hq%Zn#VK7;9 ëAiUܒlJqk c۫r$q<a'H -}0ng :DRqk_kX_ R{G)osʦ~3|'gs =zpa :&@b'(ZExE1!`3kdW.L EʳӟDuwp?'qv@BģjK(v ֻB̫k٣igf2n4;ȼa,L:\ o@V'sp(Q\F4ڼB_\8j߈A7a 571J< 4`S лhOIhDaUXT@Θ_ln`2Sq$Ls~]RVz1,2|+ 2!NAs8)`PHؕG2\W5~T0w{gPϥ(@-פ5&f(Av̀4Hk]sv"]ca|NWG.GZu S;\eS5bK\Wy@> ׽{.8?ml\4|%dӃ iw.άi['u^]'o w؋/dg1ܑ[i=5OQ[+cZ1QWIG]"y3 X&Ai}2T,XBfO\@@f{)T@6@DH1{6R,h߾>1 LN`ZݝUgH'"٣2TԮ;P1VE"^i eiE #,S=60\yH8lJ8F*ۛG+OrBN1E' 7 ɻpW;.iDjcdY#)FJ (". 0p[>/3X?l"\挓WrU(ʝAz9첿&oSG6&@lZ/Н #1w|C` alfR/Ⱦy~-d2~v6Lm'XW* -RR󣑪%희Pk//jb^kl6#ܜͷ/Q!P8% L~BQ`'#j!큌O&8y sL1NN\I{rZ++_\V,ֺĬ ;OQH1k GZ"8PtZd Ag eE~IbtGXC\{]xBSsL=cߞ5I|K|gJ/#TTkbΣ:iGFz~J'Oŧ]jr.\=VQ+g۹=4ѳm'GP3xn79w/vj=(,?Z7R~YZSwȊ7im;)ʿَ,.̈,K>QO;쀾'{gYZ7zXZִF! V]ŗXiɟ1˦r!W!4CČ*OG\Y:[D,go"2m™-Tz*#|Gsgc zIѕh%25{ hυǦ7"S72|pݗϭPi]3:9.sts{'EU;1w+ /=:sl& ]tWdw-`))h&ʞ:շwTr,1v|*)k3o="JʅCR?Cȑ<˫iNoґbtJhv= ֧l 7Fb,-cp:\n~2pt<ϭVt ) c^7\+Ξ!9#9gcſjpqS+g;5D V7ZJ[}]"B>IWH-DWIm;gzÞA}UjmMKBkgpJQz8)%gOcg {78fIЏTp^ۙ;ꬁK_|豂mQ;z'aoQf!$Gc/ﴝvQ7B <^}*V8F汈"U2x f-^>coZ2V+{!, Nێc'QthoZ,yy)P9ld_/p_A#yRst&#[n/Ww- ^Ydg~k"A&#I2˱gYZ7zXZִF! ㎭&P]ŗXi%9#cZ`1g@Pnv1u皬wh⡅(^'Dg?D<-Ils諲*v%ͩYPa#`ǹ|#}^d<,S$RzdOa0nDY01$1wG$QDK_Ԇ`|ԁp1!v(C 8)v\,ېR\[TNCIC8czE B ^wpϴXqҭp_6{kݳc'?0:XNjc!Z%i8rqEߒx6Gl9 qq8ߢʼn,hXL옷sǗqh?`P_x:!")}1:[ @!sH]iB@_ F_ n @?݅I IfZq]y54@!9Tv% }1)$ji2c9jmYTć F8 #3zp{F0KobzRs[\ɣGqNt*$g j3Uɘi|lZU1.G*)Chԅ0E uJ,].CDkMnj[=r68IA"):&3 JWi89X2|at叱T-I{~By = M6>mw{(q7i(̸ @Ojle7)ԭG W+0Rc oj[ `njq0ȒB \g+d9B,똆)Ճ}ClUDmPYkU wg*U&*s=Mp"\ǓSm Qd G,@QQOv$9Ab6iq㢮Q>i {-/=q~Iy},*?1(k?g QX&t3'Y"vgxTǓIw]eƵP SDY9Әf4mGj|Y#"݌.dq1cG36Qxjv X6B7_m &b,nq;3e럧r1W)zf0j,"*@$iOuWehÅc7Әyhȶ/8ŶxH_sPJ;6Smu~S1܍i Ʀ\իl\LyGw`ծ ˕|CR k uUc;a{s%-~I-yY@gn(Aè2XA Dp@z1nb=jfչ?޹Y9؝ON0@_=JISrZ or PJO2Gi?ju:[U4T0SE8זD&H3{N{$yY?[XR~Uc6xU5k +͌EpmɹUiGh" P]u ~0/3i(`^~Xi  ^gU`owS= "ʻu6 mf;L>֪<2Q61Poa#A.m)L<{C$W+;wut3Ig,kd>`~ƛl)ՑtOI籔$s_3,c'>Vez~ݺA m繒HU&י1i?v z>,)Q2aR49,s0ƿ\y}H_q^g܎ s{Km"*!mk1]!G9bq%փoq}Y\)w>4 ,9}ٚI(Z'n,;r ʦ `/>L2Ie ӽrA`sz4A>(iҊPde6 S}D@ 6t~c0'fbMj][" ᒂkzu FKp,Oۿ[cϽu1LCcI>^Qo2|H "myED)Ib"*H;qYǿI`!6֖ f1!^fr\&hThfŭi-i^GeOc̔1ľW}nQ{LG&Ojy{S.o\F\Z\]tE\@naCwi|<^F~9"Kܒ%wnWq3gM U \DdL67e"?qآ2Ԥx:7ab<Ѣp&ٕb; y)ެ&% N{!;FJؘN >eȻSwqX~Cf:0qP,{b]e"yVKA )$s@I*,5.`I 5+~z?Dlbآ5GW]Ϙ. Xl_8hQTL)d3hqy`Ž)6FNbKbni ԊIxhӗ'w5ܴ VI3jZl>&H M4'.״–i$z&EX% ]c? ;D?VޢZo b樬Ijkex= ٿm羑CR]`+HX8Y[ (m=>yo+yB[uv 69Xa~."eO'ܬ^$> ƋL)lֿ*". r۵AWL%R'nAٚStx=Qa782M H C)\'@>wNjyo>c&Ued\@w]!Iӵ_׮CRL&A O6u"$$y_-@\qT ?9עH wpQ< uM-M7pD?0plN_G|xW :W O.F :aOE *+7R֦4v΅F+|}lz?ǀ ceAm7!ϣ9KH<$P hVTnXA}ٿvѼ>/n6On1*|A̬yP{*qj=} R&ۛ0J5G\P1}bvI?L 1-6Gf@޿l zQE^$l޿2.238?vY8%@$-cO{p/3 [66{-Y/NI*ffP˯~Fr3O匟@tv5Yy#c+?i(Z+IgrU18;:6f; x#nT yi Žid =9 y׹R?9D`y"+F!N؊?Oɇ;iA?F_Y@B3;˟5ZZ("M.: cWf>pI|݂u a> .2ڬ~ȃwգ8B@d,"]SPѶ樾_ Z8<ȌwEĩ̥AĆ"d-xl-ú +ǂz"4|2D{kJByb{z!}H2ca>_f(g7QC5å% -|#d -~!K`>7*Iiy4Yg9ӻ,mK-+I _A-匹lX%D\  +@# Nd~})8Ύ5{^?о27Lkư}vg gaznrG,|j&aL8f5i{qV޿4&QI m#lzx_+lǏͱeq(gs:tn8^!L?㑲5cǞsi%>.!cu ŋq|U,A.t`z>#뒖!U%J7sֹč C9.i'S6u@kP[hB :ЃJ@eD~64Y)ŀ8,ġ˕J?„T؍ D5vNs k.I.,c}R* aE3xj+*3fIegF:4Pp޿JctP1胀n$\|t.Qtۖ|=s|S&oLPnM`̑qjE ? ܧ\ Cz1S6)J/E`pV_ɲfqDr2thA L:X\ÑDvϗhzgWMIp:ko*Y}#"}Lr 3J1vشu@t i1ql E._Sot9S?bvQ6?#^{A'e[odЇ0&98Vu_rmhR&+(B:^Q8O:ΓEGȐ"Ppbx$eKUi@fdu95 Aqi24#+TKPqsCdwY˲v䶾B*$v>NH2;r(]NWA,:j鮥>J0ҖQaxod1mKܘ X2Efyv| l޻ȡ8v #/IKfv*YLt[KZ(7 u)z߆ ?YP43]l? 1E߷_Ħ5\滣 y<@bú"[z9zC SsV}CzbT)<7I%#/,>W0- g!@h9^= d=.Pcor& gk@Ȁ[T:Nssc(/Co7ʖp"`r?Hx]X~[Ɗ58S5>9T}G2A;$q6<;lsճ$ D[F!h)[$j!i {+;i6 Cgh5J/3ht M( += zcҙF4Ptq-a0, 3 ~X4uȬյ &ۼ m(% h]S'шA[Y"^NfW'ȶmnt52=u@+#xӬ=zJ߹ vĵme*g\(j%B(&&\zk(=+"kz09,qQIe^OUrB XI?B}[@Eȕ A$y֗p]J>{2 ܉C|ZW8r!K^ :W=G&8|!ϙuXU:Zo{/H0L#a" 4k[⾴(|:Dq oOElC U,m/OP֡;tkܮU&8BBÄ @lQFK4W&[ Ϯ@]{dF% ϛ^smt,#1>P!)N |qKHG܈~,ͳ>!zGWhdg½"<.a8]ZtCHϨQw+.gk%Q*>2=m7kqD//i-U؎Tx9KA?=E[dg !.ܞ~tYw UJP?X3{#ƋAc?m 1>b5j9,IDɌ[NQ O\lkY.5^ǭng]դIʮPtB"& gjIrOfYaØG:<ʾ ,g;c$rǎcE(OmWl2T7iϳ^sq{ԉm:6F[MQM\b $D G΍"$-Y,C ","4#-y .2j,6"hvTeJj~BGb$}oON ַgYHbx}i28Nݡe%f;F^,c_1 bxnr1