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  5 5/-D$< ]]Dirichlet_Series:threads=2elapsed=247.109cpu=428.968gc=20.780factor=1.747zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kt,b34]51v,nWnCځjKm=a6y;$װf hI!^-[}ԾepBgM_ ' "rY?mXJՅwb#$h֪oM"{.`oc"-Za0Ćra:Վh*ⷯyRA1Y\yyn_=7igZȟp^E߫q*C5^'5jKeEEHK ՊC9zmʲ鍎b8 f|ʢ'2}ߛ6G^ͅ$@FmK5m" g+JMt*T3MaNA]zKP96UT3]#x8ni|&|>ˇIUS "h5^RA|z ^Rb-D+MHCpNlE뤼|ׯ*Z lɺ`(ePmv] MgCEoڡ5(V 0>e+0լvs)8 +S=kPnnGL&KKp9=KjY|F"_2_khgUN! &JV\&^d-PS6gs (hϠth(-ܨLsKXo\ 1 - Dirichlet_Seriesb/B{o|(i2LTn] oڲ"=[ ŰGtoykz~-5]=f^ v3ߞ3Jv6'3{|=? X|x=Sg~O$CQf }]L/kt :M\lܱB QY/(17Ag͕ҝD]\Pu2|cnQ5]j"KM2e\.uz% 4QZErI O-oiΜUqKxܯ": *&FbCu8v"6feȰ_ w%21D-:P%Ee:8\ehpzVǁO%G2Lj>+Ɋ_mf 4@Yoʴ +aٚM} bx`=;"v\6A-sT3])>K kA(@z[xp8g,ՀKDžk 9:cK0\k)߱@<,#QsjKv*҃{\ECe> Ln2Aa3eL{vec2 >^Ȭ Ū-UNf$19avV&Q`KIsve詀jE+vˁ,X8V']Wm^~8jNHфdD&o:^OƣUHb(VqIW14:c]$Jj8K8ǻ/<کYԖsv1@q I ISQICdVRPYwo]dzULJq>@X>30, = fȟ~Rj@\G> öxD2k]f;X_sobɒ|,.c삗&SWMtͰjLJBfqUtBfINo밿f8o+s) "}f}׉;imlsڵg rW3;>$"1|hoG#^>2~]ⳗx?~ gu_h^"w_P tClzouxBZU2h&jɹbHħ~}(\(љΛJ'e36dϞe`Xo~&eE;eL/!|U 9yLa[Ia, Vd<_;*DWl՜RQO7pq;H =-Es7^bHHZ^Jp 1q;w0ï0nVzMY(A6mIsk<0~(f'1&mЕnw>y[gb=dJI"&YpkYؤ|gm ꣻ'f:%36Ճ6pN]R?,~U!Hi_t[ J1Sfߔ`Ohj+ƪXUQ9L!_k/n[D?{c]'P#.{-M&Ҿ_5]_>^q0ƉhVyl_?. `,e6G,),4fhfywK5@IV^W~Դ+J̟,_slZ{Gopoh*i:^-mQ߁R1TLlE߶o @L !1Z"Ӎ:$Kw(KU}]c\k~]UcDs?ZCb 3x&S0G,C.kU/aש9ML <4Y=NXn5рޠFaScPj:CaBB; ;(PueȗC*B.:lp؊Gש WB kR8%,FU\old3A0c/.+C*ekڥ5;*H,a"M (Isq_#X j>wZ<.$"+"V3J}&NY HIր}}=msC} 8Z=DVJ 0E,HFx5[K}@e3m 5C5 w]A*9[:XPeOS=t1>"ΞI[+FXwiuMy9c5ץ_Gj+wיּɭ\oafA1m}N Gt=ߦ/QϤTHDm߶o}~ v]I$ O勫@nu#OW4!|,Oʾ3v6ҕ)۽d/埶̰XWì+ZTja-/IwyRcbm]DPGB8uVB=PX""aؖS ls%=Gv_1nSΨx`8 [lT9%<`SF[]@0p6#+Mҍ89еe$S'5pզm-BEş"uQpx(|{ mmP^2)0:d/oހq߸ZzM<> =@`(دlb$ _v'i.<)Tv$m٥Ø"GX@c'C U+#Y~jF87S4cEhr/NJHlOѨZJ0C(!M0,iI4@EvMp;wp1*C]{cTqp/f܋8y٬e!C"s{2)|gUܲlҖER3^?roX[s>`#gfkܙhadƺemS+mZ-|f "#+8Ojzo_R]zIcepoW0[t]]a[TVRYrK!5-enUt,z2s: ?O3,'[> ,J;{ЈXA!L,$`B~tS:&UeWlHl|ѷK0#Ro& ,ZɃquQCfeN>>fF|ivf-*q_9HET^HEar`Z KH"Wpcέ,LFph<3ZO<7fI z [I^uT#O'@AHV2%F!nۦ},7Flי8&B_ sM^;lyd\L앾o6ŻB{l6DnhKy2Ⱥ81y946x9)5 C3ɻ@6lDm"k>'@8i%sSj`XQba!pPeHs(gF!)W!GB'*u]pV:-/K{2ݚsZh}@/EWkC[;ppN5ͭm0u1,Rǯ $\)+ĈT⭷=amGJ~O﬐CN$ 7ih. -Y Hx,|;`2⾽A]"a2^؏xb\"/w?CX\*Y0e;w{1:їQ⎝v !.C,x "F0[wBn4\&apIK T>,{j[r6wK^WciM 33agYZ7zXZִF! 7]ŗXi%##E>JTq-MDX{kaqDmsU'*]?Y=&5P?D7*S~ae7i3E#,{v=\tw"(kTvb*++Ԑ.qviU~YݨS>~DeҞh M<!]wef^you+2lU Kך[ rTBkQ*]k7 ـp wPzEڂ{jC>#wY _+#5b(^b@v Idx[B5,W)<0YuKj{>xeZC/,;ϝSo0*KCF=xVъ=wJ`,80)ӈQP!&[?x_0qymI4n(3T)֒ G)`ۦIh5l3]+vTC &K#回jüL?O`x {&-|`:3hO`EqbC>h1{ŜKR+GFGFF:ho `Yp/ި_N_pdYK4 W$E:g6El7uM D wehN/QaaM(쿲r?lqaa~]\#kao|ut\b#P*VˁUܥ;YN}Ql CC$&b0X1{ 6ߕlq߽[DV?Bdwy_W^2Q-?y}`|{+ Q4zಉb` qw]ZׅCn唥=5qZsFA64.i> {J@"g_;flg:zȰj}\1.v;a]jjf~)eVH7%Z=Zv7U~G((8xWɒ~Q8k㢨q;HDEkiz^iY+čݔdYvj*yr:܄ 6s>0A@z1`];!7'IX~{t~ i8&N",z i~? M%慶b/m+amD8tG' ?B0o1))\ NƂ6M]xVƻeJ.vT<,jOэFѪSV3 aU %)J(;M%?v$+Ш,U䲉ض\GC=Z:ڱpN-9BD%8!PzcڥpPF zD\G.r+,-Fv_5w;'KKu=Q}| 29#@ {X$+@PP}\lH>b%XAfWPOPL2|qܷ+)! ֧ f5QGT[Ab'R<k[U34xA9:Jw77B#ѳCԶ}wE<*~$]r zF$v=Q&S7(]#~ o)|VULS52O=~`rdyE5E y/؍ɖsj[)XN2ț%9(s;o ]ERVj{),w#_b b,КP8p/) RMLNbgM5qR?w[lVXt/$CHNFQ> ۸ 0Wsd=׳q5D~aC~b/4R_<`(^I1é7Õ^ xψ/`}kWL@_CܢDM O`P}Ş]ft%0X e娟t_ 8G7=V5QL x L`Mc#ݒcH o%WuGK v"Hl6STn$x oyltH=nշ\!m t"mn]@dҿAm$0'(a~4s۩n8Nv7֔ݭt΃b`ҋˈ=-D&-h{&Vr&vMr2`9LIݲDyr?n{ΎF!L]oe 9nhN's>YqUyy6IFUh.9?kEJ8Nb]^@Yn^Hd[(6QvP U,;7+(mS576WDZ|vOOs+ "i9&IY"G٪q>_ ik`jĠnC4@㛴)Co^bMB0k"2XF2@x|rP s0[[&$reY{yXm̅'l!2vF-,T6QHh!ɆQhb #sTp!mӧj\E" 1,ټn~4,F'p4r8xMgDl?s^ZBԣ$ä`"[%N}'>pe8HfיQ~4,xZ 0xb"[m4^*A`Xtgy'%]5Р"l%B՝Itu ?"Q'ڛk%T I^Պe^끚oz g5մ@zBDJ{j+仾s=+/J$KK ISB{hW½IcA3AU &3 ?Ib3)(StoT}'I IL:;"ǖ*2W↪!)xWU}Ͼ2 Uehm[C)轋2! !hsj9gb2Ir'#Ǫ<:(6v\[;9 G{G͊^:} ?tFZ@XgA9n羲Xf|kX_3X@?9 z$ 5 CU)%5ngMqAHo 6;W΁xE&2a}%O%TUD[ooFG m o$Xm?*,iKrT%*ƧXǔj$╪P٥ćsn,6%gi k&5`c 1aU-wy2} -(kdyQ2f  ˿ @\d'( hwzڨП՚_S4(u-핫Z0>aS9&Ll08"V<{8ބR" >cX"'=S^r\uB&Δv!-VBput #ƙl|WƆfhN`CLV.L1um0 vhu<9t4}tr#E682dD桒QSɨe5GdKq7yݫ xQ'SHB!R*;צc0굪m衡֋Kɣ{e6BeYPPw#$fՌضB222a)?V%.7 DoA#iBeΐHk0R5Z hOW/h97@|GkV'WZ뻋n}Ӽ`tW74+ƭ~JWNg1SH&cL@A7d^\x&d,6$"}9 8,QflNȟLJi*\u ֦|C&E[$cJ ɯv=b€ʜf3|OXSk!@\2w;h뤿=9hd;2O[PC\PsrjeE)!'d>Ke::;^x2x>U 7> n-^)0YOZTmmJ#;JƋGW48!Id Ry# L8?_J >dg|5p jR͵%`73Ë\[#{>Bߚ#%$$i+d>7ڌl0xP3_×R`۟F#F?-JjItLDSPX50kIW(R[F9s+Naߘ>D62hgLa0TKB**q\|I? #Me>ᅑƮx+)C͇f, wRB9byI]yo pPW8B<7\SLe4GvQǥ 9?{GD߽>Kϟ%sw2}@Dwk!x:B$Ŭ~T\':pM3Cp1;1mϼP2πF\{ɇZ ϋ]DX}HHR")a&nqv>S&|$۱S˟+EVE_cf ~pEZU\Pn޲n ^zXU̪kwNHdZu|꿷$n1c1%'6c!)2', %asMIM ]UoՐ]0 8T0=c,oՎvf0*Iv#]z$r;Ep,Qx!O'{ Ɠ&H":&+"Ӛ aNM{/"ҊJt|-\UtJar'¶19.]7wmʤƺ2dhcٷjT)Tn@#.! KDL,J)ih}І=q0 7L#v : rC64Nt+LX{+ 5E D=򙘾/ɂ>VW"[՗'{Qju_+wYRt%s?>Όp LC :y7#]iWb\y0xmD9ذV::DWwit`N 20d+Q]o|ʔ聁f1>lи]oOh[{`S$B-b>zA nwUlcSX ˜"8M_"i^\϶u)`9!h|9̦؟0( i fV#&w2)*{zk[-Ao~H;}[a~}A6>ׇ<>.l;A5q qwyq6zq1d\K[(݈'Of$y: z>T$ D/s1`KwWׅAL?L֊C-l[9ŝڇbA=& \ʎIŸ]y"?vlDu1RƉ.ڿW=h5]@I3By ? Z`hz -_.o䯥g$z^ޖl{5ǜqN Sco|0:G'ĒZ@#NR0vH_Y:jPI@ÝPө!2fi]۹ xB5Bդa(9D/."_-N\Xre͟X%hooz\aq] ~#D55pƵ}Cg7gt>;=T̡ykǒMc76"bMd$aE#%s\#\6$$Pan۹8Q4}"dd=SLI w\.d+s ZOgeqjɨ/&o3+'CG1ha4ʥiB^ؾţ>*ԝbg_Hu`oPABI 4#w3{|[Iz1-on߉x5=K8 cWh-,} tD>úܦj3s'RNQn8q#moofP*@b?ٹ@3a\"9#۫9v͙%bE/fRw3Q盕\e}Cfɸ3RJl2rO8@CDr$EiEBƥE+!Pn߹W. -;R5-1w3d?zȫU{HX]Yls] Ga"s?=OY7$d5ˈ"C7+gCA 95 hr[4Y'P) vbƮoxho:!&ޫe{>f]YJ4}џx}uKZH1 c(ML j;0`:"-ܯEtuv씶xREx8w{ZÎ Cǣl(0- >>mm+G,rZGqz!o9 Jza Dеc4Ks˚q:!a@0 ̜q;dMs-?eů &yoDAF^oD'aceoBhRd ,i"7m7d4N$?6ſ/vT( G!:U66ȰmN:lo;+^ ȏJf0FbS9NoMHci\}NM\yeLTP.='*4оw+`DXU+Ğ M^8\fj*d~X&5"l˿U-64!ޅoBp¢6nmfQYk(?~O/5lJBaaHfH#Ha%Cdz5ШA@K5_$WX(e1;厒8$4gN~xlԄ#SbLyP-:e#~#'CV Z-:B1Lcuɛcrɨ(m/J{0KvZQLd/{R%, q7:N0=KDq!A.q4iFm;5$$K7C-qԥܣَY9?vfRX;ZWy$ed> _15o|&/M CU̡a8qMXc4Ab:8F0vߞPuffdx%ð wd|=ksqJKr ~8/9 v4~#s9:Tb|"t7[Xa 仂?e ƌ5\ϗ˕u&"|7竲CH:=G$TQC>0Dqs=" / aX ;!̅/_Can0dGLcf&#9ވt&,BYW̓ IJ7ÜZcj2غ P (Or;mHðqo37I2ͪYptsOf -ixY'\OdX8 Ō&fۂ-[rhFzDrqj7Z"q+/4'I6Ձ:3|crM.%Ifk=%9u Va O%DZxȚ퀺 [2|30|Gw|} 2{ E482.}9&,PҟҊb9ᙗy6_X}]+OlШ8+#@dXAK7ɠ ]5Z#ڴmN.okxjޔm- o?J~P.-@vH@RC]z<,殈fodFWKBߡ% XjsR%1#%Tq _X| }wgp.%"=L>-LPV$GlĮPh 脷bT MPD$sZE<Bs =HJPq֌[ m݄s1GO6M8d8u\xT56wJƉ!(Ib?v^tNْ}nŀ{KG vc}밙?Sp}FuGnڍ2 2^տzG+z}XH vS%67Tmƶ>#5e֮ȧ7*?MZh`␦MIzR3b\ԙ='E^H*ShH2Zr"8|(UXc('JpM\vݶĥuYo2l3\+7:/j;z%@_mMrI(#< !'` ws>cYr2WNJijkO%^挦+{ΪWhŪ\dn&Uj=Ƙy[1DCӥ=@>2"DzJV`M"ѲW*ÕvYO81Y[ѲH@;Kx6d3\.'O\+wf1v`r7*ܾOmvCz/=`3窍 .fbϊ$Ҝ)tյrs%%Ub%pq`lʱ91nӍV39gYZ763506878deb39dc2d521d0f83aa4aaf6d5e538e00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6a089401519f31f3e77200416e60c1f25f66aefb9