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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
E E -4dd ]]Dirichlet_Series:threads=4elapsed=210.249cpu=695.976gc=51.444factor=3.317zXZ ִF ! =] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78
od &Y/j~Y?"b%đ##|' *'0Uo-"̈4e26)Hl3T}
\Č22r*A3w<fPt:^|
~q*\s<;BTzA!/.*CD*"RNw^3ҎVWpH"e 0M^Zˢ!Ф;O݇q'5w|Zns6.}5-|Y,](60ꂳ$0mI:'-09#0qVk5A
aU
D=aoٖC[WT&xp/bN?=F9/W
@L<}՞u$
=Uk,X`FG 3闝~bl҇Hqx/4o$PǙ)#av4SYi8`('85ӱ+eб핹ԣ<`_ݤ˧@({P+Of R&j|ȩ-iq9}ئHwج gl^s k(Bbw6xs_ X,c%Lk;C`|`z6M:Y%߁KY\ӑ1\Ɓ@7wF\"
yoeگZ,-soi$b 9Ueniٴ1}C/Iܔ1(fH O %Qm(õ.*e ;DEeɲ9ލ?m0XEq/ ?Us̊%F< ` }(Xʻ$rQo<(
HQrܿ[z'V{
+v *Z4F^ÒklcHe0]XvFp6^jzދ5AqoϛGOw.@I})+je'lF@m"cIr}_sK}j2ڦELK)D=+r"nB>Ύ
H#60G1[5^᪖(IZi*ja<9_1ApgP]7iޖ{ GTU
Qu2Oe9GNns
'>f Wrz4d=n%9nm͙hvdO/c;QCq1+Mvqf̧Զ̈J"(.ɎmW\bwpizɸ9ț &Uv?ٵJ((iZՑR_)bYęy)|dvxj2cM1f]1D
Q#ЭTS`뒂mr#I(55_>e3Uf?1FyL?4j~bZPwEGY
- Dirichlet_Series
JKmN6:աrc4Ğa{݈l`]BniCKUՁ4TX:8:훏P~h87_hp11Il"-XHDB`ώf6~JuqZUH
*ǰׯE};ZՃ-w!/L?L^Ƣ;a_^:bՑiumtOZ|N8l">Pj)KEW)tY=/msC=̣rb$T\Y딥v1)*@55)^ߞcD.Dqq:a,Dx8g Gŕr\z̤ha K+LB+q&E&$8]N1w[fvuѹ썩G$SJJg/O$LãMbBqe,bu}Қa &s j0^Y~pAmb(M,9K7n6Jl݀3hᶊ%+2xyl"}:
w+sVjE"{i~[Ka9VhC c v#~,r@0Ok"+S[%5Ѹ10:f,XF.n?&?ǵoU5nmbW|"y)&?8Y09zgdBr&}V2D$CǙmUz^w^!5=6"G\=@(x!db](<BF={_`VNOMo*}O2x3>EVy.++W4+0q9v4?,n}v[ .0s?afS[VMj)BEVZ-sl, Mu=])_D:LpXVnz',0LyzŲYpTӼiu C(tNY@k?p)viו?ئNʱn@9&馡\aQ_ d?2T *ɰ_Cu$N
{yA քlHDkR
]Xgs?^-sHɘ-G^|z\my/q=o#8XL:_w"_ H瞚b(w&;_D,ƪ%xT2.́W6r>sv̂8qi*|>=ʙpeL5Qr!$'1u|&uO(AVJ4y(+{1bJWt*|0%F`gYTfhbǒ=)Ev^`I*1D6gonkzcGKE)s)J2hf" Ya祆
&<&@T{s>u:-
52G"_Ѥ;B0V 85J*"B;\ByQo^$z}+,|K iRb+_1/%,F\uvq[U< 7aHC!2ܷ [UQ)I=g]{4hfT dtى &q`0t1@b$mu>&ZXS~4mԕߌ%/Axw*cQ.:[Wt֣,ިm ^Q: j2F
ڋ>a!uc[3Kl_(1
JHp-G[%ZtD&>0yx#$OKc7 ZqMۿ1L7ucyP+t6Sfh~I{!08Ϧh;b.(%erRq݊MɆ[wxF]&3 #R~{@FɨKy.Zd\[kӧٵGD;;Xg