SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /d< 1w]Deep_Learning_Lib:threads=2elapsed=139.636cpu=262.960gc=12.476factor=1.887zXZִF! 8*]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##TS7D&i#F$w&]u +6v&h  nAnuAc|5kWFaiy;,RI$"/"9쎉0#W1+u} !7IRC V=_Xf%qP / Deep_Learning_LibA;ٝ*$lmwKΖZoIRngZGW?T:b L'جL3SlgE2)®s)wOĵuS.ECQ'#V[j asޙ,&z~&sCv_&܋ ë'D],!U +Ǫ!A}w@<=hrQc3r$1e {y *kG1鎫iIrBD`xaY!\ʼnZG "P7@ .whdu ։!N| ]^XK^)/#8-HGg9n;" l%im\p b-N0NnL 4:A#S);_oW.*˲_I(ja8*gHe(>z9ءZqX\YHMa1g'[nvҘMY/.BRtxӉP+|vBزrgqCA&|CFlyϔbvFXs[6RVߔd'7Y|k]U}\Ĺ~T?Hң%t@ILWJA a_-Y~C߶޾X7TneC}CGxAa]3wkXT1Ư)^}Cӻ4cBoM !y"T\Z{VMyhQDZLt?m[wlWӑ(Xvi#Y`W`!8.q}\Ggp v6,E iDEc%5-w!oۂi?!| j@Dx_uvB=5jJa@jn 9mXz`ZDɴq5ޗ %M^Ӌ5]O nt\-mp{:3Zw&px KM5v@'1/# ̇vF0ku4њUJ[gonk&u* )9-3-yAXi8tr*[:* 2.NWެRy 22ŲZ8k. b<:rhؖ.!jKKk)} :u*DNRnTN\^ԥI`|뮓Y'F}yυ Օ9$>s( 9Pe^pf[&4hTvκ~a/Z:EcAq30D [A5yHS=~ ~q4p~dcaٯ?;r=xa" 9n:YC$&{GE0'i>gX: xTF6ԙ2Vve7Ŭ}ˁ~a(瞧gƟ@|Wh=jF\{w;8!o%39=@:8D@ǹT@CkMȫ@%'T/]NZeV9(;p C"D͑ŊtrPzs҉)wTOKy/j]cc<GA)K64})&۞T]A[zf&]|g%_]E&̱i}^Ҋl0H69!rdeVzJhm#_UL6ŽG;UnR^7?= >}#ml%>ko|iuG=g4:Mv: +=(й`]PG !?7$ Uﭗ{mw8 .M§/(t4n$:kMU9oc% YǚBԔf@1.TIc!;r8]|zw7rAiݤ#yEJw],=&q.] w#"+VVd};H M!<^m}~ b}-Y8P˓y8 O< qYRNs0H tXǝQxgܡ#fu:%[`:T1A0p#bb5 `~JYc>!Z+҇z}V+ +FM_4xNi)( {ch`rGJN­P,FS7آC6zN^^*B$$(+v3Zw:Ji]"@}έӲҸ~An?#|?⸓&jJF:e4Fz;{Ƽ4::kk1GR]lƛ\d-;žtAX4CǞ5B,]=ii%ߝ~_!Wbvئ1mY |cdKt=.ԱC+*Dy,٫I9;9.|7h3V =e#k\(ŤrM(γat*=|Nwc1pÅt25!{Q(;F2KTW !d=%h}ݲ?F| .MdB WW݈P3Uu!3e&EkHϙÆ2tK>J4^ bwPT\N9hiSZ\R".">X9Eu=( $^tf+DF&.4)UեAJ#aJHt S\R/L.?HTLBqR-. 1CUVEMKn"D)T Ї=8yc avKX(aZJϽ2;෕.N`CB dK"Ak7mTjIHqROaqjA  pϭT0\]63p+Nb67fKPżv^k# }Uhy[\݅Y+|[Z IQ"SewKU^v qer+IO9 $@Ժ2RR<H4GV}d :_pi, CY #V) 1USB}voVBjce- @3)u r >T|&-cJNdݨ5#]'L&^ (*R1'pJmtS<4S7hVOU&NζۈW2>'~:JT}mo3/phoHl;8( [#lnxm0ԲXD=e P\fOS(Ty d`Wn[.Lf68*RL72Hœ?2Vwg p%խ 'm6.Ⓜ^2T0Pr.@c/J*qZrWyǟHY6N`0.Q,tkzF{aڷ٪v?d5.+W'PQ gҏહf-R@ǎl`[6ui!]gG᧎ݚ +^侒b>G1,}@&cV`R P1$o"@M'<N;㈆}]kSwpͩhؘ/ }BA6ݏDѩʦӾC'Ěl()!@bRvP~s\WNLHY_^iKu5⤹8 tZTƔg$lJDK;OfH&Ǫ[?!V2"P3-oƟ c#MPaILzZ ]:?0m LV4595RHQqoLL8= YjBHAz*=e%DKO$wT]fe*9sx~.(rnSa8w3N 1lS9⣩2KFcWhհ|ukyEw4ՆFp93Vsժ}e"G4$yk:]dUh[nftTu[wE[<|/:HdWK]V9ͩ5'F>ﵢLpR18P*tQ)9pd˙@ 233zۅk0uU\jY--_->{W/v‡Mp7(T#\8`Cnfǎ2X{͟nk%-(tHcY\Iț<)Kbhu [- Zkwe<آ+83JNfgfw$NҖ]0].{ym$qbH]+sR+Չn&044k>qD&qfS:B[J3姛-&>6SaJ[KJyUJe+#KL$F1&Dѣt"থlEJbҶ"U+l "`R{vn6( `/[^ wjkbM3F#/mdlCϴpԚ:IOWnEn;:GAY3\? -3 JlęZ 9"e:7(b `i=>h&X5H!~e6gC#Lf}>IJx@JHԳPAW+>-%)A 5 <]7CT4=b?HG3aߥ5bRBڏ4LJN|,f?pr9ƱHrpFfOb6:ӕLD6ݸ4Џx97 g[<{NB%IؖSao8f{^;][rqR1jKs_R]_p5jW<얾#wP/2a30XK5WOOpXsZp찁_Y[ď.zMjV4RgO`M2rx/q:OOhP ))f@^H|nI lg+dH nVDN"tTz-$/=UBA~4EaUwIVa(_Ø8rɒր2d0>6R%<.-HkZUtj?SB:Hu\.2'͟be<%*sۋN:?κ=*/JV =iFv-eʵʪލ ThjLG!z5KRq N'.T;kM쐾n$^ m!c&d2fHnnʬ.kȘi]ye.)˝S:τ[FbBuc^Lr!3ZfOCbs|r$$"')֩{-냘X7x\kQ= f>߀`?3/}?TA(ラz4ҧё(0Z3a}-: C#s^U "!Ći,y_MG4WLS^ZݮTS9`d55e%d Ȫ2f NJqǣ`^*/$?-Zny!&Ҕ>d&l,p[_EW ղR.1Vh ]8_?7Rgǹ')K#xGKN:_ͯ$?ހܺDm u ?yUQ^&d0'{{T (©60 _cAA3ouM+D^K 4:`0u2(5Qk memɗdvj }b)`"YrLwV#88Ûi3jW>3}Nق~Lo9! w%,Ԥɺ'(?4) 9ȸQׄtw@ ٠qb9rPASQ^x*!7d>'f.g iӡzT7: )?˱\1KX0RSsfr/bk7N$@jUNh|f%`TQ^͗j%ގeux,A018&GͽzqQʆ>|W.XeL1!3=9|:2q9EpZ*k֨ 4: 'A0 PkLڌ[päy_@(k0ܾy,R$eHB8 P`'Cf4(RL}k=$5:U+g#MY񟔻~i<9ͪEO W~,2U(K8PíP4/'Ux_&v uV:LMN8Cn,\'lFF[as%K/7>H:ݕeQTD&p$X_$N݄>gV!3olB׍.R}#lВ:~ȧ~ZaXҀMҪ f\ w؅QZA*6k@v-]bCk@F89=P_{#J]_ qԫc_ñ3e`Zp;r*KjP7X$L!;u `7kFZï-լByURXεucMm}6"|-w&WY4g_us۸TӜgm4[4q_SEߋ?w0Rtj3m"3!#iQ!%.&8WA ;͋nNXO PXgbEoN^&?c0͇N+&`׃5R*wd{5*Pͳ$Ym^]՟^+=}h7[9"9ѶM8]~WDm`iko *(9=umjOB |c^ |'Q!@w=}_dVj%xq\eoi1R2Z^6<,yjG4Â@8F(8qˬf:m]5*52~(Gy(u.cW/ᗂvDΈ]nݜ> 9%ʮ#D[2K'i&mS<+G|@((Ƒi*{%{Lu[(~SAB !HK3S|,$,< ! ZׄɧK+5ę7SF!k !릟svWgi9e=Q[8̛֏l@,6l h#̀;-J orPBeR${)8MUſ o!f#隠Fm($q'|u9@U_3ԃ*⻾Fw;"Akׯo8YU=~{ⲢqgHKG &/4oX ?&%`[Ʈ œ,K4sL?NE oBt1bNk YFikkPܽd $y9c^٩t.0cȝx{S@dP0ӱWe#乮p~h7cYyW- { Ш=ZVsk>D؃KiBtk-!ed`Bc~G (:!xf VuHR {}q3o >k.LS7v؂48l'H@N7NͣMO넶y[brӫ)\9dprתJEaQ$3t *d 5vkgrTeτf$jOوm%2?-wD"0Kfә6ذߙPu0[fוDona6˘MS z5Ł;6{zM})Sf@jۍCmf7`Wc>(LY~{ۑ{?)t'.Ǟ6;p(")ʷMT6|#G,}žX%&AV_i]}4Am6:2Nk?~xOt:I欲n ~Il_K jC_34gIq_7X>lA'8UΡh T!G ̈>?GQpYGLLrV |(RRR0p^KwбQ4 #QbSg x%Dl[?$wt l5mƍDMӄY_ſRJW.VZ$/Zݤ krULb`/%> UXOW)& CwP16>9+}SH@SyTwj~%o.⎣4$%E(>l DSJWkz!A.o YfHe*9yN"$HPBXtp{C1G[ a;~IGʣ saE<&#,7Jv5]^8\IA8lfEܩW\L}E ,V0F޸{57*iQNJ[wq7 6irrUVG(ɛi1hiZlߓ'P^`k\D]9-:eQ{ vweɷC{黹TcwgpRte~Ap YgYZ7zXZִF! {\]ŗXi% b^,sџׯ;@pˬqbۓey>T-4n.^Ib-o=& Dިr0b&\N=s\3[RĤ.29F;U-#ԋ823/曶Mjr0jH,lAWl]{>L9Evcb3hϓo-^'R+ ~\ ,C;"ش…'vyD^H{QIo|QFEZ?;$UHb'J+#u~ C^jƓ5iQ4 7Ysf}HL*U Mj!u,'bF['(S8Rl^5ӕ ެ%nYQACXp} 60iNb/u*/0d F;IT iVl2^Abg=Bѫ3okͱSW Kv#) @j7K}Qiå @ffv,~hάɨRJZWwOE+|_I@G#Xm.8$VH )=Qz gJ&R:poW Xؾ.d }[y?>F uȌ,&L=` -To}z}wܴd`W:lJ%䯶6ݳSj۲FAѾppZRY,#idZJU]nQN~N謙0+B/u2",吘 p:*Dr튍 эgjOt4٢U R &6Uc%yLj\5ꄟÿYYfE~]{MʂK! ToMyckZ'5Ua㕋]j^*!1=ҭ`AtZ;OXJn^#dJ›3u$*%kЮ+:%w+,XC,BT׭}r풶Oڶ̺ X8|Ss9bF^=)}9PdGlSXd^lj|\fiz,m #ŌNϜmDK̂\Au( (ql+D)rX=9VkB&׫w"/aW{؋Y!~l8sǞ#Ųf]0m L,vVQ LkbB 5z?wMkN`Vcv]۽#*xgkHL/{-=#1VtL%QQ@"VWS@&7T2mj89pKZ:F8^0Ϙ a< k*)lr[&]xj6@֍g:D,DM_~× [~cg ɗCwyB;r@I deTtLp4[BsIltҎޛ!ެ,_9^jx'_Qϱ Zo<@?;uq=SFRG1CMaRrȖ=׭_ގn]13(& HR8 F /$βBuJ#Ђd-43>q7?cr M$f[msfCvfɳp_AwB},x)SB~z3xu?E[NDg3q'6c6VIﭱg?N[N[IR_-rL#mq!u( =!"7 c,.*ݡ|hcywv|c˥*ĄߌۈX=KhVA]9 R^-H.Ó̫\p6ڀ] G$ne5bKsO%:͊ tp^eǔHdhtNvv/0=3НQ1ө%%*m$spmDz*6UԣGZ{*O; L^A;!MҲuwE}EI]r5jL|RT\oQ?eA$NGHeUϊJ!hť\;h6J&h7vCën1}֕Bn n!XS"Mӭ*Jndy<_sӾ(%oR1R}y{bZTyT/L嚔sr)_ODWgQ\ThokղXH|mHɄ:_hY|vڎҋ"K)Q1"R_år'jPELw(TƮ8eQz7VX⢉n\-zty8]{Q0KbX5|BFIZ£=eKG}xC>aiBФ3^╟qa䐲 VhC~ ϽPDwjj!X?g~t/21[\п#C.7^1!ӠN&ψNOjGH9GQfs;29tÒ$WfχKſ6!θjk `&:l YCI_#W_Jdv(̎\tf4G (]R]+ 6'~>-Z8>p>zQ>hZd@p1}H&¥_`T) mnpwDt+=EH:kӆ ua!嶱m_-Ӕ^e u!#@g|>ͪ8}ıнG# LRyܢo?ؤROgX'YGt&/K}]p8j]X")Ovwd!|)#xZ]5)087;A\ +cJ}l*,inM2e!=!3SSX~@fК&ɎyKS5Vt P 5XJXzLHZ&S:tw- qӝ_Ko4DJO_'F\{ ĺ;S|.wE utO8Zw* f{l GS[>,]oc3X+7+T.`{RߵU)T>kYJ&[>ZeVC]@hՙlT\3bL4\==HS Nɲ qYg{$IPK59ɯqH~kGqo.Cϧb 7pN8wqeY'VhPD s!2 %:[}V{]8Z{CU"F$IGx&$pmrΧQ [׬B*}dfzQ"+a4'r?<ݵ h8z;1 +^/,Sp?|O|0˃FHmvriv%Vdct!M+0xI{dK kntLTgZS`]kues|i-[ qY̺T{ Vp3ڭ #)#UUIj)d'vIbmB,7KStz~Kq/0?í "To Khz诿0toDόt@6_;ågȹK&(ip] A=BU.xLqƼB_ GoON3 'EgVYS! խWW"{h0d2:'aXUCOL6ƆLT=yXrRMm nIC=NJ!q( o?E/_LkE%}G-`x1%ĿmFG['"]dXRWV@E:DntHDv; }BbrĶrA8<=2?mV# EVh N+-U E@ڎäBԭTTy4vFsZ&MEߔ-*e2z X2В4掼`*.hwcyܩ_x:x* 9l]}4~`INQG#@ OOG L3x.)akgOipnK/b2a0` PO̒+1ﵸRz=c@|P9,/h`*%2 5h#,V5|v7 '6&R^3_C4£GP7B3Q8(FIwA,VNGzvLɇGԷ&rӊ9#dny]{f◭E6Ʌq~6"ML:syr1]_ PX7mMcLT +ԈrH,5f,gH5>IJY\ѵ0]' 5JNT7'$tkÆB#m"kʻn('=Xz|OFGBMAi^<]wV`^K lL *"<3&@̠wQ7%u&3{yxwA2&P1*}"ޮ cҧYbFTnJTdEč]R&1~soU{Ѧ88Ě E9H^c* d-Rd0n0bpuZcPJflncg"K<'Ds]2Ǎo_/Żt9oD-@*Mp$ێ9π;,Rx dC -;;)8S=`PQi| u?B4u*