SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 k+ \ l ]S]Sturm_Sequences:threads=2elapsed=39.682cpu=75.264gc=1.920factor=1.907zXZִF! f]ŗXf[&R;~e3_eF dtA:'gh~{gE'>E<-d᭰Ω 21lm5hmz(7hjTNGLPMغp($V#v6휕߂Hq1h)T,j$T~)=Eۘ!3pb&p$`7a lMqޢI`檏ў*6L)m]624tK_]\ue*S,%(R, vD6`?s9@UOP@!iK#s8Az,6D 0=tгѮ,y f’/tձ]d?$yiC-*VAp7T=,tV_|!P6s,G5Cx nËp!#&(V/Q0c 61ɀrgyY\F_!Nj%H Aw#'E@(!8>Զ*TM65栏AR[#h_;UPr51Z*F|8o?fP94=J'YpgqʂYM +/BgYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ nߛ[d[яjoǀ )_rm [D'x]^c_x.zVv`6I@yAx+X|-(\5)I})ԯ3|q8KyXU4R;l;LS#gYZ7zXZִF! ϥ ]ŗXi%>g ɆT5,[7IT/kI9z]AŐl~4.Jo@atS$@GQG-+X cZH͒dރ`"VGKv;\ 5ŹVRJ߹p4 ilRaEmB.Xѓ:**, D҉hN@E |k*Y^587#Są੒Cl 68Xڣji93m| "7b ԛ!;"'w@2ŠA7mEw #+é}]wCyW%ܤ0S]On8j&{՞\X댨/EUw=k].Qp4+|,`MyvZڑ ddRyHP52Cgn@5Q9(!N,7r/SA}DL^`&GcGkE.ڊqv ٦vnlN~ AUOǯP  6 NY~@CI

hη5U# ͽb4ǙkeAz\Pъu{T$ 0tZ_[qMz\g@I}Q0}dٛhbNhw%.#ي]f0Ϧ(F#ӣ@` ZouIR,JiWo,H*wf|d@tqbϻlϭp* nב7kV_K'Ej:*N?x^9fz ^Dl ʥ0?hF3 ?4m/D,0x?sҺ9Əiix>5ޯFμNF1Ac`RC3nZ-iT;V7kdp]i/ 'Y))7Rc?O4hFL:֠~^81By•uBm\ῊWdpjSY7f/ݾ8Zk5R}c=kN M7{1qvwLyȜX(<  sBItgGg2DzQq* +U5h4Y榪זYyҸ4ɝUN^]d=y]YTdlẬ?c[OY1h_-]%K8{MOqKCׂga+:Fw2j1V|?5p%Q=>I=eOh'NcxɬLw$mz@譮1(p a:17մp1y-y|qr异xM4 4,`I:gc>u0 }/mi(cCHK߹PzXVבJ?()WZq\~7iOR Zݹ^&mR>\~(s[gk,]~@*5ns_xva[=Onv[JK ms.YHZ)kw-ԧ?5/4Ls.PZ4brWőwb\p$S$5(x`6~Sr4dA"M^ع!|(+?բ-̀`_K]CqKӡ2d-a<#@ :jޥ?z?vg lV _9//fWxu߇z7H%qO;-m$~tR3Rw7 `-uC(ώ y,'&H01̤,3#Ў]$X3-Ɛ|N`yU1=IWM1"4H;<Ύ)&9Ln-&ƋK:` |˛>]}`.cK9G>E^g$Gr'uB*,'#fʦ"eXs-Sç^x9R~n{CAopM I $Ω 77+HXFf P$ggYZ159ea59040370dfeb6e82b440105cf959024339c0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af544b621aa70923bbf22319c244493c2c0f83888a + Sturm_Sequences