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 `/4| 1w]Deep_Learning_Lib:threads=2elapsed=164.341cpu=279.932gc=10.924factor=1.707zXZִF! >]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z lh'?:H 4eP Q@i ω[80')U(Ffx7ld S.2eL8zlel|yoEnIMEAB8fni|1g+$4 e֓A⧭JivXeY^veZXu?xM^dª"n7;z)?w oô yjrDN)=6B0'F rwz&kBƘ1f)hnOr1lFAx`9}:0ݟ9s8H.uxo3 2^~Seq50&ݱ\LQ3(v7N7ZtZ.v4l[J`35h\kL]׹s#kCI=%&i2Ookzݓne"*y+<xG2yػ%Mcё6"p4n26ȾZRjS cW[4+֊.()&@VJCڼ[ʙqpw2$;M_ϸx (([`g&NMI)sWpOx8MQVe*y/3<{.C%dYK6> 6#ZVc?C J( t|N#icn' ӒI}M"B)*6k0SWp<-99e0.uh5za|t qK kᱯU6K vUpʘIJ$Z؈<~ pa}.Nwnr!rxU֊Ty hd˺N3 o}1ko{z{C̖mR s=% ,Y7&grbT _)!4 EgI@,D!,( K~D\;Pab7QfGG9hj,ZgS;. kte?@dV$ —6A 7p-Y^[B) 5Aƣ*ߜƔ1Yg%5j1W8!.I.6@3Hu(oKA3'}E 9k_ZJ g*˱oP$]S|] Xe='0 3^QYe2)U>m 3:g076f5۠ Pkv1-/¯ W8-|ʙ]S$Ǚzˡ'b?Ʀn^gԎo*?lmLL.{QW .ՓπLb3;Xpi ȅW  %@T` 1A^ uÇL5.@Emu7 0Ֆ0O+`.ѽO rT9!5`(ڳ YL@t7 3AX & c$8єfqڙÙ4CY2Dː-5 .@`&>[IW;D~소'LDHgd,UX1)e)+UTO⹰Ňfn^^=$fzX5<ƪe ;ǵ@U+t Rmȵ>fH1D;w UPf3^ŢTƓ'5 < )[ld5o^Z~{=op;af|'E9?a-}r3L'0)^NkU4-D$t|0Le6{SMYj9c~]L p.΃w Ta,?ޥ^rZcuj76ܭj%q0mH~T鰧de_>343a ]$#.Ѯ&ʴ,7ѯPL-hPRvk9(TB1P6Bɛٹ8NC=ùd!fc]M|[,>"۱u / Deep_Learning_Lib"_t5ޠusLyDD7`O"X31? uWPJSHEC5aCe'D*:|C:b%9Й @XPV+ Ol$ , Io-:BVȚ zfhG:q+><ܐ@ Sۨ1:" ZFlcS%b&㻧uͅ,ʳwHюa& uGO+|++0+!!g[ )NSwϗ|^ ،c:'BYh둤nUK9mH&"fjp0=J}Ų5:~zdC8q(Vˡ*F^OƖϱ\c'SC6EX}JispJe?]SS&>* Ƥ(_La6u,6 .@t u ۑ?ލ wh['[5rq\k0#2~49Òjn&tJLztEPt?q rKD]dt!E$blZ&K׍mb[kdtӇ>eHzegu/1oȸRJWj\pũK`&|ѕ6d*f%vV PB> (2[/9m9lom4]Bt5@-*Oo*O8]LÎxU@'DQB|q:FL YF_"0.t5p<솎PUknmQR 5_:# :Wc\nuI@3Hƀ\[mPivIUh-.LSRiU ` ڊ(P( }۷?x{ir0$Qil8SY % ;9-z3kf"ݛj퐴z9),:$T疮]>:]E55\A98E U͛z<8ݹP}|cY|F^{i$FO/@~p4N2#iRqVhH'a'GLPP-%fFA*;Y;"iM;g _c`f$SsNnod ^iɔӸM³vl ;WE2^.G]9a > YhL=+.jtrhCP@$$qI mdYf .׃4bv3 ?:Z|J"& zw32+$;]x+pU5)ʤHyQw J@!w"}n1JHk]&}qP\49]>!%)h/f$>_3I-є!K)$cw+1>" x *%Eߒq!{ 9N"l'jyօAŀ2qlDoop5} <P=%b b{^wݗoSCcbՌ êe` v)E3G41oڼˉ 9 H 4kɘoRWf15 Cƒ\FT\+˼_[k:IA13|7y򁼻B/Ջb%+\!W˟Qwd 덬kvb%I( 48^bhuA_?6) oG{TdBj~1]zٷL|qu D6c(B?*i ElA~w*\L=3XX 2齴oA\F)W(ʀ\P".Hh[404%6K!-P(Plr+ʩ7,7[r?XKQ"[NXFL2 QmC2Q\S&+zRz5)f7DU$Lg]m:XZ?U> nNҋ5D[n Ea)|]|R e^4p&Dl9heczKP@hMnχGT D&_IPQTbu;H[.uN |,4$`иz`Bg:%%2K޶dO|,d,) 'cq)3sarZb3Nk4ɱTo!l; F6 WqqhI/`ahM3/"hVLH}bƹBȶ]BDm PsB*_W/^|/0u i"gd; {[w*Zǂ 'f7b!y+ޙ4v1«m)Q K~j2A@b:u-L(F7m+ȠF o|ʑDײaz^bSf{Z\d]D[`6 K2g\%F#UKA^? .CO4)ӻ㾾vV`٠͎(~s0W񙭯 xHP50{n6+ⓢOok9[xS#ʜfj6\P:;f:E;g8qC:%GKNf*H ޲yˆ  ^"<탒6le+̔3anW_.ǿ)a[yH7<,{=Se+Ngc޺:4w_֌㰵*sc蓴LaQnjmEe袔#DklKdo#(KY%5C w\&/ɸT}c  3{P8D\?z2e eAed+`ܤHz) vŹml*!u#` sAC}ќU~KB]'m>dn8Hy\NH+)NЍu kٜH4z ]ZR=K`ka pf0Ie=`_=M4G:C-d8ouUw]w{utn0W:{M8oJMS__bEGL3?Z=v69E[ 4L#mJ9YEP0)p|i "Cj! PLeQ79D[^7i7w;."&rdLU[/τL;4p\*"=b)0\yU&…vpG|Zä[؍3UR.zd>BJxѳ8` :snƹ|.%kgo=ēKn۫vИERP^ԍ9U4!0 Ql>%*OYHkr^sվ $?v#hː,j!;ו~{IZ9[^&wv Rx:>ernV 1^7C\Lgрlآ6me:pj.wF>X|݃//dp!zہhI/Ύhm-G"Ou<@ISRО@-~z+jO?p!E17,= lԂ/ ɟZ#٫-AjS Wx $ULۘuk?ZK, )Rl$ﵨ9<*W 'qp-.hJbDDž'UJ( GzTHQI3T` IYkhrJoOD #= ![م-b9S"{V#L4b7Ӕ/Ak2^C%Q]K'ZDwLmuŽ]~=mXp[E"X3\Dd.)z.˵ЭPzE@4Iىi̦#Ve<^mr˲#uE,8L pw} IM(`O$t)̦Kz T,PQ0*kUǫ懭^V5y0B,~fP \*H+Y&V]!XU 4dN oH^V"&~S-?O3V gOD^ Mn]AC/ЊeG{ݸNlWTyGB^6p}bF(3~% $hV38}[RLkF M  o=J!y:%*H%j?f$U?Bj>vopa]$?I=V\R+fR]*ʐ@7]3:t| ,j >NF JKtʣaTx݌z, ,~sFb>qms1;Y.axa٤# OI?N ]IOx<5CL&I<<蘋Iyjmj}Т.G_?ltqK7ȱ5o#xOTG_u߉VC<{:̓W6kQ3 $}ҡ5U%vdyx3]O4atZ jﻍ@[u`T&n%f$~`^P-k@:`,E(Z kC"s:3uЁRi ?1m'u, ] gg2:pUCs9'ۂ$i{tc=I *K;^.Xe++[M:τLSf|%oVr&)ȇ*Bc\yʵqڍnMUӗF6nr" )RMV(/=! &(ڒ0ׇ2f}BƟ$t4]#.c@jЎ%Pīih;p. aO;{sռ̥`}Һzʿ Nr'@ u[I8+L{ m[R;/0a9^0*w~䩥EXZ42œ~r[2iAD;qL{ZZ=GTb/zH pӳITo LN,.6|ԮmD2܄SJbYtP<UlfJ&.M 9laǼƸw΍{TcK)@MS=6ȃN҃Zôg]kѤ67+8gi|v3m XV7% '+n lOfpg:M7dˡٻ`0if_YI}+$?LOho}_(m::/4ͯUcX'10 : h8jiSԽVZ^e2>CCIeTy'1"`Pq\Lgiǿw/=>$%e-nJ掼r+ϠwwUx)Vڔ9L4zb\D.B.mi j[*ʁ=M}pCH5n{TH[=P sTw7O(d=nj8S/Ppd~DzՀImSPVb" ~D[BtPAی:<2O4a*rMS =9x՗Or˻2{+9Bbv_U=X:j JS?ih|0Ne"UKyyF(|8ʪގ~~֜)T?=jƔqm0rpkc [έɕ$yeb!ȋp#`Q&[7ug@_P<~P. |W<:piƧ \M8s&嵟-)E[],FPы[8h/qؗy9Py1iQ8~ˎP@j1!=koeҮU8nxH;#fb<)HGj5S<:xSr Ӝuo7 6)1ʀlem$_zt%jh6Vlإk<NM\i}Se(B8v<-!$UwUd}8ޔLI xr2,̘f~%Q7-'(#nu\cLRzl&ch+,G_4ekdclm}<:a# <sZϲYG%N_&¾\g p矚})d\8q42B9]