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 @@-/d44 ]S]Deep_Learning_Lib:threads=2elapsed=171.065cpu=304.332gc=16.560factor=1.787zXZִF! ]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zYΊ|24;R hL&1tHғ򐚕TPy푯>P|ND.K#b. g1BB&:+YDR.ϼ3ىchwOYAغxjCTŒZ0RR I{? zRZ dORl SIo'lL6շ%KmXI>jX?2g>5 퍷9A|ęE¬T`\z,hDmQ9^6 D\# q=,D)M }+9VXH"0HmT_`HKq@O\::Wa%MuE]zj. cmvZݞ[ψ] <ᏳfTZIT$L@. >p℻ELtډܳ+O}~%qf }&٫1#h/5nžˁ"ߐg|J r; >є8L~?7Xw+4L-=gX6qG5b) 6{p?ZqŐۘ(2X/557sy[Ԅ?/SH0=0` vg?uNjt,w_El/}9bhE6m`Gۺesp*zd-z1r«؅ iiJ6~ Sn:/kK/D;P5uwE]KiV-6R&daGj7 g;z]+Z lĐĊѧw >k}B6(X&+IL_t 3isBg3i B :Hѱ%@εⵈi#V}/c`J׀tY*i^`c_d_<a#d$[/~:%X:1-T,~dc!GO 8O5.W-\ wPs0_)gR1bC' q y[.xJ6g>in)vr6[ x-623xP.ɦ trM\/+ez| <3,ANOs1_Ù?q{ǁ\~CGo C{G;>,kw_p3T ܕ1ME`tl`Pv)Fv?St'EG uEK={(UqD+ZKUaVWilk_Z(ÐyZ!A 6?U8STG! d"-)G3~/y-_`Jc=/鮚pgU%9ʄh!6yWuyGCV^$'$ﹹVu|NZ1L_DZLRD?r*?FFJ;\UD# My7G ȱ>2V|ZcF1Ihk,WCuCPh st=n!?q䱯fU'˷ ysOVu7iv̙ye6%x2D'zL3<]xIT5qq& xEbv_@5;HIؗI) / Deep_Learning_Lib:Iom4Pz{:ޤc^͐(lI6?],DՑf-V9 Z;r]Hr5Jn`RQ䢱!)䞱-.ȳ..2G?k5?|W$PO]dڻ`F&^c^Llm.cïC~⅗n+5kKA0v"A7u7Y:KvX-[~L ㆣ7zZbZ?ôёO# 8RVWp ;܍S ڂ'EreH>Gl9>* cvC6c{tNB?ؗ wQ@=`\yYܗ(Ywe udZ8ߵH6G_ϸˬ1Et8!ACVпEzw 2pgCmݑ=`[b1ŕ*AfRܿ$<m?/r]Us :h8e)6JcŪ:٣[jŧs%JPsO =˜RJbENQt޴!5QL5ČЦMf֜X}at9C;2Yn-_4j?b1Uʆ=T^9;>#A<9$w̟1Pi~SsƿV+@DI]*:a9R^cVj б]9챺#FO~z[P ʻdъ$;H (B'J)n: Wc =ҙOR4?PGvp@; ƽ?fƬ l`.NWށE듌2m=,zOlN"Pߏ*eH˪s(Sh@%@\ޑU 7RTQU|l1ޤd&|f}F5YiwY!:n5otܜdEdE.DεϒW!n/1}>@BI0ݱeQI.U &XfiʫKNarS=kC- xdwFEkݍKG\\&¿]+km{+bSsmhJ}j lZ~?Q33 F 4;X8`!L"nh3<9\"zC@UօM#j+̵n?1Lu]Ϳ 8,V!oIsvSUx#ꔙE-掅D$lY;}xqn(PN+#[:A C>r lAFr5/;ҺvŽQatlyF@h.!C!"#WK#<,߱gYZ7zXZִF! Q]ŗXiɟ1˦r!W!4CČ*OG\+&wO/@8q5ḌRͨf$8$câ'NLUr<͏%w. v%U K̷?b\Ȧ_[D]ED/襃u Ƽ!Rnk acd,&ZH[b1TD8cv{^5:e. 0h;g.C(w4z"V7%_2mq /ua6oʙIzm'ǾЌ0FqyNj^[F`C[8讳Jb"I6tAKӸpYn}EY-یͣ>:Y|@.xL@7 g(̕8g5r\iNpli8veI@HRS> 9gYZ7zXZִF! ?"]ŗXi%8tbNrRR靻G ]C?_܍uil_V Pl70};鉻 ӝv(Teדa[pw{SYjX5eƹf5swo,ׄa sn]Kbi ?7Vk@Z j<>{%_K_֕,6WrqW++oz\g09n3XM!aD+>EMfbr4n{ ݇kj']WYnP|1 |ҏ7{vw^ Ru8=>3fhYVI`)d@_@ .Kig)Q}>cXƸ5\Y~,F=^V𚨷4nl2Ӿ4\E\$[|v|_Aҵf[N:̉FuZ0228 {H0>W /&Kqly{f36WKw6Tvzt!/dېT݇3=ElAldcW&4~wU2Odu\`U;4WW5Slwh]@( M&H inL}t#r 7pYpV/mcg֠ڡk}|# 8 ?( h,td+gmQd` @,,Uo;\*JZj҇\Crܐ|2>7#AzGW?]TM %G Y`֎Hc Ǣ7*#`2yRW.=2t4N]k]=F }ީ4y9#RX euICIŠWPMP-U2:!ؗl8-e ::iuz$ k9J]ש_C.ՠo?T- ̖kX9 )+1Fe \E͟I轿3|`1B+Aס̄wV_N3SLQԌwXe<Юwf[ RnfV]{VY(aŚ,=Z3 aZuc!ksdp-P,/7͞_~4]kU݈VͶ&}sA ɶ%QrDNK Wiz(OȉS8`@0[Cߥ\-6z/7:ba:%A3.q_/JlrR|[x&|? U``ꅉ(tl䎞 ؜eAT d.~ֺ3θQx ,,nTb%=S3}>u77uig>ӛ5a͔ė%T,hqz8AδACb~85VLG'IG/p!F !–6[A]/rG+AmA`K'?+$|hܺ06t)dp$!Zi ƒ:8 [WGXsɉzKH^f" o)GViԕ暲W ﹇؊=iֱ͚и[D]z`Pճu 0X.dgnj>9 $WS%{_FD&dO- +V&yج, 晕ffVN%]7s]j1.qV,؅ DwV=78iN"?^ o?Ľkc+0S_0zYNr[}X&~E6G -Kld gvtWc!?ah8dr<\uΏ(wp艒E|7/(+:Ӗ42[Q6MqI9I/!% RBGus'MƗ]?$=vdsY_Ŷv؁&Pݿ 0grPGZR|:~-.Gi Hrѧs;&O~i8wܪ JsZ;t4AMrA]JQ<qᾘ&*X\ Nٹ写3㋡fv3󌂼^(eSAzmyb훳L FF>an4P\Tc!$WOO_OhpuҒ)6)8`\ӧt\ \@N1pڗE7`[cAj}ČO9$PJ^aٴwԫ J9ӄZyGTkg%s %S Ih4} ED4)cDq嚯kd e)8 +?vfvU2Qa۱ Ag]g^. b9ʟZ{&8"$P) *~OP]IX=zjzqo|ZC7+y^MWk-vH*_6|eݮZF`e/C)-<V+6G[(䓁Qcǫ6dE'r/rԙs|Yx8rͲEkYe Ag o!r:mDU,w,HIԀb|cW$2"]z;}~B593N5![kGaa8T^]H<8z]/$ Fh[G[1FX 70W;]u6BlqPңd9_-{z r4$Zh(I~/ gzV-H)P1ŻdŨU6Qsh[h]v?  WGgn&6# XLUQ~wV ]eȪ2Z~I0YDvy_ (?VZ];Vb(p_7Xq7MF@?Q]b5mA !Rܑ!9}S5tP1槕pkj- *I0e̓aK6lJZ)7[o.:ކgLߙ4RhX)2lxpVj\IFiAdK.`+X]Yك}Pl+fElvJ`sw}@/8^i"i"z;!8>~a^Κ&txiRS!4mm0r/|S/d+pi$=8brvMf%XCy y,,B| F>eQEB C#%4#8Vr8w:x{j CivoPO^Hcbbmr`֍74QidJix*VmK^@0e6h҇:~Ot|W 5A307ITh(quu=M>4>Av.WjdG}c4Yyf?<Gp3B`%~*&{yXM VClQ0LRh̹RwV\q%/0?ƭoS*@דe >={$P ]KEU&=pab0P= 1RanmI"tZ`*pg@UZ#kPҊ (v-e/nuPIݳjWyH+:ۈY~No50 x4g!pf(tfܓ҃~}5 ߶2+'nq ;yn1Z(g|: I 3aS> -adͫ}!hr~ Sr^|O/^D$ɸ!\y*%/[%e7I1Cv`/ɎFGրo]:)z2"3OkL6?R5GnOEvR( qHo ?Nf86n $3J.DZ?kі݊>Y:5swf6Q( 3%i*+e3e %2Tʳ 6=iDNWDXm Cd.,3wEPoR/^W,̂G{^gYL@Z3u WTW:pzX@A}/ǚ@^#VLKU40$3K)Z%M)rA_ghp{09x _ E9n ua!ڽ+ ʒ5<"aS~}7įx<5H^(г]xaɌ0 \\yR1Zqq*' S_W>McɧHJ$a2?fGΦZ È>V@1X$dQu.:/Bcs9Ǡf澵'BMԠq=|>%lsG@B_Q|TV65=qƝIx+ Y 5.A[XhAݎ(UռMbEK6g9tGc KUXm96̚^qO!D5xdQ/ r:|-^r 㘑h6̈S&xbȅb!O#$^veejD:-f),`kwCp-VVRGUȜ_ѷ>)y{?+3#C }tS(;5`mvDJ#+BqǔUDki0OGd± _E >5W RK`ZN [3|lY:puHy UJK;/}:,NEqɪߪ(*E77Զ#0fEȶ=$Xv|=4Y霠yJX[[[et(㷗nz%@ o%`bxV6ꄱ$DH M94&=~yF,Phտ d<&}tcf\NR߳Dht օPebi[ݑ2Ob7hc)YCG< cՔa@iO;oQ9' U gОWVq[yf-UYP[y-ԽQC"jSžЩF=d^lЌIHpDz Z }X{ʡzw'MzPp,*Fd?_l.o?%D-*::}`fYZrUI] ;//8FqBR-A'ܫr&O)VQ>4 1clwl ʵzo`3Ьܝ$2ו,E{`V{46Q8Z}5{A+#Z Ys:`Mu(pT>hE 6oWvWohD2ꪠ6|#(O)vElmE$ThvH%vXL*+I%d0‡KWu$qƎ&UuE8"͌gw{]7gM^MʓQwOKzbi.tuҧ,I}LKq*_ҞdeT.nI Ol;;_Ԋ d"`X6R2 #L; `˹.atҦw C8t58X}\ApQ4c7 zRN;nOF?57j92C[zykfP*6RaU&r}AP)qWKUU;uM(7{~SH ΥUb fGE1J0pU#÷# 65r&H0x@GXᶓ#3y8E5i#W/daUbQS*zIrqhWiFRe%`8'9יtnefːY’ל5v~h.c&יַ;iHŜ_Ak))=$ބ/zҹfNs!+t60*N+YȢ";9Cz<^հ>C?q4Mf!y\{@N,I:L~qVVajMv"&L S/Y'F7"1x5Z~+9VQtq?IKS+v`%2[ &fLcJqܯa&a>o! |w؂/rX iFFw֋L9?9DQXG[?#E 6 3VHn疯+F};iU`^YD Y%5m}L(" e֮N-sg^RJK/7.ߣh0K-=jz}45c^X!XVrwU=6viޝ&sA݊[矾Zx7'3b)4WI//U}(G~,Oeu֙$ܚSuBJ=ef8#O7μX8,oY+i Zq׶fÍw ,0X_ Jhuc/k=6@ / [I2<-GirHa gu]TT 7|E=OcUiy1bX nqN2n?Mg}IICJs?")t ƇԚӊ5jwݣO$Qbm.i3d̼b&mx=V`W"uu"