SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ZZ7c$Y3zUhϔ Y7Rr!]rqai ]֥=X\Qnʎd =cyufW+%ƒ2XgRx$%N 7cr|BJa)D+IOQ d$ :n,y!霊0Lҍr$Mn^=8p"] ?q]̧y;&hʝwj+YZ@<vfWcw@P!VBڐh+O<9F}- @32["r()hѵ$TS!:VmA74uPL1j'k,.$.8LPgbmzk5$ת?6" `6~ڣ)+vK]G-*1n`Њ6Z 1EH;m51\dsğ ~u2T}P!(-~p%UL J|ÿ'>wD&-p {Ş۬NC Td^:~ XУ c <`$fy ޲A` de˼y7bk($#$%^ ~zL,SXI$ Q~̎H`-A'*~-!xlf¡fj}Rs5 6AZTEtMa\ aScD&N{m<v~@@rIP#pyq Y_ C.9>E{lxKDp-0ƪ7ANj-v enC]O|Ybdz>MXyd&lW:XDxJh0hL?럗^m:86ޓ~Q 2{+eh1"R^n 9G,"xi@»A2z^N!h'Ҷ+*NtK\)s"hAN#ᩙL=r73/zIS qFmCGa6dWD6?N`Fcӥ-C;0f"zRҙڽSI=;Rvh9G7ڈ >af ew6|aye >2H3P7)jD_ڥ/ƜzU) \HWq.Q^~;];j{uEo]uڒTer2iB" 7 Prime_Harmonic_Series; P}[W Kev ٥fUucvV̄ń9Ԗl4s'>;44\T.w@Qz$Tbѻ'ǝL *^P*Em+2nv%KW<ӯ/:v:))ڣ7n1zGt{Sh&/HȐQWhsi ]q' #L }/X 쇌6qW%?,gm~>r6Mk( UӁr3NRyt(V]2?+ZxFVh׉N]gYZ7zXZִF! T]ŗXi%6o#Lޔekɉ&|h] ڊKh?ʦa[ho.ONei|aXCxψX ;x@ 8ԎKI:=xE-z@TN&8= Xݝ5iG'Ҏ*'>lBOBFeg^-oghYIֽӶ#yhquX IJZ+?8 ũaX!Qcyj9O@Ê\y/CD?"XFO;Ÿg%'(51L@r?>{ l+}\.eX \r͂b^ƙl+WSn[DS q% |bNI~ !kbxXz#^5~?]DַC]F?Rmj_~Wll,ᶵ%,4o"f><`f8 zociTodǾ^yntR2$#KqXoN06&uHG} 2!qY_O1m"O)-[\ _QTIooqht|r{2Blis+آŴ60u8앾Qvu:UWtO''+[(  5z`K&kϞʘcՋ=\l4Vgk {ƌ@] UNX#YgkYOveDC%ʺ#jʛ>EVR.5M0tiQqа tGk<t{CQjVme&g0D Yx .L:`n%_ ,ZYv6\f89s*b9+Ha~vCҴ\/{ PStXn|I{Yd.|.)vIOa7W:j[Wh`"@S016xx%B3''O_y8*dAD;;Tr\#QQ=qb<| 1uW(mNrY?-/v߷G=l| N6QĂٽƦZUb{44=6צWjK1Xx\*uK(]7tyefW,U<}nږ۾pJsն{V$!et;3qF=b o@ayք4|BxvfH#)#Ɓ4Jۜ1`fNZȀ/Le[P ?Urg w@'z m d/Lj#Qs`}o^`5o l g*8YǑ[X #^>#G5WھDEロ|R>IIni!B;ڦ[ky!;ډQ>BtU]XIHxG~g䫪ąL^_^)V.V퍕D#m?r@vq*hpXz'RvG;Ko앆vd7AI/^os+Qfy6l;rK&{Mm)3iсۻ:k/)v֮ !9Ȧ#|M7^`s]^!4fQ4ҶZ^|n3V{*ǎ4]k&ME)\Nf0!@67;UGʞSgGW*7*O?4ُ#phoS٘|5Zg %9ӑ٭L`TfJϙĄۥtMʣ^.Wndô-ᔂߴ~_fD ;cIH8(`v2:md,on 'ooRɮi5% 0mIc49OF|(b3ev8!JM3|ue2\vZxߋX< ҍbA;6#/v)GOԅ[9 ŸI{+yYg0 қuܹzN b=K +ІCeͮ|>r3H/p)=w[Q﫼 `>nsk+pKf?:؜(ZȎ™MeE{XZ Us{k2DL&+71YH9`ʥՐ\DOSb}Aa],իiJgg P~9@_p{IVƸr0IU-vJFCddjVm c?;\CX;'UOuz5W824,6c_wrД*H!Οh1%WV;h[hsX*+(ۄ(YRIl:;z<3I{V,~;F{=^zX\K0ray_ԗk:D o-Sx'NF}j] w>o[.I}|ϡ>I?P]ɠGHIRM Hҋ΃BÙ8Z \oͽ)Wa.H;k,N6Ӟ-w²eڨ^_nO7K ͉†e[vYOd2VqFhm4Y䗱CtN^LH\acli|SS*ŕx" 91DLNlʄSK CW/Zi\O0/u~AM{Vi2~F y]N@Yqēgg3u]HWζ/:-H+XCdw_|;Syդ]c ޔ pTBO]\SBR>2()5^p*M7*)({qvgCT (G[©}4J G8v}͆}Ɵ2)2Z@wQ?RI \@h ê\gjq ٟ{#-Wj"iH6GiwB]/I^(g G_):jR_#wV1vvr_if4V55֮< N}KAVvx@xm~7{9;&̀\Oҗ#,l<'Cӽlo|aĬ$lc{ pr"&nmlgA8pvԷq٣BT:2ժβ/:& -M90ڰ7.6&RB (eǙ9ܶ Xz4g_vysQ߾/0ct5$G]p3R]X XG 5#IFu-}ba+ x#hb7 bF Ώ2%Ű$H1ݗ J}BqtؚYYVK3Dn4U'7:\`vLgB1 MC*S7yN f&C WZU iW닖sD_!ZsvwKTf7D'צQ3ӆeBv>fd@Mèmk8/a H=cUg-7[{!oYG.u ?勏"&Z3t%?LS m5dhN7'= 6Ux3. -UTﰇ3TCRnԅC*3>uFF "FTZ&2y g+=RAdb1ʌ%0dJn ?R]Ob<ބ…OdIa;xRVm2>A IaUe]SIε]>ujȝ mtoEgmR0FʡzXhIՔ[Dי!Aɮ~ЍCϡ8;>>|$^?nԓ~'%qD,$VfL< و.F--G?RU~]xI o6\,0 E{gBdNvOPc ;G/D OK\Br3@ ws4 *X;L rےGsd<=0߬O7TKWhQGK"7w#Q{Ƒ#a[4+ӌ+RÑ>+ְF@]#j~xCkpF0Oy(ɐʨT~kuCX`ԲB9:ڇ<cmΘ&n)$Ӑ`h:$aspjV5<_vhU>'~8XcrgYpl4I^!Fj4t4ˢǬÇk AR J]B:o.h2'ɿ|XD6w愈2[O覊6qll7 o{·Hp*K=` uk,U k߶FaAmhbsRKH #'vv̲hdJurcӚXU3i̧r6(VF%oItnpS9_q9"띷z!ǑxNVRFzγj@&?{@\׮|Wcym"YH~O +V|L.GVI3Ħ#D[q s^|cG4iBPU6.c#xrtxKo x-(Qu}UN `!uGKh(_i 2C)k74:[,alv.WF78-&``G-kIT bF3T7i!PHf{g%]`e(Kf#JpzHH{s9&W2J*{_G(,CШ0DZYK0ԡJW5-ז-RX\2k.e.BfPr ھ51*.[ ,g98MfY˹EJp9&/j7S&1hRϮ~O ;xgR3>@LzW`quw 6LЊw%bXbp~)A&y њZ:1?/딅\O6'gp@e彃R0( ҥԳr.Lm`>X7b(|L)z;nyi 8iыOvߜw膡q oBbx2~t4nkJ.u)D} `Ew%!kɘͮOÄ-bc$޾뢁k-{Ry2LcH@LYF]wc ТX=q,pߞOi<7 5rgYZ9910f276100c9e7b21d9909f2f4222350a49bb78e003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48