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 ~~o/\4 ]w]Deep_Learning_Lib:threads=2elapsed=169.836cpu=300.788gc=15.868factor=1.777zXZִF! V]ŗXf1-/6vR[2ө=%C0A9RJ34zOhάadV3!Ҝ/;E,8p{x@7}r6Zeiy d6PG\3$MqR+8.[1FWKSxZs]>xuR`Δ=wD=0q5^uѶ:7ɧHiy(N+9+.#G6Vz0}](w5@%A٠JOuش( g19VmkbmՀwTM=Y*Mq)sm :V!lq ޣ?xC⸣<]KHGR/-#xo)?nt22Xl1e`uOԭkf|_{DC a^]6Z7@=h4$3$;H3-\ݸs i OWjVeU)G7~:Gih2Sy>2'$JѦWp3ߠ[YMEGOП%ᶒSJ/gX[cT{2#Rvq"9jy''>68.}J>s$9J-HB(f.f+)ml\lD*C&'E&Yd8xߴe +1v4iR9$Yѓ٤'2gJd\q7\Jv?z5/ΡSϖcGZ?6YT9d8\]7c#ܥRvז6`[VT5jm $rקiL);Uvl|x/1 BZ4faȽ{!f $n駍@Jp=2x<g{)'v|_:KLVCnzؒՄ$=^|S?1(]?nc5ޞ =oz^qLPzs?eZB S1)vctުXrGH:iN} 6: ӌɓIO:zp`l\lNOx:yT&BC?ob]-B_5cDAr r0JXCB؈*R|)ߴX8V96ݽ $?v!r:E2Cm݉^;6YUt2B?3Ka'GX\iv &ALؠfgdڑ@Z]B\)d9&K@%مבFkBWrAoyڰɒpTHX%[ylY^nP DnZ#N翮Г p{W79<0bCFPuNjU麤2S֖<h : 8bF%6 s\-靱[H::lYCx0cAM3.MKcf¡ՌW %F"Q41(ՠɂȪ6}6(9Cq@ &͉CkyB6LLՉY)` Yzۀo<(>Hg:ES8*7'/5zTcw)Z]bYDՄf$m=z6 8rprC\Ē/ N~]A/+֟`uV&y䆄(,[P p^^hה#-L"x'4WVa]&_A{ʊVGk b W e7R%T V5t[,l =%1 [F=H CԨ/kr5 *˾+vx(&(Pl{%l?ڻ\S)/YŐt[i[_6'&Aă1n官T+  6)i|)I*Va2[`)ϷE}HS D2b ;lNR]iꜸn{,VM.&3FgbGRĚˉ|űA1S츏gz(y AnZ>@t})H̋ <As{u >ǻNtk1 +3Յ_N{ B~E .+֞̈́h cxLX8uс8 SL"pPt80L4R{@T< 1 8v6xDxɕ2- 4;8*Uu n1*~jM6#b$02y i~IQoI-{迗$5Go?nq\ SfB\*s }-(=4Zii5&dΫ CF %ޮB)a)G)B҇-q.4 8]oN   T 3qf+Z|1zFl=R ,+1i?{۫1+]@|cdX zr4" *QAצg}VFzbd‘[Tvljn$!O:^~:c$מv|gYZ7zXZִF! ]ŗXiɟˏ "B"V^W\0CI~\  @n+u@prׂ䣕3G^1k5p A;Jg^`kIO`H F́ޠ- Q37u,/[ ?4ΪnB eJ]NyT7ReP q]Co!ˇ@pTS" lrR V1<~ʬǯN$?n'ؘ'OP̆t,-RVGhs^!F0Ma≉c@]7:zǠU|9sp `/JCxg1 Y~.D?SL߾nzH[X4qB<JFkfqyCXfc}'Āj~ yxY:MZx#l]zJ<_UNOG4R'c['0+rK˓I*j@= [S)S2$Vc-pxkrOEi6½IRb2x.KmD ǙbQ*Y]F{!8(i* 8 o,)]$b i_~g4 *s&/ˎⰪ%-`&ogQxgY-`{fΡG*X<<0D-%TrC8.gYZ7zXZִF! 7$S]ŗXi%6Umֆ=ÑFX2uf['*ly"Aemy&\B{(s1',7YGK2E5*ꠐđݻVbff|(c5|tJ*ȗRfZT;2L=5waGueϝ%=4q_T{N‰T4]e2'|AMM97i.Bjy9"0 j7pVZ^[Y>\zonJ%~g|i>u'OL0% > ,}{llilj<>aA}=m@H}mN{7lL՝'3}- S]2/CmEt,zܸM-OAȚ)!`f]/$}zsI?XG!L ?ݚTl&z? qV&PM<ʌa3M`1dlgLT2s-ӆ77H~< 9kxt=sv-Az=@}='@ ]~L&`d C:P>ĝ*MjTZDJyPS*>$;!#_\6l0o"L~Oݠ K)tmtˌ箕ҤYVv'ŝ 4:>7~$1Pp<{aP{r_ veƤpaF` g95mqF0O4ǯ/tyfʻd/1I:Im눮4iKKfeAW|Uο"q"\y p|b][ +0 \>\*w[m :(; qj5^BBCOa|O.RM?3qs(qA~tSGYֺ̒Iu򦹟 8[RRв U}e`n G 0sPC^A\aC]7<?D3*( 9>9CmR~啺{QTo gmC9xb4P:XtrӻƄZx0{!{ر$d6 mley' Xy`X1;#}Sxk!Fu:eة73E XdD:Jo3cCy&MVF{)Fs b $N:B/z"sŏ\" ɏ1Zrrm3N/cc[k lJP &\&*"1@ /'xIf[VNro:a 9fӅˎ7(~S_(z= $IyX1]ePM6˔@VK7;k)#Ԝ[ŴلĬp 4.,gOF𰄨ѐ3&+ מ=Жg-$)~m%^>uڕjZ [HBZzL$-j><ӿʩk$-OɎ͠ڵRϗ̟| Ύ 50eьթ hD$y(Ɔm?^hkO Z`y#<^XB$t[Sv[-W1S%yRyq̘#Ւ.zB) ~c 5^nEvIu&}Vqْ%L*w=mTuqN)1mI k4)%Tq( ) RIӀ1G\"<֩U*/G之sM&n7C.sj Όn mf;y^ɑ̳"U,dWGwl{ygGqM`+#5WߗByʯ/Ni!a# 2K6!+ x&#Ar!q*F[ J`V0KC (/ck(E9 L;ǫDy J?ڭrs:ұrO`SiZڌj{VY8o"Hd穎 OLH@*vfC4Fy (t| - c5D0ٴr|-ㄙR-AT>w'qN8ubCWO9YL3/%PՖQqDL7DVivt6lD%! Īg>ڠсXl4rp}t:\HrX΀m =^VyNWӕSO Kt΀I$ZN̥' 'zd%Ma% Ŕ]Vr6GUƪ9WgMI_6I @eIU` 3CiYʔƛ閛EyA+b6]f[m@"v -bf]9N&]Iob]So|߲`ѵW,Nb䔞,>=Į#lV8FuC5V:!53uE֋#pg{ԩx> u&#Pϣ9Bպ-iLށaO" zW4bU;hڊTg,lExZ<BPI5OSœU `x-Y3䐆?#F!h,""ke/fSW.ߜFB<W9?(Ѝ kkaÉ"/ Ol2\ھ¬5#lJNɂG""9-e~SW> of;KOXn1mAOE?|#CX_uI30[@\&ܟn\2v W7aLJ"/=Mڝe-}$bTkS}tbgTLMl&w|J -sA zmؔD-h. xybE"TuNS6 SV]a\2$GPCy^}e,H`rp[aze}CRE sp/O?RU "-*ͦyà.EC~ޣ 6GkE P5zšbpn V3-fG!s|=vCR2q[!]E0?!-f=SȾ@> zH\RV3\uru̶ ̚niSv7rhņ!Zp.h>lI&nDdf'_vG?*ݛ<:̥rTx?3)luf1ֳǶl K 6Cn rXM1(,z[UMvxt(hM:zՕ7HqR8:,LTUޕ]ALܥ7Ђ1I_2R9>S t@vwW7#/h@` ?`r^٧v [InqCMJe:)P85i}(JS=#OZ;LX^QΓ {iueWoFc?mLMb.scBGgITq6GZ3HTq8ښybޓ9koz:t iQ"ˑZjLxpy 7j( N<#-RG`"^Ф\޵R;GR ~ A ,`(j^}1"`)}`z Y16S[S1(bF x4ȉvhNd=hIq%(p.ŐNWK8u_݀˭X~dS[f1 @P>1Vy+o$sLt0i20*GϏ`%hp)Vؙui+<9)FOv!vN6ᕍ߇i=FAlzaaeGOBr;ekg6R1Fn0J$ik -/ U%kF( tr`l. *c{;81& 0/-~.$cr$S~Omh ` ^$ 3SM3?֭ABcч6"nVcey %6k An.AϟHaODu @X6>S)N*60 >L-yS6Md :ʉbj9PjOO,}> Wtgw'?B}xY#fO(f-{C kN|^W3D\$)SՄSLFR>f}3>wuefXy mWsFW&69n/(ϝ2ԻZ 0T^3yvf懟@ O$=*; 7 \ۀ%F<kiJݎO*G9ÈWYeI zhKm@v\)C@Ց<֠q1q S)pG%6Rl ʖ4X1*.)5%4Ź""')u ܱ^[: +ZJ!1*h/$!G7_Ozxqȼ6 wgfو>“4NX` if,d|C8l;M V$1ZLbXfA-*7v^r?O}"h솺W]ۛdʺ5TLJw:}?6"׮`8%X-hlpp~Ɉ;/r_iL+i\)%NOb*CNelW^N 5(7T])=;D pUhxM 3sAaJ 8Ѡ ]$*@;gJeDsZ :<E YTyN`KyAĮ7r.}Sڀ"$cT&DP 9"ӖPVÑLF Kg5R:T   gr9ʝdNhŦ)qQlW'؊YHyyIȍmc/^B0ZFQUa릱TRAa;$x,LF4*Vx/38"(+TBW eNDm5o+#)F0 ?8ҕ&9iLa7!c5mHFϷpZqWbo=s!T&0ixtR 4]NQ +1Zlo 2 9 ごv =ZH`pX!QB\RVS6I '0T钽g%9"Ekt[Ԁ!ۗ1Pr*|^goeާJyRZ܀(s|Dw<[te~yNoiNl3n;AKC8)AWhQ4SZ5?+o(lX'8;}_eϪΨ:X:?n&^v^xE_ecμ/Zd=3_ZvsPa p7%|N궴@Iv3͝?ZE쾃!4~}k7fƽ[vzQWp#9TbH p|j&WT0~zƭ!եNKa: nUtG(NVvY]RxUf8yl;_[ᔟ3{r[r|Iv ^ ncCǟT)xyfW߉MvLONѯi>[$w8{쀢q.*fO"䅘ڼқ(Tdܕ*폱GA4-$.*r5zR==937uԟiS8ydO:!}jmcڛ2*C =7*0ODbܛ:057Vm-/=7}}/\FjjLAt4W8ڮ/W; ..I@y7N74_&B i.`rI ᙫIf&6RXϟ!J#fҜI< 4 .Is@MNpU'<~B ݵLM&[i%4ΐ/Abh/'reL)}Ǯc Uz9^QB`'Ç܈~ꁜ;kS_\QݷYrC%,Sas9@k˒!n[`*6m.MQ X[+B``O)=bWLRd ʟ˯=ƱFǯTՕ#A tPN WTߝח3AY\Րx[E(9Rjq,by Nw/d*6d;$_OZȽp/r0'q0N`G`)[Mv~Dll4t92]ّPjT/j: *kr-ͯ+qns_9^Z`雱[vD-]l4\ TAמ#r.Fȡeo\;{.5YSyhnqT8*ڙqL@cSg|)v.2TVA&ǺꝱIaj xA;}ž1ʫ=^g㼙n)gU+\6TkALYo *~?$EwXWY)q5dWb UTՋ L9,DtD{d$뽍( mv7AFRg׵[ W#(S> ޾C6!vQ-h\xo/)ZK}f_~1‹A!Y~,nC'?nQҨh{/:9tȰy2;FCQ [iȗ сfb`3 $ `,-< Zӑx-^m,HT*VT<'}o?va2vF#1ps*$