SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ss~7ut` K @ZJʾ3a/Q" [6u  ȋ~MWӌ39F]3 :?m3z&&*y%$l)\n=3NfԴw%]Yy33KD|Wd2* z]nTm^sZX^0:Q۝DbrN 1AU\ZgI UČFڷG.8ك–2b'>FNR#o4GSƆٸb cC+d̆8R V5KE/!>y-,>{=*aݙ_VeK 3j(6@P}(.Jwȣ7;3,fѶy|h kd02Av$|.ecఽ 8w5,<ih48\󶗴/ l֎.x@k5\=YDvqL[ w "C'Sg-$, 2D>@B0ADX38=<Տ:o /=h3 .K\j/QF*͕J" 7rŢ'!bQQ#0mYq6хsN!" /X\אˎ<`a5E6'4\LeAjsLN9YW<6AUa%Bp CP:Z}/f fI'n ;L]::/E9B 7Tg7?yMSū%X +gg95C rlA ]bSy_>|Ҩec>_N(A]/zGU-cڲ^)}x}q-@'uP )䃼S] :?{\8Wv,vBIݽavS@F'R, Ij+OQrG3Ǽ@\2_HJZ9Cc6A#Yt*?ͅ#x=PRQX\7(-b,gd~@_Ghe=^pm6bm24cU.^ ߚN®z$!KDW=/ю6p?Sy"錧}JK"/w5WLR Wwc.OC 4On1n A6Yo;D2I+]U8gI]#F*4r+Sֈ'?wd;p˽l˿۠[v6CeS{qh Ҷ`bm';;qVpP2#aܬ]}VY23L@>~LF 젩tj:{e%z:5AqBeETL SсkC W7RpoKґG ;N;{:;sGtT)aq⏙jFT1.򝠳\qt;$G]ScafW-gH_MO¦r8Q%PK#h0_50c\ Sf<*-UKyIe~uA peuHBI5 ~MrSH >+=El G 0_}d^Àyi;@`ͤvR"\=k\~kSq\1딬 #k_L4l/?oTO  _kV }x18խc*lq\O?ěI }irs=bvBRU;Z*I*N'^JQ[q"[Yq!8$ege} rPVid:[9/`G>7qԨ,`b3:{QӿmùxOlim^)C<>o4-.ɮLǮ Fi%~T duf_/=#JRV.\tbjG| QVI=zJ6;റ|v"`#+4ueQ?Ńr0L%Tzr]'d Rz 5~o6x 2neD[ߖk6GLJo=Da *uT%+c!M>w |>u{Eu*ld٪Goҭ$N^A# ^GIp~BVןZ27y5&-D+ψ;۝~AHN>&dܢ3S77@4R~ʳ}JXιn~X! ^_ݧԻ6 Wd)n^pQY@$iQ#ל)2~\'6 7 Prime_Harmonic_Series  ׄ3[H Z=l[3TY|dPqfQݛFkCQУӱ>jhܓyc"͞}.&d/gYZ7zXZִF! ]ŗXiɟ1˦r**DPqF91!AVA`pqp&"LefFx:_`xx' D+i5kO~MFe)AG`B59٩ynBr^:7IEv(2@ԑr\| bFq/!`>  ȿ߆G$2Gaj]RCwx-3znP}+2v&̴|yk_N_(uuL jrd(ͼ7={sL;j7(D諙\j+$: RE)avGxQ-Dc Rv2ұR]siYe 16#=M<՟`<? E Ӑ2/K~F YȤ0L3!{~xg}Uv`:T+- YPyKYm&C_"ڦ`J'u51eakcsX@r4ӓly:2,u*0loټc5_IN6Q?JDt^*MT p .9w ^X?_uH>L7$V!r-2Ȍ[}:Geu*cO+盶 }`hkAT3Ov0A߷ 2z^s!AxUwJNOv&9ItbZ0z3/>me6x빲*F, ;dQ8?΃Ʊ $4 ` {wO%*+t,V?O[O[E30,p!xrL\*CTۍ3Sc(QQhtN^p,uWh?Vr@9`CO?t\qyhmj'UtkϛVgAPZvZ؁ wh*[:|)]="!zuP5Qxhx@n +[ܡ{HqSnb}gZ̵5%񁐗X]h*>DvNC‡gj ^sb@c.)ٙ~1Wdgqy!d } Cɧ HLF@4sbG]$ zk񌾽I/=+M``@$= (Q/ȑ2υ8*ݷ2RT!R!Y]X3&K@%q\SGa|Vb+!T& _Fmc UԡVi+ /IWN/29J}%⧒PWa1Y_00oG 1,|*M= 4#uegZ_$#€I\bPa̡ɺ{!4=Nző&REwF8`G<Ϡs Ӂ"-?Vμw.C͹//hǤ*#6ųN_nW9r$_o~oɋfQo 34Pr97#셝F wsjN-mEYm}cbb#m6)b_۶*zT|29W;m")S!f - 7 1\iܟjlog婓"iƕ52 xd&mn ^0j-'Dq%DSǕ-k$G.!8_eoi Ь]Sm$t~OFg18*z &FB.fO;gzqՈ6gC}"Eg|M^rCFş37V’s7yȀ ^=WWR+aЃk Wzͱ,밚IE,._7גNӡS~2X=(ͭƆ+LD,GK;^&R2  2"eǀQvFc5?ET>"\4%"j=^`.Nvm;;w(?츎*g#M%H}(._dـr?-n~Jivwi7%Nx en c-Gѩp᷽ bwy2.Oc\# }R.#qYYd.@-Z19n7睲p%lPAD+ul+6˶Al)Fk.P*K*bVzuDa >1 d\8Seԧ2:Ův;|Yы1!ԶkX3ŏ枦Zu'GzD<&p9W}64ƣRC)ob8d²Yt!*9;25|Gy̺x;:2doPvnΠ>Xaόnaj)uav8ggU q2ܘ4/Ǭp,)'nєE(i\'%B@2/HtGBXI"=dT㨗 \Lzz Ig%:Cϡ"[1<4 yA]܃7 y8#^;6s#{ԫyR2Y_`ǃ9ס${hex!J3]`݈+=%d76lArH$P((6M_U_gpfİ/0R' pGޖkN9O<1QUfe0cH|ԇ懓WnltGu\Co(PG *V桺?7IbI*X94q2.\rrO͇.\#/t [nY;OM 5@[W7ϒ jJ9G7t&R%b<3o3b.=(bKy\g踩$2;(ZÌTj "+>GBr#"ZLv/iilSQPktƌ(^I8 ]y0BS0NІ9;<'sJpe_bʗL*7߷@+*kh@ Dl~ʗMe'obFDm ckcd*Wu!8UZ=1qC2CLt/սQ-/VB|) 1ZNmA'RcN Vf̓2a< y> psSd@uʏw j/s„#PXvALjr;*_: c L{wy/lJ WB+3TE~lޔ"!F8^xJ߫/9\&ėt[Jۀ%~c:B'3Mە4~bb$a@gH B]&!j5`nǏ/z[p%$h܈1 =F3$ʖP@ o;99i=:RoPQ/UO6NmčLiz$Ik ᤹,s:zNq?\IApCRɽ!=ZGvNCu_g}<<$7ܓc'x0Ptsp񸜃YX\g\"$S<'Ky{Le.`WZfXȶ. вfKR6ݻxXw;:5t%Yn9C WbÏΝs4A8KeQQw]!uҺft50GިzT ]ڐg}-S'$8Ѽ!XKkTn9UIKi\3:a˺ʃ67m3U?GPh!v(!j' yLځ&kTNyo6q:V$鄥ӑ'GUilUވӉ+Tˬ᧰ؑ'C7cwlcue rߘ xI?BnqmA=%;ƙwMHE-z>h'3Rcd;% 6MI 蹿snֿVmZ| bVkH =1A|zw Q '4)&tyՈtR AYF @]f#O9Id!H,DϽpƾ_O^DV"@WIa>LoC4Ui\h2v5^ A>l ?+vxnNxA'h*/79Mh^@Ώ@j̲h rl,A V'8?.Մ%ŘOmmPv˲_=[;DH<6W WWۥTK[8 vcZEi??aMh_\@EυD_zvg8ܦefuF/2|3q~)mvG Jӵ4k~#nNRzp /gjSy?B^lNW@wTӷD.5EDtwh[HK_VT‰eZQyٞ"SdfS%S_)t`Ƌʳl3d"߈ a8=V[Wy0)9[@)Awf-yMj4tOlzaY+<Ӎ؅Y L]QV+.1̞L}Z\:Fnze݆|{EhQ{lPМ.T8vlq&ʺ7BcD flED EawN"FQEaf0)VgeDh|Y1;k8~Ӧ %鴁"H/N}~yE'7t N˒`v!T^bÄ,D|)*8:f-[+kda7u 'gOc•q]~4;'nwS9.nVvqJcÃ-޽h4&:HFG4$"B~)l2o1xZFPYu k"U%iW!v:ѡZVά񴞚jC,~F{G^뭕]4CW5aRguwaBw.+ ,̢ik\-1nˌV' .Pdj[ =ȽC:.S0T_fP'\ S78\ncxڠߚĻ=Vef-̈ A_ X"!122o#kUt&o=3_rlk'@|icXi-R9ds/gt8 C[R~?0C7>.#[B/EwRDwٰSo{=]`7& ٍpG<`1o w7)OgYZc68518f6c86ffc9cf72c3af2f1fd52719ab86a0f1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac