SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /t 1w]Deep_Learning_Lib:threads=2elapsed=139.965cpu=267.124gc=11.768factor=1.917zXZִF! *9t]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##TiEHEJE@ZǘHzoXGRlXInP(nUS=< &5ѢċCn /$*su 9og< V+` B̪G,dTu aHB @" Cϒe**ֵHWN(<4EfFU8p!lh/J{eP9VI;zJoasոŔ*a;ljzԢxh0 .4 AVᄂB%#&pЏ]Vpv8:ɫBIҶC@5;k!8['b7idw}՛'T.SD2%|EPR1׋=1*$߭C%P,l{,#견AՔo(6@_-]>G+c1j}EP8f,$C2<$^LhF l_9TEwi- L4c`{˜8Ӯf{Fك8UcPu 蜗0H޺jR/2=/̜J\i g5VQN{(Z½TK} 6<[̕uJnF2fPvQ^暰]J;n*ꐳ5.[`Po3IV%T΢$@ܢLjyIQƲ{ 1'Y01RmsP/'ٟҏ4ng/NBeo;a gg_kWƜ]<$?5\S6M )]اMM,-^AK ޖ7G kTP}p8X{\mЉScP4-iH3,c%~zS֗>] *>#Ē~ȶђޔaBlwQ"^ JgC}`S' ?Q%#]:7"p$mʮGxQ}X? Ʒ\RZi]<&] }}V`m(8[oe/_'[\f=BUcftɇ*~)K%#8~ w U ~*smg0βA獆ֈ;_k8He3Ğ\:\"MYķ@©]T( Z {WY>FU+Fz& O8oQŃY &'|m=l:Bqw" ujAW*“15?6Z`0 t y#\UĞs';Lj%Z ʄ w2¥*+B3ɚ8ʪ2o}芝^^%}څO Ji.ȓG)%v^%c;]hn2u9@d'm^NҹxU8RaBx`U'{gu\H ̝B\!3zs &\M2} L?`- x~'Bra)ͻ\)y"eZ¯Y;m˟š :C3cP]_fM}-Bz{¾EWrU8 :Fٓ:N wKw {}N$ H@֧fS(`t?Ú i1 tT^Hz:]BfCJ<C0*$ծF"[4?\ UqQi٬ L?zI;%LAim]0Dwݲo\ݥdgF;St I9jg @yIKd{T-4>֣W0#BrrY5yz"nq@st0үsY+Eʫ6 6y}Y-;Ia4$:l<{߸_52 i$hIfb7~!یr2d5qԸCxɍLI*x ~74?ja}? *AkུU -IES's؃oDJ:*{&lKx>UBA mzu;&Wt-Z}d0( CQiK yQ昄i2PlhgX2-Df}> 1K>7$VWy7L/cJWL4![A/N_Uh=6#4IiL ǻ&}uJLzEԒ.bS X9gbw~.Ҧ2O;Ta]qJd K˟tU`sG 49X|yG8glZ7қPU&V?c#" CՅ EȚf!mDˏu)K59m*oùml"@-6gWVTc #xdrۭFO]w8藲> >d`3+),fmIiXJb *$ym7ɸHZk*BM?)5m< =m~@499eWギWc#Y@]7Մ9rxoKdQ8@X>SDd0K'`| 3Ej0vԳ\ :rn}0ݸ*gC &yq:W*zS8B@:qײps'ѱd0(JIbx* +is7 5wsIj=<x)6'-|?(2f0T1C/9f"j߸_W [{wm3е h)=fNCUF'6)Jhï% _a-ӻ[KP˞[  7@;@o [&NK.Z&~STsOlLpZ;WwȶMe@ FZtl9CZ8gfH Abac/K1431d,Id(sa܀U~{F1ykEBW˞&t/'1RK@aQ;JY}0tSb40B:퇿Xb_N 2|r,-lʽf[$+'zrذFwLZQ&vr>Eh F>>2VR"QYFm *1&~Df=J=i8} VԑU4}qzeDDe½H:MXWUwJ(@,k,!7`)z:,e؋vAY2#y8I?{h 4,q ;Zgw\`lTO$JBdӲuyy T@ۺPȬQ{Ki8@]auꯦN ;O.[K72*͜2T0~LeGOқZ|c~27E7<K;xZP%ofB[: Ѧס`ċ˅Fi~U! *!e>m.0mz>]J%9b}Am#Z> C9,,iε$3:nˋٺ^ yTܴsBwA9sL/%*UNa;p?I*3Z8HUiW-Ϟt!>ЊIܑLef÷uE8M[sy [3Jm8;0̌J3rऻn c'ѐ0k9QBPx<}H"RdL0'o=F;l%fغ0m/Q@LuwG]CB{RusQV>2TޗY%3\31, O{ :4 赁QE/Wcث0 !Di D RU_(QN>ן_8-sŶwTaJ[*MگWG0f jnlʜ8:n,)^bV疭TvXjᡖG"/RR\Kc֡(;q dHq~ߝ\>x7K/EEc-wM Hٖ".b́o*3y9#.E-T8DۉFQ,Amt k_5=r 7д"Te] 賓ޫkdeCa ^|0P гz EPEaa B 9v\͈j&|&02[ӆ6;KX 6c_hi>~߈7?WYB5@~3܇/Mw̋|ټu3K^H %^]SM̽eo6po-*$ϴk&|:XN8qŜ$3ď?xv1tHRAW!I»3G\i(|0 N4(<0؎ r/"EX0r-K<Sm}ѿ`mEX:×LG2\ڟӓJ;璐LY^zFⷩ`K#lO~5_Yw:^@֨KDH,oM'uQ(=Lڅ Bǡ:.5YR}VNRkc-ȔOj0hM*>\)P4~᷼\췸W]VD|n$^~Hfݗ61!8] ſJb6c5$(tҧ܂bQeu">DN=?,ĕb==:"H48u:~Zi$흀~M6gMviFZ) ezPqҠ9֓@,Wzq.j#ض~$*;. TVYoB?q-w?&n=|<9Ux0E_3YS+1鉄|4\ 9s zgĸ~cAWTK3N!͓>Lx- o)pLhqF!vK rG{ {PSV&7.w{-&׼67u8M`$(jڪI'RB}uî^YC'ˎV-x]^0l{φMMpfFU~!75 9c3uKw%6qwWTCJRfs*uDHS{~,Qn]+Xv%i@q"(Ն1\ٯS/<;E鉭UJ1b;vVPЁly㉔>y*zb a'Oѵ:erKc|wNV"_Y)6䘃7Jw&hI3sov֏M5‡h`^f ƞ"g;ڱD$c}qȄpxyͥ~e-9|we^UXCW5佶wy`] li I+G;t|z0y闉BR rLy.,N0YK/x E,;hR4jTs4=ؖ0IX(5C|z?Z1'4ry.mp kl: y(ULՊ+ 㹋.ig;GtHֵka'?Ej핦 TDb$EQMnmQvJ2 Z$gM4 &.5V◟[ qo݀ ![ G)gibR lr󦕟oļ@\8~z;PvD~文| l4룱 F-p?ĺw{4F_?k\^Y1"FhB9ܭ*,+ښ ̍XB? D\d,aڗ?"[cybszsvj_Xs35]j3C6(Qp[>n&!y ƫ*jkcчZF. HS:S_謧Ȭ#CX?Vg;gU/@K_?d(lUNLjN30pl^NOCr{dM|łC`|2|3JHlp[ά|~7cYGWb`q>zvIy܈j8}RR}xL(\{'b,d/K>nLPը~1Ho}H;bN.5V^ &zѭ0@\il,L /Qhzz=v꿆 .m@4q>|KqGHE9Zw̤;e\`*dCvҙ {gkXv mVK}cIqqx|hgB>jd\t~BO]>b^Nb]rfh͔5}~#' ?f=E5:+?Ǣ6-2jJ ;(Q3s"1۩,U.q.]ˍ0|aJ׬t~ xi%`FD蒃?[X0CxTE0T6VH.ο?BYuީQ]Vq\$[W 9+bTڗW/F6չ=.dÅ/zMDFƒ5Y~|Dk8ꁓq$M{3&ԵEN*ġ y0 $Pu5|8Dž爾hR9& Ж[fK p[4i#M6i)[9ʄO?wo-c"B9͹$" pTP*vnxZ3ˏO>ΌFv XX娉4_dxer:C%Ii@*c/֓ʤ~j~,,"!u&uTz}]EE b/FKăczy'#H$o, άio,svN̙u礼vձZEWnrGRb Шڌ!H\ۚw />^SDMy9ܠ_N wݩX-UaOC=EEX-3G[`P,y'\^}h[Ot~ি.T®+2J)ֹ#BcѳP£n!,mГaB94zkoɷ ,dbJΙI1,̊OrNF8=~tcr;g!Y dܞwX~{ȱP7W9FIӗB]7ysty/|@CN:VU<`71S?.BGM^^6)ٚabdq1.2.X<_)'vGovGܔ'$ e|\fm@T`|m %ʛ7h‡1uJZmnm{^5Õ?'𝙪avbUF hZ,G?#Dğ߄qۆ8H ExHej2y'c/T%O0` <`ij TSP//;5PN3@N+bɯT}}B ´JJ }lS &J׉ t;>IN2c9t_*m6r總@ J"<52 b-)OpC2;OQv2E1#k DW(J^Ae@@M!~e;7y80'Cn/023&t7"\-`,PH!:*LYVbj__/%]8{^Vx YZK߭_Û23+oE_P~TzB^d>@~出 )#)}9`&7֓QNɊ8}cTFosZFͶQ$2cNA@ ,Xa3/xm̵f<gyWљ;R\2Žg-CԥȬF^W5}8(pVXF-yfOp(% Tg+sHI.X@Sz60!";?qungو6|o1xȆ!'<"rሶ3 [oZoeWPy`cd q]4 e\IO>bqTF-}I2ۡ^wq^G LY#VS YHX4dΙ"5\Re$P޾]ϥNIUp_A%6V\?YīA?%7epn*WǟQ#4]"M <^sp$Rz|>`c_* =ʑ&1$9[g |Clz`BիȾBM> 7@zz!1 NO2{\[ؾ?@Z93>?"9 FAw\ʱ7t&hD_t%s,2{oԀ.;l3Uhd>pQ$/0') puvc$X QJy;(&?Uy\0jITZy䲇4"1e >;PT^VH~  JRjXQc υzitP]Lx'} rLQ/ hJƣjCB=6KvƯ'HN/9sw|kM/S7,%OyJxnd"*c!z'te")ٖ\.sSCJC"uMZ~08Ayt۔x8~%ڐ;곃uȟlS[)hIkW!t':XKHn@V#PRO8ɰhwv?Y6VI į꩞JK& PYH%\.| +3D($l0AڌQ2@r%[%v?VO~[0q$ߊ7$:űM%M~ D+5=T,1>Usdai#UO UpȷS^D'ؽbLe|m8F`?S7QsV7DžzyWƖd-~򱎨H5̛FWʆ 2t[LwkBvU=눧OaR6l__qV%8&G#bفSMS?Ǻ,ϗ tՕE֩ Ȫ.eaM z4s#OsQ yڲ6,94K㚟q7AsRTP{2YT蚕Dx% B4%Cg :O+T_7eht&`!!}*o pٸsGxSmL;AlPzÍa~fkYY?&nؑőJ/Q , ȗ|(LoA|Eك _i"ruڵY {Ë`&="l\)J= c6 kS"bv{T qŲiTjq74>n Naq֔=y~ W rv' U ƣr+L$[wЋ#̇쟮a.3Y0-n؏?,ΌL@\w꜁zKƣ!dL`qgOsY ) H5x!-ωP =JVp:c]O E OųT|aܑzB07вcC[t`f耨i٣)\?SW`z2܉q~j?'xgFNj-+ӸQ74|I!95ձ0a7T*Oggak^c3[߭5}_* y.(KZ2;Ff^LiTly;8 C~$)r(e Ҟ*UբPC5ؔf!4>wLdM.5\*sS'Q8G18sٺAҊyc^Z{8bCjdi{jRl?_:bg ̩C3\R18urף|z_p?DhD_̎ / p-P z ETEPRP?BusFm"r{?J*q>\mU:֍"jC t\N0s˞ 0κKr5 W^ _ʏJ,7n@7]t&M#d$ !IXc Q$di/G @—à/oߺ_T #*i{ۻJI7-58GCY9]sQ1B<_[q+bM-/cy*\ 6bާ=e&7Mç@FŃZݴ~ߦ5 PQq{ɬ?]HC:Rg `g]!; 򆥘\t*1Xнcg,i_.X{&bF6Lц{hlv:r8L ucw~nA"F+@#u5ocȲ.e+Sf4NS%-+.pEVܵp2&]$m=f(O^Xc1i䲔T#]2=mjTjbUpyzmPso?2a0xtZPYtzcp$duu9Z]:Q%PEn;[$ԕW0ɨqTuCΣ+1CƉGXb}uSK$}~7/K }d˽Zt@ ip%k?{u&I|ɐ$Q+ޢSNP @x]Y[q cMg4@L`tUz? *SPt[4PbLIHשM"J)Q,Prտ/aTr:ꉫN@ r}_'_lEEIR WDA=y)z!no6KMFPO0s5`n.Smpp|;|͵eӁ fbi"[umMiU~|Uԓ'RѧN E+cl@/s ZL\I&Ix3')8F9ƒbJB,ޢ1J]6X+T!T^0-M\P9 |@*bd˞&nTwQ8ܡ&+TT"t΂;S AϬo `ِ8qVđat(h>Yx^ݿ^ɨ6^W@& 8!NDYb:~=$ V̢?)%g?H‚/O _\A.5r{%_qmc[0D%m_7~|7FϘi**>qL PUwWRI3k.}/*TIof ۰5 #dj;4w,,FoOsAmXN[|Õ X_p?q`Pw9X9pB鹄k*f;=4%P8 HXbfB7L$Sv:bi#< nN]~Y0k9166Hlh^7\O0$f2(Ѕa ϻ4!7ۮٳ6~5*CG҇λc g"Tz>|v Ș[M~B&ZLo԰HYY`)Mb 2<7cVjGgy @zp(g{+p/9|x$!&`jI+¼VJ gHGbgb.v)EG'Ўb2V/U #{@g ,52HJsoC#&Q[u4s[+X<"H'գpVMwG7؃0$>,*͔ġ.?ux $SP6I2Np|2?]ep'T9W_)1gbm}Z2-"Zs}:ΐU}fC^!(UK3Mrqap] %H }HRcÂf`5C!7H Ÿ5beս )J|o%}h\{, ф&YUaMf(5 C9„6)v1zꂉH k*N}=(J7[H9Ct[ 0TUTi=-uz J蚰~1޼cRjjwћTK~H'\}ksP.Mډ{)=~ٚoQ05; םF1!HFS0Ĉ׋ž&vsdr&DӭIk2^TNP^_ ڢX@yuVM,_YC&s須ySc6x]viVMNJ$C,*3񄴞 WeX$;l+6Zeoz^f!:z1+ ;:GW 8$i^ swԚ/j l%hĮLYa%$"3&K$@Dec޽(tC'\aڄFy. NpӆDL?Rq.!r=h 0oK ܸ _x S6*LwaOoGӠ/YKxaUq?+_[팚xpC O(F`o\m|lC佭 +4x.ᅡ%E q9Ns/y^ay_} 7<ʙTskZ>)6cwÃ?/Tmc'' n.F ,Ca@F)%x$mxY$?PVTE~ЯyY6j< +S"K[ϼ?^#Z&/K(/\(,ip Dū,K{]IuL,|P\T)pEKw| v"Oqti7:$fj]E~4SnPhqw:{>WD9: *rQ@Y?#] ވL %H^]W{:X_ߌ^=lG.9=>]t^XUyT,h?PCbGʸ *G y]Bnc--g-kH,/8q1|^d $Xm:Ox?18q_#GTZ3;:BZfؿ?ZGɛd[񃢎a,:XlYFaRF_G LU9f/ǟDF63;8;ůBԨ KRQIJ DOK>G2xyaC@Oݙd6]Бۇt4dQSZR Ft [0ǰOٴ8DpIdk@ꝭy-fkė.je3(GpJc]r=o_b};w!{{"A|6U%ۀv*kӁCJ̥TF̕1̼SϱN=kU#"IwMAJm#v+ dqr4%gaC O QsvD "z]YzY" sN"n2m a;l% q VV®ىյg}Fs!`J4f~!j r1O?)eKf)%b=Tb^}y Hp2̻OfQr@vݓ)oM2370z3B7IIʄ(Nae+{NzLZjMo2U!C'n餢hєm3#8NA.(\Ef\u**->Gz28RD>i~}KUuyA-87zi[j{LJokWOl4te1 VX'wp}4/L"9v]9Jtt\t)7cnWot*nX7$U],Rb'XAT:3+W=#oOgߜ{8I ;H5 c#a6_c!TprS6,z(À5qRL!79jxw,Z@e1.43U`|AWKrJD=5 W`MAAHn'4u>y!A *) N.RذwǼp]^򟪢Q5}D W#3u0>m] )j=*.p (N@3=}k Rh5A(<5h֨cE 3@u'eWH@fHj,*g!go *i-;o# }ߔ]$O75ܓN,2;aE Tfw Pu 9#[ +hW?d6"b RJl}CV(]N R։rߡMӰTdyDd_'n>kMsY(۩d~bbY~sɘ\3u96ۜ0.N8Hrޢ)팡\nXl+_뫎mLNLCB{K]G掱f  {7T}}zs(`#w]}xP_>-14vi !L#QtnDS~%)twR^똒^lKՖrpF:m\(U9¯ӡPiۇ[8g $#a)eD:$t2ZC>W\Pq)I(&H% ҘИK2%j۳a? yG%хq[,tH eQMS[un+@D IPd'Iǔ:+/DYf64A{Lեe)A9B܆Kš?FBՠ襾B?1!fǀ\8WqH,8D}Bz# `% ˯PKkp6B٧N]BG*JeAEh_{IO.n^"j%Q<`u,ϫ&t à?wJh.?X=wiIA8am'M1ԨB_g* !:9~,ҿ`LܓgIY-P ='̀Vqv7 B<'̳]DQ yB-IVBH ^EhЏX/1wT,GZ"}_`sEIrly(IL^ S*~y `HeYUIes9"M'GH[reٿb,!ۜPe?쯭P$]p`xnify.8c Ec%eD$94GY=]W.i֫4Hu0*|\DHxK3{2NC*pNy5R'aSvhj0YF5⨁RݡR^9ip_vpy9XY_=d]XOWi!H󉲹 (.5Xa&vVS:5Tߚ&lwVpo<#+l/-