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 :7<D ] Prime_Harmonic_Series:threads=2elapsed=119.339cpu=217.804gc=9.060factor=1.837zXZִF! : ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z lh"Ua=M5 6k]캚 2a k# LJOu^MIFo߉pY5\kᇂ{(zWNSfv{[_BxBrF0NՀJnՍ&!g^_FmϦ֣XW Ʋ|Ŝ{U@4G#-'!95("l4ByqȦE}܏{coN>=4,'Vx9U! /(IjGCtGoKnqޕmnpXHK dC6L%(y%ns*`ZDҪ~t#(uq@( {幁_?y#.\>I]3H^ԾpD?/l"P0<\O>Ff"MY+},bq)*K#iۜ+ײ+E7к=֑/t% Qj9=",^"+;5kQpebhG͒?PtAL;N]}a.1LL5 YP׶ۑ xx+FFjSCo#kڿMxO4AU2v+KONb@⢇۰'}d{S|S@B0v8Mdض΁BoF6#hrDhrtq1u%Og8 u.h 3?ZN1sLVJLou4YcU?Qpq>4+^2$2WkW__Bl8f4B{vCh8Vr]Efy۷ty+@BLO{Sl/w΀H&yv^;+C壸IDm ZGuRKp eX($E:ePAAƦMbg "+%lɲkyt '>c<ȁ:k4:ʶvle46Uۢ/KiRZֵ %\*2&y@y -[e]V xe\/)/I3Rf~8#w?Dt7 ArFn@HD$&U])vj3c%6}۾mJ!&`C*'`!w= $gOrcn"X<-7ޚyT^;al  43O[@f^jW\X"iw?*7<4US786zS&o^><m=QaɄ$gw+}j.`S_T.(<:0i\5RTDOӇH7VhiHśQ|5UhL1(x's[&ucFfu Z\k NZiJsGLtĐ`8r$)5"B[*|O\]bF$܄؞]nࡷ}ט/VSZ@2K<9Fwk# JS= *3ϽPBSMGQ,OˡQ\O ]PԤ+(2c#`]xKug{wK'Z HCKo)C\p_X~+AirVUb'W\jkrӪh WgsO4+ .q.mhH,dD|atΚU'z+p88v`mRgv,?^gg#\E2hD=ՅZ^B1'2H؅:mʒH+E:r[}KL#Ӈҫ0v\!oF86We-` u%,;s+UFQ*KsA"emsR8s TFGR#Gtָ̨J%3\gT,NO\2Xt`y':BhM)+a/c 4ˏhfiA~jo.(Kj[7]FjܓM>l8Ik Z* IjcAޞb nAvԞ6i+RLoѐo_h,>~U`ڿ(vy5o>Ej1o]1]u˚4̼?OؿeZ1DTqBzKܕq#@n\:{KW60# M`Z)_qyT\.-Jf%y9-Q[=PXQ8R4Q R  _¾P"aK~$ qZ˞boBV"y85]AhP=qIޙ(_ը/Yr80nC=gэ涣R4rY=xyRԕ0G(q9O o[_zw* pyax'3 7 Prime_Harmonic_Seriess ZQG^sN)庾oA [31!/Bi͸"=#IdQ6>,:]֧۔7R t1i6Y'u,ϸt4f"t'47K#8g94&CތY\X$P7c5KZ鯏W-$|O)D[.ͽS^4TWes\h}i7qqLW I:WXߗm l9M[J/p)~t()*܄/ DGU+Ʒ5rEZ 1Aml5wu95b")d:{{8OYjlTzZwoJ%'p,kߝ'e PTjJRF  X A2r6iyQ *Ca`[mWwq|hcp'B5/X,gYZ7zXZִF! |]ŗXiɟ1`?#6⪄f]e߬vOz/W/xA;OEU"Hpy ~-Ԑ9Ϩwp&#ű6d+lV aH(: ey1oBu ~p[z4F*(y*mk&\Ej)"Vo{!冱y4Aȳ".4ɫ+>k@X3w|vCUaj |Q$`N,I1h s ,CE,KINJ4M!LE˪ьRX_E{/SWPr6E czj>! L0C]km6y[Ɓ^Kr'_4,DDZD뱵q `[ sϤ֩w{)ӕX1iq 76`yNz`HLzs)mYiA|l_9dJգYM0h#BMiI;&go\V>.t RmT C_M{۩hdK(I]ov*;0jё} [ݧa]~ΗؙlzgYZ7zXZִF! 0[]ŗXi%921|Lg?$2s>?Dd2q9䞒왷5@LSHTD\}|| I`[sI̫#ȰxߚDk1vI;e~GPxHr>Q2NԏvJ: q<ߎV13, &ҡ8If6of7(2s.MaK`_SM%$V7LqNwqFUTPsH]4*k=>xR0[y7HƏpao%}fj-4:+kx@bǧd{䵹0m >3*WL$*)䏣Đ 8O:RNxmglX)ȫQi BxVXHF5wt!bx 9V;(7&t-J"82~#?\~_Sށ:L6+(wVO[,gOYF27Jܻ? j eyFYBo]hc{Ke(铭v񔅕jFMaZ`̏ Á 52I(Å'0q=U$ C!Fdsd,"\.+٩uW@a/>‚ucrqj"{9ˠ%Nj1;J^s %a&\_ vӎr7r_GӚy-Ui<4HO"$+7g)ڜN|/}l\FfD 3glX|ܤJŚE:+'KD؏c 6Q4K3]tPHpVlON'Oe0YyocvxuYjxol\7D]< 4+J A=yxdj\,RiR: \p"O֦+7 * )spS;󁁜i8ATQ"v R):Ok!PqX橥<_Z&|a,7JS:';>mE[xBZs3:! jNOfhWS:.BRCcj!1T΋ wbLޣc?! ![LH^6?&Kڑ%Θ7[Jt<&$X3-;waOLDA} >yQ% Wqp Gcsԇp 3~V1X#4[RG+e1Ɏφ`}x3-xnK{ʪHy[eIKlrX;|?W/ٸ \*q1@B8WI"5tpss i&7`rEpv4c6LDتtBL<_~sf˒-R!hi^ah X [?G|ڝ5{G>)=N }f&6-TP#vBqLX;gb-'>;S ~T_x)\AZfOͱQ@x YNXI_ !Qw[!W hc\K? tas3ϱoq0_s9D4Ny_%l{퍗SpYx61{¿x(BԵ3C:ZoK.Aacu3ap׾ B9%vϐN~#"1$_`E^TjLa2R)(S .i̝7ɵ?zʧӨHQI[kJ5 2uk3ZÏp bi¨M*L@*0 UodB 㴩kCAHfDy@OXm<* gEK ^d{`/!v8T0X a  OQ?"RiIDN+Ԁ>N:u i \ rG}b lNW9^ i$8"4PD;A{9n\Czsh,]3eSn~WzP:# 2Fo^[U 0f@GIX%憈soUM[vrkz_7$ʸt,3_`πypi6ic/` ч Zn"D xڶv0(]w!"}).tcG {*t i/"#X0zYkney~zRy͖KyL ʇEF^XP ]@sz+oޞ ? #~M1Yx) v{/ H(~L9ޞġ\Z'U/{Lg@ Z1y)uSTY{~ 7[ ̘MOUӰܱɵYE٪=`z}2hӫCHYd7{|CQJ汵:SҫO}LMвX3a˧B&oTɋA RˇUYрm.ljMpqʈ\9צ!t_>VQґ KU_f;h-icNDM gm IR@?ptȩ8zz1!>27a<Z<7VhtQmak-STI+Zs %Or0Hn@4,?wn46YseTe{0vP4b> e4hC!|Tc%A1+ܝX!ȃMs֐J ucF:5޳E)г:U|<lmzJ.RU\HE'Tg3jil.3Y[!ɣ1[fswZ7(\2H2AA2 m?~[ukEN-0'Ed:i`K^N埾t+i:܄W~ s¨(ڋn ]v_:_rZ}!C9]),nuwL(wjb6uڽu(g&^kȮnm;5ޫc5n7ZX좒C)O#a<ji1^Ax2~G{gX˵gU.^wEMA8~ZT\nahpݗַcS A<2-Ʒ ^171O{7-2'<|K|/R5_tD_B侾',B ;^S2Ʊ+ lȕDL&OEύ՛YLf8poT\CPj&Qb@L ;ňf )M'mm$eDF0s6xE4&YpqCn[W&ӕ):flYzLylMvAY4$׺v{ ]®%u5 Q6t9N_ k&Ϟ/4BInwIpܸ >Kr&_8Ux$jMH[ +u!xF)z!f4;ڏ'4%6 x~끐Dø@՗gDG W!o,X<ߵ<ꬁ^Kh/isxqsETedjCn~>f8pBi3"L|t1$Z~x Ǣ;BKүU{/'|HyX(wm꽖R4>P O\*jOOǕ iR_cj%Ż+H:lxuNٴ`S.J/jk> ,!%8 llNjɧ5gA&$ ȽUG ?#pȌ HSĹ) WxZ7uꨭN?OvKSb*Tj"#ĈEL< Sع+Cg +siR(VQǂSj}.}ԠgbMsєmu~^;%AaH+B" _]u9LD*ifZtъgᢹ]8YIDb[ )LrTꝋVG\Ra`Q>%Q:s?Ν૑}][l2wkK(= #Šd1/h"NG$ nT;}{;{3X[yܑBa%3 =k@_X(>P(GZ /( UQ)6 n15wە6V舾p/E!ť2߾ wRvxKMDH Nm{䣏d#Ml2F Ci0$uZ.{:z>+͓TB)oWAiO@KP|D<;ب{V+}eE6b+}&A(Ƹ怲 oM=B&Zgd6xF ,XoXGRh(r Q4vGmiQn61kUȈe{-ҚOx9?`x/1Vnv`>npt0 ^]`؞f菐4ƒDZgYZ7568d74ce41e89309d83a2a38df55f35222df333fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 9626d03df608336a839a052cc72d740da50590d5