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  e/t ]w]Deep_Learning_Lib:threads=2elapsed=163.516cpu=288.920gc=12.568factor=1.777zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ34zOhάadV3 ͸K8wEYXׇo#u[*[9-#hаlxᴻ۞t0Q`Lj^7Л$ Bֺw_V-5P6(k- Sٵ ظ7zcuޕHkRS Dx|a-L;w%knj"CC%<]#5_d'=;ƯNT<8{&]+zjCE[vc#zk1<9x21 :N4՛jQ-pUUnx. -UmHVôHBa?ϡ0嘉],o2xλ7oh[KG$ɼU_Ji%i iZEg۬rɓlk%;p&'CWj}@&b΁Ur@zו⬗}7Uɽnm.of|>WU7TƀCWe#J~dy{uo52HU4ʴU8'Җ{$-;Ml7X"^sOUON+&g+>\[ZUuqV^Yㄻ%-j+X v3W*l1#@V¬f* P@xJ1[ɻ |i&q0{UW}j n9n66P:[@ f4BBސ 2 qfFkmGKeo:E2"ͻRg}HD0PemGhh / Deep_Learning_LibR%/ͦS@{6d)#>*_p Iy  ]xӻ*r(ajV XKϐF0h9r- v*([ջ1xJ{=4s osOF4,oGN6rBI wdRwD_4L&EJM$Hox+m)T͍<7K0#"Wwm=xmI6υ.l\s1&s-;L˹pjmyu+.>Wn/|1Dw+ߚ*eNNJzJPn[= ˉL@*S"fxW1𴾳ipǨ&;"[+.>Y߀n]paijln)~3'9Xl1-f0;$rסp ;rflm.͈4T=SҾn+d[Ӿ >V:a#`j3y%޲U3laEloΖA Ʒvd#|ʩ"849?0 ]r*@J]D_ UC*/b_}&!o5=Mo{:$`-cCH.ralUNp([iTV+,crMCDjM)f,ɰW+PIrG DVpRIPU4!NS#a𣅅Nl.?i`J"`|D.VL@D4x#zJsէֹƘs5zDdGz v#^._a 1meru}R¢mEpjHU!(/1eذIyw0YB˟'Z\)P$9oaX!m X Wc!wpͪ/Be hy&GmNkB,Az`ɋЬyF>m*, hKe%d IĠ@ʘYO ![yԬr,0k7 (M{._Y+\]7q/svc1>_oDeB-.jwWԍ;Ta#|Bpak[z`{slsXjJڋeJ" 6| Kye] S򻑒|, m .[A[ [8J\X1(B%v- RNU Bs>={NloÄ_; 5`!zETPˤ=hsP -XaX=d/68LI O5YjYKQ^[AK!"]plS!Gqޚn8-m y]s2gҁYLSJ JP(Ma#cO3,mwq(G/x~nI ^%q@pr@Y?' p:yrZ9͜B:/}^@үݹ/Ũ^XusalS6}|cF&~ocSC5?{i;} ?~^(iRʰq~>ӵ 3˯,nsrkc+e2\oZP[;U$]wxmgEG<Ē?:O6GҮkaN$ՠz!JM^2ugBoW`)b]ֆ.RQ`.NP,x[wb=q|#gB<>k)o~yN6|{&fm~o ѭ;;fYK*Ca,B㟩#T N$dz=4ZC*جɻl/xWX#S0|4E*i\^Ħ\v5RvY1 ޢI"PR;ȝ_|#3KU!ab!C9Rč H2DX2CEYSweUP̶FX Vo>/kLℑt4ʣ)w͌2~Vj4KbQ ^ {31D#VhQJiSCR֜Yc90B(I%\V i7D4{7,Q /4x$ tK*BB n f,^ZO"{KܯPσmB$aHss}[24Hz 0ه( 38R:Wɷ'Ii$KTO]Gxqj1RRٚŕ[j 7hT'ٌt q^:&>Fj omKDyzH0v%l+u'pr'$yt)]JSZoi7m*~f@YJ6n_8x{kigO6XlsQ4s|ysֳ1qvmMla7qޡ˧@](\:pq>BS86c-PZ~sP)$`=p{b^׬yk/|j"\SRsl+X->}#}5Q\hpL)8g3>X%PHn1.&A0TG)iuȅ_GLBbTECK?H"9wg}q]$,˜z ]b%h,4~}(vJcLr`ևӧv(Qg[̀v=7x /CN%k'gh ퟿}QOg:`DϺػr\[]\ ®,2HuS㰛I/0oK#o.ܙ Jwlfyv^6`6Lc P[ rٴJjnӲwj5*jV{*!3x/4ɺ}@Ϛ$߸ix=3'W~$~ɟ|C nĚc Of@7ucמl&պ90& ciTđ*e,ܫCcEW/Y%q5Ԑj?kk{VF:e|WPP$BBMMq3l[D6a#/O&ٷ΀I0[:j"XTހطgn#;(<[L` "PK1g"] j-!פx ,fzuNcP)[|pmDH|-Ͷ[)GKđgP@t9YDtT#;{349 iUW񏿯@80oJ5Rc5'yљ@!EKcCdzpzSw /lO|Dߞ@" \8"PDry|ؼ*70NmXR־A` ] 4&_n;]{X~Lx|_BoF2y OsU ?RJX zzYޫpkD5poH]ەq1(IJ!  H*:[jba2@z)k1; \mh; V/(2Cm &V ۡŸ|a1 eohD;9֦7`ܕn/,B+ N`0D,?pT=vյdo kwGxlW6ϩ4by,X>Vv|D'wUR?T3-',IڴgIzV-*Yt|b77cvtb1 C#B7{"JUPG~++uչ)+q`O,W5U3 I;ZMwG'=%B{ؽ1q]X F8ignb.k & qqAuxE+6G blh Յf435uV&4y?Y'zo\Sh54J=Dw)f\hwER v;MOV7FY8O;[cl,ʓI3C "B;N;q73t-Uo[O]Dpj/IwC<όQjPBի8fnZ\d>jy7AJA #b]5c,!ކ Y1$Um_e=$CBWm<}xr o8HaQժ69+V(^*,`?W$hz`)jMʡuQi3 >Ӧx`c("0󁔪7p[OlGn@yeFRU*i8?rk`Z,H/2O vm63kwoOEHYZNoԟIG"w^%KS%Nb36p/;xcN6Fģv"N=_9Hn<jQ@ԝ}EK2eĿ=L[ ] '2r.bT3ٝD$Xu:Ħ ی=^ W;(h1$;ԚEoؚ {0p{KVG``*ԝ,F?-6`f>Ch-!DXt(Cɬ p}q".uDuF(dž %0Níb$v}҃*YR7h-qgp3#yh *I)LpHnx6 Nu&x /-i@k"{4:6Pl>DՁM (<5#}N,yAߡ&H N J*}kd~rߐ4w8_G!+|ׯbͼF-c@bk5͊kgf(ƳZ6 %M@ѳVw&̿Ε9 5%z@皕~MaO tT8Wxl2owqgeg!<.L|@8t=3wѐy:=n/KAr~! H/J!Vw큧[}$>ʮm9'7j~|t b[Q-IEؖD҈ҩ4vDA_;zS$uz>6Q)Uur-g>f0ώnL%C5]+6%hݏÆHz mgXs0!=~/j0bsQz&łU@ -UeZ AݔLƓ˔%E}HbiN}A }o"\de/ ;V$aYzaX<5<Mc-~ Wš,JP {jKcSkfGvɨ%cdK<+r6͍N&trzpH! 6B/)>Ц:"]j)fp&+K٣ U35ixYhg =+APnA %C3\&ɝjkTxwCN,U0&8[R4LБxRksb$0{7iCݼѕW ^63>Z0L}f4AaoqY!) 0c}T|jߢ-tTgR ;C:$S;R?sqˢfuPds>TcQͣp|-S۱o뙷(4҉ 򔅟b9&LS*029Fxb<-+4)M [T_fqhT+}eΟfO.ˏZ  ]@v,mgW#>/{SP;ĖWF/ a,Tݍ1ed`M|hH'W>XIVb8w|KwJTU3 H0zb5*N(^-_ߤI/M\0B|~'Jw5 =2UF4R{ΠL @N򓼊,J %Є,#;cKoX!C ^"T-";rc,1E%-#!ȮBWx/$ҺKԨ-ՕBҍsJIw|sƦ!-z1DQ1k)ei4 hӬvfǼӲCw{5u=p26tF~n hːVOug&zDƱhFA_,y/d9 [h6a%.5?N>De;x|>+N ]% ~/YGKԆ"zhhB@Jn)~Fg=MsG,D2N[hA6;6bSz1 !8Lpje+c`xU>h (t7pgMSH%q+P3b=qQɑ!BuA1j a)}[#'|t =&P mҼ iMjGmJͿki2a;UqtjɄ'85KrVw.8tr&.ojrƟC9c';UnD.3z'#vOǴQϣ.5fi.fs`>AkF\Q iZő2[mgt4UK_1Vp3' VL­=Χ.h*R9x<<8|-&gMw Tg,zg"*L@|%;(1e69G$GQTv&\7mnSC*#܇W`'#0ߗ9{U CcqI6Q{w84\ÝXT4NU=r[݆w{yҦ#C ܉gYZ3089e3feca0db4e17de13a00f1944a028038f3dde3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 50dae0a1e57500b43a88785cc6cc74498158411e d0e1d955a726151afa27f2b08ce6ac9b935ae1b35c741327cd234ab70e535ca72b3e5c5084f1a022