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 x7r^@}8B*='=K托!wB=ufc8[X;Y~Tq(V8gEgRL@ucmv엏/i]afbD)?6gl&-fzHNdAA;^5 СpKs ;ifЊ[Ujn،ibXZ{,d.2?_i^+ 1[gK@1`?l !QAԂY]Hp1 |=m%aon3;doa(M/S n1"`^0UU4`ɄH,lx1=iDulbBAVL>8daa scЊBBK FtRfq ݯw U4h؊Zt/j%?a6%БTq%EŇ/=zn~/#gR<1Mif*/4_qy-+eH{&f5\qi 4c ʔ_t'#h7y_#,IV) ΉSV uf/Lk(vӿZ":v *o^"wَ{ƕ: ;0\gԟxJq7h5:{{QL:\b$ Xdc;DLSs 1 6 *P[Wm<)DxNXYQ̴qgý5 ^MN'tEɐ*/? ;h*8NDN-Czǐdx5vL"[9YyE;ezLd%^( pAwwA{؝[ _7/8K8U;or^CeՊL<.N r(8Ϸ13(~:5KM):p5&fN/MfJF^ I$ȸZ7x1FiTɩ9&{"QR:38e]ض- #\5=vpDb?}UraK;M55AS*bTT(37a*D`%CBQSAStGy`L7߇*(eF2mǎ셧TaVnlE8j99oeJ 8pڡ3WFW+0K%>VauD{w[& ;g{M Pf[s Cyj(zht<]?= ΕAiF>堲K({0\$͛mxWUz~N.p4Mi$8 Ǎr>B|yihY˪I߲,*EX%l?:8S aRx{Uᨩ}dyU_J [x&|WG_vu2[wdzPX\{у0LCp 7:ԗ{U <&Zo|!P/ vf =K%#C ;\Vz^Y  "O@K`-`iu{_#ǵ4(-s+\:;XI;Rh%kbړ?mHژm ;1Q "lM. A#g3GpjZ=/y ^ܙ̈;ih(!EMW5W4u]vA9-^`F1Kw+Nw*߶3q )u8{!r.P,O`b,n%djELT2Ax0/@'%/g0><1=&s;5/6wq<]]]>ƋБMa N #4aQ&!j+%Bƥm)q0 %;Q$MmCM7tǸ..jhF=\Z2# 1Zh`@(+2n ['}vB o,) ?%5TP9խ/*́hJ{O{0:ƽRJ`y*EX@@򝅏DT4*%>B-arcX8 lMbX0HrC:bJW#%[]jƸlU3L.QR[_[IX,s]wB7[6Szu&T̬\$VAB$&1,wb2@[$^\9o<n.Ut%vta( ^ͱb8Q(OǸ}26ʒ)Ky:` ]'ʝ͌na MSt .r+,P><"}A%:˽f*"-è۞D~BrT//4,,q@J*4Olcga3|(RW44¦R Bu7oP;an3mVV&l[6VxE5Y[8R*p|]SՈ8?b<^')f`$n"غ+=dAB @o ע%&֧D__l`Cva^"װ)L7:тfޅ<f`:[^W$d~gsx"ft@2) :i48?|\ZgYZ7zXZִF! 7#]ŗXi%<[<(Ρ$ib,)Wxt [lNH22oVpo^E=sGlYi' 7 Prime_Harmonic_Seriesd!􄼕xif[76!@ޫT"b-( Id@ DHIɹ4iNΚwyGtpߢsrGrA1(YBV=ds]"@NxZ_I?9U6Y['-]V^?nb7u4,'M*%-rp/OJlwsZO61~ad~h^u*6&0 ֛% -\cs VZ' RP È$pL$3lH-D^-ĹtQ.@:5 5; xcྚx^ɛP3U!(zz@g^~RH' JF [8y@_y,@!{.AbdrD(y&Qjs^s̉wb ]Gzd$ }8v>o1 )mxē;ޢà 鵕<†8]dղtlʕbo&sTm}q>7jԁ~$6lڴr5\1\%_?j(ːLq-ݮW6BZ D _a?:n4aX% (Ukb*L pB_<̐&hu2byua~nQ;M{[gmqLA^ߘ[ە}& 5KH4$vﰯZv|DYdo.z xZ$QC8f!'2eV"6g~)1XPGõ?{ tn{l6EzyS^`C0Tk 37p(h^rV/[E0 oJ }vGioR[qS,|f1$xl"VʇIz:kPRW\ܖv['<{y^}PX Ԥ!>ghclZQTQ B'UhnsB#?'ipvbW^@wZp)|&4v1 4geUL-OSDzLM̑1$|Sƒ"ĮLxDA]YjC}ݵnM&ʀ֋%gOSbSۯ5-.i-?@f8?8NB Edy"ZZnB+ yךMVU|GC \vibD ɰ޿\wx\ ZprfISć-b L0ɪSj0cٝkJN,j%\zEc5NJtÔ 53ꈚ{3@R 6%w[~#šf5F/woyv{jQ!ѐ3J)RLIt>]fӎ3h1[ Rw>;V1UolG*{x7RZ E v´k:rxصX=Q4oĸɡq~e90,Fd¼++1`Yze`n& 4bssDu’Wr8G#bi<)>́un,V)[<РWe&{N,MܵǞbJa,B/T۾4CثhLf;Ǧn#j,kR'=%3α#(a)MB w葼^&\yf&LZ%Ptߐ/Sp@ 'jWZ{n9rFζ y%SNy.rWthE)-H24kSS;Dx]E-8XBxx/,A~TAO18o">9@jK,[|ָ%$O"#ām[9O s9o 9K:C& עE x,bL6Jɣsy?x]^pMuC>'|oC|L!ARl]xTFf~zVeM4[V\|S;h/;f|c@p5{l,p9> d.q]ӕgE1,6x"48QbWW.nN=$s*0%s`<6R,Z!ėϓq9mT޷"iⱱj5RABR ZSd: H*$-hCpMZ)9;u)}Ȓ#lt{ָ3Ηtg \Mk=X6lROB4\ :'b?7Ӎ+wqO<Cwj3VX$r 9=({3,FhPKp doW'| i uJtkK+~2 !ޫ =tm&͒w$?>ZJvVG@"gҲfō޺R?sęMn7s 8Y WD;tkÓܲi+rƌYվ`?PRhAK-2ԾHURHMLlwFD"ri0m+VNl}x7J@ cpwGj<`UNjӤ|]F^2Vy3 mgAX*WN/>\bd' *z1oP#.G%>EBt OAYjc#1] ÷:J$`$8'5?x -2rHi"M$GOSjc6E"NP{ aSB{,pA¦,Y]0gi7_)85Us7& UuBD)oV0>͕oЌTr. Ǯlk׈1#˟ˡEC YPxeߖj-9Eg饱uXY垆[VY8hN&V B9̦]#i!߅2p,/(}NWa/oX,tԜ13Č/``õ0=񓻕hX f'bF#` UJF٠0}']Sf|PC!ud|4AX=도c 7 Pus=PlHnUGªx7}#jy)%oIg TO[f/M9S . Qڻ o;w}qpI0fb, M놜 ng 'IK+{gGS0EǛBW(0}f/FJ nlѫˆ5cFr4Q~pdjE\G.n2 ℡2R8eg) >vPz-*)y6LUրbuZxL))s6|*?`ltF g5U#f ~Fx՝$ɚX o̩A~}td@\] Qz`hu̯ FR<䝉vU&f:9IsndCЌc+~a]|],b޽K+$1'jFұb9VVLghY^(ހPX] GwSɂ.2VXLjߓz]ذ+r{9[ Ђ||Jܾu;_~M;hqFa$gxv.8R[Wr?XÍ"S3%'jz>Ѧ{E6@U[ƅlFPhؠ<-{n+|Jר'_ȨTv`T.g',ծ3z.E Xc1`qM#57xJ2)O\ݭE|o3ZgLNcF%ĐO~JJ.M\h+h>=wԇ T["&HaJ4585/VтQ BgB5Ε{c5f-ʤa f HEU" q{=s9(6z!X0P HDo9!nĐ[\VPr-i  Y1,Q :OLz$U ,S>YLz@ԋ