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 ee9 d ]/ PSemigroupsConvolution:threads=4elapsed=17.149cpu=42.136gc=1.384factor=2.467zXZִF! #GA]ŗXf[&;yV2}wӨ]wk{)\'i{އk0GØ]bI?ŔRA豖\lE"]QJp=Ra?Iz1ҳ TM r[âLFC*M"voTem.@{|G FبS)j-.{&lml,@lu#=gF}em]5ም0|N'M5)'Yrٰ4L݈pXsQ"6+*J2ว套 F[MVnp&׶D@>}:d2() Vf Æ=6kwDP+SkX֦dT~wɫl!^ЀKBI(CR1[h}Yga}9c6EY'<}jAO"dgQ!/ѱk ^mѥȡ4.w %cyOuC>Q2Kp)byȨ(}P>5dҬL@_vu'{ŏi~NZD" aM07$ zW|RJ&9Fu)vucܶ/K&)d`D/_- wY~D**&#Ь&?gBD7QB _x17n2ln }rDRƈ{|O7":D%R?sIQހq7H?NF[%gYZ7zXZִF! 7]ŗXiɟ\?^3 40)2XՇNIC& PEG8 (: 2)Xcȉq> 'z/DeNFFo r\q57*&t֩p鲭6(& NUd Pi1zѾl̆cm=#BW$Pj/gYZ7zXZִF! u]ŗXi%Bm("F]lrfo#+-w#K-oτDCS y)FWv"E%1 ?Ke*GDFJ`W8uJbv){Qb ɇ^^׿-s~a6M=kOrI~R4G?2;3DsF&JJ~`$u9m{T@* QŒ2?ft7H!ghm׮\Eߒ&d>k2u/3 x_o2t}z6zF(+3wX4R}N6#H.j"E|6Sr[kciڛޅ`R!tB!X e;As\TA*8q U;%@&:[5VV#L^Եn_]C#u̢X.:Pq,-"ϳI5Mic/xEn&uQAۺuˉWwk \a=S;}!+i"b>]{9N=0R(g O|D_%YEZAntB ޹"O៚ƯN^d ;lgId0I>m.1}-S`yS۳Χv!(qm4qnxX_"TeFuX oՆք6k;@G Kt )AO|1lؚ>h.fzLޓ$h?jvb4.Ft>(t&5]6픪 "Dnq#'w;I'eRU2ŽV >#mȀ^w^TNқ %>ހmvj:G[Kg*y'a!|V,T;B]jX'͟Rg!ԪZ)EZFtBx5u;.OaBٱcV%{"wp _s|.CIGh,:BG"SκuW(1 t4sJLp8A&4eРdcsp[MvDˎ&#-e/h_&o58<լ3ajh @Ym6Qs@oږQ5̽ _zV̈YR &jUsrgOlDCvլf@%,RǠ6FcL.}iv >V̓~Åz1f}m3+t з(`wvpcI pYgϵE?aM?ڪ%S{:'2Bʑ^v?ST4*QyҌS' oo؂Ioh[INrW籀D~GdEsc1L5E!J[@уlkèT+K3%VԞe?4^$8R 9j'bڟ=)(%-)!MU^,ƚ+W}pB#YgYZ58f0a602bf8b5139af3d360c5795ba36e16fe75addbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 9 PSemigroupsConvolution