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 VV'l4 AI Deep_Learning:threads=2elapsed=132.127cpu=237.940gc=6.924factor=1.807zXZִF! |s ]ŗXf1-/6vRZkCI!rղl^KtqMB|QgR8xPfT#?ٮbIɺڡD"&纺nM/e)C4rS>kB㱑oy  *muP,O^9gZsUZh­(B'Z rSlǏ:"K|/ˍ(NWu[=k)a~]ŵCJq݅`XE*ձjfQ4wmI;}gΣg' oth1JYyP -Q$oWid%"#S`/>o#7allͫ$?bL8h,3:-Q=`|;Do.NKC *{p[ةħhymZKJ*6TE3Et"hRRv}]%UFܙLO !)Q\s+3OF'K*2M{ B'S#+D Ȝ|zU _Ҁ#< owA xx6lˏ3Ƅ9& 9L_gϽ-/BX̺ifVltӘ]*]B34S AyZ6nku:''A앸 p֕}un`#_>}` k,u>| J;(4®JEWReR¾?XǵCJ]K5{ir ݩtiLB]EBVHL2;V`һeVЙZ$ʛ{ j lVLrм&lȲe_'d/36i k.( W/;Hf3x• ❠AMM {~0Oki^G6s,Mo.~90M 2._\K- g}l[3]՟wUg!?@ v橲ZHta7[ׂ"PzF~e}2 MvNsUKUn'W.Cfx:l>yhh1ws(= a9|&]\4 IPah.] bkyvHv^ %GUb_^J^[aѩ[ )M8$KVXkCjT g_Tgݷ[(ܲ0ϾrځM>uJ@F]_) |EjȧlS&3Pw7R W\0@seW(nrͩ KjlQl=|kq+H(/bkYOi}:\,Q f=UM{ |SeYVق}bwBfUy3bǾ=QP69fy鎦d'`Z&Yx W[{]ZzDBŨ~VNi!eB.nT寎;-ݯUޞ5y,&uJV&ypHqg."Trj$/$mQ4n+8uų/4`ﻹ ,5j[U JGrCF sLq+p)l݃‡V"{ouJOo p⮐q zu~ؕ+^J!BqYZ?-: 9쏲Z<D2,&YlcC^28 hS; la 1~ [/-`27i='k:>:IkRQ?Zn<8P wQVc5&2&TҬ9Rϒw'D@ˠ8Os2:U"lEy~渒 YQz$XSˌS MczR ts5ԆAD=NLb$0MS;!A}n;"SஎEHjg+P2#?F&R' +h㜀Ny ^㣅HBP3=R*ʺ= ' Deep_Learningn2צD2'eR1t`suRz [OLI ΁',dgGnHζ` ^ZtLso+G$Qд\JRd;(&?Sܱ(@-9zߓMS *蕭^@u߫a@ז>~FO{/gmvVHC +\ҝ/ Y7_o]wkf%\Ʉ`.޾8icx؃4_@h\uhYQ>P\n`qU6S* Y} ES=9}2憑3h\6A+Sue`kUv%M-G1ejY=b;C'js]I*ݴPy5MXd/!1q c2s RGw1M&7\y 7>.FBXPthCb qTmg(˩/)[<tm#Sz`LO}KziS;.i2 %7%ӌ MCRg!+i& :f>P67}yϒB<' 1Q` /!rM ^.P?K Āu^[~f:P'l; !`ݥfi!.ܑ9K:A0EU<{/2& v^|sz&iSt{oIk /ij5C:9Fu ص'Ӟ;*3W fDůCIzn'kzazA ĜC;/~޷`捌pĢRp9 W{l kK ι\-EʙDwGM [l9/7s{1PA-H mRnaøe=:Нvh-3"5(>vU_ʓ N[ BF A2՘?pQInJ2-g&e|Gj 6kFz|}%x!" 0hNj)Qh5HM^7H鴔@Ȭ4[&2QvZ(D^:wxo+|LWSCSh]kjgO2"bu~ cJNWuqq&9EJuͼ<,jIllZhW,0NPC1Rи3ܗ]QYfCwr#{!F'p?+O\0Q%Eӛt'h{co<\;SXD<ۺC36VOSA.^K[9iU6&KIY)3^&\љ~dgPVE}ry(@ZY]t"ca pl՞k sbQPY7tԱy+1_)Q od*uѭn.8,ߖ&I]?D&*pb  ~4.&_Q-sf o%pSRH!QO# +T/kΑ]𔷑궽Ʋ DXi K{ޚSu\g8$/eɥnX/H߿f.ΎV{aۦy;wd;9jAv=Ԩ,O۩⣯VP1tцrPx 9;{(~j3W!Wb^ :# Wr$9 qpPGV9qxHm[%%gh9ϒńĤ@,Am9*f?'8ܡ"&lIb׻bP9P=JV/u\݀0S>(ߊrO >vphPYtѓǜ^V'i).:Z m;I,K)|H +MºR97!n ځzFAWMۊ d=< [a6}k|ӝͩ>*d>aUA19ZvO7dNA}5Ljp2:|{*mQb~%l3b;izQnҁ+"4NXYOn+A|a*كj3ksL`mY,.%b(ZQƴІ %eVYvN\|ʛ|}ۍ%Ss٪Lm7k(`D4Ӊ x$k'և~a&EW SfVSn* K =xh,* >w*G ĘƮE"qu-]mVPle' P\O;qn>Ze׶H=9 3uU-+mOEF6Q4buPPlM˷nij\}yRs9aC$PKRn(u7B Ham$0t.OĻ<:\{ͥ8x|+缿{T2Ъ$zڟ8u}Xp" ~B"LjQYx CE x=kgR>`ۍadpo6XPS@0 wT9; k`WR03)FI%Bb˶Kx¯› L ;]V}T w 1BǞ)L4Y7@&ZG]pLuwd?l/dvN=O }z7?(RsFWw̾SE"xIZB.x Íy膺n=˟=*{wHOO$M3mkMV^t-[) Ͱ\4w`׼؟tɐVRĦRJNM8G-WÒs㮸uQLEi=@3\ k LK}Nl?ν!>Ʀع8f;%7%YaK]L:ck{ so#2AJa +aNiıAU*kd@}>rϲh0Q/zg^EĽ:ҿTΤ{kV R>;J/h\έ!ژQa2Z%-ْYcO[\Т >S陸޽MhrͿ'aiV/ע}} ue@\"\p;Q2^׭!޹%CJv$1ֳW/sVek=dІHبq WbII`r_G;Nrr1-%:a=XbE*`c&SQ#j)@8#4.36գkV5m[q.m)a=uV787i%W9G:)Oq8+T\yukO Cg@#%B0V,DZ?*cK;bE3AK6?O!ɡ=:gIqȎӪ5iKxWCS72;oz]r88#O 8ߌ6`P(7qL %?|ą6/J e,WbOqd4"ϔX yg}}nOr(zƗ } c(bڋgGTQ*?\P}q|hH5_7XDȬ or\~,ЏW A&aG\h'xptt=kvMQ\"wKS8z?١N}"{HYnC!' hFhgfݚlv.gMHVt'Ub]Bͼ$T)=e]*ҳỼ1i6><^s*0{=F/Mpe"hm:W #>j\uJ0-zeQy~@M@W<)g9?,_ Y[, bv&Ol:n h5hߙyF2C'#]46f<~7 \ĎX7=T [T8' -alTR+y1ؽFlB& 2<d}GV-=T|҈^uzgMtp60_asx5GQANtF ԌL6vTZd?R9(a3!t5oGN#BASf13rtDm^' >ߗt#(܌(-D33Eqqc"97g䯾m_b6Q>cSNw\!2Oi| vJC@=ƱL5.UKhVlb^5{WĽD` ЪH0۹d߭CX KZ@hכ87f#$}.ׁ5!g q;vλ9QBJ53MuD45ﲜcq44 ~Az-7aVt!B"O8@|v/&ƌ/ͽ`wܕP2:c@IFDSX0E,rB37)_1q1Zh}Q3]YdT%1,fI0Cpf㳏"Jn\1#SjD~#Q*/j'(tCgҒԔ?@!6 {{, lf˔ F~0Ró4秶tz\W6 ʓ`{|G}LV^"7l0LH$qlm#t^KxM͌)/E %{;O#ΚL$ ek6i'A)fŊLrgvxdi5d[hI} CH|Hg # }i`ɷmp{(X78M $ a\& Y䧻q5mza uHtW30f Bh DăT\DA1mW@4~j\<$W-tcHȕ*-Lq|esn)yT)η1DLQuWyDl@l5m/TW[=Zo_ΒpX: WϷVs05#˚AVG@B4چ!䜥%%{L5vk" b`*; S v %J"]"ir5-Nì}/ =k Bɿ~I3M8Er\'G\=R`Y 3v@o3"' <5LPdpV) ]R8bD-3 'eoiB?$-[(љ o.I;ӕE]U}Qց,=uݙ-Xy&uIP0ܤ?qà]sӎIPRɵNN ʩGb?p;PRVok>u|gDt]OCd@5u5Qb}CA{.h0dm _6ۥ^Ǻ"\'MMn`qdPEc\Aw\nr#M&qж+!jp-sV6_?~(b.= ?ҽf |;N)8я~Q Amf5+xaۤ`A"6\u'G~i5;h}4)%!JMAG(Ζ>_<4*`8NjdY'CsDwcY̋׊U6-AP&~)g3"ꟍ^)/QYmpMT+!L߲e*@R JCAG,^z>ݴ3L)Pʮ~&IG40Bfu୳:Pa(\I)61-N7B`=