SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  '<< ]% Deep_Learning:threads=2elapsed=113.246cpu=204.568gc=4.356factor=1.817zXZִF! O]ŗXf1-/6vRZkCIe$Ai5edHn2E2@ma9 ̤Hy?S%`p(9A}VEkzB_ X#[Y9A7Zk{FmJ ;2_DJ ;hGPcNx-Rbdženx`)YoA~as9im`i>0ko8|zqyɟߌa7e]PvIEU? q?*6}"p_#E)#X !J4UhˍR\̓~JQVD#w1c|-Vfڮ!~nj ca]=C1$*BZHoG[ q ' Deep_Learning04KXPp%=o@߳ KO>2fT7*mA;(K&jozOM lu(A>;VPm$E3=>C1D/+-,p y Ew@Q "}=wLKbn`=m\5/jy x /~ɗbIH%*3Yc`$g:[onl G54Zcp2Mj %5Fӑ<2𿆻*6Nn1_xךfT7 B/)U &z+'Οi Zw@x_ ̰9Jܦ&Sfu ӂܢ-GCA 6=R|LYTxk̫ H23 KEeɒfK 䲀}SpcWgUt&a}A AlarFe {sNd 0 eE0A}̕=P``+`JNEHrZo+[aMXe*N)(a ~ؚuܳWd4 Af7?ęX ⦼l5Da47,k\.X2$Lҁ Ц'%" Mأ nvM򏌇k)es"jTYҸ˱,  s0:]\{gq`~nbU6Y21T|% w^,"`T$Dg-ZEW |^|< IǚvJ]q7Vkr//ډYs-S-D3Sj NP>\g&L<@BEbl,'4)9q4F}tFA,"[pi*ӥ`գ4}WTyG-=A(asC+AYCd{5PzA/Ԝ_#w|\?r9=JqS%l BS+8#||`zH2:G.=*8Wf xK.l-('3a*^t&=oL%65)"N25$ ڣ}d4>ՑvMZ´t/ekXՒz.=A+ԉCo!J*( gASW:}f3P/^IܨB.ur78Xi\}utgYZ7zXZִF! ${]ŗXi%9#c_bl4?HexR>__TdQ?s)}3(L.g ~w%3VaeXf|FkҀ&e L#|^of*+\HcV iu^u\vf@b)pN}w EOlG陟Jg\p6;l2HcDHdX@bnMq=H4C2Yxvw!6T[qpd}m(tXCy5>v}n]6#. oiYDp^s wҺ7ʇ e.衵=: OgIٵJ>k?Im*1E(Q@R~2a\{ T53f͇xioLdu7a9JY<фh"mk=K_x؎ֶJbəؚVv1ph ow Cdn` *Z6Ҹα ,)`&һ d0BXypی'cpROUAk9Ew p|?S&1l|_&߆G N TIv?T2a۶Yd. 8rZ XXOQ4= uzazk AS,K@0e\V%[H)*B-w\W UO G@sߞq0QS꼩in[CC M ئm(Nz cߎXb5)w-Z(Vf;1|,M7k~) w4['8pE D3 dP[e`F'hxI/oFYOp+85T̵'S PWVx5{~wDeΌRqGpu6RLDRx|` Ȟ%+RDQUa]*0 ]ž8G3HQQN$qo[Qh@(CK5ڹ fO.W36.9&ˍz/.C <I15kW2AʅπwAP:7*^>W$(ZUr,TTsh2nN3bcT(.HB՟WvgOgYȢ=* 1ܯ:6f{%NfN,̯'uc@89^h]jraTC4藪{ H^JoU.j7h_]~J&y7 J~.&շM}]؛`F\eE,3d-o 0z4<%+CA;)'&ުsYH0?A#R+LẅClO%/%=r}V! 7ylR+ ͩx&KV-4!Xm&Rmug䊜@@~g59'ivT~K_,#z?~"%z/͹ċ(mՠWBpV/tþBooZ݆1xk=9B<ƵD)x gs2qUMj9RS+p6LYz4en;¢Ӂw T}ONB$BoZH1|$6 t=f+S V$T.pst}B šhK6uҳebAWnW$@P7 vez=Ko6\ΖwTz/zj }(";&Muso]9\̳jK;S{1흁0uN:$P$0De)kʿ#9ʨs=lAqwD }bFja(3fy|Z ,e"z+r`tƂf,s8fD3wӘ4Hͪ]LjAR'j"y2R2( O.30$eE/Q=&+)Y8mx+rlKȪwVةV2G›RY2LtڂJ%Ťr<6P|*, vWk@.mSSo$wY`k7{dc,s$9b&l8nPQ`!+Y9)rg\3ӿUt|+ *@oLDXi|._ǪG-dKeD !4O;$D"/R / m_ J^Yg,֯SAʸ5C9Dac*U;Co8# Z`h[$.Ӈ%Zum/MɠʅR` yzJY;Xb 9 1qƍݵ>tQ@2Z=.Bec+Ώ"P ?preVPBI9T=G3Cd5R櫝GXi%:$#$QkC.þK >Z"r;h\Ǻ! &Hh[@AĀ՜0YY+k e!d+2nR(q~Ўf/Q!ve\j`Ÿ&>[kl>ðkjMtUe+2WFtaYV%l"jzu a l:!Ōٜ9U>:Qlb DuMW_pě0  o޹B .Cpoқxcah pm#vZvRb[NZh$c쎪jC Z7*ƉIOhboeZ8ڡ nZbW􊀆{k)#\Z+g7zOݼyuV;>36jj>g^}ìSķ; *54{94z?Q+T BF,CP}ilw&7P>uYDD۴*3rjG:fmp6Xw1bnu8Owy&z/XR/%tOY/;?Rw0(G1/BPq?o"XDN)(1O$@0Pr9g-gYZf1eb9d0160e1160b3b17afd323137f934e1d439a8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 058f9ae2f545853b9ac66d3443f26d23073423d9 4fe4c8a164c5bb2183ed82d2b889635e1f74f769