SQLite format 3 @ .
B B h77otableisabelle_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
W+ $ | ]S]Sturm_Sequences:threads=2elapsed=37.273cpu=70.860gc=1.512factor=1.907zXZ ִF ! K] ŗXf1-/6vR[]SZVB@I3Yf /jG o^1Q*$ {5ߢ_rPC6
S+|b]oYQ
4S6 pٍJ] - L1ٲ2kV~[GwFk?&=F$A< !G, '-_~+.w!݉ԓJb~#
9t#ibh5Fw$_|_y`kRSyX $m
.\
߽PrtJ$uNُ߭R)w*JBC<t4%s
>vΠBo vCX5\d8 aOnϾ[&Uihr2z c)PȾ]=9{ggDvs}cJUDiu,ɦ>JZE |9xq?}G l?FDXibQ}0e` r; g YZ7zXZ ִF ! 1 8] ŗXi%92.(qVјԖd<֝ClTh[0j9?76Ȋig'G-4L+mR4p Os"ReoHVZ6lgl40[9St~WQ;G u4C֛ȚZEY CS5ѫrO2g >3Pb_z1y6xdunH _H PI3$_k ?l0 00$AGLa4Bha/XE/^ Zۖ) S q}\xFzLc7Vu3r[ju
Y=_lu̽ Wd
Œ Ȝ)>n-ayy\u*"%3 L_?"PY#uWP_&Pbt%FR{< 0M9.wش K!gN;h|\ɨj"9$NO'"[ b;i ເ[lk|N+-P(_Sxj9=Sm|mMM|FĬ uŔW;
"/hȲޣ P $d7 w} ?2Џ Uzr%}2S`+?@ D8#."z8$8/_e9 \( P#o64yƛgO
с9M,i5 " p4#aQ I0.C}OjDoQ0dƑZ,Q[F
TtN[4F[
$ i.PojxGA s`Ds)2E{ sD\_.7G%3J'+ kt>K!.C\|Q{(~rIԣ(?2wxO}7bxLs*eY) KMsLaC+ և ZaE")PAʬdM}V>>Zݩ'#2 ioBhЛNv6u>QLx9*ۤg
{uV!@_vG5]5"u!M: >2ʴ㟻g
dS
{ GD'\I
JrQE4vHG ѩY-'Is?'kh LިQio /KTTͤ=4剿=i؇ 8_8JvU$u ا$W%(
6Y\%~?s$V$@{kIkhytsGr !#\X/n$^ì%VƟ&'h C\@Ts䲀UGSB&ʄn) [3 }Sl;]>?1!ǿz&̀W>C 4<]+1 P!84V/h#푦3Zk]#0VQSENL) uE6i5 ?*"^Ѐ v',!O[Gv(C3 oϪ*MflgriY
YVU2 1Ob- r
CkЩ
{1&QEi@zf .t,#͇ !|n4ccP'-`tmC,J @4U÷gLY[K´&({ޚ0Vy` ?}EO_~]SRV_F 0Twr/t_
.92V,D Gr|AE]wa#^_Vl/AtoX i3 :T=.g YZ11178feca606f2d58387b003492bc1a676ef92b9fa7050467ef8f63fd56cd5cc004bca4176bf5785
29f89a8c8c3de749e3d8f52dbed7d75c52623d3a
7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740
70f4b946e63625a4e15d03cb5d11a4e6c8108b42ce64f267c9b38d37b2cf6ba9f9fa80ea277ad272
+ Sturm_Sequences