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  u# ]S Dirichlet_L:threads=2elapsed=117.357cpu=215.672gc=5.216factor=1.847zXZִF! I&G]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓``vs;MjD7~}Aidc%7,}F1/e/zXRNgથWIj]0~cSQCE%v1ϲ >I)쟰ٝ$4 ^&^Kckta[T _]n `Z^ +̇덟C>.bX/.>qMMiwLmvATg#OgxшSwl&p HNâVf ,ս;C͗WaX'Oib )dh\'N& ^' cO @`SU"V7AN?yr],*𜐗nD.ah6(A@l#;ت4Imz22xb<_T| d<w{cs#͝)B+g Kԋ dLy?жEzq3^&8c>PYmDE|Z_ <02пU=%Mr3:DakxzauBLw|XÛyJD{e#$=Js*ÈU %%4k&W9T;J'{Yt岘>r'v؀GuuD̾ydT)G/֮p  IŹm^?(N덛Em9C5 >LjH5sp # Dirichlet_L>l}/Avz3=Ҏ}ee9K҉V {ZD[5;1q &\ak{xY"Jhye?h XEs5b A0 u Vt;{u; ݏu՟x%p)Bݐ"bTO6zA\rX0>SZ6 јf}NxL!8C$5&AmDE ڛDeߙ u>y| oThа~KU?N@˸B|DY!UY%"iNrpBw]m,1NA-dg;rZv"3Yq˩Y]GIpA;Uo8j,iWjS]aYri/@]fh&^%~Ҕ\M0Ɖ$48nA6"HOFEkhd}NJ m|/okA/Xo{ҵO<NΣ'ye`E9EݎNN &t]1qU5DbYJZDD R}R3bÝЧ#bThiJftG-״hv@.~cvOUol$IYĝ=Ц`XWX8f~}-w VFRo !*DX{~v4ݲ8@^`CV ?qxO&#>C@>ٴTYzzA2{ܐ{ռh;+6ȚWڤI{7۱gYZ7zXZִF! ]ŗXiɟ17L? KxonmA0; @wl.}r vo[B(fDAށO4ԕ[Yb^ޭ&[nkוU\5Äi蘽R9@LfkWWRtzh6>tL\N Xdks2ݨMb_ok]@S\B2 >A.q5b_lNKuOb:vꇵx\{kC}Q2cHCs֊XOkK}@2_k-H9h%H)(jb]HAWJlL^YFH&~ y4!|VfNZ 5N@FյPF 6lu$7Y׎‡L蚥2%gƿbN!^ d""=jeLiBfev{euȳ rf|SM LbmA.C 4ܱgYZ7zXZִF! 4]ŗXi%92v!8츦B '/ے'pLDM(]*;n$'8)k艉҈30Cix!-'Zׁչ5ajH՚`xUD`gG{O浊jDkeA;Rr9CDj_K١om%/-=u-,Od=#[_LMnX͑K8G?0jzI4{&tQ98'_å{''nߪbcAFWJ0M]+lSdU˽IwmXAnu'(r T$wn+"n2#46;KwLƱ(,JIC^t[q 1n+"o 7$lp]nScOs;)7\ 'sݤgU5o~2=}ڻ|lf{J1s싍$ 1p N* l8懲j)\3+E'ܾ.S#!V~nb]Qj67)>9CrX PMn Q8Nŏ9WjP`IϸEN@x #{ I?D >XFkP@+w"Toӧ&`Oe֑~HeF"M~PŦ $HLV\Idk`V=:~t_7^#?m.'k#%co&M$ۗ[ ke<{洢`׵ GX(q-ʂП彭.<AKư1s7e4œqlxY@N_rmՏLDG'mfJ]gF^qLt?^#OzYk6M.Xءr`,o1N+oK/MNM 9q,6<{X݌ α&L0#}xj[Yju|*äa4V}mr ۡ 8ht%%O$1\#%U@/<ۣڽ;է=j{Ajq5&aw¤4o+H`Ճ,1E\#yxMt<_4Tgܕ *b57Y&┿PR,l[5WWܤ-6&'$? 6N*\υ<#C"8pMm d65;.͍0uatC>1נpB[gw\5uGGWGJg o6ȳ{$[`&XvYm] v.kz<}p3ӏkud%Vѭ\wpZ%rqNv.*\J[N<=M.-._EsS:[$ p>g2͹vcĈHR`%pgMX:A_OP tW)T{31@z4)GKBڐd"G5^sUz(61X@,͑ϣJT9KHG86qܑrКo"{L8 zLsc2LjYg3(D2R `{>A[;ӏ9ϕM*_ jW*Q WjR&l􋔼~RfNЦϻ>dupj-O~/;?RY4E]e]ð5&ңI)?G%؍¾]v5ETkD-ʘzV,#=xD]g,hUBlGQPNEb؏ʗg"go.cqRI;+u&҈a y`# 4uvt~9 ȄEi&BV_u#t3*׎[P|lrM ! G$tnQO%‡/0yz3v܋\{Xqxeer%]OQz+?.:WFj+O]OV-)G.!=ay֖2ٕ&Jo( 5]#Yt=` 9|Gkzyq^et> p1D` v{mDŽ.WTEr(r =?b_Cw~Kqy9gY 9 /9@O 3׿$uiWJ3zة7 N TԻ}‹q7ȣ^_%~U"#!3N[ޔkG,UO˰,ŀPG^_9U@(K~ !X:ū_ƌ=6ůUL ((yT#2r/rkÖ0уֆK}F8,nad{˛ij97]"/:4P, [9M0vA5&یwA<+2x}?Eu)eNf$Tާ6NDl{zN".kw]x۪\:zBYt=ϐs-;5,6F-4oجZC`kMߘը 'Sc 1LJѳ}/b\md ib:h!-WqV}eDz&`4;pF@ŎVi8>tHMSGD7uv{ɿ oEY2p.A]e<V2`9(| SPT6qyJ7^/`P(+^Bc Uq..> mfsPhw_āP{Pje{tIW/i3[*|"2ӗ2<`)g#١%'kGXrk#s/z'nx+M. 7risO'(\d+Exb1S6wB. WPY۩wbdqʕuHwuqp1cG$ ͏cȽ%LoHJZ<4x]%PajrK&9mc%eL"`,@0sHA`xf,?ɶb<*GB=P gx2wA >(=-Z=A:ʋ熿_jznh'cg> d\eX 55bfWm#o+M@u˟Jr1$K~gbP|u& mxk6&M NE3E% "S?y|׭ MhΙXաshijel9Flb0)0Y^a؀#DBDGbEq(i$ݹTrmՌ"Ɂq|z >DU {G6&ךվGz16itu>] ?MpJ V^iꊣhn*gx(r$~ 4+0{Aq _zš{BduVMǗoۢyؿuմ"3~ kr3N!ɮZۇ^0\b:u *NɈFmrs[ j:Mt]}%5V>3)%XQϤ35n=)tzP,bDAWyAci5஫N%}n mtO9^,TMW%=e\MEL<J8bj4 %9v |0Rm4*