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 /\d\ ]S]Deep_Learning_Lib:threads=2elapsed=181.086cpu=323.024gc=24.736factor=1.787zXZִF! h]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻4U9_ɣȓ5O']&Qo4ݭ=rkT`Z929/hRޖ 4]tGfrI=xj͜Lb.\-ZʯF+ a1MmڱyGdE wM*AJ[͇QPnscT8%zKcܘLj޼@UD8!48F[wM2|1y^oqL~Ds(1Z"[e꿓kd Oeix5{h)Zp厢MY$Qh{A>wX%'W@lm 7o_2,H]NA ʯ!ݼs:oJZAeY ??bhhмGQ{kI<-M jene*!F>DjGӋҭLT|3MܤRJX454dɊAg.:7lgۨNZX+1S5nZm1ChL,7fS&S{ؼ= |SK9p,*CA`nQӻqH6ΐ{[3Ι5q?~>1y6%y%6D@DbBGds<K}s+ew-6, HWsP]'=*N )FSWTQ1 K/A=lqNs[b@3N DI+UUϱTnJ[(S:Zhci%$"/OBedcQ4MᳮP}1V('=U[kh'~ Γg<p~$$Z%1>R ]N$ADBN{9%'Qo}H3f|8nq4KB\fFũNE@qi +<_erԙ*?bFj մρޤB1ft=x s_>6努6ҲN=NKf=f $q4ԩfj)i5=Q7c1Cf9jGvo6ngMy92w=YU1'[+oU )~1av^$0vREJs%eDv*]˟iePI>S=6[rr#(2OY]㣃MV|ko7M̈́l\&Ppe**АolNFw)lxsXǰQզT1.\{i7#@NqH?:apdtyOxˬi,d\9&Y:kO>TBi𨯰Źq11DvN6<vO,-sX)YM<2CV `޷N䓨 wISk+EVgj$3M<(=7z  %uSd#xI, l$/!ȘupWJPK& *9E\g2-iw6 /v z'N545unict~i֏z %>̹A$3|50<=KP:|uſH0&*y2: wl9DBey2Ə>TCP dʒX@VLF8 ˰+$Ш4?7pfik6Ƥ^fݤWׁ􍇠]-(4 $. @ / Deep_Learning_LibAJP2aJYxGU⾋jEJN vbЮC7q.T-LbM _inZΛ<(. v5sK"aU%/wn?K R#ߕ3#hFTS^>iR$tOi"R%v&Uw) vnqHLWZƜ|녷Բ5ӣzJHǡ13 <.7">(:1lf+RyB9I{,U zH{i5go)\' #݁B-'2yKΥje.+&ģۙWeBRnAdv)&ݹwE5 {o?vPCuOgKU3VD6 %@S!$}R l#s_|' V*4!s)%``{'6Rqp(/%GrA.-\nZ(np lA9]0-Nb|N)Av?Qܢ/.s#NA]v\` hR:,`6T%jXoG $Oaxxy^Od9s < `)IY7oqs쾱XLfaqOhR-R-QNc#_IV77Li4CƣBOG>M5Vd~.ƙOΗe)q~`fM0?-h|6=-߼T,B^DJb."jICvLܘ%fj@ w4 ~|X{7 ꇶJlp-IkMXs-tz兘ʠ jZzr0`Fx q~{Il4 pX%Qܧ1g o=VvM1(] žݽA Jěje1G0O)V)Pmjnc ˓8@6S\.&_#BO+ Cu^ȁ*c?5)p"]b >,߭pu֜f679ήAU+A&@luh%Vi *a3q&R]I{GϩŴ*8Y]=F2{wn`f9f}KR ;QiIfا7lKzU}}Fn9+M+qSuE>]súٶ??8ɶsl Wb!,yߗUna$&daՉC&4zZIZ,to1OLJ /.aVksp|UCB"YP ۷oMd"BIB:.¦[ Q1jd|-:8⌠x*yXB`_^Y%NX*.nwG7bdf,h~j=}lG`㪕Rb#l3hQ"]!(R՚g@ƢDj9aQgYZ7zXZִF! )]ŗXiɟ1˦r!W!4CČ*OG\+( Ҋdh$;K 69{SMrzIƗ5K0C .FJ|ԖMe֑(oZ, ho.Mzr4EgBaq}y~FH8M :|M90!2FT.WtHТf8ƅCWRo4`:|wH@"XpAgh8g0e[PѭQx g'u{; X9⋲z%GkyEK -~zߤQH3!4!vmʹgb )>"k pnK{֬iБY '6 }aʇURz"3YA#NC, 2r?kq<ߑ4@l)E}̀.=j;BVCl(/lpR/98+NU 蘋;f:ѼR2WY`:.9 zqj2YKHofPiZ `(`5'A LJY@y¥D\i<R]V|k:'KcQ˺HO+cs C.d@=}Q_v?UeqYE,B/f^ia>%%f;AP# -zH?RR^= uv0e{@%C AiG4{Q+(u>Z\ 1';Ec4BlG?E8詾,K|W VtX+Ѷ,~= w>Ԡu.<.yUS@5z|ݻ}HngjB!? n-Xj1xN"H֫3^hEw}٥y{]/-6* ozQ,h,%rk Eϰ&])"[yf;j-QKj$/,Jq cVeCTU"_‘S襂"&+,;YOEIͺE\yGQR]檝G3 :`m2A£ihCRBD.}zF:A|C ''iLTƨg#eS^e/‚׋$RjL|a- 4%*^qf7Da;J1^4"Kzf25RaX$3!n~2Ī_<_Cn&k*L0|~+M:Ӿ̫m0.uӾgHnCѣiP>{ŏ액qm+NK|r0 WKsՒb÷~PJqfRX,ycOBsA Zrg$Nqheh ~RGɎ+dSZ#ω4|ŧ~<ګTY"M߉Zh-"+h[ ! Fۼ ;U[$[JAqi HcPjYeHscNu 3O)nNqj6Yhi Mn_Q1JǏ K o w*o|)}cѤWWA ozpıJ I`x{tӻUԵ~2MWĕclʽa2ӣ]^#*ʘE[|F ̈́d@Sm;G+#}Xqx!`S%HO9OϱN۰z%x_V/`HҼNQ5 w˛x- _>O7;S<~|)Q!GRjM/!sYi fOӾU7N K )0Ls?t(ʻ?gfu.6SG9bfB+']w,sNޔ9qwHlS0;-HbdYј)f TƐdð=ߜ^˛*|ルJg )(ʴykw̽G~ZWu/͠8{)|%iNO q', u%Q?6r IJ8=Y@jre!0K$~rch)GS[R{_  A QSٗmN(tԗxՔqnq}`<(e9;P~ⷎ449 xG_mKP,Wι`ТT*To, ,1QFɥzFD^|}囂ڢKLKU~~PE ^_g BqV0^dTdȊt/ yԁ >b\vIeuϻMLdd?kW]J(?V|Qy73]5bU54.(fftVhصZJFnSylo܂/Y(#{СlkǹN" S-+1ȵ9O8?k v"ϧ.O3 QB$[)F9kzGBG9#-ye]#P??k/Y-/ekV H94.\;AǕo453L+ Rsr"xx-0Ov2$M>0rF͑^k2T`QIUM7ȶ R{&lq&CKF! x߹MdoLfFg QB^hVM=$lXFu kL{> nE:-/`Z~uPtl%$y|3ϭ}+FXW hڗR!Җh;N7 5 iHYw?8U?Ja- Д:NzDIe=ϲl@&@|Ӄof'ˋhck5wT*=ȇyK6Nyٞk9늧PwMGEOGH|5 mX\o)O+ܞ/KR>0.c7U ])~栯W+du4 b&2uZs{hJkAemIۡg9N4Oij3Gt= J9nAu#W|fs+!7!罬u.YW}]|OTCڔҬbnyGd"YG=\F|P!tztBơLam~uGȥo ^^ܞv̮Rf°LdpiQ0;{ew)iYM/gYy /D*f>"bBSc?BC%e q]8s2I΂3YSnoPbwş3TVZ+:&?FfgK$ڄ x7m{Ǜy.ĭ&P NFj\ꌏ6^p@: '!nADZ:0or0VqvfBI9^߿Ȃ")Ug] (x_/ѯWfzƴ;uofboD-JC Ϝ0-M+3ɁitI`SRc wQV=Y׉]4QCGcb|O lBZrS!\҄}O޵zo M[DaG{KSJ(.\{(E>+]C#E`>pg G)>]!NݣWXf" .kc6䷥P?$  v~!֎R ]!DLņ!$pԙn:&4%ըencDN4=]rO Yp x GPȦq?4A* bjnVK : 3(IZv@ ޮY}M1d/*MA+߆ Sw>p@& "U b3G1*dx@QPnL4.K+5t7QHV cMÍJ s6I~s،V>8$QuN+,'s>3b߯4L㔝teum4&^V[}*iBz2|o@R/s_:ʠw_NVz;QaӮy$T%Hگ<%-gАKU;txl7GɎV/\Gu4{6o.Rh92͘xZxXaSJtVjfMY SGFEB:/s xsYt.gvqy7>U%H5#u9.T!w~c⠪Q0 1AL}@cP^{SvkiAiDz䍩HNϢp0JH=7+ޡ|nZn>Z\)s佪Tu  ETJ:S:lq/-[,Q* d|7=pW iKVcL(Ay~79 2J2ufA}~w1 t./rkv.<+bN;.4>;^4C,$LBAEh8Y$yoUSyZ 1Z/.Ce"V罦RFSoFH).Yw8be1cfZ1Ȳ+{;,K7\SLuz74=7(VicM1ZT}SO3.c:6#|< v($Nlhv?@w/IJoM1+64?Yhna67R)w,c : ~CɗFJw#!BUZYLlpP':@BR7EYZ,y+69PB';mb/KXۏ M )DBnGbBfvĽ0 Iix9|.V`^s rFɨ7E FiW,>0{<`QP]r.a9U*zG.< d+a@Ű| }x% )fI+$GylwB\psbo](_[TGt`C(]^Cg^j[Dk,"6 @_6l7D2t'Kaw> m@[UJI@%R&E7mPY=8A UY,RBjh&VFax&MM<0vHVno%Z7 :C'4D ר|{*ciѪ&y~Źz,Iⴳ9r21楥C˄F9 s G ;UhXfv\7)uN{z8NH kϐ_۞_~0HQMj#{tZ@ERg܂iv}^A_Msʣ.xQ0iVq]c-IaMUgQM>ٿڣk:ۭ^mD(`eLmdERlʍ.KOF4ّW킚OJhPMK[no'q3G4; {LAKk/ey ,ޭȗ\qrM Y=9% | wkf=~RIunV` D #c6wɳ,%_6 sJ/kJL3R,aSEvzpd{ OJQ?fǙz0;Ę}e]_5o՛s~EV;Ӯ޸?2pCםaf3T"t 39Ձ%&/-I!VU\>Iv;cS!7ƚa0x♒٦j sťKL3,lz~ mLa` 47TR)P^2Az:T.FZ9~6Dېϓ| ; R`ށMT|- T& }!onrK? +zTZxf:,990Pf/"E0HOYF;թR]1"tI{[yuR5 ntrpSɔk=3MǦX&K&ٝg£`Kw'TL2ޡ4sF{ V6mNEV4ut'Ț(5݊M0S=,,5a ?|G\ıxR*l4aL޸Ƥ#[уKW3/,:C$9Ew07SA CŌt4+B1Fbʫ2쀭{ t!7VìF:ԮOUHCn~,FTIԣn0}X0T=TEJ.3C PБ6r%X;[ʯr[a~$; ! vZ[!qfVPJ(]r´@U5,)N1&E@Uo*]kzxn1'vܧg#٤thR$zVj4QP(LKC<Iߖwf!ٚ}SA#j,{pY4r&KVNjTz ְŀf flN'O+O נQ?X8M('Pc6KqQ5WțtMփ~jڪ~颉tf^粿06>xeCPWcfH^'X8;;h Sye&EJ:wp9|<j??K;4(iǁT0CӴAJ˟]Sfͼo,&SG~OvRlY8J42/D BG:k L UX@c|#PPckHEF:XgP nO⚍aW7L$h¬حڕ^V_}۩4 M*=U\n?:xi&Ctf5>쟗cTEb;5n:9DU(x \.9-տߏCܯK+~2uK)7#H>1'I6B5dTEuћP[FȸEMJT﯊5i_BD&[r+̿zoAtk0=s7Zط9rg+2 ~yWe!gru.o kwI9AմG ߊgYZ81cb4292164d15bb59619d40d23c33d536803a6c79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 46924ae7fdf2d3b6dfe0db46173b9c412365c8f6 b6fab83d44fbd50133ed1478e9491fefa6c65b6d050e41e4d22ea6bd7b62c757b1518bc7dc3aba62