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 aa /t 1w]Deep_Learning_Lib:threads=2elapsed=158.219cpu=275.664gc=11.936factor=1.747zXZִF! {B]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T{RL|p =ͯwgQ5SrpHҝM?.@Z>DܶxA"|J^Gٴx' ᄼ! n䈶#>2E롕a9H T/!Y2~%aǧ1p\U\T魋h丂ξ|25ovYX|'q"'oPcR>ZEV. ?Şٻ߼/rHWqٖ[؄*׃tu&ѣ2Uo< F.6۔ } 2nWkE7Vx[U9.$<`]kQd&|Ab41l˕k*ဆHvT&0U2;顐%`sdFܾdx[%e+þ$c- SBAC9pty$38&NbuV/ ɲ4$g 6wu)#Ov7]T^[a}YwLe N?6`8w 龗J702aJ YD2|_ Q=Ɖ+yiBˁ.}2*>CڷdЋO 'AdlÆ1~ *Pn*U^dN~|Q7zN@T҉uk, #lɐY#-Пh$! RQ }oj8#M{WhLeoXZc>+Á/"IrHܦRIu-_JY$\QO /MGgB8up׋ / Deep_Learning_LibidAKٖ^ >鷳۰_x,"."W+$y -Ez7ne̯ Ӄbj]3Ab?G@&F .As_+ǃEp1=fUXFO<%R"9e TE0CW섪}k۲$FISBɮ!O~kk4I9|!U*])f]NS޴v29fO f"~.eFWELd5$A$ϋ=q:NJlbsM%(ѥu=(Ͷ&2D@}Jlūed֣@.3|u4 BeEKه^"Ѩ9O䁫 tHYq${B zJ-ֽ׵ F%D?EU^q4(08B ;`Qwg&Uҡh=uYEl9؇PU@!5t?rAl ^hx+3`j@*%k\¡4kPۊ[IS:@k(e#db# +mddh7ca g+,L~K&7^,9?]dDl{eL:1iFt;6ʅC*kşXRA\ 9V8p=?WJ΢nUoil2 I g^L6=MiUR& }QvMfi-G썯qמ2d-Ph=6!A9DvAV턌gOq{7C4T=Mr;|#=H% = D C"~+m+]Tlj%Vo|A\I/Z%#z;r!gm ZT ?q @?kc)H! W6 2зeToѸ'Q,rXlL5Fzmډ&F .P֜BL2?ԋJ,U0nKcIuPgoOuxi}c^V4WXOx"CSbrExj3&$U/i\6$LW& 6Nnw"B<vCĝj5)P*Ϸ '\xqi$[uȥM 35ZECV*`bkqPI~ Z R 3Ր%Hd؇q7o@IBBD8v^9k " Cb 'OUQu+S6[˦cVUqPR{b} [h J^c*p6M[q}pw3M&(fCz*R8FJ1Kir+a XxwC5 =FWoۦA25p>Db{x2FLwhGjx KB- -%Kꚁ#'?ޝBfG=Ol6Ia'3=YGV;Di %2,73TvD*Vjn(V+@lg4h2ބ'Zy܉/@m7C1ZC:lz"@_ | qe!lzKtvL(8)p+w[*ܓB#r3ϝa~LN3Lo$ 'K2uO14nF{s}l%0]|sQO"OtHNiUZNs3THj|"/렾-iir-$ܷM*?O8g_RPEm՗hTq.ۅlpuҿQ/6c.=bTRe@Q}Ć (5o]kRh=<=t\;ّ)#6綕oP^Q\ 8P) V&5?l_bwR}LO/CTCGԚ&CJxA(u~QF"?Q,OzLgp3*0jAŗwzjý98h"fA.Yg^1=oZ[bXJA*QzCt`J}u˸I ٮA|߬z2@62?P_ ͫߐ j̵-cžc] +:Q uEsgvC}a xw0 n^Wh} M\Z/_(l% ;Z3c_FQw֭j)*T *zD[`fT2١E@ %(hJAXP!%/Wzu 5 H{q$X]~G։8X s1ZE<+ju* V[!I-;WPy@D@DY8zIyG*Aa_Ξ Ky4!G1xFk~'0HZ'YhppW89qcc+$Qsa n)!J6Y솣 I$v(@rqEl +`#P,9OhrAS "Xl*Wj,>J@P:"@ ˱?F2a| W!؈xs x^QW~wOvbAHxIzUU59Q}2Rr ̂nS#J5{aA?V!>&=xOԮja(XLW: L!ِ kDrU4a mo +G8[Y6y+-F{)OEg}fOEZ.N74Z[L yjv5a c0O:kdb *= QfY@k-mhqTQ8fk[xda%n.^.X(Ef}B[>存II*G‚=YlX#f3A@j(u}Yr>vm +W.mUǂ(E:b9a1hh+Z~ oKG#?A190;+]r7pM;"5uiMDeomh5(5tb$E€^̋ 55ÞAHV}(62C918H"#B㞓p3ǫG&:J%{|sh|s/\^PP]k^[P4j)J{Xށ >mZ@uv~ДxIP`q0#Eĝ{^+71A$aC=x076ᕃF"' u4߶>soCشqQ6 @(NN01pWGf#7T&Z[72 `꒚`*A/rqD`H1VTEWR_?\94/YdwZk/֦{1)pZdO*9Sg^0^eOy'`n= K$_?IՂ{$9)ilYLrbܙi&"у=T/mi;< daIy83BG^oiFU/B~g/K>Ў%!%hw065G! QIֳr=qp2o()2W2iR|Hθ0Z䋰b@}Iuޥ|aȱ |،ehpsހ\KNu}4[r>2Y] ╹k ˩XQ5dasTܞ.!\䗿Ǥϩ'Kw|ӶA=y dTAbdoYa]{.trtk5i%G<gaYiPiSC*5sa2P h ? Yߑ cx)2q~kffĻNLUy>в:׮t64&~uFv_g\xs#x2X3^M|G n.]Q{'w6fÜX0};ak!t;ZWzKrqA;:OA[٫h›h[K1p-iI*'plJa^٢3f#&*yO[NިX_qA TIu!r<z!ޣ!=BXSZaδW*=*%?;SK,?wPN 7̚ uw353Cկ$hᑬ]ztUbAq fwr8@{Qk!ҕ\*VT#rkg#-f:likPtWh%t hZ2(g goF0WJWIKyID*~iX m$@]trM؆JOv]UJ6RYVlF5_I7fo`o V9b~G3]kdž@4am*v'C'4ctSBųKcXzpN{<Ԋ8*B׹OeLpR :{0f 8 u0vvYOplJDqf5D`kMGi3<I@.cv`8G%y3 (wíh Ξ܆s5)v_ѡt~e(5h$ Ƕ;K w3MBŸ9g WDIuJ9@^^PjCDMhC_ j0TQo \>H3~km6>t9S l7JY%xE&s9KP!8翶¤o]U)o'4¥Nϰ>@VgrQveEvЍ0znGp%$nXvo'; sq]E֌P\dZ0,Q\VEa\UPqg''3̑`$>)hpoeF?[IVk̃km/@=MH]I _j9(67"w ]R[Pvx"=/@p3=lrھ!V)e/t)MЗKɌpzj@ ' N Z "%i8SS'JқOl1LvDSzrإբ91\{Osnlt?o<@ם/ٺJjs.1>3yu.t_kwT%_1Ҫ&7nIA֘`5aW(Aғ%YlvLmYGfNQ=~L k6֤{D^)CJImF CJ$WJ^~DCAvW{6} g؅M߯!)zbf޹V5HfPd!x[vֻdF08!:i #1it H\r3+R'XzGܰE+EI,A]/l JڭDOXkxjY^g̓u M_E $ዿjREZK.cC쵟_'n],;pT[H!XdVe>ۋv# ^m0,Wn|>v=*hL1M7Q[ocy4y~@5f*` \~@Y4)FǡM'&IͲ+@XG-0S@Q 7_l ]jY\ya?xYh/j :Oz}kfhYII~\ȳGM?`6% FnY/9R0c- V2NBjb>̈́dMG˷t;)hH!^~#3En3[.AÝnICo_%Jc1es`IJgQ /B"a:`TOyn zy\ >P ;3;* +[fKjԡbu?yUdg3i Ф_/@ +:~zRt aMCz {;,#m?HjI8̭Bkޘ|(rɍ^+ifKe"nOcB}Oռ8z+q0+Cp\hm%(?O+BMt 7=6JRʸc&-N6Yɥ]LGoToMX֏tʓ22e 'q &bVX1,jC4[<,x#? o8(Sd5o<5ҵW8b̩ VrK*{uN^å[퓘V7Er!ۈ}ڄ0V=1*zOd4>g;1~c=صU䐄,H |^!UOF_+Rc+E_iD<Pц[7z5Sm:3C2}ϯպn+ʵBe 4LhcU0Y0U]p׎l?  Ȁo4[!,Ñ9m\n&,Zf */6Zre a*|kEVuԢ\[A؜\ՎY!|^]$Po,lϏL։Fҹ5%b&>J9pX@̹5.m!~XZTr6")S5riTd8˗~U@ht8?mKMCmy(EЇ$3nlc͡c=gdxɳbcBX\9׌w4s`@,Պ"匓aoa {Fb6anLM"hQ)ԙ\$;$=V(%8N+#06ɣw]~pK͘D&*:J/'R6"iLF+[2K_x쫧%iabauv.PeYba 0zp8 n$A}mΝHF2q}\tgY H[-LĀ(9~IV8Q2!c1QsxN2MEsyx]8;ql*Ѭ?V\Rϓ,hnuJ0by_EPW,W)^\9@ltc']Tw a-(uE;߭{P^dgZ8xePH(u" !y(4 (GL9~LGܑ֢],e}-)6eU%]ҟ*#{I#da-%JvI?ݴp־g0,N|j3Ak DDrnQ@޿gBlTN[}M_tA<-품ݙ!_|uKTOEhF^Iar~|1TUKS_@23)$f ˩Zp3PIP[mzm8Bĩ r0gYZ0c02ceead20f10236d7275425ef59dfbc5021710 285d17beaea4c49771c4594a1209e9fce3c09a9e 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 3245cfeac2613b419ff643cf72db5edf625cf117 367744ce12067ff369d7037132c2295cf2467ca8 4226cc455fa452546f7fd4622b7c865ab8e54250 422c5cb07b88b52f2b335ef98f379f3465f4e2f9 45693b357f26160d4c0b1ef1a0df39678cd98d1d 52edb41329863c9ae149b9f908ee4716838e81bd 5a83e2526c04c3d1c976574dbc7bbecdc7d9ad7c 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 8aefc9b67109956542535e583bb6b75d0af7dac3 8f710aabfbcf62badfb0243b903a5fb3230beab1 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 9423cfbe33c446e9427e1802bee1b228805a86ed 9be135482787781b9b22fbc99fe61b777b1c0add b27225000730ce58c79b3a9ebb8525a6b4955a5a b702f26889736c3bd426c6e9f167fa1972379448 c0a8f4df891951f43e67a343f72afb8642cadb34 c84783fb29526ce883108f7d0451c93533bbfc84 cda169c0d3fef79f8edf2ed170fa39dfcc2f5fa2 d24042c72c86184e62b759731a5f80ae517a1700 e6eaed053698879e00e1e012935a36dfb142a39d ffc84c1be563c401109cd08cba36147d94a4a62c0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 9892b8c98839f05f8dc4bd94c38dc5ba0954a8ff9055ba88c3e0d3ccc3fe1ee62ff1909a4df05575