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 L/T4 1w]Deep_Learning_Lib:threads=2elapsed=158.357cpu=267.976gc=11.524factor=1.697zXZִF! '!]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##TljuUͻ>!( Ÿof Q[ ),'/~?d8*7^\!X;K|_0k}k)V˄Vrak_ \AZGV4L &4sZ0lq7Rr6eLdA)R 58K%Q8zb?JݪYTK+!"ꆐk@]2*qA.򓯻yrT߳H h@D`Z'HT #W]%tY3n,#l4*z:1A*5֙ մ`:M֣VAؼoMHu?7Ы=lÌqjb%`yIPm0l`U3Bpy4it9R#p=yoizb,x5'Şϐ6O( O T|KdH~ႬMB6Js"LC0ԀB:K8 _^)irNa%n߻]#UUUV}vCewvŹP+/Xb'z ;;]L,$^@\kqϗn>ACvv|ǘ yb}+xTS{Gp բ$sH6xCKN/k 1 }G͇dPy!lԠ| zOCK˻moz3X1>5E/6ڙzak<+ VΫTZ5D8ɪ$^;^-qZQmƂ\v"og] '[DfF˭piOޓfҒb#*)>JC&xЉw8Q[65T=ڈ(U%]T, 8\9_1}㻊ٙ:,'YV;[߭uF_T=SgNL%ZlP_@? ; lKMHvhL&WHT>ۥ48w}z0o]V3Mcuu NP:ϡ, ߞy ^tnejF1cV ~W=FFߡ6CPU>[RǤ=(F.;G ø A 3k{ Y98]],87Ra |GsJŌuĝ>$v4L mг ck!nfH-dbaJu yȊ{erUjzM\љ2,Q*C*R2Y2JUD6n/HYib-[སc]v4i7^ \a?e&}nܽ3 / Deep_Learning_Lib ,rO,c %OB* \;VKéE~{(wKv*oGSF_7 rHpp i$ht,M{y(#JφlITp hl4~$m/>J(Q+^1bM~C=R!Mo(Nye7}/uÛS@:v'>-֭K/m WtS- L?l `u2cN`1"k4qN#IZ}| ǴMSB"G@{3%bm, ?!=C8uCn]?Flꀉ[)G)ɃpFm)f2.r7 ?skrQ}0@&d@ue*1`] 2wu@u" rIMߊ[xN8"KB_%^+&.7VEfҳ*̚^ ѯ4gqdh;iR!1KcV Ig퀚[vW$ž\Ȇ*cֆlٌӲNIϷXu sS[҉ k\#MtKfͯa_ f:je^.vw^XpjƼŒGy?M./uY|UŮIvLmjy[ А*bhUzI˺󘼩Ea$.S aڥ3yL-˸ޏBA/}rKp.TDg&$ͪu3IqhT:Ơڅ&K „`0O`V;x\} oDCBϦyo,6Ƚ7n_s&)-gnzW{] yYZXUbf˦-;_jQ!C¼حhdVNXBDY'!-PZN[0q VEbhbls!݇ 1-M b1L%pYT_RPZ.UfXD6Rk8I ejZaׯG*NS?*c>/ĜDyf-9TGUL2,.SV֤ xu+s~ZqR IxӜ=͈j}1Ă5[[4)SX%Fƅ/3@4"tM##u,-.jrd$#($*w>?E691O;;JΉ`mr),I?!4]>Ve!!(8= ma,lGCbkʿQgD=gQ?x 3Qn3t#z*%ĶJge36ݍ9ܶ ,kcBSzLO7u+Yމ(wt#JI|r@{0jaM ꃆܮ*mpzwh R"fc4aqD!&BKoSs)ΖlvNe0%i#ji@} kҁ*KGO߅c0[J%O/,ֻKTC6U?a%v" T[Z,yw T%32_fs_>cWjHO^9oCDLmCf1a3,`DD=ldH[$7D,hl3j,nbQ(G+ lM0J.[x4MSX^2WTlqʢ6AM^:00=a+knYP nM>XH]:y!h8JNX/t#;reAW¬_}Nor{TUCw`iR3w}nzǚU ,Lqᅤධ)ݭDC2XHVbWhو{\$TN(<'qh]$3yRZϡ6^X ]sچj`,]4G:i?/_ `0NМ[Wx?/ "Y(dW3W=#`L !N}">abLSpbɰzJٿh};$6E7/Nv%Y_- o3G&:,RŸ1EçA-'DZc| ^kTq tTgFp s䬱gYZ7zXZִF! ]ŗXi%6wD)M #Cam/~<+䮭M+*MjpА귗ClT ] 8Ϝ^ٗ ah杫lݸI4>{|NÚZ9 UFMw֝}$ 7^'URvT d,A+` INcE"i?s6C\U{gwf̩zF`W+j6Zr-a8L?,xVH5@c(~@wJOȝ!=t2ϻ v^3M@+Xύ0 ː/3FzSDGF C Z8pQ*[2Kxm]7鍿8׬=.vt&7 s[bf#dbzG(l*C_<QK ]7l9c8~iф"p;$ pcf7ƈA="֊1NzPXŊ⋊% Fۺrs.SBcvȆ,iTZF)Qʄf檱U+fn6-߾ dkZ$c{ֳqziF >#A [d]f:wR:ZEDPvj|;{G)ycVֻb4wuٸJKdr|*l59!*R 9i1;3;%O*%k+l " ٸCrVL@l\$|;VyqI" zL"!I]yl jeLr'˰#ȺZ#7/eQ'M]z'8 !i}hnoBIP?]\; RihPce*j6'SmB\~X|}|: o'bX14 [/Z 4||&m3Jv㵤~3GX>ܐm2yΘ0gd{8 >^)ư[u! x-ڇ0nސDJncSնa?ȏ{~"~N%v0yNRC[Zk?bV},Wt @a<8k?XʍhJ{.qkT#f:|X(5w:lHiMZMwKAfQ)<@/.!!8 R7#t6rl4-hIhȭ,\^PZ@%PX'ϛ:)2rrMv75͙9i0u(T] >D/#꣍x])ɄÈpɎp\_|I +Qn蕤wM.'!YJr )FX؈򭅥X-.zQTRZ]2{pʞ ):49ᄀ!a b $0"6̤nĖT5ƷdLՒF`QVr_a?-|ջ2e @sFZjJc!##V^h N[ +PqgYDF;癆ev&S^V XN)w>v;0d߆o{laTbj-As*p]DMOS&ѴE:N:I(@La|'C&HxОN$X-ޱgŪm7I?߹?0jZdd-vG=zg;wr1io؏tobw**6FKڿeh*O쒍7gMִ"TY捾0kr]"w&\MOTVyߪ:#P1: -p~s8Fm-h)lrp-gSGj*aA{Oz [G8"?^qc/m3aݎǹ'U5NlCl z./z{AHDg(| &L14mZ=aY T{y@QWxQw/gP̈́M wJ4i;Mγ]Pƭ/zםRes!~:#2CCuZO]ڛ@S2s:U;@khP2DElyA;P{3sû]iIͮo033du̎{8(H2& " lW/qaQ P,_e^fx}~̽{92dkYWT{>r0|?Kjt!ҨCj:p _`VwSʹ]\vQd ZTS1QmǦ]o*u9(p}"H1Bvf#R& ܳ@&szѤ]B  };|(3u,v p=vE+Hҋ6YC5+9rF.Xe7ez0W+q5W lZĥ'XwEGpα*0bw@;)?T`Gw#d&E*|wA}]X|6-FчX@m [M#XSΡVh~K"/Ts)/;n=)EzP?0Ybd=Sr.07_`IgxtC:QIc;C䧀Ěەǭ䛖Hp>=ca{`MrrM7N4_HW(xqrdҷ>yt2K|Sl0UL1$}̨^Jw,7*D(el+]?Om  i2K߇..!hkkLJ"'r(d@!?n;eG]M|B"  %95xo5fтSjPBMPD SPLJ,Ksй8sWPF4ez`]r[_ Mf*s j8}E9''kTaleodWŶХ3I.! m'w_/4\|R "|wtO'g7p }^AFwң%ty?:q\QXbZɧ1 tmf`kfw-Xwbr (Y^rzi~Ϭ&8AMI[;F׶\n~%:Z2 `qMt 98=WD-QV{象KYPjlsu5H&&sK?h[!|\=P/zuVNB$q~sT+6kd /Mi^NWͧcԷĞI1TA4JQۗ߉NtlCc ^ Uƴat;QzkB[5{5%)̓hZ 1vْGiVxnGDimDgL;rnԚ3v-(~\G2t>ޔ̉l^y"C^Z ]M׽KD]ʴQa">i5[FX#FlxtQeR=8fwMR]#pmv7d+HC81Sڔ^frSLx˱>Z-^3$zCHc#.qS`rxGbclv7--"]m*Y 0AzFgtti%3PB~l:{<^@]nOŋ˖e|CqHİl?} Oy!t9T fgma^4]b> ~TO[FW bM4CT`u80+^:X@Sl꭛6l@tuJ1$9PD;l=9w{SӬ5tw,E^q]Uߪ Ǿ0]'jr<'8!?dNo˟$9U&)&?Ġ D}z{.Ԁ n[ 2 V4: _- qÐKSXtA%rI=d^dsՄD7ġy9բhc1_O}"Fyb ,=ZuH\gIcolyDUdF"_bBYRIzzc{|L7"{ڽ5Y.ᐚ9OP*N$tL<\uiYo6LbDHU\8HT׉ aLExG'V30FJK1RtXSi2iSKoϕRȋnLX[b)Xf/iQHc(N֔47zF72mJ6<}JT# CSED 9&%']9~C!auvZRIp& !2Át-J5Bc~` L2>!9\cLsO1p!(1&^J) g|rO浜`A8"l'a!@()QRo|tJ!c"/ۅ B0 ܽ#~)L$qhWGG[8 3-?{MwAI&~C>2P12 U$ܚwA;y: ,8)mE.{1^<`g֦qEJ{lvo awK,zsC˙S-w(xψ 3[;e+-F@11p_>X+mL]3:7lx xX-ض4P-X!76~s/$7G|ӄ=EFDi!ce F3Qlp ι?re.{׌Y8kMe0*45Rj r6+>X(pN,3GZ [h7h}bLa\<]; `N>WK*hi{h J*qcW׃s-쑮}}.L,Is}KW\IT@GxS/;x)a߆vWG`</% `2M2?zeC˛7] " NZ߀&;^23UPT/+Z)*H {A?ŴykY8n7K<2&4N$NDqyVd&g2\Sй0VC܄sO"*[.<^ꤪTѻt+A,ѥKV'li]YqV6JDv``eI-f{+pENzw0 }LC頡ʛE{\딻:#zcHJ_V6,*{g]רӰI@C?<5g/@>nμ:BZ`DjsQ8dTQH 7HW9"+ m؝AwP+(ߦُr*œ2 0j?/n %8tΞC'?WxS~Ґ?pnL4A{;% 0| NS<)}|E{Տhkx|9vjfUTR6ʟ%]G:*ues]ͯ ʫa// !ٔX`>z]} %<EҼتS rFNwT\O? [i1Z4)dm;f`Ӌhq.F:ԩY;JkEQx?h&Bt Z)d}Z9wkCIn+Ua4KAbF:?0:n񩹆) '|W,@ gLoc} \uF3= +|% r/$Z]hR> ᶪz) ;|isM6h܁IP&(Ę x?o)jSez4!@ŒlP'݌ǵUB}&UP̥v2$8-a7^ܮr,\3_1XhǮ$AZdy1eL,=N&Z.ALz̀RFAvE||FՏ#)}v+ockWC<'G{$gKvRk*760<"2E`:,/ikQ3[yw294.!L`$*EV>HO;4gmWM9anMQl/s}LjWHwq@IGz60PAʩ > 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 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 1d78b900664117bc27648b4f3031230e0f9a4d44 b4451c95da7886ee69cc5cc3073eec6a1926bb4ce5114079845969db9601794cad8d5648a6a39158