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 ~7T , ] Prime_Harmonic_Series:threads=2elapsed=122.283cpu=223.272gc=9.968factor=1.837zXZִF! ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja ZO᫘<<1=}+Gl4jCI/`5/|Ե+ZLz K` J#& x,,rW%q@;Y]dhV^f1|^oeaCaGӭґUg4q_W%,\aft}ﵹIlK0L{5D 9qw%q2rnD[>pK@j$)$6q3NZ Z^b2'>ƪLl)j!Nz{W)]] G U9-+ ߬PM@g{] @bڑIȌA'_˻8m-V;S[]rrݮf~ia3!2vr ^མ'Zx6{dopF1ak AA 0E62~mnuCLIR^itF< >_l" ,]X9 asiܦ5:ώGlf @e#*;HNC1q\KƊ1$K+?eIa/⊔Weyv2v*7g'B~ӰU@* G).ࣺإ;d8W(eu̧D# h@S/ ,_)WyگFj{t-4VwW^Eg=ҙ)^ E4qС9]^&ǸJ@@`75*y!^7=%kHdÃv -R$+ zh 4X;h dsWm! :xD)܉+=!v8|Cr5HAige} xn9ZKd`hp#H, qי=?>\ EvG[Ui΁a>Eb,ظ%ſzrw #}:Mg_ۈ"N;-NԐX6?q|Njc$ }ޔ^y[ũ@X~ )v#v2B@?)lT"iml-SkZy"t”[qΧ?a 0.w|2'8;a+H.jܩ[+A9[G3tD+d OOJ J842l76qRmw3 Rq*.Nb- @ ^j2| >#?2EPrpg<[ZF6"\1vJ&3 F_JF! M@ec3aN)2SeWCY/0@}eȤ\o}:~DrW3 sަ|@rGGU p\='W86FSact}-(I&DЦ/3W6DԳGRd&,j2MtdZ &xCFX\#̖;svu,#U!Ͻ*y5˳pB7T%`Lxak flִZpOE3!fiNDBlhyض_!5, Ճ8Zw^%txְBOe~l6RLqJ!3 f:|)ץNOxfU[J%o'bՂ~M]8 11Ww/>JtM `,ݜ3ݾDH`\ׂyLlb7{ǖlu )Iąg,MPۥ$YB:$E#e4zqQ`po^NEW#}gߧ3_5+` -=%g0-0BDVeb}g!$:tk!?94uVyw;bV* x.U-n )0݉dv41ND3c"TQ ]v=jp؆o0 Or Q'tV}JܿJI)C9Ļ#צ'<);zxrH<_F;Sh7kHc9Ȱ^rO:smAMLfRuFjeã)b-ď䚦z{(;=*}VyVjm6TZa2iOw(8rc Y/{!K=&z^&b䞁aɰ &ͣ+?ک`]s[Flj)}gYZ7zXZִF! ]ŗXiɟ1`?#6⪄f]e߬vO OK_㩙ʇ{ ,75ۦ_'^^4g(bA9>R!dIډQ)!zvWSvwg*Q @V͐< q0!}"̡iB/'UN*yNyvBeJa4xOtY8(CZM1?ps1+o{? 9{B60 :pu(-S_n&)r8pZQ\FH<0*/54n*kϯx*^e2Pcc>ǩu̗E(3 gb󹢡ys,$E23W(L>7P,F~ӈ˹ɢZW#%w a(&3վ42 !ȱo| z+O5iW'n1>`8,0K:7,׌ymb#!+!e9ԈRs>!&f< ?u᡺sbwHz;%{DG$}HG>K1?ɧ6B|{5 8ğsGtbp f`E 1АS6 n=*J%6 -5)wȣHbþ|[O1*Xdrx6T[:M{<.j甃XNƣ N"Djvo#"`L~6Uũ֞g~1GǏN涨m\=dPQ/@~xUh|&D8F"ϞpU>dDqc-Aփ 5b&ό 莚z!9|̌} rбD[ƖUV!66mHT@`E[`Zov/g-gՕfuTVuDv !>BMCNvBu"~U r-aJ mfu݅- K1IB91̬S EӐ S k6]0E #3 RPIyGnè*+ϑ**ԅW$Q*4Z=ڔѸ}]k#1ÇRJ_F n{q|ްNBgf}|U Bu1%x7`v|nacb,]< ؇ WhY3!>@1r4:2fPn%.64ʠ]kt,:SkD[;[^n󮁒goΠI_Y{74vp|~\~F#6uϓ5=am4}xO~r{g~ܚ_LޞeOt%-/8(&NĶ O'$ "kΰ`im9)@jeՆꔀF?!]}VbR1o#43ݕZ XT'vP,kb"䪴Iԛw.$ɮJЗa9Rn ^+Y?eT$ۼ+[ls G>lLaë!499R0Td}-}&e0qK`w7\kG1[&4u/Tl9类ͮR6"ϢOہe$VH'A#f3 ^Ҿy|jF"͜R OcRgh7.+sݴ-NCv݃CWxe!;d:4_M/؁Kڶ"^(/B+d*.{fݹܣj|2P(jK|yDWIy(]=j #l @K.yJݠW U7ӱԄ^ iq׮媺zO ;VMVՀ߶3\]H{YTpsgq*yH&,H*_"U5 .9+I˃P.~2s ;A^vRSGMKgs3 ;2zHehz~D #I(q^ߜzSzǠ}R9(*tƢ+3k" qJ&р ً_.{Bm ~7Aɔ;n B~ex,st0{X9ߍ6AF+KDl`bG_)Yū)OB;xʍCfXufDzr(bv9޵1J\Y9 J T7 )os4OqlY6z`P?ܠ䞨I Ywy~j<~x1:e* TH{19*En:~cKg q[MjkS#wB>Mj^_YQ\wl7Wѳ#* rĩǔ^MI@ʩyPo7cͬB5T;e.#Sl>5g&v4 wJ7W n/9[i]Tj!%BRL܈\GAVsַP. }f 9 1ɗa0IBpTv2=yxֽzz޷)lZvCm5`BRCCgMytu+][Cf ULo%5i<$y@vb^\䳯{̉U xk+h^pR3p6}ˑS72+s aQnWmMN@jMF{^*>Wx16sns p 34NK q)7ⲀҜ~*Bj)t3'2 ƣ 4b#b^vƾDa #; d[\_ᰵc-P~TO׈' DM~ۭxϳ-Я4G͒{1rO}zfG6GSO);Hy0ox;Yʧa7\g)1w ϣtX~!6jC{btBZ޻}ƌUe]sN8_LҍeW;˳.҆{'+Y^+$]CDEsت0vH|E~+wΖW^i FZ䨌fe$q;<<oTuTxSgE i}vYH]עĶa ^f&L ,lb}ޏ[ ˮ]¦Meb?TO7p)S5EVǺ:Zό`VMEYY ?NfdP-ݺ,?af) _lE0vQ,SܑCiUuaWY}H95S1\$Ԗ. @U0N&:(mP5jt (xOz]^cF߁xx{( ΂p.ׇfETRaB^g ]X z[+UL/P@ Ys%k>.DS*hosݲEm%љ(.R"zmOw[#"sn^UuͿ_XRhfnF`خ(;|hcԑxm76 ,|g Uŧ9+@vMkbBH[ւ߈BvpbbĿ`_9S2aPI7 vռv؜ej kf<’3w0ZCv ??'A ɡёrۊ/yy5^3[ /Uec;8a*ؓ4 Eyd}ݟpܱ I*%}L[^ kUZ[& rrdJ/j}Y0Ղ갩ELB%a߃N Y}e2BOAdƳ}@1ٍ%ҭ}^XKLLK~m*UOBE`Mx QʝD{ѷI T -L^ۯSoxZب5P8fݛ6#ΆOq۾n$9@цW㕟Fx̲bAf>xꇏS?.0PR .GBG(6zi|g,1=')"