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 XX/14aUV#/|) jUe!HpcxQ:AbtjE&zYԚs%I<q WEW \[o)w?^W\]uIitlQOiPp!45#SINCp1uLt.KIL@Vd&pn\JI dUDl',d.U/A<4$Ӆ1WiU:/~1WZo} %* ")Sp)cIthyjо"Ua`rfu7Y1sA4ە8)4_\x=)բdC8=3]GR07p<@9-ҰYɊ=O_5fڢ0BSH:_y,tL=C1vRuLBkU[ ZadUbUdhƃLqݿYf#ʳ3oB;,5y\q"k< R%@,Μ*Xztb2ZtTv%D+ųʻTFFJ|:QF}>_Lv62mj@6@ORWs!wg?ƭE^~l*tPrRPcQ#b@-vV,Dg&zYDy_/5_vMpuq/U)`SϚ%j#mTdN5ӳU|VE~r,ĺS TL*v#ˊ$/#.ke<d@sah-E k؞jr%\5Ew@@buIf[M Y O郌(,hEe9;8+S$%cÂW! !8SxMjE3])to77e(n %vou3kfR,l.=~cÙѴ SJKd V0eeqK4NFJXK3 d%LLo˕uKNb@YMJLsI96l2鲷:>W}3F#7EE$!bsSpu\uVVF"ٌ߃C^ <$WJvc?\=b9Pf}I.5 TwwWVRŽf<LPQ ez|C͔U4lvlJR9{%4u|nc)H²~iD.My fm^YȴzyTX@TN3/ /uR2nZvg-6OPi]TqG2CG~I^GOk@SXkj3k s_YGۑcw/Yӧ/t|b/Υ;X.hZ⿫8\PL xV&ӵoyh8OpeFr+"YRa}a&B'nhUD 9^r.YFۺ"Ag^])Bnyv(vuhۛ<ɚJkJP9 {ciyo;fWs/Lp/|k+O DqrS׍K0&QϊV\ =uBgONb}}@w{@#wZN$_7,SBm˵⽥u_"%ք4m%RAb$1UTwl}ga8g]Y _vMFY Fw> *W]A]$Ԛ ]vs / Deep_Learning_Libؒd[CtFarJtڐi !8O]'Ӭӫ1ӺM Ѣ 74N3q V ,}/G[uI8PreQᵸA5uh6re*$'L(n(̽AZd 5|5DW`̓ Z{|}oσ{nS'ƋBNȸquQCX@GЂ\4wDwa&g!jt⡜$A6CsQa-Pu Ag^c*Hܲt AlkQaAKx@PEq[^kX:5NvƇ8Jaد:VEw{to n`d[SߵcOEo}?+.Ȇ+|Z) J7APg;U^U1a _pL[-A[QoRK$wOpK:IKk@Ru 'q+6N*gnڋuNb#=Î˔H ț5*o`BKۢgM:4Su Ƀ_:VwjlKEʔMB5_#y y-.[9@bAPWH\QYSyG%\#tEqoJZ]fEBAQ i6ՖBJ ޲ք 1mߊ2x,A h] X@ܵg/㫑3s:J7ꦬS"(&swr($ @ȋTG ȎYJ& 1D) 3ìc>\\*D'P(=#MpF曂E1ug6)b6tĔX=g 2ğ (Qpe.R/EVV(OF~=+& ):Vɲc+ ë 3x%@6$1=9WڀDZKR¨s FC/٠bM$l,u 0bW wcΐï9ޗj̝mGؼQi~ 0FS[Ch ׯByCRdxRa*<,Oָz_Lecm7cv˦'ذ`QHU3\~|W σ ~_dHrĎL]R}^Q^ d?-&6UkDne_Ő CFSސ }w[xG tPw3٥^27,r1')`Ñڝ/} ΤYAqkqps=e,(Jsn3-G>k Ԥ!܄K)nUy!lPFJŮIyvnw¶[a&->^%., %u.d~AQԏl]ks3P6) oSlGJxx~V8XKUw2@?'CȦ&g2Kv\= Hä/p,H|uEE)k: >pUi&WC \7ʕѹFhUtZ>0,)$i`Nvxpv?ExPL[]Ʈ@dGkX0:_ܸ{(d>ܚ?R&:,|P(^mUh?y#f>hN- K.dd9Gɬ&D(ekY]\y6ֱFy(Gn'RO,TѲ+ 2Qvg (L\(6!n֎UmZb>>'~K&``/%X _/V׎*'m'iL0$4$Yt3+ GUS V! F7)=&3oE9ћ D'^ KoG B0KQ <^SudUќj5f%SEi{ Vg4DA{[Wخ'#F 'D{?DJ8^Ą*6[KK9d=cjIZm|wUB2a,y "j"g-yfKWoę] +wV7n薡hf9H^֙6.ESbZXYnhѺhKX_'`|{%#=y%G- ԽZH.˳f^*%~^'lgYZ7zXZִF! E,#]ŗXi%;wwH?Gy= 6B7c5߿7WOV(U~Q5w1opX6k5z|˺j#e-*1~Ku k!M]@>5iq|J~q)Bk'0,e; =oK^Oteg[WbwU@^~]aFO&y EyX} Berv0>,VLCz) v.mqgt?*D/*!`-'OOSe X-ȹwe2m _"ogX-]\D5}m˙ZJEQYQdQuVNK?2y:)AvZ#un.͝GUG+_W4PĪ7,4)T ?c1tOL^Y{A QEݱTM&=el1I w [a;@'NEDu%s[˙/ Ϊ|"<_ԺZ0N餣]Iрj@B $hZ@I:5ܐ %I ܻ}C aXC-b $-^&A3wR.(vVw!JL<'xSX?-tZ8+aZC% Ba W8 ]AX(#ÔfiVBNlڥzJoDcgiQk)7 U,Mp6Aq80]2ߞo?8*{@.4 c /9P*Hpl" X-1usC1犄Xhd77HThh-{iCpSlQϛw[9G Y}3Y|n'py1 3rZup29 6m1-,dΤP _zE* BTyv#Ŷ8xlEx  ᠧpOfĘpX29ױX#N =ahjT*Hc{ST)+Yse:Bo%:W<φ{;оf6c{[ jv&L27 WpSf:ЍRpNޗ:wk59m-5iȀQkNʙV~/*% C;wZ[LW •#> }px6[8 K흝V2e9S:4Ehjp@tqҪuK5t'bCp [ʆrLe͸ xp([X{ gZ‷^"m?{s2QgGbulQLR>O sqKƖwA}˩=d-M\x0r>&c-BfGOlNioQ_44\" "{hi2OVve/c[o 48w=1O|׌pö0P./J3'}|}8}`6`7qG!OP2H- ד>]WCpqBmR}T(@bUJ;lZyaE DGS5ns8Y{YіIwjhcl>tO)ܵQթSۑ- R#%IMK΂R̽ )w qNt: (#n ~nd:| \EO,UEb}70GV`‡,7WdaK avb8qa>)'ߑ`X DL>s$_z`ѱlL4A|+4O2 y3 ^Ŵ>p2eճD/.@l_}\yV5(?x7hp~{Nv|E0F ^R ,q(aUesz-3K\ͦ!ދEW\}M'w.ako^zU1e62+u~F!F&?(:`k4v@tng̾!p ^}zZ)Ϭq']Oa#fo}c\Qը]MxNY\۰U-T*PA&D3@I̤S/2<`Y&"k!m0RM. IOJexѤo1(z}t{([+{KR5p`ѷ?ZWʕQ8+˴ r݆Fz/llRץJtCm'霒IвDdk=c^MH6Q';w7ʽ+Z)3QX~̷#Gb7|@R+ﺩDAEYDDxMݻ^a .?z};-]uf-4}6bQޜAYX{\m􋠻BsQ5P D|>ֱ:AQҦ}%pC G ߊ^+oWncCW_Lh{,%CVJIKVӥgmx2|PJbKxVnĝX֒9vkJ NG kuvkLzZY0OT8Ү=s{4SPQ N}y{s۰ `cɟ~$x{n4K(5>%X;+fxDR8B"sF8)Ykk#{XlFAQX5GYۦ}+T Y!^))WZxQ^-a\KHUHInvoJGgbΫ3\LNAUb&XjGmCU.7=ob .~wꟶ`j95ԣsI~8NcFCz،/(( `Saŝs]=-ou?,QZ勧E_y&|65xT[Ÿ7u8Iq%T7MQ}8wҌ)?+,{-FlpS,_ih)#ȶa).7?(%>ދm1H),2/6W/e}v|!/ѝEb+y.ZEM22f*0V .ةdI l`nٍs E}Emhpߎ7vnrۗf<򩟰^F˸*XPZ;8= ط;PsZtܯr,,W>xѩ̌7~q%2Z^=T)M)pRΜ\Qڒ h'>돧XA,g"YZAm}.#XTJw" ѳ :D*0XEM &(mː51V0>NKl0ledn-qtLIP͡*ӍSs욒?0kC6{e={W7xꉇS+юm "Ռު<ȢhdyaUH>-۷JeBVZ ޓEiW^i>] |T~9#! Zn@eK7O82 G4{݉kuX@6U8#[?G lPj*q´`̡'L^_`q';CBWɍ4a6ܼ@o2'^1>[9LmJH9:ar)(az[b#Ն^ Z6`D3b)^1 /ht}CpM1"tҙޥTH%y1a |eʭs0TCij{Oɍ00GX*p%r>zF @c4jg&Zk^NSo IOu: >c Rr K|EYcye[D>лOv?~E-TN$lhU!s7~I_u f?2Y}#+DrN#O%)2k"W@ =Q<ᅘzz[k|nd2B>ӹEn_O h]3*~-OwI$TU^V^ͺ[$!52ou*pm`w)"k(Gj($ FT&9qqV."sn,'%>#(f|!dxߪ?t gwB*O_B"n䂱5oI`H 7"[hP0ՖJ eqڰM.Q!v Ug\u(_Fe,-e 76Pm&Ja2~{Љ\Qd\"~u c}UO0km4+h;a5Vu 3Еg%ũB%_AF ZiXHy7d:Z=h^ N" )o/,mPᮄyN trV?wfx3%du?O0( +ŭ #5/uAe4\0A☂'^&i%rV %7='9n7}qyxET*_ 3}A&®i<-"_ZdhhԩdF&sW:)I~#e%uU&(_KC-HwN D[T~Twz_>zF7%k$ys93`*,xѢ޴476# No,{F9ghM,@_V9;_>:i#+Q \Gn*8oLvHJdK?}Vr%_F-" 篻].jO&0W_"#(Xܶy`eͭ>|`X(jBRVI!ڗl.Z,utJ~[WfRѩiȜ/ŝhI`J#A?>p$Js"|ac@xtw[TasOb=~=]^ Dl(uӋR_SӻR6JH rN+f?&_4$ā.*Ѹ]nE`` ~;(#$ȰkF$vnےfk,d0P5blEz. =zV}<l}^u4sf8A  3!+3geЦai@cJ#@ץ ;=koiVaŞ %(C`.L5}xUҜi{a7wW@ !WjT؍^ȋG2Ǿx`';/C /z/^F9>e X{LgLB6),p?<,sjSStَD4iF1p"B jX&1M}@(ɿp<ˏ ?:4S;]Žxŝ/IHҋ>Fʜf„z+jvZ_>M( HkODjF##={u#DsD2rFf<2n1q޸MfmoWɦ3c7Vlct iڂ4r+d6Dt[ϭiM ~ޮ'7 ‘m1 =J~C'!ϳ}G ;gYZ7f18765ac3aba85d2776040ffc2fc934dcf73fd079d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 27380dc72e623c038461b5a833200b5803ef071c 0173998c1bdaaf02c425934bacc56421e11f319a6311c8db8e714032aee3eaeb671948650ae18b55