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 PP/14aUV#/|) jUe!HpcxQ:AbtjE&zYdH^c(Xfاpۍ֏7f?ٳu| oʈȒm!L!i1\o8'-b׬KU`ԆUh΀=<̾Ƣ*<NRӋ㾁}Pb\c#ȳ'5AjN؎(c|UͻD6a^pH|}mȕMa+J%*&oq#tqcw4F ă6v oXv\6>NU?#@+}%=N&ƒQ#(hf},|t ~ uպ@ޜSYPT47PUї;evS(a:R5 Hʐ{@ y$ȿo02UˣcT17[ɤ2y<ky /:mtD#.C4je@lI%I+ JՉ*{^t7I(|ݬJ% <;1偕O4:b|-B0돕UU0[$So'J`h} r8@Rp@=*C@*.|16wZ~٬%88u| Rec e0b*x^,ݝ1`v,o  ޱ:(A`Pg.-{<:_ۆ݊DůbOZ{k^ъa6o=[U =xrǖ/*3P0Ȩi{|SYp?PHLNV Qt3(鎢g 2L|odX_Hؔ'04B,&!MQ/1KrϰU$K>O.2-, =Co4jmʉQonQ8 &@NlGƌ<\T. ;p1(;ϲh40_7mr 2~V8.q49ԞZa :k ?+5n6%iF~yVK-wAC<-|WkK9S +{WB&p`gԣ~ƙ&I3.Mw!z fކyyv@tt7&QeUqm]ͲD)aF1ć`y0 dm”{sHsHŭGF8Ұ> ᚸt>B1ZA?pkĝymwiK,9"9+;8Y' J_G[daUg&8jTA+/Ajh<6WC.7Jy-DGE9ϩwwK?Mkm&,/Ա1?jITy*- zוErȘ>A{pT=`4bE>p4#"<6U#&2{]1H: }Je/9wu"3Ǒoz.6՚0T^f|B0~H^u{yF3Tk#ȷ ar.5vhPKR4ST5!VdP,*%DE*&^`4\;υEܣP\Ky[bB8wWך&~ îj7ڨwP gZYAS8)&bYO.pX4.6wj |%LOih4r!U( JT" >Ă!Y(\NIiK ^9)EATߛ{{U{B*K)Y%'jyTxD#3+-pi\gȚoyh} 2r]ltmphlEOCO9J:DjR1:8zgQK>b8N+0`ӷ{シP_W3g/r|LP{"P>w\[=;Y4X8*rRY5y[ ]"j Y.;&7/' R>,=q,^`$fzO ;a X1Xq_rTqaW.*'ـ':6,:–!J_ C-4gN#M R+[$ŏKeSoǶ.ٟ?J@=,e(D[_Y2\ϖʃPp1E9zMIgR3eCb;Hr֩mʱ7PI?XԆ?(x NB(N6wS$'5IЂ*Ƀ߱o9[ uH@&,+̤HJ'~"0DY!ds78 !!|"U!]og7t@6Jzo:J`Mrk8^s Hoɡh ZJ?v%qOZ]~HA+AbO>QG䎥3me:g6~I |X]s %h >ǀ^Id]>KZmJ:ot=Ap vKK‚ѐNT('JE>j՗y$MS.\,͒X}*c kۙ!ygJQe}VQa~8M{Gk ) #!tD]ic1W/ ݩ\6$wx"q @ۚ/H HقUC@"i.CrS_;Oui~tkNs-6`ΞzSAK 2R{ؿ3R>7SJbLɽ1վ0-YSrɟ3#Gqo ĠK1u?LjmM2JrAHfrw{+T)^XdC$w%.!޻xGb^IH.6#? E y?͵F!1Et: KGRw`u=(H55mMޚ / Deep_Learning_Lib n)85i1HdjdiaS(rznI$MN3bvbF=2 P/> ҞdKҡW,M 9:C8=H.j5G_|/Ix큡+j;^RH1)-du(|)I+ 4rVtzupUA3,L)ߪ|<^ |J ɦoDl֌ r Wsrg@ c yQ.>:nݎ,$qq UlYW_ҝV11_6{b?\jB7ynb@O*ifWT,UVT#QHt8QK{=vjR_aҢN.cR8"sT8Mwr n7I, C^%kb(oLW!Mz]Xr [F ~(_+[Eh&QxkxN=DhivEwHFws!_ja[/"ygSآ1hl+MS ,>sW!/5Q6GOP'?;v4% H(;UjG>qVCތb3o]b/ ,ܻqaf%? ?klܛ ~z t㥓(G V[v̝b dBpf@&HPE0LQ[Xf-@Rg?=Sp^8V:83{Qm.a/rc>,B.")Xܣ LD2h܌&~ |ABK^On:YI MkW;V(HE}SE|~b* *G]DGM'1JiCݺ8г~jdgod3jj$鷑LMH}6[0-P{̞Zm4P$4֠{RѦXg|ԸD6qى$"9[CjU +00f0mО.*+UA26$:īx%YdUɀ@zV)W"Ě:Yןh0_[@5ؼvi%N:ֶkKcȯQ*DKdȮ# 0%%&Fx5ֱgYZ7zXZִF! c]ŗXiɟ1˦r!W!4CČ*OG] T *UOH.{Yoݍ%7\s1!v#'.6&%_!w/Cb%@o,yQPZ4lc)d1t8Ǧ A+k;YIX$;Ӟ WB+(ߠ'PJЧT:s1q_&4Q^ioJ@8( ) /m*B&,_RuU> +x_X v|3o=TQoHɘ ܝJNB2n9i4m&Z;t2er"J rJ~ʅ1` :F9b^A:` "8 Un 2h ܂.lAߞ%^p2,%`&ڲ:a@0dD;0Y S6m Y[ W~0C@nȰrS3<U5 Frf%\B&=pG=jw3fo_ k:MTV}z.yٔ4Q7L ']C A+^b " M䱊5~`ZvY*4'VW}K**n쥊X5M~I$7`XHDO kb<={ EMOJ!OXepkfoАcA*[\ן0 ;<.VB~%#6j~ron R=<(PK #lF2m1z LҭNr@L2QwgYZ7zXZִF! |%]ŗXi%92v>5lݞR?*(YDmp:NBT$ڽC3pEZhGݡ[l8UD1+/j۪U5_iK{ӊ%[v\WޗIi39sȂ7ўHdgD o̶;ńHQIqplA;%%o|z2[*"w"@tnqp]]HMp}-5C@PJCo9ʑnppH(lWO mkczw+++M%vfյK0>xrj !ℛq]Wed^?bY*dِ Bg 9m"]q/ V#2q܌='+&rdt|OCnQ&"&m.JA‰$):b0"r:j^IxC&.1^l2!o51cA> 6ȀFѲM-&e/ck/l9G(b1}n7^Ť- BvW:[Q܄/Ή7[)4SWY%0C5+#E =#>TBo,9j.ˠ)>h'cLTOiiVEI}{Ydڊ]}=RFU=^ si< Ks06"262M'SB`j- Y}ii\uFBF&Pd6N 7UYQ,ƭ,'2>Lm1#hdFxK\jr_%Aќ)mg'b,OXR #OO)Il{ƽ2Z}.EN'C̙,&GJ'M]#+m*}~V>*1z”Je}_zu?zzzl"vf8ھ᥂A|QE[2p(,48](}Kļ`l"u1Lr_*)ND72u[*b93*B>et}7ɺ8k>BX%~ˈ!阉=u:X`o"f#?~/w95oafZpzn1d -"2 *R<ٍC'$!RCs)4[YIQK2 Ӥ@aӋ&JfrmE8bjYoxh}9tC` -q4aV ;>؛?p2#7n-tG # ߌTe|rﶍ:WD:-Q /_;9iK)F[k4A|!-kyK~ܔQC#b56ZǞ-kI~XLuSltdX@*+xm9? +!bM'%:v5+T=-сk;7J:Av<4y]UHӝ t~"/?iGuq0xj$c~I^=`H=Z@KBje[0ϠŘ*k :]HN@d66Y9KQgf`KZ!uWőS8u8ƪT+K{<p"{NUP*.he ]g jz I(oz.;J6'hE"Vǎ.惜'M h(oB[@aH\ľ} Ve3tGk\_~͚($`oϽ(ʊ04J.BRՔ9"CtoOo454SO ZrK'5yYDJ]1@U\P9sǔd5+GbHv E7Ί[TA$[QirYd 8Z\ i:˄'B}ZAZsI\Xv݄@Okc*an?Yҳcy*c?}}Jwk)TFuږآ`%>\呮ur5Yg/+ yn!k 9T?cF'. H!=~:cf՜3*{rqpYEnlQ|ToV+Z)1HAYV-f sǣ2S CwAx0GӁSy^} F| o5`74M{#C5% PG.bb`I|@= yX[}IKr/v18R`!'s@QL$aa5\g:j%ǣΟ tOzB3 {׃S$(kJji:tKAK~/ʃ?)X]2.i+a ~R^?~[!C͑elCuheMDRյ+aJxJC˦êX+EBa%[,EGU^Q1B `&v7 ENQq75! *Bx@|{BY"`(@Ygadw&/ g4Xvx ;Xɮ^e mo}ffXxc'$^h(o(ceS#̛#m }] tgw98Fz r!&3lx6acGg?u7g L$/Tb>.zf NۿH'LSqMkV'ߍ|It)R-ibxV7 OΊ>QvI΅t30`x%&Q5;3~YBnOOҀj@7 5ŀ}kfSb(Va_wHVM,o'#-P?ܤŷ4_"suL,&Rfӭ| x,a~$%:TXapa]2irPSO)Q6dnXgR3GVa+2I65![B Rו8:pU >9nPum#L?Heg9[ ꠦz54d9c]H\^M#Qy1Tf/Hpe\?,~sD+o1Cf1 핢vc_'08hCאIzG,Y:\3iKypZD8\[&W|hYhh ƁʦE退6\w.㡸~K"L)*4RSX@OI-H!JoXUبd)#=(;4%4uV]D|Jl>PTw!+7Y*H19'6^$g9[$|TN x 1*N€a'~9%(}à!iV_Sr6#$bbۼYEoG:D\ dyf>BD%KgEUhjrH0y\mNni{WwNUPMJm8o;<@1H#jHM[_!tF4 PZ0 o^Cvu8^}c, wZT*X =TiTmmvv)!I D.6|'<1p2:$1{CQԘ0h!cR(pJUQ]LC@rPER܄_LGWdWG |ElwER'sP$AQX(;$ =a%}")8o,E?$4&jB\փ,& T % đ8`8@#^V-/6<8k?mVȡἽlI(GFtY|E\߫E/Qv­R< O @352d~J #[k8hX|](<h5ŒAMEv#8 Ք4ղC5N3yp`YqW싑KVic]WDw{z~g: we6f~.E8S.}@rB"Ya8+" 9-t8AEs^tYdC,94/=28jف.X,~'LhvȡxN.>?{ZTClS>_Y~Er L >~i"%.>^ jfLZqÏ-v};:w^?!b˗W2%+_̞~9!F# Kpl.) OQA%F3F;َ\&2Q,H$oD6XP=q# Q_s-:tuGt9K͌lL0;.6d241y*$^b>ksD,zA2Z.mtǽ8uzBԛQUu2HHC}$QHwn ֏ A@O?) aNacDb0Y;' )/%r[#BR敖9Vxa $lq4-`ez)x5T½_Sy)͓KS ѡJ0-N^lFf3 ʏ:|2~;m:0@yʟ~8ܖ@800̀؟ئTGm: ls &(E vn86nU4M@}$mwY+YJn@k(Vyv_c]SZ7l@C*+7nSk[ ;3AKCt+$zGBN3$Tfh={a+5퍫Ulm d[_zey4 W3Cm%q;^* 槩Yl8Mz>˂zTɅ8];kJho?gtԄ1 40,+a4S|M,}.2f8{99:*kV@g1G9=.t Qwi(CRQђ(r%~.cO1SD_f_,掹#Z7'IM:b%Byx:@jg]d,(J,#(ALGB5^_s(y+ڴ|(?θ9DMEEimTvԲO&Dx/-!Z_h)iSA(݄é/W31 jh' G>_n^$ >5_30D(~( bfLx^T}[NI}ʡ I6271pqa}_92ax.M61ԡ5Z.Ep7Â9C,(M2O_'S͟ 7n R)o@cTO5JBaugҜԕv};= ₕDEb idon0|))RegKJJ2Hڮgx!8`:>Rŀ{v9} fvWJڐMetK.M3wkDvO? :Ø {@1%|q>SΡTlY(ۓX`8nt Yأ%4ZL+JWò f?B\F-I:N=%3Z{j,Yj?(j1ǥdڨI`P>70a3zUfv ;r[L7>VbFko3L/}#%)csFg.tqw\@m* R(zvvJըF텻\/(uZs# ɐ Iu~D͆a $Hg\M,蔪; =+u8ձ_,^[5=M.6e)E