SQLite format 3@ .  YYQ77Atableisabelle_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, "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 EE(/|D 1w]Deep_Learning_Lib:threads=2elapsed=154.725cpu=268.124gc=11.740factor=1.737zXZִF! v]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##TljuUͻ>!( Ÿof Q[ ), #;z[2ÁsHXNmݷO I6k#([uB ?3~E%sZaƫM 4HZd~1!D^^uFw#'1>7X$d]NV볜+ם\AolAoaC}g'mN[\PۿHe5ڭ+xb۾}` d l 5whdI_PCjzY~7c5~-emƼ!K!V"`e,mX(9 \DN&p!o*zCb5S~vvQ"ȧ4~XTbYI1W\?w3 fzoV3nc.l ,~*p4GnfP'|q -pOA z3>bq_?Y٧mՑɐZf OCM+:4-v#qEBoL%x_ҕc>'=OSHU柌Ψɣ;todR+1ZmtJnwH)68B6gˆr`@KPV$@fmP|=x}^ 3zObI9DE C2  4vP C]grT8NePuJ %= .Ula-8x,P'Hn-dnLCK'TUY3 o1 F%# |p{IhWS/Ǹe{<)\"ւQi.1K/͌# ˥3 !eH>h_nuYzzŌI24,};o`1F\R4~YkC瓩z fMFHh-p,<Qe(-Q!X/~P›FQ =v/Xp:¨x|.D穏q2]R _ XT ]dnN"md Y EvIYU3~3tS18M._uV5 h 5zΌ`g˛-a1{$~ež  Svɧ5[`>ooa%ޯK |Ky / Deep_Learning_LibT?gu>URZ=Ub]<% hh9BTRxt$?7  $ 7ߌAk&.csᵀ!tf Mq /C\ >pC[u1 #qA"2 @{y{*ŋݔ r\S+LtY-CʷC졫E! CNs%~?ʩ#;^\mP-VgH3b !rbi ~`N< ʃf͢!G?@ @.uPUK8EN=2ܚ,Rɮf:7ǰ*8lgy[S`[V_e}VhzySԏ-V':LOJr洬; 6̤:ƪJ;WLT*M;pѫ RI&g9jѲx6XP4V*R̛f6}w@7߻0oOyȜe#5H7Gѐ=^5^> ݔ:1 ,xjq:u*ԻT?ZgS J"A8?1T`Jilը{Uh W[Σp.H[4S %৯h!{^y ;BA*jn4l(J~!<.}}fq(kKU6yt˛}?@3rm..? 9nJ|K$X+G9<:ϩ^KI%0:~-?ܹEZtLD )놯1TO[-N!KQM(N8@W;6A4]@Rũ˳N%5J6_" 2I.p񅹁Z˪Edc[ n ld>ڑs׍/Ao"9zn67vguೕVCPTa.`pxKLXS*Q,?(P(ÐRaIls*ݡHKph  ŒcWQ)s;|H|DMh.edjL[w!wj |[8Z-%n݉z:%??\}!M+^ļ%}A&ȋRZ];-01vdQEs"a f:XWbE z8!cvĔgi"˨"UL ?$ lG3\!Q) gYZ7zXZִF! ! ]ŗXi%6˻be_ڄI>ʧCE237wQ%S8 f͹㇡J H52mΓ5 8k\P3<|~k@3o=v|ֺL"$Aψy(oJTRIq?Ga[ 3 y+x>wusUCp UKR"!IE'tD&4-Nʺ<SO^*[scUݘ5>cUpҲK.syߴ1ޯ>>09[X!u\@F,Ɓ>Vk?0kcLZRּk7vZ / r2K.g 6#K"pț~fȰ0ǡGH]p#LǾEa͐6mzC2~p?[4RTizH-n[5# 7Ci2Oe +[>OdSEbLHNdNHKniJR%Sz],(:"$[qF '>5>ҺyToej(ɩ0LT[S]^Wdh?SkӚ"N<5P}Ls.Zz"%W/ف/T=ITb̩ϝ5:^: L_y3$`":jV(?QN/,Ef,T!ge%q_|ix:0/rl%H?KS ]`1Z7.HCJd6Y63j ,ϽE'44LrpQ\0)'kwF B-*vvQdm??R`puY|j0fhl 5?d8^tG 3tjWDEz:DbPl `,%<1ř%KDA2UUnS< [5'<ɿeXЌnT\ ,KBMƂ%ĊxCPg>I 2&ɲ7- d2|8Doޣ_@>DZfQ+ V TOǾmsz-|m=p;..i&J~Dtb՝JXEs08 O $!h P-{\x񽗜ӂ%MU&(L YܐAw}^+/ۻueU90Zٗ^]p,_5sœ {GDp ŕ  B*h%JVw\-B9މk8:Z m#WqNQvҀʕµ \:x_KO֗YE3q=1WhI0}J8}1ϱY {Q [o\rR9*d9H}.=Y9P=[g5 ߰׌ν;Ǟ߾6E=e)7D$VR:Qr2DFddzUzUP/z1mm7,?5[<huہы0cLʄ 0HtKmpb# ęQfq~F;L| [PiN`.m'e3ItUDQ.b4%Rɒϡ3yB@ DK>%~?5  !YO8~W aGcf&ԭ|NBW_Hdp"Y@d cS/hC3d Y/soT>ц7==6&F_ 9IW!? M\M%|%BOsPxT<r!Tr:+ɠѐ ,ẵihCgJNNV$cn;DdydEYM)i6-ۛ]tYI 'DTa$N=pTl¬I&BAvUsLG`BX1pդĬV7T%2K<]_Ŷ.dkT[OEzσb?XJS8nG1mFRۣل'-u.a\쩰d2fn`t)=4+GϺ4܂UYor!6E HZ2C) 86dO| {iDZzaebڍrJI DL$Ca 'Y@Vi <=sX7-+2J%jdΑ/'w%]'![L[^$#tltKD>w[y6GrU$WTrB xnzƴD>VHd n;kXך臨# PQz.A8+m@3֙&Q_9|=:ʼs<4N%\l`~*I=;'4oh*ss͹( d,a%r3.>)ү)b{',~הKwkZ4u x#]6k~fDR#U-V0yr~8JФ/RptphsgKfe 41DC)ePcT9&? HMuorqG4lDLW5}$*k .\acoCfh26 K d%i݁6o(.%L)${#ƧqnMw4$3CX[72};,+F -\{ƶ%taШ4&GƕE~& ҇xUPy4g+w=%[q.hPge7( p 1knO7 * A68\mAۦ50zr37gDn!H=ɍm0n/I=9ô쵱0@N!(*LO`wjd_vS;d4mC=(q JQopx_<")ufu]j%O)`d$ڬH 1 1Bc3l;X0Sdn= ة[5D`0#W F, 0)턕q=d$m+#y垼_Äʢ{Nse_)Mi\>}H1#yՃb_X7Bkl6Ҩַ_|PeP5n~ = HPBﰥDV;P;51~KKoA.~|Z=m"cx8"*kƘ驶zŭ)TJ O.=XK6jHJV2gRʾ>QvHXZ T.=,ˢ@%ߖ+yc'Qtl/}Jv7XYmCU4ŸM{AL_>~~v=~5W\v!;nK7ۚ3L9 q'1Jjr8V't]3M=`OMaYYPz F]8R1@͚Ξ& E!dW{ Tj+&CU}LO IA,4)Z{9%D8@΁sy%+ m`-Xt?Oֆn&<փEBte-a)ɯ"Hw d.qc+(8d"DUZɚ6LO[,[F/@}6R:M]ϋ|>4W9qۍHd6s2p5]T 砹#],yX=Q_."8n%dQ\7V 7іSNnӎXJ3w,>#'xDWd抰ME"TL4U{Mw+EbΣ%*gq\eh"VoL|Mw6M"ނd $W옿=IQYxuNXJVڂ2+l:7>LGgP<PUD^0;(|ageG?p =4xβa8_OaQ6ӷkhd&kp>,/)ǟiWVr^Qo4Em `iĄj@f6ԬX< a#uJ]v37­mh<XM5䊳[?EJx3 Z>s[iXNa@Ob)Cg h2Wɗk]|;KEZЪDL|O x'r1龿i`Jo'ycZ651M> cKF;glxyEVgU wA K`\U\x&SU=<:*^OYcRM0nԯ~d7(c\2a4]Ӊ}$J,TwhlEzKt_1/SBū./(P{8ŕȹ宎g_,3^Q-I+Tq{`'r&f\CՓufw6=I; ›@ýO֕!6W}C0Âg0e D(5>ܿ/@ h*P2c|1d3'61bM/\WڤC宼+K,AmOR2s')쎚Rt KDm N+]n>].z-&nù8p{6K9 3o~Qҭ[a+ E}I4ᖲh\1 6jJi!$Q4 MN}.Cw\퉮?H1@ĥZBI{ug|0vi6,bƪS,(չkM xrqK定M.)3DwȞũs>s#VAH)tѝp`]QtjwZ.`/=%j?0L*@E4,Rq.8I2 WywQhNVzt}'oQazAQ%DkS'D(1lS>DŽLvL TONV|UXcJos(r@P"}zդ5q+wdEnˋ=A[B#Mpwp$^VQ ~Mg8xM[V/WQNYC#Q{D%3a/DMdX Pa@oU G0Amٰӿ{46~?:Oֆ}FǻEŊ/H<3)[F+`Fo(˲2hi+~svЌ-uZ>(qcOWZO&PYX虍W.Lt! Ev0z%K3 mمKvNHďb(TQ/x N#k1)]\{fw`*Y~`a vS0?۠5I@p28a@ъ< [ <̮*RÖуVypm 8ye;4>%Y3!mV/$FdKp2 Xr믄5XhHDp#߁W`Tevw}wiarMUM#M"3gt(R,Rr6';ƪ '_Z%naIIoaUX]z(Ǝ#l^?n\Ք#v.L09CUHhd(ywr 1o%?<8gt Du7r= 도|O6Kv&ɠPQNzSfW3 f߾yKQ4ĥIh{&R!rz"I2n'3;Wk-m4XKXTFy242l x`UN,_r ["rw]22)̱$=R7>a(šv\6S]Z{+Tsƙp $/9iKTIuUqbo҈]vE+~KD >~`'|bsJ~99hik?@N;E`|/k8yR$}-6=*"hG>aZjJc'_Y~]`.9%FG(&4݊ۦ:^vdԳPqnsQ<(qeϬ1ȗԦ5h ?WNxKA ]gYZ0c02ceead20f10236d7275425ef59dfbc5021710 285d17beaea4c49771c4594a1209e9fce3c09a9e 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 2c3e480de7d0907848a1519cdd85a3213e0d892e 3245cfeac2613b419ff643cf72db5edf625cf117 4226cc455fa452546f7fd4622b7c865ab8e54250 422c5cb07b88b52f2b335ef98f379f3465f4e2f9 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4c267769d2ce2866f82eb5938b0314f9a97f375a 52edb41329863c9ae149b9f908ee4716838e81bd 5a83e2526c04c3d1c976574dbc7bbecdc7d9ad7c 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 8aefc9b67109956542535e583bb6b75d0af7dac3 8f710aabfbcf62badfb0243b903a5fb3230beab1 9423cfbe33c446e9427e1802bee1b228805a86ed 9be135482787781b9b22fbc99fe61b777b1c0add a678b853ec4bb4657ca0c5d68cfafb497eadc305 aa54cd237205284e0431bc94a8f83d36b27f106c b27225000730ce58c79b3a9ebb8525a6b4955a5a b702f26889736c3bd426c6e9f167fa1972379448 c0a8f4df891951f43e67a343f72afb8642cadb34 c84783fb29526ce883108f7d0451c93533bbfc84 d24042c72c86184e62b759731a5f80ae517a1700 ffc84c1be563c401109cd08cba36147d94a4a62c554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 2ed211b1efae4422e75485936f4d42e34d927cbe 27d1cc7d59bdad9cff1eb5f88475476e40d84b64 5788e9bbb27139795f1713383ea234971c576e9159a0b2bc9b326f7e88c8df3887b36d8b833344ea